Secciones
Referencias
Resumen
Servicios
Descargas
HTML
ePub
PDF
Buscar
Fuente


New discussion concerning to optimal control for semilinear population dynamics system in Hilbert spaces
Nonlinear Analysis: Modelling and Control, vol. 27, núm. 3, pp. 496-512, 2022
Vilniaus Universitetas

Articles


Recepción: 11 Julio 2021

Revisado: 15 Diciembre 2021

Publicación: 25 Febrero 2022

DOI: https://doi.org/10.15388/namc.2022.27.26407

Abstract: The objective of our paper is to investigate the optimal control of semilinear population dynamics system with diffusion using semigroup theory. The semilinear population dynamical model with the nonlocal birth process is transformed into a standard abstract semilinear control system by identifying the state, control, and the corresponding function spaces. The state and control spaces are assumed to be Hilbert spaces. The semigroup theory is developed from the properties of the population operators and Laplacian operators. Then the optimal control results of the system are obtained using the ..-semigroup approach, fixed point theorem, and some other simple conditions on the nonlinear term as well as on operators involved in the model.

Keywords: population dynamics, diffusion, optimal control, Gronwall’s inequality.

1 Introduction

Let us consider , a bounded domain in along the smooth boundary region We considered that a biological population is independent to move in the environment. Let be the population dissemination of human beings of age at location for time We considered that the population flow is where ∇ is the gradient vector with respect to the spatial variable and is a constant. The life expectancy of individual is denoted by is known as the natural mortality rate, and is known as the natural fertility rate corresponding to individual of age at location for the time In this paper, we have considered that the population distribution is differentiable in variables and . Moreover, the natural fertility and mortality rate depends only on age.

Let be a Hilbert space, and let be a function space. The symbol is norm in We have considered the following semilinear population dynamics model with nonlocal birth process:

where ∆ is Laplacian operator, is the control function in , which is a supply or removal of population, and is the characteristic function of is a bounded linear operator, the nonlinear function represents an infusion of population due to some natural or unnatural reasons, and is the initial population distribution. In some models, is assumed instead of zero population at the boundary region, where denotes the exterior normal derivatives on and means that the population inflow or outflow of the region is zero.

In recent years, the existence and uniqueness of mild solution, optimal control, timeoptimal control approximate control, and exact control for fractional-order, integer-order, integro –differential system, neutral system, etc. have been studied by many researcher’s articles [13,79,1124,2630,3235]. In [6], the authors obtained the existence and optimal control results using Krasnoselskii’s fixed point theorem and minimizing sequence concept for the second-order stochastic differential equations having mixed fractional Brownian motion. In [22], the authors discussed the existing result for the mild solution and optimal control for fractional-order (1,2] semilinear control system by using .order sine and cosine family theory, Banach fixed point theorem, and certain assumptions on nonlinearity.

Motivations and contributions

In [1, 11, 19], the authors discussed the optimal control for the population of dynamics by different techniques. Taking the consideration of ideas from the above literature review and motivated by the fact, the optimal control of semilinear population dynamics system (1) is studied in the semigroup framework approach.

  • We have converted the population dynamic system into a abstract control problem.

  • The mild solution is defined in terms of integral equation.

  • We have discussed the existence and uniqueness of the assumed system by employing the contraction principle.

  • Optimal control results are obtained using Cauchy–Schwarz’s inequality and Gronwall’s lemma.

The structure of this article is as follows. Section 1 discusses some literature related to population dynamics and optimal control theory. Some new notations, important facts, lemmas, vital definitions, and theoretical results are recalled and problem formulation is done in Section 2. In Section 3, we assumed some conditions and proved the existence and uniqueness of mild solution for system (1). Section 4 deals with the optimal control for the population dynamics system with diffusion. Finally, in the last Section 5, we discussed the time optimal control.

2 Preliminaries

Definition 1. (See [31].) A one-parameter family of bounded linear operators mapping the Hilbert space into itself is said to be a strongly continuous cosine family if and only if

(i)

(ii)

(iii)

(iv)

is a strongly continuous cosine family in , then , is the one-parameter family of operators in defined by

The infinitesimal generator of a strongly continuous cosine family is the operator defined by

where is defined as is a twice continuously differentiable function of

Definition 2. The characteristic function of a subset of a set is a function defined as

We are focusing here on the subsequent two linear population dynamics models with diffusion from the literature.

In [5], the behavior of the semigroup of the following linear population dynamics model with Dirichlet boundary condition type was studied:

Suppose that is defined as

with domain of denoted by

and is the diffusion constant.

In this paper, it has been proven that is the infinitesimal generator of a strongly continuous semigroup (semigroup) This enables us to reformulate system (2) in the following abstract form:

Note that by Theorem 2 of [5] the semigroup generated by is compact when otherwise it is not compact because the semigroup generated by the population operator

is not compact when

Similarly, in [10] the formulation of semigroup for the following linear population dynamics system with diffusion in Neuman boundary condition type is studied:

We now determine as

In that paper, it is shown that the operator is the infinitesimal generator of a semigroup using dissipativity of the diffusion operator ∆ and the population operator without diffusion. That means the operator is characterized in the following way.

Let the operator be defined by

where

Then it is shown that is linear and .-dissipative.

Similarly, let the operator be defined by

Where

Then it is shown that is linear and dissipative operator. From the above two operators is presented as

where

Therefore, is linear and dissipative since a sum of two dissipative operators is dissipative. Hence, is an infinitesimal generator of the semigroup [25].

Now, we reformulate the abstract form of system (2) as

This article deals mainly the optimal control of (1) using semigroup theory.

Now, we consider system (1) as an extension of model (2) to semilinear population dynamics control system with finite time interval and fixed life expectancy Therefore, the abstract form of the population dynamics system (1) can be rewritten as follows:

Wher

Assume that the integral cost function is presented as

subject to

is measurable, is defined as admissibleset set.

Also, it is clear that is nonvoid. is closed, convex, and bounded. Also, for every

Let represent the mild solution, and let represent the control, then is a set of state-control pairs which are admissible. Hence, the optimal control problem is given by

Determine a pair such that

The linear system corresponding to (3) is given by

Then we will make use of the semigroup operator for the mild solution of (3) defined below:

Suppose is mild solution of (3), then we define the population distribution in the following manner:

Here we give the verification of the natural fertility rate of the population in relation to the mild solution of (1):

On the other hand, when we put in the integral equation (5), we have

From (5) and (6) we establish the following conditions:

which can be simplified as

3 Basic assumptions, existence and uniqueness results

In this article the following assumptions are important to obtain existence and uniqueness results.

For the biological significance of assumption (A1), one can refer to [1,11,19].

The interpretation of the integral condition in (A1)(ii) is that each individual dies before age . Hence, the approximate controllability could not hold at age .

Lemma 1. (See [28].) According to the control u, the mild solution of (3) is assumed to be (4) on [0,b.. Then there exists such that

Proof. Let described by (4) be the mild solution (3). Provided that by applying assumption (A5) and Cauchy–Schwartz inequality we have

Then

By referring Gronwall’s inequality we have

Theorem 1. Assume that (A1).(A5) are fulfilled, then corresponding to each control function , system (3) has a unique mild solution in .

Proof. and consider the Banach space of all continuous functions from [0,b] to along with supremum norm.

We now define such that

Clearly, is well defined. We need to verify that (4) represents the mild solution on [0,b1]. It is enough to verify that has a unique fixed point in By applying the fixed point technique we are able to verify this discussion.

Assume that . Assume that denotes the closed ball in with radius :

Clearly, is bounded and closed subset of . For any , we have

For positive right-hand side,

Therefore, if (7) holds, the maps into itself.

Now, we will prove that is a contraction on . With the help of definition of , there exists such that . Hence, condition (A3) yields

Following the same method times, we have

Conclusion (8) is achieved easily by continuing . times the above procedure. There exist such that Hence, is contraction for sufficiently large . Using contraction principle in has a unique fixed point , which represents mild solution of (3). In the same manner, we will show that (4) is the mild solution on , Continuing this process, we will achieve that (4) represents mild solution on the maximal existence interval

Our aim is here to verify the uniqueness. Let us consider any two solutions and , we have

By applying Gronwall’s inequality we conclude that

4 Optimal control

The existence of optimal control for the considered system with diffusion is discussed in this section.

Define

with the following conditions:

(C1) is Borel measurable.

(C2) For all , the function is sequentially lower semicontinuous on .

(C3) For , convexity is fulfilled by .

(C4) There exists and with the condition .

Theorem 2. If (C1).(C4) and (A1).(A5) hold, then for system (3), there exi sts at least an optimal pair and

Proof. If greatest lower bound of is , then, obviously, we obtain the result. So, we will assume that greatest lower bound of as From above conditions (C1)–(C4) it is clear that With the help of greatest lower bound, there exist a sequence of state-control pair such that as minimizing sequence. We know that is a reflexive separable Banach space, is a bounded subset of and also so there is relabeled sequence {u such that (weakly converges as in As we know that the admissible set is bounded, closed, and convex, so Mazur’s lemma forces us to conclude that

Now, let us assume that corresponding to sequence of controls the sequence of solutions of system (3) be given by that is,

From definition of we can easily prove that there exists for which

Let corresponding to control denotes the mild solution, which is given by

Using (A3) and Cauchy–Schwarz inequality, we obtain

By referring Gronwall’s lemma

where is a constant.

Because is strongly continuous,

From (9) and (10) we conclude that

This implies that (all converge strongly).

By referring [4, Thm. 2.1], under (C1)–(C4), assumptions of Balder are fulfilled. So, with the help of theorem of Balder’s, we get

in the weak topology and strong topology of (11) is sequentially lower semicontinuous. Hence, on with condition (C4) and weakly lower semicontinuity of Greatest lower bound of is achieved at

5 Time optimal control

Let us assume two distinct members with the condition such that Define the transition time satisfying

The time value of for which there exists an admissible control satisfying is said to be the optimal time, and a control such that is said to be the time optimal control. Now, we need to verify that there exist admissible control such that with respect to

Theorem 3. Assume that (A1).(A5) are fulfilled, then corresponding to there exist a time optimal control.

Proof. By referring the methodologies presented in [14, 21, 35], with certain modifications, we present the existence of time optimal control.

Consider

Then there is a nonincreasing sequence which converges to and we consider a sequence of controls having state trajectories as

satisfying

Note that since is bounded, weakly sequentially compact. Therefore, we fix

Let has the dual space as So, the dual pair is given by

In view of (A5) and Lemma 1, we have

In the right-hand side of equation (12), the first and third term converge strongly to and 0, respectively. The convergence of second term is given with the help of weak convergence of and assumption (A4), we achieve

strongly in it becomes

Since was arbitrary, we have

Thus, the time optimal control is , and the corresponding trajectory is

6 Conclusion

The primary focus of our article is to prove the optimal control of the semilinear population dynamics system using ..-semigroup theory. The main outcomes are proved by applying Lipschitz continuity, Banach contraction principle, and well-known Gronwall’s inequality. One may extend the optimal control outcomes of the assumed system, nonlocal and impulsive with suitable modifications. We can also study the optimal control of assumed population dynamics systems in stochastic and fractional-order systems by utilizing stochastic and fractional calculus.

References

1. S. Anita, Optimal control of a nonlinear population dynamics with diffusion, J. Math. Anal. Appl., 152(1):176–208, 1990, https://doi.org/10.1006/jmaa.2000.7239.

2. U. Arora, V. Vijayakumar, A. Shukla, K.S. Nisar, S. Rezapour, W. Jamshed, Results on exact controllability of second-order semilinear control system in Hilbert spaces, Adv. Difference Equ., 2021:455, 2012, https://doi.org/10.1186/s13662-021-03620-5.

3. A.V. Balakrishnan, Optimal control problems in Banach spaces, J. Soc. Ind. Appl. Math., Ser.A, Control, 3:15–180, 1965, https://doi.org/10.1137/0303014.

4. E.J. Balder, Necessary and sufficient conditions for ..-strong-weak lower semicontinuity of integral functionals, Nonlinear Anal., Theory Methods Appl., 11(12):1399–1404, 1987, https://doi.org/10.1016/0362-546x(87)90092-7.

5. W.L. Chan, B.Z. Guo, On the semigroups of age-size dependent population dynamics with spatial diffusion, Manuscr. Math., 66(2):161–181, 1989, https://doi.org/10.1007/ BF02568489.

6. R. Dayal, M. Malik, S. Abbas, A. Debbouche, Optimal controls for second-order stochastic differential equations driven by mixed-fractional Brownian motion with impulses, Math. Methods Appl. Sci., 43(7):4107–4124, 2020, https://doi.org/10.1002/mma.6177.

7. C. Dineshkumar, R. Udhayakumar, V. Vijayakumar, K.S. Nisar, A. Shukla, A note on approximate controllability for nonlocal fractional evolution stochastic integrodifferential inclusions of order . ∈ (1,2) with delay, Chaos Solitons Fractals, 153(1):111565, 2021, https://doi.org/10.1016/j.chaos.2021.111565.

8. C. Dineshkumar, R. Udhayakumar, V. Vijayakumar, K.S. Nisar, A. Shukla, A note on the approximate controllability of Sobolev type fractional stochastic integro-differential delay inclusions with order 1 < r < 2, Math. Comput. Simul., 190:1003–1026, 2021, https://doi.org/10.1016/j.matcom.2021.06.026.

9. H. Frankowska, H. Zhang, X. Zhang, Necessary optimality conditions for local minimizers of stochastic optimal control problems with state constraints, Trans. Am. Math. Soc., 372(2):1289–1331, 2019, https://doi.org/10.1090/tran/7669.

10. W. Huyer, Semigroup formulation and approximation of a linear age-dependent population problem with spatial diffusion, Semigroup Forum, 49(1):99–114, 1994, https://doi. org/10.1007/BF02573475.

11. B. Jacob, A. Omrane, Optimal control for age-structured population dynamics of incomplete data, J. Math. Anal. Appl., 370(1):42–48, 2010, https://doi.org/10.1016/j.jmaa.

J.M. Jeong, H.J. Hwang, Optimal control problems for semilinear retarded functional differential equations,, J. Optim. Theory Appl., 167(1):49–67, 2015, https://doi.org/ 10.1007/s10957-015-0726-8.

13. J.M. Jeong, J.R. Kim, H.H. Roh, Optimal control problems for semilinear evolution equations, J. Korean Math. Soc., 45(23):757–769, 2008, https://doi.org/10.4134/JKMS.2008.45.3.757.

14. J.M. Jeong, S.J. Son, Time optimal control of semilinear control systems involving time delays,J. Optim. Theory Appl., 165(3):793–811, 2015, https://doi.org/10.1007/s10957014-0639-y.

15. K. Kavitha, V. Vijayakumar, A. Shukla, K.S. Nisar, R. Udhayakumar, Results on approximate controllability of Sobolev-type fractional neutral differential inclusions of Clarke subdifferential type, Chaos Solitons Fractals, 151:111264, 2021, https://doi.org/10.1016/j.chaos.2021.111264.

16. K. Kavitha, V. Vijayakumar, R. Udhayakumar, N. Sakthivel, K.S. Nisar, A note on approximate controllability of the Hilfer fractional neutral differential inclusions with infinite delay, Math.Methods Appl. Sci., 44(6):4428–4447, 2020, https://doi.org/10.1002/mma.7040.

17. S. Kumar, Mild solution and fractional optimal control of semilinear system with fixed delay, J. Optim. Theory Appl., 174(1):108–121, 2017, https://doi.org/10.1007/s10957015-0828-3

18. S. Kumar, The solvability and fractional optimal control for semilinear stochastic systems, Cubo, 19(3), 2017, https://doi.org/10.4067/S0719-06462017000300001.

19. Z. Luo, Optimal control for a population of dynamics with age-dependent and diffusion in a periodic environment, J. Appl. Math. Comput., 27(1–2):77–84, 2008, https://doi. org/10.1007/s12190-008-0063-2.

20. K.S. Nisar, V. Vijayakumar, Results concerning to approximate controllability of non-densely defined Sobolev-type Hilfer fractional neutral delay differential system, Math. Methods Appl. Sci., 44(17):13615–13632, 2021, https://doi.org/10.1002/mma.7647. 2

21. N.S. Papageorgiou, On the optimal control of strongly nonlinear evolution equations, J. Math. Anal. Appl., 164(1):83–103, 1992, https://doi.org/10.1016/0022-247X(92) 90146-5.

22. R. Patel, A. Shukla, S.S. Jadon, Existence and optimal control problem for semilinear fractional order (1,2] control system, Math. Methods Appl. Sci., 2020, https://doi.org/10.1002/mma.6662.

23. R. Patel, A. Shukla, S.S. Jadon, Existence and optimal control problem for semilinear fractional order (1,2] control system, Math. Methods Appl. Sci., 2021, https://doi.org/10.1002/mma.6662.

24. R. Patel, A. Shukla, S.S. Jadon, R. Udhayakumar, A novel increment approach for optimal control problem of fractional-order (1,2] nonlinear systems, Math. Methods Appl. Sci., 2021, https://doi.org/10.1002/mma.7681.

25. A. Pazy, Semigroup of Linear Operators and Application to Partial Differential Equations, Spinger, New York, 1983, https://doi.org/10.1007/978-1-4612-5561-1.

26. M. Mohan Raja, V. Vijayakumar, R. Udhayakumar, A new approach on approximate controllability of fractional evolution inclusions of order 1 < r < 2 with infinite delay, Chaos Solitons Fractals, 141:110343, 2020, https://doi.org/10.1016/j.chaos.2020.110343.

27. M. Mohan Raja, V. Vijayakumar, R. Udhayakumar, Y. Zhou, A new approach on the approximate controllability of fractional differential evolution equations of order 1 < r < 2 in Hilbert spaces, Chaos Solitons Fractals, 141:110310, 2020, https://doi.org/10.1016/j.chaos.2020.110310.

28. A. Shukla, R. Patel, Existence and optimal control results for second-order semilinear system in Hilbert spaces, Circuits Syst. Signal Process., 40(9):4246–4258, 2021, https://doi. org/10.1007/s00034-021-01680-2.

29. A. Shukla, N. Sukavanam, D.N. Pandey, Approximate Controllability of semilinear fractional control systems of order α ∈ (1,2] with infinite delay, Mediterr. J. Math., 13:2539–2550, 2016, https://doi.org/10.1007/s00009-015-0638-8.

30. A. Shukla, V. Vijayakumar, K.S. Nisar, A new exploration on the existence and approximate controllability for fractional semilinear impulsive control systems of order r ∈ (1,2), Chaos Solitons Fractals, 2021:111615, 2021, https://doi.org/10.1016/j.chaos.2021. 111615.

31. C.C. Travis, G.F. Webb, Cosine families and abstract nonlinear second order differential equations, Acta Math. Acad. Sci. Hung., 32:76–96, 1978, https://doi.org/10.1007/ BF01902205.

32. V. Vijayakumar, Approximate controllability for a class of second-order stochastic evolution inclusions of Clarke’s subdifferential type, Results Math., 73(1):42, 2018, https://doi. org/10.1007/s00025-018-0807-8.

33. V. Vijayakumar, S.K. Panda, K.S. Nisar, H.M. Baskonus, Results on approximate controllability results for second-order Sobolev-type impulsive neutral differential evolution inclusions with infinite delay, Numer. Methods Partial Differ. Equations, 37(2):1200–1221, 2020, https://doi.org/10.1002/num.22573.

34. V. Vijayakumar, A. Shukla, K.S. Nisar, W. Jamshed, S. Rezapour, A note on the approximate controllability of second-order integro-differential evolution control systems via resolvent operators, Adv. Difference Equ., 2021:484, 2021, https://doi.org/10.1186/ s13662-021-03639-8.

35. J. Wang, Y. Zhou, M. Medved, On the solvability and optimal controls of fractional integrodifferential evolution systems with infinite delay, J. Optim. Theory Appl., 152(1):31–50,2012, https://doi.org/10.1007/s10957-011-9892-5.

Notas de autor

a Department of Mathematics, Government P.G College Bisalpur Pilibhit-262201, India rohit2851993@gmail.com
b Department of Applied Science, Rajkiya Engineering College Kanauj, Kannauj-209732, India anuragshukla259@gmail.com; shimpisingh2k6@gmail.com
b Department oj Applied Science, Rajkiya Engineering College Kannauj, Kannauj-209732, India anuragshukla259@gmail.com; shimpisingh2k6@gmail.com
c Department of Statistics, Mathematical Analysis and Optimization,Institute of Mathematics, University of Santiago de Compostela, Santiago de Compostela 15782, Spain juanjose.nieto.roig@usc.es
1 The author has been partially supported by the Agencia Estatal de Investigacion (AEI) of Spain, projects MTM2016-75140-P and PID2020-113275GB-I00, and by the European Fund for Regional Development (FEDER), also by Xunta de Galicia under grant ED431C 2019/02
d Department of Mathematics, School of Advanced Sciences, Vellore Institute of Technology, Vellore-632014, Tamilnadu, India vijaysarovelQgmail.com
2 Corresponding author.
b Department of Applied Science, Rajkiya Engineering College Kannauj, Kannauj-209732, India anuragshukla259@gmail.com; shimpisingh2k6@gmail.com


Buscar:
Ir a la Página
IR
Visor de artículos científicos generados a partir de XML-JATS4R por