Startseite Existence and multiplicity of positive solutions for multiparameter periodic systems
Artikel Open Access

Existence and multiplicity of positive solutions for multiparameter periodic systems

  • Liping Wei , Yongqiang Dai EMAIL logo und Shunchang Su
Veröffentlicht/Copyright: 12. Juni 2025

Abstract

We deal with the existence and multiplicity of positive solutions for differential systems depending on two parameters, λ 1 , λ 2 , subjected to periodic boundary conditions. We establish the existence of a continuous curve Γ that separates the first quadrant into two disjoint unbounded open sets O 1 and O 2 . Specifically, we prove that the periodic system has no positive solutions if ( λ 1 , λ 2 ) O 1 , at least one positive solution if ( λ 1 , λ 2 ) Γ , and at least two positive solutions if ( λ 1 , λ 2 ) O 2 . Our approach relies on the fixed point index theory and the method of lower and upper solutions.

MSC 2010: 34B15; 34B18

1 Introduction

In this work, we study the existence and multiplicity of positive solutions for differential systems of form

(1.1) u + q ( x ) u = λ 1 μ 1 ( x ) g 1 ( u , v ) , x ( 0 , T ) , v + q ( x ) v = λ 2 μ 2 ( x ) g 2 ( u , v ) , x ( 0 , T ) , u ( 0 ) = u ( T ) , u ( 0 ) = u ( T ) , v ( 0 ) = v ( T ) , v ( 0 ) = v ( T ) ,

where q C ( [ 0 , T ] , [ 0 , ) ) with q 0 , λ 1 , λ 2 > 0 are real parameters, μ 1 , μ 2 C ( [ 0 , T ] , ( 0 , ) ) and g 1 , g 2 : [ 0 , ) × [ 0 , ) [ 0 , ) are continuous.

The periodic problem for a single equation has been studied in many papers over the last several years [16]. Using different approaches, [710] generalized these results to differential systems, which describe new and special phenomena. In [9], the existence, multiplicity, and nonexistence of positive solutions of systems

u + m 2 u = λ H ( x ) G ( u ) , x ( 0 , 1 ) , u ( 0 ) = u ( 1 ) , u ( 0 ) = u ( 1 )

have been established, where u = [ u 1 , u 2 , , u n ] T , m is some positive constant, λ > 0 is a positive parameter, and H ( x ) = diag [ h 1 ( x ) , h 2 ( x ) , , h n ( x ) ] , G ( u ) = [ g 1 ( u ) , g 2 ( u ) , , g n ( u ) ] T . Chu et al. [11] studied the n -dimensional nonlinear system

(1.2) u + A ( x ) u = λ H ( x ) G ( u ) , x ( 0 , 1 ) , u ( 0 ) = u ( 1 ) , u ( 0 ) = u ( 1 ) ,

where A ( x ) = diag [ a 1 ( x ) , a 2 ( x ) , , a n ( x ) ] . They provide sufficient conditions ensuring that the integral operator corresponding to (1.2) has a positive fixed point, and they prove that for each λ within a specified eigenvalue interval, (1.2) has at least one positive solution.

In view of the above, it appears as being natural to extend the previous study to more general, multiparameter, which does not have a variational structure. So, the main goal of this work is to extend a result of non-existence, existence, and multiplicity from [12] for a single equation to the more general two-parameter systems (1.1). Precisely, according to [12], there exist λ * > λ * > 0 such that problem

u + q ( x ) u = λ f ( x , u ) , x ( 0 , T ) , u ( 0 ) = u ( T ) , u ( 0 ) = u ( T )

has zero, at least one, or at least two positive solutions according to 0 < λ < λ * , λ * λ λ * , or λ > λ * .

Based upon the lower and upper solutions method and fixed point index, we obtain that there exist λ ˜ 1 , λ ˜ 2 > 0 , such that for all λ 1 > λ ˜ 1 and λ 2 > λ ˜ 2 , (1.1) has a positive solution ( u , v ) , where both u and v are positive in [ 0 , T ] . Moreover, we show the existence of a continuous curve Γ that divides the first quadrant into two separate, unbounded, and open regions O 1 and O 2 . Specifically, there are zero positive solutions when ( λ 1 , λ 2 ) lies in O 1 , at least one positive solution when ( λ 1 , λ 2 ) is on Γ , and at least two positive solutions when ( λ 1 , λ 2 ) is in O 2 . Notably, the curve Γ approaches asymptotically to two lines that are parallel to the coordinate axes 0 λ 1 and 0 λ 2 , while O 1 is located below Γ and adjacent to axes 0 λ 1 and 0 λ 2 .

The structure of this work is as follows. Section 2 introduces some preliminary results related to the reformulation of system (1.1) and a theorem of cone expansion/compression type, which plays a crucial role in our proof. The focus of Section 3 lies in the lower and upper solution method. We finally state and prove our main result for a two-parameter periodic system in Section 4.

2 Preliminaries

Throughout this work, let C C [ 0 , T ] be endowed with the sup-norm u = max x [ 0 , T ] u ( x ) . C 1 = C 1 [ 0 , T ] with the norm u 1 = max x [ 0 , T ] u ( x ) + max x [ 0 , T ] u ( x ) . While the product space C 1 × C 1 will be understood with the norm ( u , v ) = max { u , v } + max { u , v } .

We denote by G ( x , s ) Green’s function corresponding to

u + q ( x ) u = h ( x ) , x ( 0 , T ) , u ( 0 ) = u ( T ) , u ( 0 ) = u ( T ) .

According to Theorem 2.5 of [13], for all x , s [ 0 , T ] , Green’s function G ( x , s ) is positive, and the solution to the problem is given by

u ( x ) = 0 T G ( x , s ) h ( s ) d s .

Denote

m = min 0 x , s T G ( x , s ) , M = max 0 x , s T G ( x , s ) , σ = m M .

Obviously, 0 < m < M and 0 < σ < 1 .

We consider the closed subspace

C M 1 = { ( u , v ) C 1 × C 1 : u ( i ) ( 0 ) = u ( i ) ( T ) , v ( i ) ( 0 ) = v ( i ) ( T ) , i = 0 , 1 }

and its closed, convex cone

K = { ( u , v ) C M 1 : u , v 0 , min 0 x T ( u ( x ) + v ( x ) ) σ ( u + v ) } .

Also, we denote B ( ρ ) { ( u , v ) K : ( u , v ) < ρ } .

We reduce problem (1.1) to an equivalent fixed point problem of the form

F λ : K K , F λ ( u , v ) = ( F 1 , λ ( u , v ) , F 2 , λ ( u , v ) ) ,

where F i , λ ( u , v ) = λ i 0 T G ( x , s ) μ i ( s ) g i ( u ( s ) , v ( s ) ) d s . It is obvious that F i , λ is completely continuous.

If A is a subset of K , we set

K ( A ) { T T : A K is a compact operator } .

Also, given a bounded open (in K ) subset O of K , we denote by i ( T , O , K ) the fixed point index of the operator T K ( O ¯ ) on O with respect to K [14]. The following well-known lemma is very crucial in our arguments, refer [15,16] for a proof and further discussion of the fixed point index.

Lemma 2.1

Let E be a Banach space and P a cone in E. For r > 0 , define P r = { x P : x < r } . Assume that T : P r ¯ P r is completely continuous such that T x x for x P r = { x P : x = r } .

  1. If T x x for x P r , then i ( T , P r , P ) = 0 .

  2. If T x x for x P r , then i ( T , P r , P ) = 1 .

3 Lower and upper solutions

Let us consider

(3.1) u + q ( x ) u = f 1 ( x , u , v ) , x ( 0 , T ) , v + q ( x ) v = f 2 ( x , u , v ) , x ( 0 , T ) , u ( 0 ) = u ( T ) , u ( 0 ) = u ( T ) , v ( 0 ) = v ( T ) , v ( 0 ) = v ( T ) ,

where f 1 , f 2 : [ 0 , T ] × [ 0 , ) 2 [ 0 , ) are L 1 -Carathéodory functions.

In the terminology of [17,18], if a function f = f ( x , s , t ) : [ 0 , T ] × [ 0 , ) 2 [ 0 , ) satisfies that for fixed x , s (resp. x , t ),

f ( x , s , t 1 ) f ( x , s , t 2 ) as t 1 t 2 ( resp. f ( x , s 1 , t ) f ( x , s 2 , t ) as s 1 s 2 ) .

Then, it is said to be quasi-monotone nondecreasing with respect to t (resp. s ).

A couple of nonnegative functions ( α u , α v ) C 2 × C 2 is a lower solution of (3.1) if

(3.2) α u + q ( x ) α u f 1 ( x , α u , α v ) , x ( 0 , T ) , α v + q ( x ) α v f 2 ( x , α u , α v ) , x ( 0 , T ) , α u ( 0 ) = α u ( T ) , α u ( 0 ) α u ( T ) , α v ( 0 ) = α v ( T ) , α v ( 0 ) α v ( T ) .

An upper solution ( β u , β v ) C 2 × C 2 is defined by reversing the first two inequalities in (3.2) and asking β u ( 0 ) β u ( T ) , β v ( 0 ) β v ( T ) instead of α u ( 0 ) α u ( T ) , α v ( 0 ) α v ( T ) .

Lemma 3.1

Suppose that (3.1) has an upper solution ( β u , β v ) and a lower solution ( α u , α v ) . Let f 1 ( x , u , v ) (resp. f 2 ( x , u , v ) ) be quasi-monotone nondecreasing with respect to v (resp. u ) and define

A α , β = { ( u , v ) K : α u u β u , α v v β v } .

Then,

  1. there exists at least one solution of problem (3.1) in A α , β ;

  2. if ( u 0 , v 0 ) A α , β is the unique solution of (3.1) and there exists ρ 0 > 0 such that B ( ( u 0 , v 0 ) , ρ 0 ) = { ( u , v ) K : ( u u 0 , v v 0 ) ρ 0 } A α , β , then

    i ( F , B ( ( u 0 , v 0 ) , ρ ) , K ) = 1 , for a l l 0 ρ ρ 0 ,

    where F ( u , v ) = ( F 1 ( u , v ) , F 2 ( u , v ) ) and F i : K K defined by

    F i ( u , v ) = 0 T G ( x , r ) f i ( r , u , v ) d r .

Proof

(i) We define the continuous functions Γ 1 , Γ 2 : [ 0 , T ] × [ 0 , ) 2 [ 0 , ) ,

Γ 1 ( x , s , t ) = f 1 ( x , γ 1 ( x , s ) , γ 2 ( x , t ) ) s + γ 1 ( x , s ) , Γ 2 ( x , s , t ) = f 2 ( x , γ 1 ( x , s ) , γ 2 ( x , t ) ) t + γ 2 ( x , t ) ,

with γ i given by

γ 1 ( x , s ) = max { α u ( x ) , s } , γ 2 ( x , t ) = max { α v ( x ) , t } .

And we consider the modified problem

(3.3) u + q ( x ) u = Γ 1 ( x , u , v ) , x ( 0 , T ) , v + q ( x ) v = Γ 2 ( x , u , v ) , x ( 0 , T ) , u ( 0 ) = u ( T ) , u ( 0 ) = u ( T ) , v ( 0 ) = v ( T ) , v ( 0 ) = v ( T ) .

Next we write (3.3) as a system of integral equations

u ( x ) = 0 T G ( x , r ) Γ 1 ( r , u , v ) d r , v ( x ) = 0 T G ( x , r ) Γ 2 ( r , u , v ) d r .

The operator F ¯ i : K K defined by

F ¯ i ( u , v ) = 0 T G ( x , r ) Γ i ( r , u , v ) d r

is completely continuous and bounded. By Schauder’s theorem, F ¯ ( u , v ) = ( F ¯ 1 ( u , v ) , F ¯ 2 ( u , v ) ) has a fixed point, which is a solution of (3.3). We prove that any solution ( u , v ) of (3.3) satisfies ( u , v ) A α , β . Here we only establish the inequality α u u on [ 0 , T ] (a similar argument can be made for α v v ).

Suppose by contradiction that there exists x 0 [ 0 , T ] such that

max 0 x T ( α u u ) = α u ( x 0 ) u ( x 0 ) > 0 .

If x 0 ( 0 , T ) , then there exists a sequence { x k } ( 0 , x 0 ) converging to x 0 such that α u ( x 0 ) = u ( x 0 ) and α u ( x k ) u ( x k ) 0 . This implies

α u ( x k ) α u ( x 0 ) u ( x k ) u ( x 0 ) ,

which yields

α u ( x 0 ) u ( x 0 ) .

Since ( α u , α v ) is a lower solution of (3.1) and f 1 is quasi-monotone nondecreasing with respect to v , we have

α u ( x 0 ) u ( x 0 ) = q ( x 0 ) u ( x 0 ) f 1 ( x 0 , α u ( x 0 ) , γ 2 ( x 0 , v ( x 0 ) ) ) + u ( x 0 ) α u ( x 0 ) < q ( x 0 ) u ( x 0 ) f 1 ( x 0 , α u ( x 0 ) , α v ( x 0 ) ) q ( x 0 ) α u ( x 0 ) f 1 ( x 0 , α u ( x 0 ) , α v ( x 0 ) ) α u ( x 0 ) ,

which is a contradiction. If max 0 x T ( α u u ) = α u ( 0 ) u ( 0 ) = α u ( T ) u ( T ) , then α u ( 0 ) u ( 0 ) 0 , α u ( T ) u ( T ) 0 . Using that α u ( 0 ) α u ( T ) , we deduce that α u ( 0 ) u ( 0 ) = 0 = α u ( T ) u ( T ) . Applying similar reasoning as for x 0 = 0 , we have

α u ( 0 ) u ( 0 ) .

Then, using the fact of α u ( 0 ) = u ( 0 ) and following a similar approach as in the case of x 0 ( 0 , T ) , we can once again get a contradiction. Therefore, α u ( x ) u ( x ) for all x [ 0 , T ] and similarly, we can show that β u ( x ) u ( x ) for all x [ 0 , T ] .

(ii) Observe that the operator F ¯ = F on A α , β and, by the result of (i), any fixed point ( u , v ) of F ¯ satisfies ( u , v ) A α , β . In particular, it is also a fixed point of F . Therefore, ( u 0 , v 0 ) is the unique fixed point of F ¯ . Since

( 0,0 ) ( I F ¯ ) ( B ( d ) ¯ \ B ( ( u 0 , v 0 ) , ρ 0 ) )

for sufficiently large d , and combining this fact with the excision property and [19], we obtain

1 = i ( F ¯ , B ( d ) , K ) = i ( F ¯ , B ( ( u 0 , v 0 ) , ρ ) , K ) , for all 0 < ρ ρ 0 .

Since F ¯ = F on A α , β and B ¯ ( ( u 0 , v 0 ) , ρ 0 ) A α , β , the conclusion is immediate.□

4 Non-existence, existence, and multiplicity

Now, we suppose that g 1 , g 2 satisfy

(H1) g 1 ( u , v ) (resp. g 2 ( u , v ) ) is quasi-monotone nondecreasing with respect to v (resp. u ).

(H2) g i , 0 lim ( u , v ) 0 g i ( u , v ) u + v = 0 , g i , lim ( u , v ) g i ( u , v ) u + v = 0 . Setting

Σ { ( λ 1 , λ 2 ) λ 1 , λ 2 > 0 and (1.1) has at least one positive solution } .

Lemma 4.1

Assume that (H1) and (H2) hold. Then, the following are true:

  1. there exist Λ 1 , Λ 2 > 0 such that Σ [ Λ 1 , + ) × [ Λ 2 , + ) and for all ( λ 1 , λ 2 ) ( 0 , + ) 2 \ ( [ Λ 1 , + ) × [ Λ 2 , + ) ) , problem (1.1) has no positive solution;

  2. if ( λ 1 ̲ , λ 2 ̲ ) Σ , then [ λ 1 ̲ , + ) × [ λ 2 ̲ , + ) Σ ;

  3. if ( λ 1 ̲ , λ 2 ̲ ) Σ , then for all ( λ 1 , λ 2 ) ( λ 1 ̲ , + ) × ( λ 2 ̲ , + ) , there exist at least two positive solutions of problem (1.1).

Proof

(i) For ( u , v ) K and ( u , v ) = p , let

m ( p ) = min 0 T G ( x , s ) μ 1 ( s ) g 1 ( u , v ) d s , 0 T G ( x , s ) μ 2 ( s ) g 2 ( u , v ) d s .

Choose a number r 1 > 0 , let λ 0 = r 1 2 m ( r 1 ) and set

Ω r 1 = { ( u , v ) : ( u , v ) K , ( u , v ) < r 1 } .

Then, for λ 1 , λ 2 λ 0 and ( u , v ) K Ω r 1 , we have

F i , λ ( u , v ) = λ i 0 T G ( x , s ) μ i ( s ) g i ( u , v ) d s λ 0 0 T G ( x , s ) μ i ( s ) g i ( u , v ) d s λ 0 m ( r 1 ) ,

which implies

F λ ( u , v ) r 1 = ( u , v )

for ( u , v ) K Ω r 1 . Hence, Lemma 2.1 implies

(4.1) i ( F λ , Ω r 1 , K ) = 0 .

Since g i , 0 = 0 , we may choose r 2 ( 0 , r 1 ) so that g i ( u , v ) η ( u + v ) for 0 < u , v < r 2 , where the constant η > 0 satisfies

2 λ i η M 0 T μ i ( s ) d s 1 .

Set Ω r 2 = { ( u , v ) : ( u , v ) K , ( u , v ) < r 2 } . If ( u , v ) K Ω r 2 , we have

F i , λ ( u , v ) = λ i 0 T G ( x , s ) μ i ( s ) g i ( u , v ) d s λ i η 0 T G ( x , s ) μ i ( s ) ( u + v ) d s λ i η 0 T G ( x , s ) μ i ( s ) d s ( u , v ) ( u , v ) 2 .

Hence, F λ ( u , v ) = F 1 , λ ( u , v ) + F 2 , λ ( u , v ) ( u , v ) for ( u , v ) K Ω r 2 . Using Lemma 2.1 once again, we have

(4.2) i ( F λ , Ω r 2 , K ) = 1 .

Now, it follows from (4.1), (4.2), and the additivity of the fixed point index that for λ i > λ 0 ,

i ( F λ , Ω r 1 \ Ω r 2 , K ) = 1 .

Consider now the nonempty sets

Σ 1 { λ 1 > 0 λ 2 > 0 such that ( λ 1 , λ 2 ) Σ } , Σ 2 { λ 2 > 0 λ 1 > 0 such that ( λ 1 , λ 2 ) Σ } ,

and let

Λ i inf Σ i ( < + ) ( i = 1 , 2 ) .

It follows that Σ [ Λ 1 , + ) × [ Λ 2 , + ) and for all ( λ 1 , λ 2 ) ( 0 , + ) 2 \ ( [ Λ 1 , + ) × [ Λ 2 , + ) ) , system (1.1) has no positive solution.

(ii) Let ( λ 1 0 , λ 2 0 ) [ λ 1 ̲ , + ) × [ λ 2 ̲ , + ) be arbitrarily chosen and suppose that ( α u , α v ) is a positive solution of (1.1) when λ 1 = λ 1 ̲ , and λ 2 = λ 2 ̲ . Then, for fixed λ 1 = λ 1 0 and λ 2 = λ 2 0 , ( α u , α v ) is a lower solution of (1.1). Similarly, let ( λ ¯ 1 , λ ¯ 2 ) [ λ 1 0 , + ) × [ λ 2 0 , + ) be arbitrarily chosen and suppose that ( β u , β v ) is a positive solution for (1.1) when λ 1 = λ ¯ 1 , and λ 2 = λ ¯ 2 . Then, for fixed λ 1 = λ 1 0 and λ 2 = λ 2 0 , ( β u , β v ) is an upper solution of (1.1). According to Lemma 3.1 (i) and the positivity of ( α u , α v ) , we conclude that ( λ 1 0 , λ 2 0 ) Σ .

(iii) From (ii) we obtain that ( λ 1 ̲ , + ) × ( λ 2 ̲ , + ) Σ and let

( λ 1 0 , λ 2 0 ) ( λ 1 ̲ , + ) × ( λ 2 ̲ , + ) \ [ λ ¯ 1 , + ) × [ λ ¯ 2 , + ) .

It remains to show that system (1.1) with λ 1 = λ 1 0 and λ 2 = λ 2 0 has a second positive solution. For this, we define ( α u , α v ) as the lower solution and ( β u , β v ) as the upper solution, both constructed as above. We fix ( u 0 , v 0 ) a positive solution of (1.1) with λ 1 = λ 1 0 and λ 2 = λ 2 0 such that ( u 0 , v 0 ) A α , β .

Now, we claim that there exists ε > 0 such that B ¯ ( ( u 0 , v 0 ) , ε ) A α , β . For all x [ 0 , T ] , we have

α u ( x ) = λ ̲ 1 0 T G ( x , s ) μ 1 ( s ) g 1 ( u , v ) d s < λ 1 0 0 T G ( x , s ) μ 1 ( s ) g 1 ( u , v ) d s = u 0 ( x ) .

Analogously, we obtain that α v ( x ) < v 0 ( x ) on [ 0 , T ] . So, choose an ε 1 > 0 such that if ( u , v ) K , then

(4.3) u u 0 ε 1 α u u and v v 0 ε 1 α v v on [ 0 , T ] .

Alternatively, there is some ε 2 ( 0 , ε 1 ) such that if ( u , v ) K , then

(4.4) u u 0 ε 2 u β u and v v 0 ε 2 v β v on [ 0 , T ] .

The claim is a consequence of (4.3) and (4.4), by taking ε ( 0 , ε 2 ) .

Furthermore, if A α , β contains a second solution of (1.1), then it is nontrivial, thereby concluding the proof. Alternatively, if this is not the case, by Lemma 3.1 we infer that

i ( F ( λ 1 0 , λ 2 0 ) , B ( ( u 0 , v 0 ) , ρ 1 ) , K ) = 1 for all 0 < ρ 1 ε ,

where F ( λ 1 0 , λ 2 0 ) stands for the fixed point operator corresponding to (1.1) with λ 1 = λ 1 0 and λ 2 = λ 2 0 . Also, from the proof of (i) and g i , 0 , g i , = 0 , we have

i ( F ( λ 1 0 , λ 2 0 ) , Ω ρ 2 , K ) = 1 for all ρ 2 > 0 sufficiently large,

i ( F ( λ 1 0 , λ 2 0 ) , Ω ρ 3 , K ) = 1 for all ρ 3 > 0 sufficiently small .

Choose ρ 1 , ρ 3 to be sufficiently small and ρ 2 to be sufficiently large, such that B ¯ ( ( u 0 , v 0 ) , ρ 1 ) B ¯ ( ρ 3 ) = and B ¯ ( ( u 0 , v 0 ) , ρ 1 ) B ¯ ( ρ 3 ) B ( ρ 2 ) . From the additivity-excision property of the fixed point index, it follows that

i ( F ( λ 1 0 , λ 2 0 ) , B ( ρ 2 ) \ [ B ¯ ( ( u 0 , v 0 ) , ρ 1 ) B ¯ ( ρ 3 ) ] , K ) = 1 .

Therefore, F ( λ 1 0 , λ 2 0 ) has a fixed point ( u , v ) B ( ρ 2 ) \ [ B ¯ ( ( u 0 , v 0 ) , ρ 1 ) B ¯ ( ρ 3 ) ] . However, this implies the existence of a second positive solution to (1.1).□

Now, considering θ ( 0 , π 2 ) , we define

S ( θ ) { λ > 0 ( λ cos θ , λ sin θ ) Σ } ,

where S ( θ ) is known to be nonempty. Subsequently, we rewrite problem (1.1) as follows:

(4.5) u + q ( x ) u = λ cos θ μ 1 ( x ) g 1 ( u , v ) , x ( 0 , T ) , v + q ( x ) v = λ sin θ μ 2 ( x ) g 2 ( u , v ) , x ( 0 , T ) , u ( 0 ) = u ( T ) , u ( 0 ) = u ( T ) , v ( 0 ) = v ( T ) , v ( 0 ) = v ( T ) .

Lemma 4.2

There exists a continuous function Λ : ( 0 , π 2 ) ( 0 , ) such that

(4.6) lim θ 0 Λ ( θ ) sin θ Λ 2 = 0 , lim θ π 2 Λ ( θ ) cos θ Λ 1 = 0 .

Furthermore, for every θ ( 0 , π 2 ) , the following hold true:

  1. Λ ( θ ) S ;

  2. system (1.1) has at least two positive solutions for all ( λ 1 , λ 2 ) ( Λ ( θ ) cos θ , + ) × ( Λ ( θ ) sin θ , + ) .

Proof

Define

(4.7) Λ ( θ ) inf S ( θ ) , θ ( 0 , π 2 ) .

According to Lemma 4.1 (i), S and 0 < Λ ( θ ) < .

Step 1. Statements (i) and (ii) hold true.

(i) Suppose on the contrary that for every θ ( 0 , π 2 ) , Λ ( θ ) S . Then, there exists a sequence { ( u n , v n ) } of solutions of (4.5) such that u n , v n 0 , n .

Let z n = u n u n , w n = v n v n , we have

z n + q ( x ) z n = λ cos θ μ 1 ( x ) g 1 ( u n , v n ) u n , x ( 0 , T ) , w n + q ( x ) w n = λ sin θ μ 2 ( x ) g 2 ( u n , v n ) v n , x ( 0 , T ) , z n ( 0 ) = z n ( T ) , z n ( 0 ) = z n ( T ) , w n ( 0 ) = w n ( T ) , w n ( 0 ) = w n ( T ) ,

that is,

z n ( x ) = λ cos θ 0 T G ( x , s ) μ 1 ( s ) g 1 ( w n , y n ) w n d s .

Since g 1,0 = 0 , we have that

lim n g 1 ( w n , y n ) w n lim n g 1 ( w n , y n ) w n = 0 , uniformly in x [ 0 , T ] .

Hence, lim n z n = 0 uniformly, yet this contradicts the fact that z n = 1 for all n N .

(ii) This conclusion is a direct consequence of statement (iii) of Lemma 4.1.

Step 2. Λ is continuous at each θ 0 ( 0 , π 2 ) .

The remaining arguments are the same as that of Lemma 4.2 of [17] and Proposition 4.5 of [18]. Suppose by contradiction that Λ is not continuous at some θ 0 ( 0 , π 2 ) , then there exists an ε ( 0 , Λ ( θ 0 ) ) such that for all sufficiently large n N , θ n ( θ 0 1 n , θ 0 + 1 n ) ( 0 , π 2 ) with Λ ( θ n ) ( Λ ( θ 0 ) ε , Λ ( θ 0 ) + ε ) . Assuming that Λ ( θ n ) Λ ( θ 0 ) + ε holds for infinitely many n N . Then, for a subsequence of { θ n } (also denoted as { θ n } for simplicity), we have

Λ ( θ n ) ε 2 cos θ n Λ ( θ 0 ) + ε 2 cos θ n ,

respectively,

Λ ( θ n ) ε 2 sin θ n Λ ( θ 0 ) + ε 2 sin θ n .

Furthermore, there exists n 0 N such that for all n n 0 , ( Λ ( θ 0 ) + ε 2 ) cos θ n > Λ ( θ 0 ) cos θ 0 , and ( Λ ( θ 0 ) + ε 2 ) sin θ n > Λ ( θ 0 ) sin θ 0 . As a result, for all n n 0 , it follows that

Λ ( θ n ) ε 2 cos θ n > Λ ( θ 0 ) cos θ 0 ,

respectively,

( Λ ( θ n ) ε 2 ) sin θ n > Λ ( θ 0 ) sin θ 0 .

Using the fact that Λ ( θ 0 ) S ( θ 0 ) and combining it with Lemma 4.1 (ii), we have that ( ( Λ ( θ n ) ε 2 ) cos θ n , ( Λ ( θ n ) ε 2 ) sin θ n ) Σ , so Λ ( θ n ) ε 2 S ( θ n ) . However, this contradicts the definition of Λ ( θ n ) . Similarly, if we assume that Λ ( θ n ) Λ ( θ 0 ) ε for infinitely many n N , we can employ a similar reasoning to obtain the contradiction.

Step 3. lim θ 0 Λ ( θ ) sin θ Λ 2 = 0 , lim θ π 2 Λ ( θ ) cos θ Λ 1 = 0 .

Considering a sequence { θ n } ( 0 , π 2 ) with θ n π 2 , as n , we will show that

Λ ( θ n ) cos θ n Λ 1 , n .

It suffices to prove that any subsequence of { θ n } (also denoted by { θ n } for simplicity), contains a subsequence { θ n k } such that

Λ ( θ n k ) cos θ n k Λ 1 , k .

From the definition of Λ 1 , there exists a sequence { λ 1 k } Σ 1 with λ 1 k Λ 1 , as k . Because θ n π 2 , according to Lemma 4.1 (ii), we can find a sequence { r k } ( 0 , ) and a subsequence θ n k θ n , which, for all k N , satisfy

(4.8) r k cos θ n k = λ 1 k

and

( r k cos θ n k , r k sin θ n k ) Σ .

By the definition of the mapping Λ , we obtain Λ ( θ n k ) r k . Hence, Λ ( θ n k ) cos θ n k r k cos θ n k . Because of (4.8) and the definition of Λ 1 , we have

Λ 1 Λ ( θ n k ) cos θ n k r k cos θ n k = λ 1 k Λ 1 , as k .

Analogously, we can show that Λ ( θ n ) sin θ n Λ 2 when θ n 0 as n . This completes the proof.□

Theorem 4.3

Assume (H1) and (H2). Then, there exist positive constants Λ 1 , Λ 2 > 0 and a continuous function Λ : ( 0 , π 2 ) ( 0 , + ) , generating the curve

( Γ ) λ 1 ( θ ) = Λ ( θ ) cos θ , θ ( 0 , π 2 ) , λ 2 ( θ ) = Λ ( θ ) sin θ , θ ( 0 , π 2 ) ,

such that

  1. Γ [ Λ 1 , + ) × [ Λ 2 , + ) ;

  2. lim θ π 2 λ 2 ( θ ) = + = lim θ 0 λ 1 ( θ ) , lim θ 0 λ 2 ( θ ) Λ 2 = 0 = lim θ π 2 λ 1 ( θ ) Λ 1 ;

  3. The curve Γ divides the first quadrant ( 0 , + ) × ( 0 , + ) into two disjoint sets O 1 and O 2 such that system (1.1) has zero positive solutions if ( λ 1 , λ 2 ) O 1 , at least one positive solution if ( λ 1 , λ 2 ) Γ , or at least two positive solutions if ( λ 1 , λ 2 ) O 2 .

Proof

We have shown the existence of the continuous function Λ in Lemma 4.2 and the constants Λ 1 and Λ 2 in Lemma 4.1 (i).

  1. This result follows from combining Lemma 4.2 (i) with Lemma 4.1 (i).

  2. The equalities lim θ π 2 λ 2 ( θ ) = + = lim θ 0 λ 1 ( θ ) are a direct consequence of the inequalities

    Λ ( θ ) Λ 1 cos θ and Λ ( θ ) Λ 2 sin θ ,

    and lim θ 0 λ 2 ( θ ) Λ 2 = 0 = lim θ π 2 λ 1 ( θ ) Λ 1 is a conclusion of Lemma 4.2.

  3. Using Lemma 4.2 and the definition of Λ ( θ ) given in (4.7), we obtain the conclusion.□

Example 4.4

The functions g 1 ( u , v ) = min { u p 1 , u q 1 } + min { v p 2 , v q 2 } , g 2 ( u , v ) = min { u p 2 , u q 2 } + min { v p 1 , v q 1 } satisfy the conditions of Theorem 4.3, where 0 < q 1 , q 2 < 1 , 1 < p 1 , p 2 < .

Acknowledgments

The authors are very grateful to the anonymous referees for their very valuable suggestions.

  1. Funding information: This work was supported by Doctoral Research Foundation of Gansu Agricultural University (No. GAU-KYQD-2022-32) and Gansu University Innovation Foundation (No. 2022B-107).

  2. Author contributions: The authors declare that the research was conducted in collaboration, with each author contributing equally. All authors have accepted responsibility for the entire content of this manuscript and consented to its submission to the journal, reviewed all the results, and approved the final version of the manuscript.

  3. Conflict of interest: The authors state no conflict of interest.

  4. Data availability statement: Data sharing is not applicable to this article, as no datasets were generated.

References

[1] J. R. Graef, L. Kong, and H. Wang, Existence, multiplicity, and dependence on a parameter for a periodic boundary value problem, J. Differential Equations 245 (2008), no. 5, 1185–1197, DOI: https://doi.org/10.1016/j.jde.2008.06.012. 10.1016/j.jde.2008.06.012Suche in Google Scholar

[2] D. Jiang, J. Chu, D. O’Regan, and R. Agarwal, Multiple positive solutions to superlinear periodic boundary value problems with repulsive singular forces, J. Math. Anal. Appl. 286 (2003), no. 2, 563–576, DOI: https://doi.org/10.1016/S0022-247X(03)00493-1. 10.1016/S0022-247X(03)00493-1Suche in Google Scholar

[3] R. Ma, Bifurcation from infinity and multiple solutions for periodic boundary value problems, Nonlinear Anal. 42 (2000), no. 1, 27–39, DOI: https://doi.org/10.1016/S0362-546X(98)00327-7. 10.1016/S0362-546X(98)00327-7Suche in Google Scholar

[4] I. Rachünková, Existence of nonnegative and nonpositive solutions for second order periodic boundary value problems, J. Differential Equations 176 (2001), 445–469, DOI: https://doi.org/10.1006/jdeq.2000.3995. 10.1006/jdeq.2000.3995Suche in Google Scholar

[5] P. Torres, Existence of one-signed periodic solutions of some second-order differential equations via a Krasnoselskii fixed point theorem, J. Differential Equations 190 (2003), no. 2, 643–662, DOI: https://doi.org/10.1016/S0022-0396(02)00152-3. 10.1016/S0022-0396(02)00152-3Suche in Google Scholar

[6] Z. Zhang and J. Wang, Positive solutions to a second order three-point boundary value problem, J. Math. Anal. Appl. 285 (2003), no. 1, 237–249, DOI: https://doi.org/10.1016/S0022-247X(03)00396-2. 10.1016/S0022-247X(03)00396-2Suche in Google Scholar

[7] R. P. Agarwal, D. O’Regan, and P. J. Y. Wong, Constant-sign solutions of a system of Fredholm integral equations, Acta Appl. Math. 80 (2004), 57–94, DOI: https://doi.org/10.1023/B:ACAP.0000013257.42126.ca. 10.1023/B:ACAP.0000013257.42126.caSuche in Google Scholar

[8] D. Jiang, J. Wei, and B. Zhang, Positive periodic solutions of functional differential equations and population models, Electron. J. Differential Equations 2002 (2002), no. 71, 1–13. Suche in Google Scholar

[9] D. O’Regan and H. Wang, Positive periodic solutions of systems of second order ordinary differential equations, Positivity 10 (2006), 285–298. 10.1007/s11117-005-0021-2Suche in Google Scholar

[10] H. Wang, On the number of positive solutions of nonlinear systems, J. Math. Anal. Appl. 281 (2003), 287–306, DOI: https://doi.org/10.1016/S0022-247X(03)00100-8. 10.1016/S0022-247X(03)00100-8Suche in Google Scholar

[11] J. Chu, H. Chen, and D. O’Regan, Positive periodic solutions and eigenvalue intervals for systems of second order differential equations, Math. Nachr. 281 (2008), no. 11, 1549–1556, DOI: https://doi.org/10.1002/mana.200510695. 10.1002/mana.200510695Suche in Google Scholar

[12] X. Hao, L. Liu, and Y. Wu, Existence and multiplicity results for nonlinear periodic boundary value problems, Nonlinear Anal. 72 (2010), no. 9-10, 3635–3642, DOI: https://doi.org/10.1016/j.na.2009.12.044. 10.1016/j.na.2009.12.044Suche in Google Scholar

[13] F. M. Atici and G. Guseinov, On the existence of positive solutions for nonlinear differential equations with periodic boundary conditions, J. Comput. Appl. Math. 132 (2001), 341–356, DOI: https://doi.org/10.1016/s0377-0427(00)00438-6. 10.1016/S0377-0427(00)00438-6Suche in Google Scholar

[14] A. Granas and J. Dugundji, Fixed Point Theory, Springer-Verlag, New York, 2003. 10.1007/978-0-387-21593-8Suche in Google Scholar

[15] K. Deimling, Nonlinear Functional Analysis, Springer-Verlag, New York, 1987. Suche in Google Scholar

[16] D. Guo and V. Lakshmikantham, Nonlinear Problems in Abstract Cones, Academic Press, Orlando, 1988. Suche in Google Scholar

[17] D. Gurban and P. Jebelean, Positive radial solutions for multiparameter Dirichlet systems with mean curvature operator in Minkowski space and Lane-Emden type nonlinearities, J. Differential Equations 266 (2019), 5377–5396, DOI: https://doi.org/10.1016/j.jde.2018.10.030. 10.1016/j.jde.2018.10.030Suche in Google Scholar

[18] D. Gurban, P. Jebelean, and C. Šerban, Non-potential and non-radial Dirichlet systems with mean curvature operator in Minkowski space, Discrete Contin. Dyn. Syst. 40 (2020), no. 1, 133–151, DOI: https://doi.org/10.3934/dcds.2020006. 10.3934/dcds.2020006Suche in Google Scholar

[19] C. D. Coster and P. Habets, Upper and Lower Solutions in the Theory of ODE Boundary Value Problems: Classical and Recent Results, Springer, Vienna, 1996. 10.1007/978-3-7091-2680-6_1Suche in Google Scholar

Received: 2024-10-12
Revised: 2025-02-14
Accepted: 2025-05-05
Published Online: 2025-06-12

© 2025 the author(s), published by De Gruyter

This work is licensed under the Creative Commons Attribution 4.0 International License.

Artikel in diesem Heft

  1. Special Issue on Contemporary Developments in Graphs Defined on Algebraic Structures
  2. Forbidden subgraphs of TI-power graphs of finite groups
  3. Finite group with some c#-normal and S-quasinormally embedded subgroups
  4. Classifying cubic symmetric graphs of order 88p and 88p 2
  5. Simplicial complexes defined on groups
  6. Two-sided zero-divisor graphs of orientation-preserving and order-decreasing transformation semigroups
  7. Further results on permanents of Laplacian matrices of trees
  8. Special Issue on Convex Analysis and Applications - Part II
  9. A generalized fixed-point theorem for set-valued mappings in b-metric spaces
  10. Research Articles
  11. Dynamics of particulate emissions in the presence of autonomous vehicles
  12. The regularity of solutions to the Lp Gauss image problem
  13. Exploring homotopy with hyperspherical tracking to find complex roots with application to electrical circuits
  14. The ill-posedness of the (non-)periodic traveling wave solution for the deformed continuous Heisenberg spin equation
  15. Some results on value distribution concerning Hayman's alternative
  16. 𝕮-inverse of graphs and mixed graphs
  17. A note on the global existence and boundedness of an N-dimensional parabolic-elliptic predator-prey system with indirect pursuit-evasion interaction
  18. On a question of permutation groups acting on the power set
  19. Chebyshev polynomials of the first kind and the univariate Lommel function: Integral representations
  20. Blow-up of solutions for Euler-Bernoulli equation with nonlinear time delay
  21. Spectrum boundary domination of semiregularities in Banach algebras
  22. Statistical inference and data analysis of the record-based transmuted Burr X model
  23. A modified predictor–corrector scheme with graded mesh for numerical solutions of nonlinear Ψ-caputo fractional-order systems
  24. Dynamical properties of two-diffusion SIR epidemic model with Markovian switching
  25. Classes of modules closed under projective covers
  26. On the dimension of the algebraic sum of subspaces
  27. Periodic or homoclinic orbit bifurcated from a heteroclinic loop for high-dimensional systems
  28. On tangent bundles of Walker four-manifolds
  29. Regularity of weak solutions to the 3D stationary tropical climate model
  30. A new result for entire functions and their shifts with two shared values
  31. Freely quasiconformal and locally weakly quasisymmetric mappings in metric spaces
  32. On the spectral radius and energy of the degree distance matrix of a connected graph
  33. Solving the quartic by conics
  34. A topology related to implication and upsets on a bounded BCK-algebra
  35. On a subclass of multivalent functions defined by generalized multiplier transformation
  36. Local minimizers for the NLS equation with localized nonlinearity on noncompact metric graphs
  37. Approximate multi-Cauchy mappings on certain groupoids
  38. Multiple solutions for a class of fourth-order elliptic equations with critical growth
  39. A note on weighted measure-theoretic pressure
  40. Majorization-type inequalities for (m, M, ψ)-convex functions with applications
  41. Recurrence for probabilistic extension of Dowling polynomials
  42. Unraveling chaos: A topological analysis of simplicial homology groups and their foldings
  43. Global existence and blow-up of solutions to pseudo-parabolic equation for Baouendi-Grushin operator
  44. A characterization of the translational hull of a weakly type B semigroup with E-properties
  45. Some new bounds on resolvent energy of a graph
  46. Carmichael numbers composed of Piatetski-Shapiro primes in Beatty sequences
  47. The number of rational points of some classes of algebraic varieties over finite fields
  48. Singular direction of meromorphic functions with finite logarithmic order
  49. Pullback attractors for a class of second-order delay evolution equations with dispersive and dissipative terms on unbounded domain
  50. Eigenfunctions on an infinite Schrödinger network
  51. Boundedness of fractional sublinear operators on weighted grand Herz-Morrey spaces with variable exponents
  52. On SI2-convergence in T0-spaces
  53. Bubbles clustered inside for almost-critical problems
  54. Classification and irreducibility of a class of integer polynomials
  55. Existence and multiplicity of positive solutions for multiparameter periodic systems
  56. Averaging method in optimal control problems for integro-differential equations
  57. On superstability of derivations in Banach algebras
  58. Investigating the modified UO-iteration process in Banach spaces by a digraph
  59. The evaluation of a definite integral by the method of brackets illustrating its flexibility
  60. Existence of positive periodic solutions for evolution equations with delay in ordered Banach spaces
  61. Tilings, sub-tilings, and spectral sets on p-adic space
  62. The higher mapping cone axiom
  63. Continuity and essential norm of operators defined by infinite tridiagonal matrices in weighted Orlicz and l spaces
  64. A family of commuting contraction semigroups on l 1 ( N ) and l ( N )
  65. Pullback attractor of the 2D non-autonomous magneto-micropolar fluid equations
  66. Maximal function and generalized fractional integral operators on the weighted Orlicz-Lorentz-Morrey spaces
  67. On a nonlinear boundary value problems with impulse action
  68. Normalized ground-states for the Sobolev critical Kirchhoff equation with at least mass critical growth
  69. Decompositions of the extended Selberg class functions
  70. Subharmonic functions and associated measures in ℝn
  71. Some new Fejér type inequalities for (h, g; α - m)-convex functions
  72. The robust isolated calmness of spectral norm regularized convex matrix optimization problems
  73. Multiple positive solutions to a p-Kirchhoff equation with logarithmic terms and concave terms
  74. Joint approximation of analytic functions by the shifts of Hurwitz zeta-functions in short intervals
  75. Green's graphs of a semigroup
  76. Some new Hermite-Hadamard type inequalities for product of strongly h-convex functions on ellipsoids and balls
  77. Infinitely many solutions for a class of Kirchhoff-type equations
  78. On an uncertainty principle for small index subgroups of finite fields
Heruntergeladen am 5.9.2025 von https://www.degruyterbrill.com/document/doi/10.1515/math-2025-0161/html
Button zum nach oben scrollen