Open Access

Smoothness property on parameters of periodic systems

Journal of Inequalities and Applications20112011:106

https://doi.org/10.1186/1029-242X-2011-106

Received: 5 May 2011

Accepted: 2 November 2011

Published: 2 November 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.

Keywords

C0-semigroupperiodic systemparameterdifferentiability

1 Introduction

Our recent work [1] studied the following periodic system dependent on parameter:
d z ( t ) d t = A ( ε ) z ( t ) + f ( t , z ( t ) , ε ) , z ( 0 ) = z 0 .
(1.1)

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 C0-semigroup T(t, ε), which possesses some nice properties such as (a) the C0-semigroup T(t,ε) satisfies the contraction condition; (b) the C0-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 above-mentioned properties. Take, for example, a wave equation with forced and damped boundary conditions:
u t t = u x x for t 0 , u ( x , 0 ) = u 0 ( x ) , u t ( x , 0 ) = u 1 ( x ) for x [ 0 , 1 ] μ u t ( 0 , t ) - γ u x ( 0 , t ) = f 1 ( t ) , δ u t ( 1 , t ) + γ u x ( 1 , t ) = f 2 ( t ) , μ , γ , δ > 0 ,
(1.2)
where f1(t) and f2(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:
υ ̄ t = w ̄ x + γ - 1 f 1 ( t ) - x δ - 1 f 2 ( t ) , w ̄ t = υ ̄ x + δ - 1 f 2 ( t ) + ( 1 - x ) γ - 1 f 1 ( t ) , μ υ ̄ ( 0 , t ) - γ w ̄ ( 0 , t ) = 0 , δ υ ̄ ( 1 , t ) + γ w ̄ ( 1 , t ) = 0 , μ , γ , δ > 0 .
(1.3)
Further, the associated abstract equation of (1.3) is given by
d z ( t ) d t = A ( ε ) z ( t ) + F ( t , ε ) , z ( 0 ) = z 0
(1.4)
on X = L2[0,1] × L2[0,1], where
A ( ε ) = 0 x x 0 , ε = ( μ , γ , δ ) R + 3 , z = υ ̄ w ̄ , D ( A ( ε ) ) = υ ̄ w ̄ i = 1 2 H 1 0 , 1 μ υ ̄ ( 0 ) = γ w ̄ ( 0 ) , δ υ ̄ ( 1 ) = - γ w ̄ ( 1 ) , μ , γ , δ > 0 , F ( t , z , ε ) x = γ - 1 f 1 ( t ) - x δ - 1 f 2 ( t ) δ - 1 f 2 ( t ) + ( 1 - x ) γ - 1 f 1 ( t ) .

By examining Equation 1.4, we see that (a) F is a ρ-periodic function, (b) ε is a multi-parameter, (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 C0-semigroup T(t,ε), which is not a contraction operator, but it becomes eventually contracting, that is ||T(, ε)|| ≤ k < 1 for some integer N with < t0 and all ε P (see Section 5 for details); (b) the existing results on differentiability with respect to parameters of non-analytic C0-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 C0-semigroup T(t, ε), the weak solution of (1.1) can be expressed in terms of the C0-semigroup T(t, ε):
z ( t , ε ) = T ( t , ε ) z 0 + 0 t T ( t - s , ε ) f ( s , z ( s , ε ) , ε ) d s .

Clearly, the differentiability with respect to parameter ε of the C0-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 C0-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
z = A ( ε ) z + f ( t , ε ) , z ( 0 ) = z 0 ,
(1.5)

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 finite-dimensional normed linear space with norm | |). Let T(t, ε) be the C0-semigroup generated by the operator A(ε). For further information on C0-semigroup, see [4].

Assumption Q. Let ε0 P be given. Then, for each ε P, there exist bounded operators Q1(ε), Q2(ε): XX with bounded inverses Q 1 - 1 ( ε ) and Q 2 - 1 ( ε ) , such that A(ε) = Q1(ε)A0)Q2(ε).

Note that if A(ε1) = Q1(ε1)A(ε0)Q2(ε1), then
A ( ε ) = Q 1 ( ε ) A ( ε 0 ) Q 2 ( ε ) = Q 1 ( ε ) Q 2 - 1 ( ε 1 ) Q 1 ( ε 1 ) A ( ε 0 ) Q 2 ( ε 1 ) Q 2 - 1 ( ε 1 ) Q 2 ( ε ) = Q ̃ 1 ( ε ) A ( ε 1 ) Q ̃ 2 ( ε ) .

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 ( ε ) x are continuously (Frechét) differentiable with respect to ε for x X, i = 1, 2. Then, for each x D(A(ε0)), the C0-semigroup T(t, ε)x is continuously (Frechét) differentiable at ε = ε0 for ε0 P. In particular,
D ε T ( t , ε ) x | ε = ε 0 = D ε Q 2 - 1 ( ε ) T ( t , ε 0 ) x | ε = ε 0 + Q 2 - 1 ( ε 0 ) D ε T ( t , ε ) x | ε = ε 0 + Q 2 - 1 ( ε 0 ) T ( t , ε 0 ) D ε Q 2 ( ε ) x | ε = ε 0 .

Theorem 2.2. [5] Assume Assumption Q and that

(2.2) there are constants M ≥ 1 and ω R such that
( λ I - A ( ε ) ) - n M ( λ - ω ) n for λ > ω , n N and all ε P .

(2.3) Q i (ε)x and Q 2 - 1 ( ε ) x are continuous in ε for x X, i = 1, 2.

Then, C0-semigroup T(t, ε) generated by A(ε) is strongly continuous at ε0, and the continuity is uniform on bounded t-intervals. In particular, for any h P with ε0 + h P, and any t0 [0, ∞),

sup 0 t t 0 ||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 F is a subset of a Banach space ( X , | | ) , G is a subset of a Banach space Y , and { T y , y G } is a family of operators taking F X . The operator T y is said to be a uniform contraction on F if T y : F F , and there is a λ, 0 ≤ λ < 1 such that
T y x - T y x ̄ λ x - x ̄ for all  y in  G , x , x ̄ in F .

Theorem 2.4. [6, p. 7] If F is a closed subset of a Banach space X , G is a subset of a Banach space Y , T y : F F , in G is a uniform contraction on F , and Tyx is continuous in y for each fixed x in F , then the unique fixed point g(y) of T y , y in G , is continuous in y. Furthermore, if F , G are the closures of open sets F , G , and T y x has continuous first derivatives A(x,y),B(x,y) in y,x, respectively, for x F , G , then g(y) has a continuous first derivative with respect to y in G .

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 (x1,..., x n ) → D i f(x1,...,x n ) (of Ω into ( ε , ) ) ) is continuous in Ω. Then, at each point (x1,..., x n ) of Ω, the derivative of f is given by
D f ( x 1 , . . . , x n ) ( t 1 , . . . , t n ) = i = 1 n D i f ( x 1 , . . . , x n ) t i , ( t 1 , . . . , t n ) E .
Lemma 2.6. Let B B ( X , Y ) . If ||B|| ≤ α, then (I - B)-1 exists, and
( I - B ) - 1 = k = 0 B k .

Moreover, ( I - B ) - 1 1 1 - α . .

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 C0-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 C0-semigroup T(t,ε), the weak solution of (1.5) can be expressed in terms of the C0-semigroup T(t,ε):
z ( t , ε ) = T ( t , ε ) z 0 + 0 t T ( t - s , ε ) f ( s , ε ) d s .
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
K ( ε ) z = T ( ρ , ε ) z + 0 ρ T ( ρ - s , ε ) f ( s , ε ) d s .

As noted in the Introduction section, the example (Equation 1.2) suggests that the C0-semigroup T(t,ε) is not contracting, but it is eventually contracting, that is ||T(,ε)|| ≤ k < 1 for some integer N with < t0 and all ε P (see Section 5 for details).

To handle this situation, we consider the N th-iterate, K N (ε). We first note that K N (ε) is a uniform contraction on X. In fact, note that
K N ( ε ) z = T ( N ρ , ε ) z + 0 N ρ T ( N ρ - s , ε ) f ( s , ε ) d s
and then, for all ε P and z1,z2 X,
K N ( ε ) z 1 - K N ( ε ) z 2 = T ( N ρ , ε ) ( z 1 - z 2 ) T ( N ρ , ε ) z 1 - z 2 k z 1 - z 2 ( since T ( N ρ , ε ) k < 1 ) .

Further, if the operator K N (ε) has a fixed point, say z0(ε) with the smoothness property with respect to ε, then z0(ε) 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,
  1. (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,
    [ D ε T ( t - s , ε ) f ( s , ε ) ] | ε = ε 0 = [ D ε T ( t - s , ε ) f ( s , ε 0 ) ] | ε = ε 0 + T ( t - s , ε 0 ) [ D ε f ( s , ε ) ] | ε = ε 0 .
     
  2. (b)

    D ε 0 ρ T ( N ρ - s , ε ) f ( s , ε ) d s = 0 ρ [ D ε T ( N ρ - s , ε ) f ( s , ε ) ] d s .

     

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
D ε i 0 ρ T ( N ρ - s , ε ) f ( s , ε ) d s = 0 ρ [ D ε i T ( N ρ - s , ε ) f ( s , ε ) ] d s ( i = 1 , . . . , n ) .

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(,ε)|| ≤ k < 1 for some integer N with < t0 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 theorem--Theorem 2.4 to show that the operator K N (ε) has z0(ε) as the fixed point, and z0(ε) is continuously (Frechét) differentiable with respect to ε.

Note that the operator K N (ε) has the following properties.
  1. (i)

    K N (ε) is defined on the Banach space (X, || ||).

     
  2. (ii)

    K N (ε) is a uniform contraction on X.

     
In fact, for all ε P and z1,z2 X,
K N ( ε ) z 1 - K N ( ε ) z 2 = T ( N ρ , ε ) ( z 1 - z 2 ) T ( N ρ , ε ) z 1 - z 2 k z 1 - z 2 ( since T ( N ρ , ε ) k < 1 ) .
  1. (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
D z K N ( ε ) Z = T ( N ρ , ε )
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
[ D ε K N ( ε ) z ] = D ε [ T ( N ρ , ε ) z ] + 0 ρ [ D ε T ( N ρ - s , ε ) f ( s , ε ) ] d s .

By Assumptions (3.1) and (3.2) we can use the similar argument as that in Lemma 3.1-Part (a) to show that [D ε T(ρ-s,ε)f(s,ε)] is continuous at ε = ε0 and thereby 0 ρ [ D ε T ( ρ - s , ε ) f ( s , ε ) ] d s 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 z0(ε) of operator K N (ε), which is continuously (Frechét) differentiable with respect to ε. As noted at the beginning of the section, z0(ε) is the fixed point of operator K(ε).

Finally, using a similar argument as that in Lemma 3.1, we can show that T(t,ε)z0(ε) and 0 t T ( t - s , ε ) f ( s , ε ) d s are continuously (Frechét) differentiable with respect to ε. Thus,
z ( t , ε ) = T ( t , ε ) z 0 ( ε ) + 0 t T ( t - s , ε ) f ( s , ε ) d s

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 C0-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 ( ε ) 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
d z ( t ) d t = A ( ε ) z ( t ) + f ( t , z ( t ) , ε ) , z ( 0 ) = z 0 .

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, (I-T(,ε))-1z 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(,ε))-1 exists by Lemma 2.6. Also,
( I - T ( N ρ , ε ) ) - 1 1 1 - k H .
(4.1)

Next consider the operator defined on X:

J(ε)z = T(, ε)z + y where y is a given point in X.

Then, we have
J ( ε ) z 1 - J ( ε ) z 2 T ( N ρ , ε ) z 1 - z 2 k z 1 - z 2 ,

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
D ε J ( ε ) z = D ε T ( N ρ , ε ) z for z D ( a ( ε 0 ) ) , D z J ( ε ) z = T ( N ρ , ε ) ,
which clearly satisfy the conditions of Theorem 2.4, so by Theorem 2.4 we have
z ( ε ) = ( I - T ( N ρ , ε ) ) - 1 y

is continuously (Frechét) differentiable with respect to ε.

Let PC[R, ρ] = {g C(R) | g(t + ρ) = g(t)}.

Consider the equation
z ( t ) = A ( ε ) z ( t ) + f ( t , g ( t ) , ε ) , z ( 0 ) = z 0
(4.2)

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))
D ε T ( t , ε ) z H ̄ ( ε 0 ) z for some  H ̄ ( ε 0 ) > 0 and  t [ 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,
z ( 0 , ε , g ) = ( I - T ( N ρ , ε ) ) - 1 0 ρ T ( N ρ - s , ε ) f ( s , g ( s ) , ε ) d s ,

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
z ( 0 , ε , g ) = T ( N ρ , ε ) z ( 0 , ε , g ) + 0 ρ T ( N ρ - s , ε ) f ( s , g ( s ) , ε ) d s .
Thus,
z ( 0 , ε , g ) = ( I - T ( N ρ , ε ) ) - 1 0 ρ T ( N ρ - s , ε ) f ( s , g ( s ) , ε ) d s ,

which is continuously (Frechét) differentiable with respect to ε by Lemma 4.1.

Define J1(ε): PC[R,ρ] → PC[R,ρ] by
J 1 ( ε ) g ( t ) = T ( t , ε ) z ( 0 , ε , g ) + 0 t T ( t - s , ε ) f ( s , g ( s ) , ε ) d s .

Lemma 4.3. Assume (3.3) and that

(4.5) T(t, ε)z is continuous in ε for z X, and
T ( t , ε ) M ( t 0 )

for some M(t0 > 0) and all ε P, t [0, t0].

(4.6) ||f(t, z1,ε) - f(t,z2,ε)|| ≤ L(ε)||z1 - z2||, where L(ε) is continuous in ε P and L(0) = 0.

(4.7) f 2 ( t , g , ε ) = g f ( t , g , ε ) is continuous in (t,g,ε).

Then, the operator J1(ε) 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
L ( ε 1 ) 1 4 min 1 H M 2 ( t 0 ) t 0 , 1 M ( t 0 ) t 0 .
Now, for ε P with |ε1| < δ0,
T ( t , ε ) z ( 0 , g 1 , ε ) z ( 0 , g 2 , ε ) = T ( t , ε ) ( I T ( N ρ , ε ) ) 1 0 N ρ T ( N ρ s , ε ) [ f ( s , g 1 , ε ) f ( s , g 2 , ε ) ] d s M ( t 0 ) ( I T ( N ρ , ε ) ) 1 0 N ρ | T ( N ρ s , ε ) f ( s , g 1 , ε ) f ( s , g 2 , ε ) d s M ( t 0 ) H M ( t 0 ) 0 N ρ f ( s , g 1 , ε ) f ( s , g 2 , ε ) d s H M 2 ( t 0 ) t 0 L ( ε 1 ) g 1 g 2 1 4 g 1 g 2
and
0 t T ( t - s , ε ) f ( s , g 1 ( s ) , ε ) - f s , g 2 ( s ) , ε d s M ( t 0 ) L ε 1 0 t g 1 ( s ) - g 2 ( s ) d s M ( t 0 ) t 0 L ε 1 g 1 - g 2 1 4 g 1 - g 2 .
Hence,
J 1 ( ε ) g 1 J 1 ( ε ) g 2 T ( t , ε ) z ( 0 , g 1 , ε ) z ( 0 , g 2 , ε ) + 0 t T ( t s , ε ) ( f ( s , g 1 ( s ) , ε ) f ( s , g 2 ( s ) , ε ) d s 1 4 g 1 g 2 + 1 4 g 1 g 2 1 2 g 1 g 2 .

Therefore, J1(ε) is a uniform contraction.

Furthermore, J1(ε)g is continuous in ε for fixed g. Using the similar argument as that in the proof of [5, Theorem 2.3], we have
D g J 1 ( ε ) g = T ( t , ε ) D g z ( 0 , ε , g ) + 0 t T ( t - s , ε ) f 2 ( s , g ( s ) , ε ) d s = T ( t , ε ) ( I - T ( ρ , ε ) ) - 1 0 ρ f 2 ( s , g ( s ) , ε ) d s + 0 t T ( t - s , ε ) f 2 ( s , g ( s ) , ε ) d s , D ε J 1 ( ε ) g = [ D ε T ( t , ε ) z ( 0 , ε , g ) ] + 0 t [ D ε T ( t - s , ε ) f ( s , g ( s ) , ε ) ] d s

are continuous in (g,ε). Therefore, from Theorem 2.4, it follows that J1(ε) 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:
u t t = u x x for t 0 , u ( x , 0 ) = u 0 ( x ) , u t ( x , 0 ) = u 1 ( x ) for x [ 0 , 1 ] μ u t ( 0 , t ) - γ u x ( 0 , t ) = f 1 ( t ) , δ u t ( 1 , t ) + γ u x ( 1 , t ) = f 2 ( t ) , μ , γ , δ > 0 ,
(5.1)

where f1(t) and f2(t) are both ρ-periodic and continuously differentiable.

Let υ = u t and w = u x , then Equation 5.1 is written as
υ t = w x , w t = υ x , μ υ ( 0 , t ) - γ w ( 0 , t ) = f 1 ( t ) , δ υ ( 1 , t ) + γ w ( 1 , t ) = f 2 ( t ) , μ , γ , δ > 0 .
(5.2)
If the change of variables
υ ̄ = υ - x δ - 1 f 2 , w ̄ = w + ( 1 - x ) γ - 1 f 1
is made, Equation 5.1 has the form:
υ ̄ t = w ̄ x + γ - 1 f 1 ( t ) - x δ - 1 f 2 ( t ) , w ̄ t = υ ̄ x + δ - 1 f 2 ( t ) + ( 1 - x ) γ - 1 f 1 ( t ) , μ υ ̄ ( 0 , t ) - γ w ̄ ( 0 , t ) = 0 , δ υ ̄ ( 1 , t ) + γ w ̄ ( 1 , t ) = 0 , μ , γ , δ > 0 .
(5.3)
Further, the associated abstract equation of (5.3) is given by
d z ( t ) d t = A ( ε ) z ( t ) + F ( t , ε ) , z ( 0 ) = z 0
(5.4)
on X = L2[0,1] × L2[0,1], where
A ( ε ) = 0 x x 0 , ε = ( μ , γ , δ ) R + 3 , z = υ ̄ w ̄ , D ( A ( ε ) ) = υ ̄ w ̄ i = 1 2 H 1 0 , 1 μ υ ̄ ( 0 ) = γ w ̄ ( 0 ) , δ υ ̄ ( 1 ) = - γ w ̄ ( 1 ) , μ , γ , δ > 0 , F ( t , z , ε ) x = γ - 1 f 1 ( t ) - x δ - 1 f 2 ( t ) δ - 1 f 2 ( t ) + ( 1 - x ) γ - 1 f 1 ( t ) .
For convenience, write υ ̄ as υ , w ̄ as w, and α = μ y , β = y δ , we then have
d z ( t ) d t = A ( ε ) z ( t ) + F ( t , ε ) , z ( 0 ) = z 0
(5.5)
on X = L2[0,1] × L2[0,1], where
A ( ε ) = 0 x x 0 , ε = ( α , β , δ ) R + 3 , z = v w , D ( A ( ε ) ) = v w i = 1 2 H 1 [ 0 , 1 ] α v ( 0 ) = w ( 0 ) , v ( 1 ) = - β w ( 1 ) , a , β > 0 , F ( t , ε ) x = γ - 1 f 1 ( t ) - x δ - 1 f 2 ( t ) δ - 1 f 2 ( t ) + ( 1 - x ) γ - 1 f 1 ( t ) .
Now, make the change of variables
z ̃ = w ̃ = U v w where U = 1 2 1 1 1 - 1
Then,
A 1 ( ε ) U A ( ε ) U - 1 = x 0 0 - x ,
where
D ( A 1 ( ε ) ) = w ̃ i = 1 2 H 1 [ 0 , 1 ] ( 1 - α ) ( 0 ) = ( 1 + α ) w ̃ ( 0 ) , ( 1 + β ) ( 1 ) = - ( 1 - β ) w ̃ ( 1 ) .
Define
α ̃ = 1 - α 1 + α , β ̃ = 1 - β 1 + β α ̃ , β ̃ ( - 1 , 1 ] .
A1(ε) has the domain
D ( A 1 ( ε ) ) = { [ v ˜ w ˜ ] i = 1 2 H 1 [ 0 , 1 ] | a ˜ v ˜ ( 0 ) = w ˜ ( 0 ) , v ˜ ( 1 ) = β ˜ w ˜ ( 1 ) , a ˜ β ˜ ( 1 , 1 ) } .

If α ̃ β ̃ < 1 , then A1(ε) generates a C0-semigroup, T1(t,ε), on X = L2[0,1] × L2[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 ||T1(t,ε)|| = 1 for 0 t < 1 , T 1 ( t , ε ) = max α ̃ , β ̃ 1 for 1 ≤ t < 2, and T 1 ( t , ε ) | α ̃ β ̃ | < 1 for t ≥ 2. Thus, the semigroup is eventually contracting.

It follows from T(t,ε) = UT1(t,ε)U-1 that T(t,ε) must have the same properties with respect to the norm
z U z

on X = L2[0,1] × L2[0,1] when α ̃ , β ̃ > 0 .

Now, consider the operator A1(ε). Take ε0 = (0,0). For ε = ( α ̃ , β ̃ ) with α ̃ , β ̃ ( - 1 , 1 ]
A 1 ( ε ) = 1 1 + α ̃ β ̃ Q ( ε ) A 1 ( 0 ) Q ( ε ) ,
where
Q ( ε ) = 1 β ̃ - α ̃ 1 ,

obviously, Q(ε) is continuously (Frechét) differentiable with respect to ε and is bounded, and so is Q-1(ε). Let Q 2 ( ε ) = 1 1 + α ̃ β ̃ Q ( ε ) and Q1(ε) = Q(ε). It is clear that the hypotheses of Theorem 3.3 are satisfied for any ε 0 = ( α ̃ 0 , β ̃ 0 ) in R+ × R+. That is, we have the (Frechét) differentiable with respect to parameter ε of semigroup T1(t, ε) and thus the same property holds for semigroup T(t,ε). Further, if we assume that f 1 ( t ) + f 2 ( t ) = k f 1 ( t ) where k = μ + δ γ , 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 L2 continuously (Frechét) differentiable with respect to parameter ε = (α,δ,γ).

Declarations

Authors’ Affiliations

(1)
Kent State University at Trumbull, Warren, USA

References

  1. He M: Periodic systems dependent on parameters. J Inequal Appl 2010, 17. Article ID 796165Google Scholar
  2. He M: A parameter dependence problem in parabolic PDEs. J Dyn Continuous Discrete Impulsive Syst 2003, 169–179. Ser. A 10Google Scholar
  3. Grimmer R, He M: Differentiability with respect to parameters of semigroups. Semigroup Forum 1999,59(3):317–333.MathSciNetGoogle Scholar
  4. Goldstein J: Semigroups of Linear Operators and Applications. Oxford University Press, New York; 1985.Google Scholar
  5. Grimmer R, He M: Fixed point theory and nonlinear periodic systems. The CUBO Math J 2009,11(3):101–104.MathSciNetGoogle Scholar
  6. Hale JK: Ordinary Differential Equations. In Wiley-Interscience. New York; 1969.Google Scholar
  7. Dieudonné J: Foundations of Modern Analysis. Academic Press, New York; 1960.Google Scholar

Copyright

© He; licensee Springer. 2011

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.