Home Mathematics Existence and multiplicity of positive solutions for multiparameter periodic systems
Article Open Access

Existence and multiplicity of positive solutions for multiparameter periodic systems

  • Liping Wei , Yongqiang Dai EMAIL logo and Shunchang Su
Published/Copyright: June 12, 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.012Search 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-1Search 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-7Search 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.3995Search 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-3Search 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-2Search 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.caSearch 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. Search 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-2Search 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-8Search 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.200510695Search 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.044Search 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-6Search in Google Scholar

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

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

[16] D. Guo and V. Lakshmikantham, Nonlinear Problems in Abstract Cones, Academic Press, Orlando, 1988. Search 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.030Search 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.2020006Search 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_1Search 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.

Articles in the same Issue

  1. On I-convergence of nets of functions in fuzzy metric spaces
  2. Special Issue on Contemporary Developments in Graphs Defined on Algebraic Structures
  3. Forbidden subgraphs of TI-power graphs of finite groups
  4. Finite group with some c#-normal and S-quasinormally embedded subgroups
  5. Classifying cubic symmetric graphs of order 88p and 88p 2
  6. Two-sided zero-divisor graphs of orientation-preserving and order-decreasing transformation semigroups
  7. Simplicial complexes defined on groups
  8. Further results on permanents of Laplacian matrices of trees
  9. Algebra
  10. Classes of modules closed under projective covers
  11. On the dimension of the algebraic sum of subspaces
  12. Green's graphs of a semigroup
  13. On an uncertainty principle for small index subgroups of finite fields
  14. On a generalization of I-regularity
  15. Algorithm and linear convergence of the H-spectral radius of weakly irreducible quasi-positive tensors
  16. The hyperbolic CS decomposition of tensors based on the C-product
  17. On weakly classical 1-absorbing prime submodules
  18. Equational characterizations for some subclasses of domains
  19. Algebraic Geometry
  20. Spin(8, ℂ)-Higgs bundles fixed points through spectral data
  21. Embedding of lattices and K3-covers of an Enriques surface
  22. Kodaira-Spencer maps for elliptic orbispheres as isomorphisms of Frobenius algebras
  23. Applications in Computer and Information Sciences
  24. Dynamics of particulate emissions in the presence of autonomous vehicles
  25. Exploring homotopy with hyperspherical tracking to find complex roots with application to electrical circuits
  26. Category Theory
  27. The higher mapping cone axiom
  28. Combinatorics and Graph Theory
  29. 𝕮-inverse of graphs and mixed graphs
  30. On the spectral radius and energy of the degree distance matrix of a connected graph
  31. Some new bounds on resolvent energy of a graph
  32. Coloring the vertices of a graph with mutual-visibility property
  33. Ring graph induced by a ring endomorphism
  34. A note on the edge general position number of cactus graphs
  35. Complex Analysis
  36. Some results on value distribution concerning Hayman's alternative
  37. Freely quasiconformal and locally weakly quasisymmetric mappings in metric spaces
  38. A new result for entire functions and their shifts with two shared values
  39. On a subclass of multivalent functions defined by generalized multiplier transformation
  40. Singular direction of meromorphic functions with finite logarithmic order
  41. Growth theorems and coefficient bounds for g-starlike mappings of complex order λ
  42. Refinements of inequalities on extremal problems of polynomials
  43. Control Theory and Optimization
  44. Averaging method in optimal control problems for integro-differential equations
  45. On superstability of derivations in Banach algebras
  46. The robust isolated calmness of spectral norm regularized convex matrix optimization problems
  47. Observability on the classes of non-nilpotent solvable three-dimensional Lie groups
  48. Differential Equations
  49. The ill-posedness of the (non-)periodic traveling wave solution for the deformed continuous Heisenberg spin equation
  50. A note on the global existence and boundedness of an N-dimensional parabolic-elliptic predator-prey system with indirect pursuit-evasion interaction
  51. Blow-up of solutions for Euler-Bernoulli equation with nonlinear time delay
  52. Periodic or homoclinic orbit bifurcated from a heteroclinic loop for high-dimensional systems
  53. Regularity of weak solutions to the 3D stationary tropical climate model
  54. Local minimizers for the NLS equation with localized nonlinearity on noncompact metric graphs
  55. Global existence and blow-up of solutions to pseudo-parabolic equation for Baouendi-Grushin operator
  56. Bubbles clustered inside for almost-critical problems
  57. Existence and multiplicity of positive solutions for multiparameter periodic systems
  58. Existence of positive periodic solutions for evolution equations with delay in ordered Banach spaces
  59. On a nonlinear boundary value problems with impulse action
  60. Normalized ground-states for the Sobolev critical Kirchhoff equation with at least mass critical growth
  61. Multiple positive solutions to a p-Kirchhoff equation with logarithmic terms and concave terms
  62. Infinitely many solutions for a class of Kirchhoff-type equations
  63. Real and non-real eigenvalues of regular indefinite Sturm–Liouville problems
  64. Existence of global solutions to a semilinear thermoelastic system in three dimensions
  65. Limiting profile of positive solutions to heterogeneous elliptic BVPs with nonlinear flux decaying to negative infinity on a portion of the boundary
  66. Morse index of circular solutions for repulsive central force problems on surfaces
  67. Differential Geometry
  68. On tangent bundles of Walker four-manifolds
  69. Pedal and negative pedal surfaces of framed curves in the Euclidean 3-space
  70. Discrete Mathematics
  71. Eventually monotonic solutions of the generalized Fibonacci equations
  72. Dynamical Systems Ergodic Theory
  73. Dynamical properties of two-diffusion SIR epidemic model with Markovian switching
  74. A note on weighted measure-theoretic pressure
  75. Pullback attractors for a class of second-order delay evolution equations with dispersive and dissipative terms on unbounded domain
  76. Pullback attractor of the 2D non-autonomous magneto-micropolar fluid equations
  77. Functional Analysis
  78. Spectrum boundary domination of semiregularities in Banach algebras
  79. Approximate multi-Cauchy mappings on certain groupoids
  80. Investigating the modified UO-iteration process in Banach spaces by a digraph
  81. Tilings, sub-tilings, and spectral sets on p-adic space
  82. Continuity and essential norm of operators defined by infinite tridiagonal matrices in weighted Orlicz and l spaces
  83. A family of commuting contraction semigroups on l 1 ( N ) and l ( N )
  84. q-Stirling sequence spaces associated with q-Bell numbers
  85. Chlodowsky variant of Bernstein-type operators on the domain
  86. Hyponormality on a weighted Bergman space of an annulus with a general harmonic symbol
  87. Characterization of derivations on strongly double triangle subspace lattice algebras by local actions
  88. Fixed point approaches to the stability of Jensen’s functional equation
  89. Geometry
  90. The regularity of solutions to the Lp Gauss image problem
  91. Solving the quartic by conics
  92. Group Theory
  93. On a question of permutation groups acting on the power set
  94. A characterization of the translational hull of a weakly type B semigroup with E-properties
  95. Harmonic Analysis
  96. Eigenfunctions on an infinite Schrödinger network
  97. Maximal function and generalized fractional integral operators on the weighted Orlicz-Lorentz-Morrey spaces
  98. Subharmonic functions and associated measures in ℝn
  99. Mathematical Logic, Model Theory and Foundation
  100. A topology related to implication and upsets on a bounded BCK-algebra
  101. Boundedness of fractional sublinear operators on weighted grand Herz-Morrey spaces with variable exponents
  102. Number Theory
  103. Fibonacci vector and matrix p-norms
  104. Recurrence for probabilistic extension of Dowling polynomials
  105. Carmichael numbers composed of Piatetski-Shapiro primes in Beatty sequences
  106. The number of rational points of some classes of algebraic varieties over finite fields
  107. Classification and irreducibility of a class of integer polynomials
  108. Decompositions of the extended Selberg class functions
  109. Joint approximation of analytic functions by the shifts of Hurwitz zeta-functions in short intervals
  110. Fibonacci Cartan and Lucas Cartan numbers
  111. Recurrence relations satisfied by some arithmetic groups
  112. The hybrid power mean involving the Kloosterman sums and Dedekind sums
  113. Numerical Methods
  114. A modified predictor–corrector scheme with graded mesh for numerical solutions of nonlinear Ψ-caputo fractional-order systems
  115. A kind of univariate improved Shepard-Euler operators
  116. Probability and Statistics
  117. Statistical inference and data analysis of the record-based transmuted Burr X model
  118. Multiple G-Stratonovich integral in G-expectation space
  119. p-variation and Chung's LIL of sub-bifractional Brownian motion and applications
  120. Real Analysis
  121. Chebyshev polynomials of the first kind and the univariate Lommel function: Integral representations
  122. Multiple solutions for a class of fourth-order elliptic equations with critical growth
  123. Majorization-type inequalities for (m, M, ψ)-convex functions with applications
  124. The evaluation of a definite integral by the method of brackets illustrating its flexibility
  125. Some new Fejér type inequalities for (h, g; α - m)-convex functions
  126. Some new Hermite-Hadamard type inequalities for product of strongly h-convex functions on ellipsoids and balls
  127. Topology
  128. Unraveling chaos: A topological analysis of simplicial homology groups and their foldings
  129. A generalized fixed-point theorem for set-valued mappings in b-metric spaces
  130. On SI2-convergence in T0-spaces
  131. Generalized quandle polynomials and their applications to stuquandles, stuck links, and RNA folding
Downloaded on 24.2.2026 from https://www.degruyterbrill.com/document/doi/10.1515/math-2025-0161/html
Scroll to top button