- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Abstract and Applied Analysis
Volume 2014 (2014), Article ID 363089, 5 pages
A Parameter Property of Classical Solutions of Cauchy Problems
Kent State University at Trumbull, Warren, OH 44483, USA
Received 1 November 2013; Accepted 26 December 2013; Published 10 February 2014
Academic Editor: Yuming Xing
Copyright © 2014 Min He. 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.
This work is concerned with the abstract Cauchy problems that depend on parameters. The goal is to study continuity in the parameters of the classical solutions of the Cauchy problems. The situation considered in this work is when the operator of the Cauchy problem is not densely defined. By applying integrated semigroup theory and the results on continuity in the parameters of C0-semigroup and integrated semigroup, we obtain the results on the existence and continuity in parameters of the classical solutions of the Cauchy problems. The application of the obtained abstract results in a parabolic partial differential equation is discussed in the last section of the paper.
Many dynamical systems [1–4] such as differential equations, integrodifferential equations, and functional differential equations involve parameters in their equations and/or their boundary conditions. For instance, consider the parabolic partial differential equation where and are considered as parameters.
When making the change in variable , we have that satisfies the equation where .
Then, the abstract Cauchy problem formulated from (2) is on , , where Equation (3) shows that the operator is dependent on the parameter . Thus, it is natural to investigate the effects of the parameter on the classical solutions of Cauchy problems. One of the natural questions is to determine the conditions for continuity with respect to the parameter of the classical solution of the abstract Cauchy problem where is the parameter.
According to the semigroup theories, -semigroup (i.e, strongly continuous semigroup) and integrated semigroup play key roles in determining parameter properties of classical or integral solutions of Cauchy problems that depend on parameters. Thus, a lot of work has focused on studying continuity in parameters of -semigroup and/or integrated semigroup. Lizama , Nicaise , and Busenberg and Wu  have established approximation theorems for integrated semigroups concerning a one-dimensional parameter. These results may be interpreted to imply continuity in parameters of integrated semigroups. Grimmer and/or He ([2–4], and the reference therein) have made a systematic study on continuity in multiparameters of -semigroup and integrated semigroup. In this paper, we will focus on determining conditions that can directly obtain the continuity in parameter of the classical solution of Cauchy problem (5). It turns out that the conditions in our theorems are directly imposed on the operator of Cauchy problem (5), which are very convenient and easy to verify. As it will be illustrated in the application of the obtained results in (1), the condition for continuity in parameter is naturally possessed by (1). And a number of equations studied in ([1–4], and the reference therein) also naturally satisfy the condition for continuity with respect to parameter.
Furthermore, (3) indicates that the operator is not densely defined. However, the theory of integrated semigroup is a powerful tool in dealing with nondensely defined operators. In Section 2, we will provide background information on integrated semigroup and state some existing theorems that will be needed for proving our main theorems. In Section 3, we apply the continuity results with respect to parameters of -semigroup and integrated semigroup we derive the analogous result for the classical solution of Cauchy problem. We will begin with discussing the homogeneous Cauchy problem Applying the continuity results of -semigroup and integrated semigroup theory, we prove that the unique classical solution of (6) is continuous with respect to parameter. Using the obtained result for (6), we will study the nonhomogeneous Cauchy problem (5) and present a theorem for continuity with respect to parameters of the classical solution of the nonhomogeneous Cauchy problem (5). In the last section, we will discuss the application of obtained abstract results in (1). As one will see, the obtained abstract result is very easy to apply.
We begin with providing the background information about the integrated semigroup and state some results that will be used in the following sections.
Let be a Banach space and let be an open subset of a finite-dimensional normed linear space with norm .
Definition 1 (see ). is called an integrated semigroup if(a),(b), for every ,(c)for any , is continuous.
Definition 2 (see ). An integrated semigroup is called nondegenerate if for all implies that .
Definition 3 (see ). The generator of a nondegenerate integrated semigroup is defined by letting , then and if
Definition 4 (see ). An integrated semigroup is said to be of type , where , iff for ,
Theorem 5 (see ). Define . Define the part of as
Assume that for all is large and that
Then is dense in , and if generates a -semigroup on , then generates a nondegenerate integrated semigroup of type on .
In the sequel we use “ is a Hille-Yosida operator” to mean that there exist and such that implies (the resolvent set of ) and Note that the boundedness of the resolvent implies that is closed.
Theorem 6 (see ). The following two statements are equivalent:(a) is the generator of a nondegenerate semigroup of type ,(b) is a Hille-Yosida operator.
Theorem 7 (see ). If is a Hille-Yosida operator, then the part of in generates a -semigroup on satisfying
Furthermore, generates a nondegenerate integrated semigroup on with
is related to by
for , . Moreover, and .
Consider the nonhomogeneous Cauchy problem where is a continuous function.
Theorem 8 (see ). Let be the generator of a nondegenerate integrated semigroup of type ; is continuously differentiable, . Then is the unique classical solution to (15); that is is the only continuously differentiable function with values in such that (15) is satisfied.
3. Continuity in Parameter of Classical Solutions of Cauchy Problems
We first study the homogeneous abstract Cauchy problem where is the parameter in . For each , the operator is a closed linear and a nondensely defined operator on the Banach space .
Proposition 9. Assume that() for each , there exist and such that implies and Then, for (a)the part of in generates a -semigroup on satisfying(b) generates a nondegenerate integrated semigroup on satisfying(c) is a continuously differentiable -value function for ,(d) on .
Theorem 10 (see ). Assume that(1)for each , is densely defined; that is ,(2), for all ,(3)there are constants and such that
(4)for each , is continuous in .
Then is continuous in for each . Thus, the -semigroup generated by is strongly continuous in , and the continuity is uniform on bounded -intervals. In particular, for any , with , and for any ,
Now we present the theorem about (17).
Proof. Because (3) of Theorem 10 holds, Proposition 9(b) indicates that generates a nondegenerate integrated semigroup on . Thus, it follows from Theorem 8 that
is the unique classical solution of (17).
From Proposition 9(d), we have on , where is the -semigroup that is generated by the part of . Hence, we have
Because, for each is densely defined, that is , Condition (1) of Theorem 10 is satisfied. Also (2)–(4) indicate that all other conditions of Theorem 10 are satisfied. Now, by applying Theorem 10, we have that the classical solution is continuous with respect to parameter .
Next, we will discuss the nonhomogeneous abstract Cauchy problem where is the parameter in . For each , the operator is a closed, linear, and nondensely defined operator on the Banach space . is continuously differentiable, and , for .
Theorem 12 (see ). Assuming that (2)–(4) of Theorem 10 are satisfied, then the integrated semigroup generated by is strongly continuous in , and the continuity is uniform on bounded -intervals. In particular, for any , with , and for any ,
Now we present the main theorem about (27).
Proof. From (2) of Theorem 10 and Proposition 9(b), we have that generates a nondegenerate integrated semigroup on . It follows from Theorem 8 that
is the unique classical solution to (27).
Note that, from Proposition 9(d), we have on , where is the -semigroup that is generated by the part of . Since , . Using the similar argument as that in the proof of Theorem 11, we see that is continuous in . Thus, is continuous in .
Now we just need to show that is continuous in .
It is obvious that is continuous in . Thus, we have
It is sufficient to show that is continuous in . Note that Conditions (2)–(4) of Theorem 10 indicate that all assumptions of Theorem 12 are satisfied. Since , it follows from Theorem 12 that is continuous in .
In summary, we have is continuous with respect to parameter .
4. Application to a Parabolic Partial Differential Equation
Consider the parabolic partial differential equation with boundary conditions
We start with making the change in variable . Then satisfies the equation where .
The abstract Cauchy problem formulated from (33) is on , , where
Firstly, for each , the operator is not densely defined. Consider However, the domains of are the same for all ; that is .
Secondly, it is easy to see that with domain is a Hille-Yosida operator. In particular, for , consider the equation Then , where . We may assume that . Then and Thus,
Furthermore, since is bounded, then by the “bounded perturbations theorem” (see [11, page 76]), we have that is a Hille-Yosida operator on for each . Now taking for some , we have that satisfies the uniform Hille-Yosida condition () of Proposition 9.
Thirdly, it is obvious that is continuous with respect to for each .
Conflict of Interests
The author declares that there is no conflict of interests regarding the publication of this paper.
- D. W. Brewer, “A parameter dependence problem in functional-differential equations,” in Volterra and Functional-Differential Equations, vol. 81 of Lecture Notes in Pure and Applied Mathematics, pp. 187–195, Dekker, New York, NY, USA, 1982.
- R. Grimmer and M. He, “Fixed point theory and nonlinear periodic systems,” The CUBO Mathematical Journal, vol. 11, no. 3, pp. 101–104, 2009.
- M. He, “A class of integrodifferential equations with memory,” Semigroup Forum, vol. 73, no. 3, pp. 427–443, 2006.
- M. He, “On continuity in parameters of integrated semigroups,” Discrete and Continuous Dynamical Systems A, pp. 403–412, 2003.
- C. Lizama, “On the convergence and approximation of integrated semigroups,” Journal of Mathematical Analysis and Applications, vol. 181, no. 1, pp. 89–103, 1994.
- S. Nicaise, “The Hille-Yosida and Trotter-Kato theorems for integrated semigroups,” Journal of Mathematical Analysis and Applications, vol. 180, no. 2, pp. 303–316, 1993.
- S. Busenberg and B. Wu, “Convergence theorems for integrated semigroups,” Differential and Integral Equations, vol. 5, no. 3, pp. 509–520, 1992.
- H. R. Thieme, “‘Integrated semigroups’ and integrated solutions to abstract Cauchy problems,” Journal of Mathematical Analysis and Applications, vol. 152, no. 2, pp. 416–447, 1990.
- W. Arendt, “Vector-valued Laplace transforms and Cauchy problems,” Israel Journal of Mathematics, vol. 59, no. 3, pp. 327–352, 1987.
- G. Da Prato and E. Sinestrari, “Differential operators with nondense domain,” Annali della Scuola Normale Superiore di Pisa, vol. 14, no. 2, pp. 285–344, 1987.
- A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations, vol. 44, Springer, New York, NY, USA, 1983.