 Research
 Open Access
 Published:
Smoothness property on parameters of periodic systems
Journal of Inequalities and Applications volume 2011, Article number: 106 (2011)
Abstract
This work is concerned with periodic systems dependent on parameters and investigates differentiability with respect to parameters of the periodic solutions of the systems. Some challenging situations arise from a hyperbolic type of periodic boundary value problem. Using some auxiliary operators and applying semigroup theory and a fixed point theorem, we are able to handle these cases and obtain the results on the existence and differentiability with respect to parameters of periodic solutions. The application of the obtained abstract results to a periodic boundary value problem is discussed at the end of the article.
AMS Subject Classification
47D62; 45K05; 35L20.
1 Introduction
Our recent work [1] studied the following periodic system dependent on parameter:
and obtained a set of results for the existence of periodic solutions and the differentiability with respect to parameter ε of such solutions. Those results are effectively applied to parabolic type of periodic systems. The operator of such systems generates an analytic C_{0}semigroup T(t, ε), which possesses some nice properties such as (a) the C_{0}semigroup T(t,ε) satisfies the contraction condition; (b) the C_{0}semigroup T(t,ε) is differentiable with respect to parameter ε on the entire space (see [2] for details). And these two properties are the key for determining the existence and differentiability with respect to parameter of the periodic solution. Hence, the conditions of the obtained theorems in [1] are proposed for determining that the system has these two properties.
However, we observe that some hyperbolic types of equations do not have the abovementioned properties. Take, for example, a wave equation with forced and damped boundary conditions:
where f_{1}(t) and f_{2}(t) are both ρperiodic and continuously differentiable. Notice that the boundary conditions contain three scalars μ, γ, and δ. These scalars are considered as parameters because they may vary as the environment of the system changes. Reforming (1.2) (see Section 5 for details), we have the following periodic boundary value problem:
Further, the associated abstract equation of (1.3) is given by
on X = L^{2}[0,1] × L^{2}[0,1], where
By examining Equation 1.4, we see that (a) F is a ρperiodic function, (b) ε is a multiparameter, (c) A(ε) is linear and densely defined, and (d) the operator A(ε) has a variable domain (i.e. the domain of the operator D(A(ε)) is dependent on the parameter ε). Furthermore, we notice that (a) the operator A(ε) generates a C_{0}semigroup T(t,ε), which is not a contraction operator, but it becomes eventually contracting, that is T(Nρ, ε) ≤ k < 1 for some integer N with Nρ < t_{0} and all ε ∈ P (see Section 5 for details); (b) the existing results on differentiability with respect to parameters of nonanalytic C_{0}semigroup are not on the entire space [3]. It is not easy to obtain the smoothness property on the entire space.
Being motivated by this example, we investigate these challenging and interesting phenomena and aim for obtaining the existence and differentiability with respect to parameter of the periodic solution of (1.1). In order to treat the situation that T(t, ε) is not a contraction operator (but it becomes eventually contracting), we construct some auxiliary operator and show that it is contracting. With some suitable restriction on f, we can weaken the condition about smoothness property of results obtained in [1], and just require the differentiability on the domain of the operator. Further, by applying a fixed point theorem, we are able to show that the periodic system (1.1) has a unique periodic solution and it is (Frechét) differentiable with respect to parameter.
The semigroup theory indicates that, when A(ε) generates a C_{0}semigroup T(t, ε), the weak solution of (1.1) can be expressed in terms of the C_{0}semigroup T(t, ε):
Clearly, the differentiability with respect to parameter ε of the C_{0}semigroup T(t, ε) is critical in determining the differentiability with respect to parameter ε of the solution z(t, ε) of (1.1). Hence, our previous works [2, 3], and reference therein have focused on the differentiability with respect to parameter ε of the semigroup T(t, ε). A series of results have been obtained on this topic. Especially, some of these results are very conveniently and effectively applied to the case of the variable domain of the operator. Thus, in this article, we can just assume that the C_{0}semigroup T(t, ε) has such smoothness property and apply some of these existing results to prove the differentiability with respect to parameter ε of the periodic solution of (1.1).
This article is organized as follows. In Section 2, we state some differentiability result, a fixed point theorem, and some related theorems. These results will be used in later sections. In Section 3, we study a special case of Equation 1.1
where f(t + ρ,ε) = f(t,ε) for some ρ > 0, and f(t, ε) is continuous in (t, ε) ∈ R × P. Using an auxiliary operator and apply a fixed point theorem, we are able to prove that (1.5) has a unique periodic solution, and it is continuously (Frechét) differentiable with respect to parameter. In Section 4, we will use the fixed point theorem as a tool and apply the results obtained from Section 3 to obtain the desired results for Equation 1.1. In Section 5, we will discuss the application of obtained abstract results to periodic boundary value problem (1.2) and use this example to illustrate the obtained abstract results.
2 Preliminaries
In this section, we present some existing theorems that will be used in later proofs. We start by giving a result on differentiability with respect to parameters.
Consider the abstract Cauchy problem (1.1) where A(ε) is a closed linear operator on a Banach space (X,  ⋅ ) and ε ∈ P is a multiparameter (P is an open subset of a finitedimensional normed linear space with norm  ⋅ ). Let T(t, ε) be the C_{0}semigroup generated by the operator A(ε). For further information on C_{0}semigroup, see [4].
Assumption Q. Let ε_{0} ∈ P be given. Then, for each ε ∈ P, there exist bounded operators Q_{1}(ε), Q_{2}(ε): X → X with bounded inverses ${Q}_{1}^{1}\left(\epsilon \right)$ and ${Q}_{2}^{1}\left(\epsilon \right)$, such that A(ε) = Q_{1}(ε)A(ε_{0})Q_{2}(ε).
Note that if A(ε_{1}) = Q_{1}(ε_{1})A(ε_{0})Q_{2}(ε_{1}), then
Thus, having such a relationship for some ε_{0} implies a similar relationship at any other ε_{1} ∈ P. Without loss of generality then, we may just consider the differentiability of the semigroup T(t, ε) at ε = ε_{0} ∈ P. In the sequel, we consider all differentiability at ε = ε_{0} ∈ P.
Theorem 2.1. [3] Assume Assumption Q and that
(2.1) Q_{ i }(ε)x and ${Q}_{i}^{1}\left(\epsilon \right)x$ are continuously (Frechét) differentiable with respect to ε for x ∈ X, i = 1, 2. Then, for each x ∈ D(A(ε_{0})), the C_{0}semigroup T(t, ε)x is continuously (Frechét) differentiable at ε = ε_{0} for ε_{0} ∈ P. In particular,
Theorem 2.2. [5] Assume Assumption Q and that
(2.2) there are constants M ≥ 1 and ω ∈ R such that
(2.3) Q_{ i }(ε)x and ${Q}_{2}^{1}\left(\epsilon \right)x$ are continuous in ε for x ∈ X, i = 1, 2.
Then, C_{0}semigroup T(t, ε) generated by A(ε) is strongly continuous at ε_{0}, and the continuity is uniform on bounded tintervals. In particular, for any $h\in \mathcal{P}$ with ε_{0} + h ∈ P, and any t_{0} ∈ [0, ∞),
$\underset{0\le t\le {t}_{0}}{sup}$ T(t, ε_{0} + h)x  T(t, ε_{0})x = o(1) as h → 0 for each x ∈ X.
Now, we state a fixed point theorem from [6].
Definition 2.3. [6, p. 6] Suppose $\mathcal{F}$ is a subset of a Banach space $\left(\mathcal{X},\cdot \right),\mathcal{G}$ is a subset of a Banach space $\mathcal{Y}$, and $\left\{{T}_{y},y\in \mathcal{G}\right\}$ is a family of operators taking $\mathcal{F}\to \mathcal{X}$. The operator T_{ y }is said to be a uniform contraction on $\mathcal{F}$ if ${T}_{y}:\mathcal{F}\to \mathcal{F}$, and there is a λ, 0 ≤ λ < 1 such that
Theorem 2.4. [6, p. 7] If $\mathcal{F}$ is a closed subset of a Banach space $\mathcal{X},\mathcal{G}$ is a subset of a Banach space $\mathcal{Y},\phantom{\rule{2.77695pt}{0ex}}{T}_{y}:\mathcal{F}\to \mathcal{F},\u2020$ in $\mathcal{G}$ is a uniform contraction on $\mathcal{F}$, and T_{y}x is continuous in y for each fixed x in $\mathcal{F}$, then the unique fixed point g(y) of T_{ y }, y in $\mathcal{G}$, is continuous in y. Furthermore, if $\mathcal{F},\mathcal{G}$ are the closures of open sets ${\mathcal{F}}^{\circ},{\mathcal{G}}^{\circ}$, and T_{ y }x has continuous first derivatives A(x,y),B(x,y) in y,x, respectively, for $x\in {\mathcal{F}}^{\circ},\u2020\in {\mathcal{G}}^{\circ}$, then g(y) has a continuous first derivative with respect to y in ${\mathcal{G}}^{\circ}$.
Theorem 2.5. [7, p. 167] Let f be a continuous mapping of an open subset Ω of E into F. f is continuously (Frechét) differentiable in Ω iff f is (Frechét) differentiable at each point with respect to the i th (i = 1, 2,..., n) variable, and the mapping (x_{1},..., x_{ n }) → D_{ i }f(x_{1},...,x_{ n }) (of Ω into $\mathcal{B}({\epsilon}_{\u3009},\mathcal{F}))$) is continuous in Ω. Then, at each point (x_{1},..., x_{ n }) of Ω, the derivative of f is given by
Lemma 2.6. Let $B\in \mathcal{B}\left(\mathcal{X},\mathcal{Y}\right)$. If B ≤ α, then (I  B)^{1} exists, and
Moreover, $\u2225{\left(IB\right)}^{1}\u2225\le \frac{1}{1\alpha}.$.
Proof. The proof is standard and is omitted here.
3 Results on Equation 1.5
The goal of this section is to obtain the existence and differentiability with respect to parameter of the unique periodic solution of (1.5), which is a special case of Equation 1.1. As noted in Section 2, without loss of generality, we may just consider the differentiability of semigroup T(t,ε) at ε = ε_{0} ∈ P. Also, Theorem 2.1 illustrates some convenient conditions for determining differentiability with respect to parameter of C_{0}semigroup T(t,ε) on the domain of the operator. Thereby, in this section, we will assume that T(t, ε) holds the smoothness property with respect to parameter ε.
According to the semigroup theory, when A(ε) generates a C_{0}semigroup T(t,ε), the weak solution of (1.5) can be expressed in terms of the C_{0}semigroup T(t,ε):
To show that there is a unique ρperiodic solution which is continuously (Frechét) differentiable with respect to parameter ε, it suffices to show that the operator K(ε) has a unique fixed point with smoothness property with respect to parameter ε where
As noted in the Introduction section, the example (Equation 1.2) suggests that the C_{0}semigroup T(t,ε) is not contracting, but it is eventually contracting, that is T(Nρ,ε) ≤ k < 1 for some integer N with Nρ < t_{0} and all ε ∈ P (see Section 5 for details).
To handle this situation, we consider the N thiterate, K^{N}(ε). We first note that K^{N}(ε) is a uniform contraction on X. In fact, note that
and then, for all ε ∈ P and z_{1},z_{2} ∈ X,
Further, if the operator K^{N}(ε) has a fixed point, say z_{0}(ε) with the smoothness property with respect to ε, then z_{0}(ε) is also the fixed point of K(ε). To this end, we just need to show that the operator K^{N}(ε) has a fixed point with the smoothness property with respect to parameter ε.
We want to apply the fixed point theorem (Theorem 2.4) to obtain the desired result. Let us begin with the following lemma.
Lemma 3.1. Assume that
(3.1) T(t, ε)z is continuous in ε for each z ∈ X, and T(t, ε)z is continuously (Frechét) differentiable with respect to ε for each z ∈ D(A(ε_{0})).
(3.2) f(t,ε) is continuously (Frechét) differentiable with respect to ε and f(t,ε) ∈ D(A(ε_{0})).
Then,

(a)
T(t  s, ε)f(s, ε) is continuously (Frechét) differentiable with respect to ε for t  s, s ∈ [0, ρ]. In particular, for any ε _{0} ∈ P,
$$\begin{array}{c}\phantom{\rule{1em}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\left[{D}_{\epsilon}T\left(ts,\epsilon \right)f\left(s,\epsilon \right)\right]{}_{\epsilon ={\epsilon}_{0}}\\ =\phantom{\rule{1em}{0ex}}\left[{D}_{\epsilon}T\left(ts,\epsilon \right)f\left(s,{\epsilon}_{0}\right)\right]{}_{\epsilon ={\epsilon}_{0}}+T\left(ts,{\epsilon}_{0}\right)\left[{D}_{\epsilon}f\left(s,\epsilon \right)\right]{}_{\epsilon ={\epsilon}_{0}}.\end{array}$$ 
(b)
${D}_{\epsilon}\left[{\int}_{0}^{\rho}T\left(N\rho s,\epsilon \right)f\left(s,\epsilon \right)ds\right]={\int}_{0}^{\rho}\left[{D}_{\epsilon}T\left(N\rho s,\epsilon \right)f\left(s,\epsilon \right)\right]\phantom{\rule{2.77695pt}{0ex}}ds.$
Proof. The proof of Part (a) is similar to the argument in [1, Theorem 3.4] and is omitted here.
To prove Part (b), according to Theorem 2.5, it suffices to show that
The rest of the proof is similar to the argument in [1, Theorem 3.4] and is also omitted here.
Theorem 3.2. Assume that (3.1) and (3.2) are satisfied and support that
(3.3) T(Nρ,ε) ≤ k < 1 for some integer N with Nρ < t_{0} and all ε ∈ P.
Then, there exists a unique ρperiodic solution of (1.5), say z(t,ε), which is continuously (Frechét) differentiable with respect to ε for ε ∈ P.
Proof. We will apply the fixed point theoremTheorem 2.4 to show that the operator K^{N}(ε) has z_{0}(ε) as the fixed point, and z_{0}(ε) is continuously (Frechét) differentiable with respect to ε.
Note that the operator K^{N}(ε) has the following properties.

(i)
K ^{N}(ε) is defined on the Banach space (X,  ⋅ ).

(ii)
K ^{N}(ε) is a uniform contraction on X.
In fact, for all ε ∈ P and z_{1},z_{2} ∈ X,

(iii)
K ^{N}(ε)z is continuous in ε for each fixed z ∈ X. (For the detailed proof, see Theorem 3.2 from [5].)
Applying Theorem 2.4, we have that z_{ 0 }(ε) is the fixed point of K^{N}(ε).
Further, it is clear that the first derivative of K^{N}(ε)z with respect to z
is continuous in ε. It is also clear from Lemma 3.1 that the first derivative of K^{N}(ε)z with respect to ε has the form
By Assumptions (3.1) and (3.2) we can use the similar argument as that in Lemma 3.1Part (a) to show that [D_{ ε }T(ρs,ε)f(s,ε)] is continuous at ε = ε_{0} and thereby ${\int}_{0}^{\rho}\left[{D}_{\epsilon}T\left(\rho s,\epsilon \right)f\left(s,\epsilon \right)\right]ds$ is continuous at ε_{0}.
Thus, [D_{ ε }K^{N}(ε)z] is continuous in (z,ε).
Now, all conditions of Theorem 2.4 are satisfied. It follows from Theorem 2.4 that there exists a fixed point z_{0}(ε) of operator K^{N}(ε), which is continuously (Frechét) differentiable with respect to ε. As noted at the beginning of the section, z_{0}(ε) is the fixed point of operator K(ε).
Finally, using a similar argument as that in Lemma 3.1, we can show that T(t,ε)z_{0}(ε) and ${\int}_{0}^{t}T\left(ts,\epsilon \right)f\left(s,\epsilon \right)\phantom{\rule{2.77695pt}{0ex}}ds$ are continuously (Frechét) differentiable with respect to ε. Thus,
is continuously (Frechét) differentiable with respect to ε for ε ∈ P.
Now, we present a theorem that is convenient in application since some assumption is posed on the operator A(ε) instead of the C_{0}semigroup T(t,ε).
Theorem 3.3. Assume that Assumption Q, (3.2) and (3.3) are satisfied and suppose that
(3.4) Q_{ i }(ε)x and ${Q}_{i}^{1}\left(\epsilon \right)x$ are continuously (Frechét) differentiable with respect to ε for x ∈ X, i = 1, 2.
Then, there exists a unique ρperiodic solution of (1.5), say z(t,ε), which is continuous in ε for ε ∈ P.
Proof. This is an immediate result from Theorems 2.1, 2.2, and 3.2.
4 Results on Equation 1.1
In this section, we will discuss the general Equation 1.1
With the aid of semigroup theory, we are able to construct suitable operators. Applying a fixed point theorem, we obtain the existence and differentiability with respect to parameter of the unique periodic solution of (1.1).
Lemma 4.1. Assume that (3.1) and (3.3) are satisfied. Then, (IT(Nρ,ε))^{1}z is continuously (Frechét) differentiable with respect to ε for each z ∈ D(A(ε_{0})).
Proof. First note that from (3.3), we see that (I  T(Nρ,ε))^{1} exists by Lemma 2.6. Also,
Next consider the operator defined on X:
J(ε)z = T(Nρ, ε)z + y where y is a given point in X.
Then, we have
so J(ε) is a uniform contraction. Also, it is obvious that J(ε)z is continuous in ε by (3.1). Therefore, from Theorem 2.4, it follows that there is a unique fixed point of J(ε), say z(ε).
Furthermore, since
which clearly satisfy the conditions of Theorem 2.4, so by Theorem 2.4 we have
is continuously (Frechét) differentiable with respect to ε.
Let PC[R, ρ] = {g ∈ C(R)  g(t + ρ) = g(t)}.
Consider the equation
on a Banach space (X,  ⋅ ), where f(t + ρ,g,ε) = f(t,g,ε) for some ρ > 0 and g ∈ PC[R,ρ], and f(t,g,ε) is continuous in (t,g,ε) ∈ R × PC[R,ρ] × P.
Lemma 4.2. Assume that (3.3) is satisfied and suppose that
(4.3) T(t,ε)z is continuous in ε for z ∈ X, and it is continuously (Frechét) differentiable with respect to ε for each z ∈ D(A(ε_{0})). Moreover, for any ε_{0}∈ P, there is some δ(ε_{0}) > 0 such that ε ∈ B(ε_{0}, δ(ε_{0}))
(4.4) f(t, z, ε) is continuously (Frechét) differentiable with respect to ε and f(t,z(t),ε) ∈ D(A(ε_{0})).
Then, there exists a unique ρperiodic solution of (4.2), say z(t,ε,g), which is continuously (Frechét) differentiable with respect to ε for ε ∈ P. Also,
which is continuously (Frechét) differentiable with respect to ε.
Proof. Let F(t,ε) = f(t,g(t),ε). Then, F(t + ρ,ε) = F(t,ε). Also, it is obvious that F(t,ε) satisfies (3.2). Equations 4.3 and 4.4 indicate other conditions of Theorem 3.2 are satisfied. Therefore, it follows from Theorem 3.2 that there is a unique ρsolution z(t, ε, g) of Equation 4.2, which is continuously (Frechét) differentiable with respect to ε. In particular, z(0,ε,g) is continuously (Frechét) differentiable with respect to ε. Moreover, using the same argument as that in the proof of Theorem 3.2, we see that
Thus,
which is continuously (Frechét) differentiable with respect to ε by Lemma 4.1.
Define J_{1}(ε): PC[R,ρ] → PC[R,ρ] by
Lemma 4.3. Assume (3.3) and that
(4.5) T(t, ε)z is continuous in ε for z ∈ X, and
for some M(t_{0} > 0) and all ε ∈ P, t ∈ [0, t_{0}].
(4.6) f(t, z_{1},ε)  f(t,z_{2},ε) ≤ L(ε)z_{1}  z_{2}, where L(ε) is continuous in ε ∈ P and L(0) = 0.
(4.7) ${f}_{2}\left(t,g,\epsilon \right)=\frac{\partial}{\partial g}f\left(t,g,\epsilon \right)$ is continuous in (t,g,ε).
Then, the operator J_{1}(ε) has a unique fixed point g(⋅,ε) ∈ PC[R,ρ] which is continuously (Frechét) differentiable with respect to ε.
Proof. First note that it is clear that (PC[R,ρ],  ⋅ _{∞}) is a Banach space. Next, since L(0) = 0, then, by continuity of L(ε^{1}), there is δ_{0} such that ε^{1} < δ_{0} implies
Now, for ε ∈ P with ε^{1} < δ_{0},
and
Hence,
Therefore, J_{1}(ε) is a uniform contraction.
Furthermore, J_{1}(ε)g is continuous in ε for fixed g. Using the similar argument as that in the proof of [5, Theorem 2.3], we have
are continuous in (g,ε). Therefore, from Theorem 2.4, it follows that J_{1}(ε) has a unique fixed point, say g(⋅,ε) ∈ PC[R,ρ], which is continuously (Frechét) differentiable with respect to ε.
Now, we present the main theorem for Equation 1.1.
Theorem 4.4. Assume that (3.3) and (4.3)(4.7) are satisfied. Then, there exists a unique ρperiodic solution of (1.1), say z(t,ε), which is continuously (Frechét) differentiable with respect to ε for ε ∈ P.
Proof. This is an immediate result from Lemmas 4.2 and 4.3.
5 Application to a periodic boundary value problem
Consider the periodic boundary value problem:
where f_{1}(t) and f_{2}(t) are both ρperiodic and continuously differentiable.
Let υ = u_{ t }and w = u_{ x }, then Equation 5.1 is written as
If the change of variables
is made, Equation 5.1 has the form:
Further, the associated abstract equation of (5.3) is given by
on X = L^{2}[0,1] × L^{2}[0,1], where
For convenience, write $\stackrel{\u0304}{\upsilon}$ as $\upsilon ,\stackrel{\u0304}{w}$ as w, and $\alpha =\frac{\mu}{y},\beta =\frac{y}{\delta}$, we then have
on X = L^{2}[0,1] × L^{2}[0,1], where
Now, make the change of variables
Then,
where
Define
A_{1}(ε) has the domain
If $\left\stackrel{\u0303}{\alpha}\stackrel{\u0303}{\beta}\right<1$, then A_{1}(ε) generates a C_{0}semigroup, T_{1}(t,ε), on X = L^{2}[0,1] × L^{2}[0,1], endowed with the norm  (f,g)  ≡ f_{2} + g_{2}. It can easily be shown using the method of characteristics that this semigroup satisfies T_{1}(t,ε) = 1 for $0\le t<1,\phantom{\rule{2.77695pt}{0ex}}\u2225{T}_{1}\left(t,\epsilon \right)\u2225=max\left\{\left\stackrel{\u0303}{\alpha}\right,\left\stackrel{\u0303}{\beta}\right\right\}\le 1$ for 1 ≤ t < 2, and $\u2225{T}_{1}\left(t,\epsilon \right)\u2225\le \left\stackrel{\u0303}{\alpha}\stackrel{\u0303}{\beta}\right<1$ for t ≥ 2. Thus, the semigroup is eventually contracting.
It follows from T(t,ε) = UT_{1}(t,ε)U^{1} that T(t,ε) must have the same properties with respect to the norm
on X = L^{2}[0,1] × L^{2}[0,1] when $\stackrel{\u0303}{\alpha},\stackrel{\u0303}{\beta}>0$.
Now, consider the operator A_{1}(ε). Take ε_{0} = (0,0). For $\epsilon =\left(\stackrel{\u0303}{\alpha},\stackrel{\u0303}{\beta}\right)$ with $\stackrel{\u0303}{\alpha},\stackrel{\u0303}{\beta}\in \left(1,1\right]$
where
obviously, Q(ε) is continuously (Frechét) differentiable with respect to ε and is bounded, and so is Q^{1}(ε). Let ${Q}_{2}\left(\epsilon \right)=\frac{1}{1+\stackrel{\u0303}{\alpha}\stackrel{\u0303}{\beta}}Q\left(\epsilon \right)$ and Q_{1}(ε) = Q(ε). It is clear that the hypotheses of Theorem 3.3 are satisfied for any ${\epsilon}_{0}=\left({\stackrel{\u0303}{\alpha}}_{0},{\stackrel{\u0303}{\beta}}_{0}\right)$ in R^{+} × R^{+}. That is, we have the (Frechét) differentiable with respect to parameter ε of semigroup T_{1}(t, ε) and thus the same property holds for semigroup T(t,ε). Further, if we assume that ${f}_{1}^{\prime}\left(t\right)+{f}_{2}^{\prime}\left(t\right)=k{f}_{1}\left(t\right)$ where $k=\frac{\mu +\delta}{\gamma}$, then F(t,ε) ∈ D(A(ε_{0})).
Above all, all assumptions of Theorem 3.3 are satisfied. Thus, it follows from Theorem 3.3 that there is a unique ρperiodic weak solution of (5.4) and thus also a unique ρperiodic weak solution of (5.1) and it is L^{2} continuously (Frechét) differentiable with respect to parameter ε = (α,δ,γ).
References
 1.
He M: Periodic systems dependent on parameters. J Inequal Appl 2010, 17. Article ID 796165
 2.
He M: A parameter dependence problem in parabolic PDEs. J Dyn Continuous Discrete Impulsive Syst 2003, 169–179. Ser. A 10
 3.
Grimmer R, He M: Differentiability with respect to parameters of semigroups. Semigroup Forum 1999,59(3):317–333.
 4.
Goldstein J: Semigroups of Linear Operators and Applications. Oxford University Press, New York; 1985.
 5.
Grimmer R, He M: Fixed point theory and nonlinear periodic systems. The CUBO Math J 2009,11(3):101–104.
 6.
Hale JK: Ordinary Differential Equations. In WileyInterscience. New York; 1969.
 7.
Dieudonné J: Foundations of Modern Analysis. Academic Press, New York; 1960.
Author information
Additional information
Competing interests
The author declares that they have no competing interests.
Authors' contributions
Min He is the sole author of this manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
He, M. Smoothness property on parameters of periodic systems. J Inequal Appl 2011, 106 (2011) doi:10.1186/1029242X2011106
Received
Accepted
Published
DOI
Keywords
 C_{0}semigroup
 periodic system
 parameter
 differentiability