Skip to main content

Pseudo almost periodic weak solutions of a semilinear elliptic equation

Abstract

In this paper, pseudo almost periodic functions on R N , with N an integer larger than 1, are introduced and some basic properties of them are studied. As an application, we investigate the pseudo almost periodicity of a weak solution of the semilinear elliptic equation Δu+ j = 1 N c j j u+f(x,u)=h(x). In addition, a pseudo almost periodic forced pendulum equation is considered as an example.

MSC:35B15, 35J61.

1 Introduction

The notion of pseudo almost periodic functions on was introduced by Zhang [13] in the early 1990s and it is a natural generalization of Bohr almost periodicity. In the past 20 years, these functions have attracted much attention and have been applied to qualitative analysis for various kinds of equations (see [48] and the references therein).

The notion of Bohr almost periodicity is also suitable for functions on R N , with N>1. This notion was deeply studied for numerical-valued functions in Bochner’s fundamental paper [9]. In early 1970s, Sibuya [10] and Sell [11] investigated almost periodic solutions of some linear partial differential equations. Then Zaidman [12] studied almost periodic functions from R N into a Banach space. Recent work on almost periodic second order elliptic equations in R N (see, for instance, Pankov [13], Fournier et al. [14] and N’Guérékata [15]) shows a revival of the interest in this topic.

It is a natural idea to introduce pseudo almost periodic functions on R N and these functions may have potential use in differential equations with more than one spatial variables. However, to the best of our knowledge, there is no literature systematically treating this yet. So in this paper, we will introduce these functions and study some of their basic properties. To illustrate their potential use, we also study the pseudo almost periodicity of a weak solution of the following semilinear elliptic equation:

Δu+ j = 1 N c j j u+f(x,u)=h(x),x R N ,
(1.1)

where c j ’s are real constants, f and h are pseudo almost periodic functions.

In order to study (1.1), we need to consider its almost periodic component equation at first, i.e.,

Δυ+ j = 1 N c j j υ+g(x,υ)= h 1 (x),x R N ,
(1.2)

where g and h 1 are the almost periodic components of f and h, respectively.

For the existence of bounded weak solutions of equations (1.1) and (1.2), we refer to the work of Fournier et al. [14]. Our main task is the following two steps.

  • We firstly show the almost periodicity of a bounded weak solution υ of (1.2). This result is an improvement of [[14], Theorem 3.2] where g(x,υ)=g(υ).

  • Then, we show that the bounded weak solution u of (1.1) is pseudo almost periodic by proving that uυ is an ergodic perturbation.

The organization of this paper is as follows. In Section 2 we recall some basic facts on Bohr almost periodic functions on R N . Section 3 is devoted to the pseudo almost periodic functions on R N . In the last section, we investigate pseudo almost periodicity of a weak solution of (1.1) and consider a pseudo almost periodic forced pendulum equation as an example.

2 Bohr almost periodic functions

Let E=R or , E n be the n-dimensional real or complex Euclidean space with norm |x|= ( i = 1 n x i x i ¯ ) 1 / 2 and production xy= i = 1 n x i y i for any x,y R n . Let N be an integer larger than 1. A closed ball in R N (of center x 0 and radius >0) is defined by B( x 0 ,)={x R N :|x x 0 |}. The cubes in R N are defined by K r ={x R N :| x j |r,j=1,2,,N} and s+ K r ={s+x:x K r } where s R N . We denote the Lebesgue measure of a set S R N by m(S).

Let X be a Banach space with norm . Let C( R N ;X) denote the space of all continuous functions from R N to X and BC( R N ;X) denote the space of all bounded functions in C( R N ;X). Endowed with the norm

f = sup x R N f ( x ) ,

BC( R N ;X) is a Banach space.

We say a set P R N is relatively dense in R N if there exists a number >0 such that the intersection PB(x,) is non-empty, for all x R N .

Definition 2.1 ([12])

A function fC( R N ;X) is called almost periodic, if for every positive number ϵ, one may find a relatively dense set T(f,ϵ) in R N , such that

f ( + τ ) f ( ) ϵ,τT(f,ϵ).

We denote by AP( R N ;X) the space of all such almost periodic functions.

AP( R N ;X) contains the space, Trig( R N ;X), which consists of functions x j = 1 n exp(i ξ j x) v j where v j X, ξ j and x R N , and n is any natural number (see [[13], Proposition 1.1.3]). Let xAP( R N ;X). Since for each t,τ R N , |x(t+τ)x(t)|x(t+τ)x(t), it is easy to see that the function x()AP( R N ;R).

Lemma 2.2 ([[12], Chapter 9])

  1. (1)

    AP( R N ;X) is a Banach space.

  2. (2)

    For any fAP( R N ;X), the range R f ={f(x):x R N } is relatively compact.

  3. (3)

    If fAP( R N ;X), then it is uniformly continuous over R N .

  4. (4)

    fC( R N ;X) is almost periodic if and only if it is normal; that is, the set {f(+s):s R N } is relatively compact in BC( R N ;X).

  5. (5)

    If f and g both are almost periodic on R N , then for each ϵ>0, the set T(f,ϵ)T(g,ϵ) is relatively dense in R N .

Lemma 2.3 ([[13], p.10])

  1. (1)

    For fAP( R N ;X), then

    M(f)= lim r 1 ( 2 r ) N s + K r f(x)dx,
    (2.1)

    where the limit exists uniformly in s R N .

  2. (2)

    Let fAP( R N ;R). If f0 and M(f)=0, then f0.

The representation (2.1) has some other useful versions. For example,

M(f)= lim r 1 m ( B ( s , r ) ) B ( s , r ) f(x)dx

uniformly in s R N . For the proof we refer the reader to [16].

Let n be a positive integer and Ω be a subset of E n . We denote by C( R N ×Ω;X) the set of all jointly continuous functions from R N ×Ω to X. We give the following definition.

Definition 2.4 A function fC( R N ×Ω;X) is called almost periodic in x R N and uniformly on compact subsets of Ω, if for every ϵ>0 and compact KΩ, there exists a relatively dense set T(f,ϵ,K) in R N such that

sup y K f ( + τ , y ) f ( , y ) ϵ,τT(f,ϵ,K).

Denote by AP( R N ×Ω;X) the set of all such functions.

Lemma 2.5 If fAP( R N ×Ω;X), then it is uniformly continuous on R N ×K for each compact subset KΩ.

Proof For ϵ>0, let l be the length associated with the relatively dense set T(f,ϵ/3,K) in R N such that T(f,ϵ/3,K)B(x,l), for all x R N . Since f is uniformly continuous on B(0,l+1)×K, there is a 1>δ>0 such that when ( x , Z ),( x , Z )B(0,l+1)×K, | x x | and | Z Z |<δ, one has

f ( x , Z ) f ( x , Z ) < ϵ 3 .
(2.2)

Let (s,Z),(t,W) R N ×K be such that

|st|<δ,|ZW|<δ.
(2.3)

Choosing an τT(f,ϵ/3,K)B(s,l), then one has s+τB(0,l) and t+τB(0,l+1). Therefore, (s+τ,Z) and (t+τ,W)B(0,l+1)×K. It follows from inequalities (2.2) and (2.3) that

f ( t , W ) f ( s , Z ) f ( t , W ) f ( t + τ , W ) + f ( t + τ , W ) f ( s + τ , Z ) + f ( s + τ , Z ) f ( s , Z ) < ϵ 3 + ϵ 3 + ϵ 3 = ϵ .

The proof is completed. □

3 Pseudo almost periodic functions

Denote by PAP 0 ( R N ;X) the set of ergodic perturbations φBC( R N ;X) for which

lim r 1 m ( B ( 0 , r ) ) B ( 0 , r ) φ ( x ) dx=0.
(3.1)

It is easy to see that PAP 0 ( R N ;X) is a closed subspace of BC( R N ;X) and it contains the space of functions which vanish at infinite as a proper subspace.

As (2.1), (3.1) also has another version.

Lemma 3.1 Let φBC( R N ;X). Then φ PAP 0 ( R N ;X) if and only if

lim r 1 m ( K r ) K r φ ( x ) dx=0.
(3.2)

Proof According to the volume formulas of cubes and balls in R N , we have

m ( B ( 0 , r ) ) =c(N)m( K r / N )=C(N)m( K r ),

where c(N) and C(N) are positive constants.

For each r>0, the inclusion K r / N B(0,r) K r holds in R N with the usual Euclidean norm. It follows that

K r / N φ ( x ) dx B ( 0 , r ) φ ( x ) dx K r φ ( x ) dx.

Dividing the inequalities by m(B(0,r)) yields

1 c ( N ) 1 m ( K r / N ) K r / N φ ( x ) d x 1 m ( B ( 0 , r ) ) B ( 0 , r ) φ ( x ) d x 1 C ( N ) 1 m ( K r ) K r φ ( x ) d x .

Letting r in the formula above, we will get the equivalence of equations (3.1) and (3.2). □

We use (3.1) or (3.2) in different occasions for convenience. For example, (3.1) will be used in Theorem 4.6 and (3.2) in Lemma 3.6.

Definition 3.2 A closed subset C of R N is said to be an ergodic zero set in R N if m(C K r )/m( K r )0 as r.

Theorem 3.3 A function φBC( R N ;X) is in PAP 0 ( R N ;X) if and only if for each ϵ>0, the set C ϵ ={x R N :φ(x)ϵ} is an ergodic zero set in R N .

Proof If φ PAP 0 ( R N ;X), we prove for each ϵ>0 the set C ϵ is an ergodic zero set in R N , i.e.,

lim r m ( C ϵ K r ) m ( K r ) =0.
(3.3)

Suppose to the contrary that there exists ϵ 0 >0 such that m( C ϵ 0 K r )/m( K r ) does not converge to 0 as r. Then there exists δ>0 such that for each n,

m ( C ϵ 0 K r n ) m ( K r n ) δ,for some  r n n.

Thus, we have

1 m ( K r n ) K r n φ ( x ) dx 1 m ( K r n ) K r n C ϵ 0 φ ( x ) dx ϵ 0 m ( C ϵ 0 K r n ) m ( K r n ) ϵ 0 δ,

which contradicts the fact that φ PAP 0 ( R N ;X). So (3.3) holds.

On the other hand, suppose that (3.3) is true. That is, for any ϵ>0, there exists r 0 >0 such that for r> r 0 ,

m ( K r C ϵ ) m ( K r ) < ϵ φ + 1 .

Thus,

1 m ( K r ) K r φ ( x ) d x = 1 m ( K r ) K r C ϵ φ ( x ) d x + 1 m ( K r ) K r C ϵ φ ( x ) d x m ( K r C ϵ ) m ( K r ) φ + 1 m ( K r ) K r C ϵ ϵ d x < ϵ + ϵ = 2 ϵ

for r> r 0 . This implies that φ PAP 0 ( R N ;X). □

Lemma 3.4 The following statements hold:

  1. (1)

    A function φBC( R N ;E) is in PAP 0 ( R N ;E) if and only if φ 2 is.

  2. (2)

    For each positive integer n, ΦBC ( R N ; E ) n is in PAP 0 ( R N ; E ) n if and only if the norm function |Φ()| is in PAP 0 ( R N ;R).

Proof (1) For any ϵ>0, it is obvious that

C ϵ (φ)= { x R N : | φ ( x ) | ϵ } = { x R N : | φ ( x ) 2 | ϵ 2 } = C ϵ 2 ( φ 2 ) .

Since the ϵ>0 is arbitrary, Theorem 3.3 implies the conclusion.

(2) By (1), Φ=( φ 1 , φ 2 ,, φ n ) PAP 0 ( R N ; E ) n if and only if φ i 2 PAP 0 ( R N ;E), i=1,2,,n, the latter is equivalent to | Φ ( ) | 2 = i = 1 n | φ i ( ) | 2 PAP 0 ( R N ;R), which, again by (1), is equivalent to |Φ()| PAP 0 ( R N ;R). □

Definition 3.5 A function fC( R N ;X) is called pseudo almost periodic if f=g+φ, where gAP( R N ;X) and φ PAP 0 ( R N ;X). The functions g and φ are called the almost periodic component and ergodic perturbation of f, respectively. Denote by PAP( R N ;X) the space of all such pseudo almost periodic functions.

The decomposition for f above is unique. Otherwise, let f= g ˜ + φ ˜ where g ˜ is almost periodic and φ ˜ is an ergodic perturbation. Then g g ˜ =φ φ ˜ . If g g ˜ 0 does not hold, then by Lemma 2.3(2), M(g g ˜ )>0. But since both φ and φ ˜ are ergodic perturbations, M(φ φ ˜ )=0. This is a contradiction.

Lemma 3.6 If fPAP( R N ;X) and g is its almost periodic component, then g( R N ) f ( R N ) ¯ . Therefore f g inf x R N g(x) inf x R N f(x).

Proof If g( R N ) f ( R N ) ¯ , then there exists an x 0 R N such that inf s R N g( x 0 )f(s)>ϵ>0. Since g is continuous at x 0 , there is a δ>0 such that |x|<δ implies that inf s R N g( x 0 +x)f( x 0 +s)>ϵ. By Definition 2.1, for ϵ>0 there exists l ϵ / 2 >0 such that every cube x 0 +s+ K l ϵ / 2 , s R N contains at least one point τT(g,ϵ/2). Therefore, if |x|<δ, then

φ ( x 0 + x + τ ) = f ( x 0 + x + τ ) g ( x 0 + x + τ ) f ( x 0 + x + τ ) g ( x 0 + x ) g ( x 0 + x ) g ( x 0 + x + τ ) inf s R N f ( x 0 + s ) g ( x 0 + x ) g ( x 0 + ) g ( x 0 + + τ ) > ϵ / 2 .

This implies that each cube s+ K l ϵ / 2 + δ , s R N contains a ball with radius δ on which φ>ϵ/2.

Now, we use (3.2) to show the contradiction. For any positive integer n, we divide K n ( l ϵ / 2 + δ ) into n N smaller cubes with edge length l ϵ / 2 +δ who do not have common inner point with each other. Then, using the volume formulas m( K r )= ( 2 r ) N and m(B(0,r))=[ π N / 2 /Γ(1+N/2)] r N in R N where Γ() is the classical Gamma function, we obtain

1 m ( K n ( l ϵ / 2 + δ ) ) K n ( l ϵ / 2 + δ ) φ ( x ) d x 1 m ( K n ( l ϵ / 2 + δ ) ) n N m ( B ( 0 , δ ) ) ϵ 2 = n N ( 2 n ( l ϵ / 2 + δ ) ) N [ π N / 2 / Γ ( 1 + N / 2 ) ] δ N ϵ 2 = [ π N / 2 / Γ ( 1 + N / 2 ) ] δ N 2 N ( l ϵ / 2 + δ ) N ϵ 2 > 0 .

Note that the last term in the formula above is independent of n. Letting n above, because φ PAP 0 ( R N ;X), we get a contradiction to (3.2). □

Theorem 3.7 PAP( R N ;X) is a Banach space.

Proof Obviously PAP( R N ;X) is a normed linear subspace of BC( R N ;X), and we only need to show it is complete. Let { f n }PAP( R N ;X) be a Cauchy sequence, g n and φ n be the almost periodic component and ergodic perturbation of f n , respectively. By Lemma 3.6, { g n }AP( R N ;X) is Cauchy too. So is { φ n } PAP 0 ( R N ;X). Since AP( R N ;X) and PAP 0 ( R N ;X) are closed in BC( R N ;X), there exist gAP( R N ;X) and φ PAP 0 ( R N ;X) such that g n g 0 and φ n φ 0 as n. Set f=g+φ. Then fPAP( R N ;X) and f n f 0, as n. □

Definition 3.8 A function fC( R N ×Ω;X) is called an ergodic perturbation in x R N and uniformly on compact subsets of Ω, if for each compact KΩ, fBC( R N ×K;X) and

lim r 1 m ( B ( 0 , r ) ) B ( 0 , r ) φ ( x , Z ) dx=0

uniformly with respect to ZK.

Let PAP( R N ×Ω;X) denote all the functions f of the form

f=g+φ,

where gAP( R N ×Ω;X) and φ PAP 0 ( R N ×Ω;X).

Let K be a subset of Ω. A function f: R N ×ΩX is said to be continuous in zK and uniformly in x R N , if for any given zK and ϵ>0, there exists a δ(z,ϵ)>0, such that z K and | z z|<δ(z,ϵ) imply that f(x, z )f(x,z)<ϵ for all x R N .

Lemma 3.9 Suppose the function f PAP 0 ( R N ×Ω;X) is continuous in zK and uniformly in x R N for a compact KΩ. Then

lim r 1 m ( B ( 0 , r ) ) B ( 0 , r ) max z K f ( x , z ) dx=0.

Proof Since K is compact, for arbitrary ϵ>0 one can find a finite number, say m, of open balls B k with center z ( k ) K and radius δ( z ( k ) , ϵ 2 ), k=1,2,,m, such that K k = 1 m B k and

f ( x , z ) f ( x , z ( k ) ) < ϵ 2 ( z B k , x R N ) .
(3.4)

Since each f(, z ( k ) ) PAP 0 ( R N ;X), there is a number r 0 >0 such that

k = 1 m 1 m ( B ( 0 , r ) ) B ( 0 , r ) f ( x , z ( k ) ) dx< ϵ 2 ,r> r 0 .
(3.5)

It follows from (3.4) and (3.5) that

1 m ( B ( 0 , r ) ) B ( 0 , r ) max z K f ( x , z ) dx 1 m ( B ( 0 , r ) ) B ( 0 , r ) k = 1 m f ( x , z ( k ) ) dx+ ϵ 2 <ϵ

for r> r 0 . By the arbitrariness of ϵ, we get the conclusion. □

4 Almost periodic and pseudo almost periodic weak solutions

In this section, we simplify the notations for -valued function spaces in the previous sections by omitting the value space. For example, C( R N ;R) is replaced with C( R N ). Also some new notations will be used in this section, i.e., C 1 ( R N ) is the set of all continuous differentiable functions; C 0 ( R N ) denotes the set all smooth functions with compact support; H loc 1 ( R N ) denotes the local Sobolev space of functions which and their first generalized derivatives are locally square integrable; and L ( R N ) ( L loc ( R N )) is the Lebesgue measurable (locally) bounded function space.

Now, we consider the problem

{ Δ u + j = 1 N c j j u + f ( x , u ) = h ( x ) , x R N , u C ( R N ) ,
(4.1)

where c j ’s are real constants, fC( R N ×R), and h L loc ( R N ).

Definition 4.1 The function α H loc 1 ( R N ) L loc ( R N ) is a lower solution of (4.1) if, for every v C 0 ( R N ),

v0 R N j = 1 N j α( j v+ c j v)dx+ R N f(x,α)vdx R N hvdx0.

The function β H loc 1 ( R N ) L loc ( R N ) is an upper solution of (4.1) if, for every v C 0 ( R N ),

v0 R N j = 1 N j β( j v+ c j v)dx+ R N f(x,β)vdx R N hvdx0.

For the existence of a weak solution to (4.1) and its relationship with the nonlinear term f and forcing term h, we refer to the following two lemmas.

Lemma 4.2 ([[14], Theorem 2.5])

Assume that α is a lower and β an upper solution of (4.1) and αβ. Then problem (4.1) has a weak solution u C 1 ( R N ) such that αuβ.

Lemma 4.3 ([[14], Theorem 2.7])

Let h 1 , h 2 ,α,β L ( R N ). Assume that there exists δ>0 such that

α(x)stβ(x)f(x,t)f(x,s)δ(ts).
(4.2)

If, for i=1,2, u i C 1 ( R N ) is a weak solution of

Δu+ j = 1 N c j j u+f(x,u)= h i (x)

such that α u i β, then

u 1 u 2 δ 1 h 1 h 2 .

In the remaining of this section, we will consider the almost periodicity and pseudo almost periodicity of the bounded weak solution of problem (4.1) under the assumption that f and h have the corresponding properties.

4.1 Almost periodic weak solution

To show the pseudo almost periodicity of a weak solution u of problem (4.1), the process consists of two parts: obtaining its almost periodic component and then the ergodic perturbation. This subsection is devoted to obtaining the almost periodic component.

Theorem 4.4 Under the assumptions of Lemma  4.2, we assume further that α,β L ( R N ) and there exists δ>0 such that

essinfαstesssupβf(x,t)f(x,s)δ(ts),
(4.3)

where essinf (esssup) denotes the essential infimum (essential supremum) of a function. We also assume that f is almost periodic in x R N and uniformly on compact subsets of  , and h is almost periodic. Then the weak solution u of (4.1) in Lemma  4.2 is unique and almost periodic.

Proof The uniqueness of u follows from Lemma 4.3.

From the assumptions, we know that f is almost periodic in x R N and uniformly on the compact set [essinfα,esssupβ]R. By [[12], Theorem 9.4], there exist a Banach space Y and an almost periodic function f : R N Y such that

f ( + τ , u ) f ( , u ) f ( + τ ) f ( ) ,τ R N ,u[essinfα,esssupβ].

For an arbitrary ϵ>0, it follows from Lemma 2.2(5) that T(h,δ ϵ 2 )T( f ,δ ϵ 2 ) is relatively dense in R N . We will show that T(h,δ ϵ 2 )T( f ,δ ϵ 2 )T(u,ϵ), and thus u is almost periodic on R N .

Let τT(h,δ ϵ 2 )T( f ,δ ϵ 2 ). Then u(+τ) is a weak solution of the equation

Δ u ( x + τ ) + j = 1 N c j j u ( x + τ ) + f ( x , u ( x + τ ) ) = h ( x + τ ) + f ( x , u ( x + τ ) ) f ( x + τ , u ( x + τ ) ) .

Note that both u and u(+τ) satisfy the condition in (4.3). We can take the constants essinfα and esssupβ as two functions in L ( R N ), then Lemma 4.3 implies that

u u ( + τ ) δ 1 h ( + τ ) h ( ) + f ( , u ( + τ ) ) f ( + τ , u ( + τ ) ) δ 1 ( h ( + τ ) h ( ) + f ( ) f ( + τ ) ) ϵ ,

i.e., τT(u,ϵ). The proof is completed. □

Remark 4.5 Theorem 4.4 improves [[14], Theorem 3.2] where the nonlinear term f(x,u)f(u), which benefits from the applications of the notion of almost periodic dominance f (see [[12], Chapter 9]) and Lemma 2.2(5).

4.2 Pseudo almost periodic weak solution

Now we assume that f is pseudo almost periodic in x R N and uniformly on compact subsets of and h is also pseudo almost periodic. Let

f(x,u)=g(x,u)+φ(x,u),h(x)= h 1 (x)+ h 2 (x),x R N ,uR,

where g and h 1 are the almost periodic components, φ and h 2 are ergodic perturbations.

In the following, we shall use the auxiliary nonnegative function ψ R C 0 ( R N ), R1, such that for some κ(0,1),

ψ R ( x ) = { 1 , | x | R , 0 , | x | R + R κ , | γ ψ R ( x ) | C γ R κ | γ | ,

where γ=( γ 1 , γ 2 ,, γ n ) is the multiple index with the γ i ’s being nonnegative integers, |γ|= i = 1 N γ i , γ = | γ | x 1 γ 1 x N γ N , C γ >0 does not depend on R. The function ψ R originates from [[17], Lemma 4.1] and has been used in [[13], page 159] for another purpose.

To consider (4.1), we also need to consider its almost periodic component, i.e. the equation

{ Δ υ + j = 1 N c j j υ + g ( x , υ ) = h 1 ( x ) , x R N , υ C ( R N ) .
(4.4)

Theorem 4.6 Assume that α 1 , α 2 H loc 1 ( R N ) L ( R N ) are lower and β 1 , β 2 H loc 1 ( R N ) L ( R N ) upper solutions of (4.1) and (4.4), respectively. Let f be continuous in zK and uniformly in x R N for each compact KR. If there exists δ>0 such that

ess inf min { α 1 , α 2 } s t ess sup max { β 1 , β 2 } f ( x , t ) f ( x , s ) δ ( t s ) ,
(4.5)

then problem (4.1) has a unique pseudo almost periodic weak solution u C 1 ( R N ) such that α 1 u β 1 whose almost periodic component is a weak solution of (4.4).

Proof It follows from Lemma 3.6 that (4.5) is also valid when f is replaced with g. In fact, for each pair of s and t satisfying the condition in (4.5), g(,t)g(,s) is the almost periodic component of the pseudo almost periodic function f(,t)f(,s). By Lemma 3.6, for each x R N there exists a sequence { x n } R N such that

g(x,t)g(x,s)= lim n f( x n ,t)f( x n ,s)δ(ts).

Lemmas 4.2 and 4.3 imply the existence and uniqueness of weak solutions u C 1 ( R N ) and υ C 1 ( R N ) of (4.1) and (4.4), respectively, such that α 1 u β 1 and α 2 υ β 2 . Moreover, Theorem 4.4 implies that υ is almost periodic.

Now if we can show that uv PAP 0 ( R N ), then the proof is completed.

Let w=uυ, then w is a weak solution of the equation

Δw+ j = 1 N c j j w+f(x,u)f(x,υ)= h 2 (x)φ(x,υ),x R N .

Since w C 1 ( R N ) and ψ R C 0 ( R N ), w ψ R H 0 1 ( R N ). Thus, by the definition of a weak solution, we have

B ( 0 , R + R κ ) w ( w ψ R ) d x + B ( 0 , R + R κ ) j = 1 N c j j w ( w ψ R ) d x + B ( 0 , R + R κ ) [ f ( x , u ) f ( x , υ ) ] ( w ψ R ) d x = B ( 0 , R + R κ ) [ h 2 ( x ) φ ( x , υ ) ] ( w ψ R ) d x .
(4.6)

Now we will give some estimations for terms on the left side of (4.6). For the first term, we have

I 1 = B ( 0 , R + R κ ) w ( w ψ R ) d x = B ( 0 , R + R κ ) w w ψ R d x + B ( 0 , R + R κ ) w w ψ R d x .
(4.7)

Since ψ R is nonnegative, B ( 0 , R + R κ ) ww ψ R dx0. Using integration by parts, it is easy to see that

B ( 0 , R + R κ ) w w ψ R d x = j = 1 N B ( 0 , R + R κ ) j ( 1 2 w 2 ) j ψ R d x j = 1 N [ | x x j e j | R + R κ d x 1 d x j ˆ d x N w 2 j ψ R + B ( 0 , R + R κ ) 1 2 w 2 j 2 ψ R d x ] N [ π ( N 1 ) / 2 / Γ ( 1 + ( N 1 ) / 2 ) ] ( R + R κ ) N 1 w 2 max | γ | = 1 { C γ } R κ 1 2 N [ π N / 2 / Γ ( 1 + N / 2 ) ] [ ( R + R κ ) N R N ] w 2 max | γ | = 2 { C γ } R 2 κ = O ( R N 1 κ ) as  R ,

where e j R N whose j th element is 1 and the others are 0, is the symbol of infinite of the same order.

For the second term in (4.6), similar to the last formulas, we have

I 2 = B ( 0 , R + R κ ) j = 1 N c j j w ( w ψ R ) d x = j = 1 N c j B ( 0 , R + R κ ) j ( 1 2 w 2 ) ψ R d x j = 1 N | c j | [ π ( N 1 ) / 2 / Γ ( 1 + ( N 1 ) / 2 ) ] ( R + R κ ) N 1 w 2 C θ 1 2 j = 1 N | c j | [ π ( N 1 ) / 2 / Γ ( 1 + ( N 1 ) / 2 ) ] [ ( R + R κ ) N R N ] w 2 max | γ | = 1 { C γ } R κ = O ( R N 1 ) as  R ,

where θ=(0,,0) is the zero index.

For the third term, it is implied by (4.5) that

I 3 = B ( 0 , R + R κ ) [ f ( x , u ) f ( x , υ ) ] (w ψ R )dxδ B ( 0 , R ) w 2 dx.

Multiplying (4.6) by 1 m ( B ( 0 , R + R κ ) ) and using the estimations for I 1 - I 3 , we obtain for sufficiently large R,

δ 1 m ( B ( 0 , R + R κ ) ) B ( 0 , R ) w 2 d x C R 1 + C θ w 1 m ( B ( 0 , R + R κ ) ) B ( 0 , R + R κ ) ( | h 2 ( x ) | + | φ ( x , υ ) | ) d x ,
(4.8)

where C is a positive constant.

Since h 2 PAP 0 ( R N ), we have

lim R 1 m ( B ( 0 , R + R κ ) ) B ( 0 , R + R κ ) | h 2 ( x ) | dx=0.
(4.9)

By Lemma 2.2(2), the range R υ of υ is relatively compact. We know from Lemma 2.5 that g(x,z) is uniformly continuous in R N × R υ ¯ . Since f(x,z) is continuous in z R υ ¯ and uniformly in x R N , then so is φ=fg. Now by Lemma 3.9, we have

lim R 1 m ( B ( 0 , R + R κ ) ) B ( 0 , R + R κ ) | φ ( x , υ ) | d x lim R 1 m ( B ( 0 , R + R κ ) ) B ( 0 , R + R κ ) max z R υ ¯ | φ ( x , z ) | d x = 0 .
(4.10)

It follows from (4.8)-(4.10) that

lim R 1 m ( B ( 0 , R + R κ ) ) B ( 0 , R ) w 2 dx=0.
(4.11)

Note that m ( B ( 0 , R ) ) m ( B ( 0 , R + R κ ) ) = R N ( R + R κ ) N = 1 ( 1 + R κ 1 ) 1, as R. Then (4.11) implies that

lim R 1 m ( B ( 0 , R ) ) B ( 0 , R ) w 2 dx=0,

i.e., w 2 PAP 0 ( R N ). From Lemma 3.4, it follows that w PAP 0 ( R N ). □

Remark 4.7 Theorem 4.6 can also be comprehended in the following way. If the nonlinear term g and forcing term h 1 of (4.4) are perturbed by ergodic perturbations which maintain the monotonicity of nonlinear term and the existence of upper and lower solutions, then its almost periodic weak solution is also perturbed by an ergodic perturbation.

4.3 Pseudo almost periodic forced pendulum equation

Consider the equation

Δu+ j = 1 N c j j uf(x)sinu=h(x),x R N ,
(4.12)

where c j ’s are real constants, f and h both are pseudo almost periodic. If there exists an ϵ>0 such that f(x) h +ϵ, x R N , then (4.12) has a unique pseudo almost periodic weak solution such that π 2 <u< 3 π 2 .

A special case of (4.12) was treated in [[14], Example 3.3] and [[15], Example 7.1(b)], where f(x)a, h is almost periodic and a> h .

Proof Let g and h 1 are the almost periodic components of f and h, respectively. We need to consider the following almost periodic equation together:

Δυ+ j = 1 N c j j υg(x)sinυ= h 1 (x),x R N .
(4.13)

It follows from Lemma 3.6 that g and h 1 also satisfy the relationship that g(x) h 1 +ϵ, x R N .

If δ>0 is sufficient small (<ϵ), then α= π 2 +δ and β= 3 π 2 δ are lower and upper solutions of both (4.12) and (4.13).

Since u [f(x)sinu]=f(x)cosu is strictly positive when u[ π 2 +δ, 3 π 2 δ].

Now we can apply Theorem 4.6 and get the conclusion that (4.12) has a unique pseudo almost periodic weak solution u such that π 2 <u< 3 π 2 and its almost periodic component is a weak solution of (4.13). □

References

  1. 1.

    Zhang CY: Integration of vector-valued pseudo almost periodic functions. Proc. Am. Math. Soc. 1994, 121: 167-174. 10.1090/S0002-9939-1994-1186140-8

    Article  Google Scholar 

  2. 2.

    Zhang CY: Pseudo almost periodic solutions of some differential equations. J. Math. Anal. Appl. 1994, 151: 62-76.

    Article  Google Scholar 

  3. 3.

    Zhang CY: Pseudo almost periodic solutions of some differential equations, II. J. Math. Anal. Appl. 1995, 192: 543-561. 10.1006/jmaa.1995.1189

    MathSciNet  Article  Google Scholar 

  4. 4.

    Li HX, Huang FL, Li JY: Composition of pseudo almost-periodic functions and semilinear differential equations. J. Math. Anal. Appl. 2001, 255: 436-446. 10.1006/jmaa.2000.7225

    MathSciNet  Article  Google Scholar 

  5. 5.

    Cieutat P, Fatajou S, N’Guérékata GM: Composition of pseudo almost periodic and pseudo almost automorphic functions and applications to evolution equations. Appl. Anal. 2010, 89: 11-27. 10.1080/00036810903397503

    MathSciNet  Article  Google Scholar 

  6. 6.

    Dads EA, Ezzinbi K: Existence of positive pseudo almost periodic solution for a class of functional equations arising in epidemic problems. Cybern. Syst. Anal. 1994, 30: 900-910. 10.1007/BF02366449

    Article  Google Scholar 

  7. 7.

    Xu B, Yuan R: The existence of positive almost periodic type solutions for some neutral nonlinear integral equation. Nonlinear Anal., Theory Methods Appl. 2005, 60: 669-684. 10.1016/j.na.2004.09.043

    MathSciNet  Article  Google Scholar 

  8. 8.

    Diagana T: Pseudo Almost Periodic Functions in Banach Spaces. Nova Science Publishers, New York; 2007.

    Google Scholar 

  9. 9.

    Bochner S: Abstrakte fastperiodische funktionen. Acta Math. 1933, 61: 149-184. 10.1007/BF02547790

    MathSciNet  Article  Google Scholar 

  10. 10.

    Sibuya Y: Almost periodic solutions of Poisson’s equation. Proc. Am. Math. Soc. 1971, 28: 195-198.

    MathSciNet  Google Scholar 

  11. 11.

    Sell GR: Almost periodic solutions of linear partial differential equations. J. Math. Anal. Appl. 1973, 42: 302-312. 10.1016/0022-247X(73)90139-X

    MathSciNet  Article  Google Scholar 

  12. 12.

    Zaidman S: Almost Periodic Functions in Abstract Spaces. Pitman, Boston; 1985.

    Google Scholar 

  13. 13.

    Pankov A: Bounded and Almost Periodic Solutions of Nonlinear Operator Differential Equations. Kluwer Academic, Dordrecht; 1990. English Edition

    Book  Google Scholar 

  14. 14.

    Fournier G, Szulkin A, Willem M:Semilinear elliptic equations in R n with almost periodic or unbounded forcing term. SIAM J. Math. Anal. 1996, 27: 1653-1660. 10.1137/S0036141094278699

    MathSciNet  Article  Google Scholar 

  15. 15.

    N’Guérékata GM, Pankov A: Almost periodic elliptic equations: sub- and super-solutions. Operator Theory: Advances and Applications 228. In Operator Theory, Pseudo-Differential Equations, and Mathematical Physics. Birkhäuser, Basel; 2013:275-292.

    Chapter  Google Scholar 

  16. 16.

    Shubin MA: Differential and pseudodifferential operators in spaces of almost periodic functions. Math. USSR Sb. 1974, 24(4):547-573. 10.1070/SM1974v024n04ABEH001923

    Article  Google Scholar 

  17. 17.

    Shubin MA: Almost periodic functions and partial differential operators. Russ. Math. Surv. 1978, 33(2):1-52. 10.1070/RM1978v033n02ABEH002303

    Article  Google Scholar 

Download references

Acknowledgements

The authors acknowledge support from the NSF of China (no. 11071048).

Author information

Affiliations

Authors

Corresponding author

Correspondence to Desheng Ji.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally in this article. They read and approved the final 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.

Reprints and Permissions

About this article

Cite this article

Ji, D., Zhang, C. Pseudo almost periodic weak solutions of a semilinear elliptic equation. Adv Differ Equ 2014, 46 (2014). https://doi.org/10.1186/1687-1847-2014-46

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2014-46

Keywords

  • almost periodicity
  • pseudo almost periodicity
  • semilinear elliptic equation