Home Bifurcation diagrams of one-dimensional Kirchhoff-type equations
Article Open Access

Bifurcation diagrams of one-dimensional Kirchhoff-type equations

  • Tetsutaro Shibata EMAIL logo
Published/Copyright: September 9, 2022

Abstract

We study the one-dimensional Kirchhoff-type equation

( b + a u 2 ) u ( x ) = λ u ( x ) p , x I ( 1 , 1 ) , u ( x ) > 0 , x I , u ( ± 1 ) = 0 ,

where u = I u ( x ) 2 d x 1 / 2 , a > 0 , b > 0 , p > 0 are given constants and λ > 0 is a bifurcation parameter. We establish the exact solution u λ ( x ) and complete shape of the bifurcation curves λ = λ ( ξ ) , where ξ u λ . We also study the nonlinear eigenvalue problem

u p 1 u ( x ) = μ u ( x ) p , x I , u ( x ) > 0 , x I , u ( ± 1 ) = 0 ,

where p > 1 is a given constant and μ > 0 is an eigenvalue parameter. We obtain the first eigenvalue and eigenfunction of this problem explicitly by using a simple time map method.

MSC 2010: 34C23; 37G99

1 Introduction

We consider the following nonlocal elliptic problem:

(1.1) ( b + a u 2 ) u ( x ) = λ u ( x ) p , x I ( 1 , 1 ) , u ( x ) > 0 , x I , u ( ± 1 ) = 0 ,

where u = I u ( x ) 2 d x 1 / 2 , a > 0 , b > 0 , p > 0 are given constants. If p = 3 , then problem (1.1) is known as the one-dimensional elliptic Kirchhoff-type equation. The purpose of this article is to establish the exact structure of the global solution curves of (1.1). The results give us the clear pictures of the bifurcation curves of (1.1) and better understanding of the structure of the solutions of nonlocal elliptic problems. To do this, we also obtain the first eigenvalue and eigenfunction associated with (1.1) explicitly. Such results as these seem to be novel and as far as the author knows, these are not obtained so far.

Nonlinear elliptic problems have a long history and have been studied intensively by many authors. We refer to [5] and references therein. In this field, nonlocal elliptic problems have also been studied by many investigators, since they are derived from several interesting physical and engineering phenomena. In particular, recently, fractional Kirchhoff problems and superlinear Schrödinger-Kirchhoff-type problems have been studied intensively. We refer to [1,12,14] and references therein.

Needless to say, the nonlinear bifurcation problems are one of the main topics in nonlinear elliptic problems. Therefore, there are also several studies which deal with bifurcation problems in nonlocal problems. We refer to [1,3,4,8,9,10] and references therein. As far as the author knows, however, there are few results which clarify the precise structures of bifurcation diagrams for nonlocal problems. Recently, the following typical problem was studied in [13] as the elliptic eigenvalue problems in bounded smooth domain Ω R n ( n = 1 , 2 , 3 )

(1.2) b + a Ω u 2 d x Δ u = λ u p in Ω , u > 0 in Ω , u = 0 on Ω ,

and using the degree argument and variational method, the following results have been obtained.

Theorem 1.1

[13]. Consider (1.2). Let 2 = for n = 1 , 2 and 2 = 6 for n = 3 .

  1. Assume that 0 < p < 1 . Then (1.2) has a branch of positive solutions bifurcating from zero at λ = 0 .

  2. Assume that 3 < p < 2 1 . Then (1.2) has a branch of positive solutions bifurcating from infinity at λ = 0 .

It should be mentioned that, in many cases, λ is parameterized by the maximum norm ξ u λ as λ = λ ( ξ ) , where u λ is a solution associated with λ . However, λ is not expressed explicitly by using ξ in [13]. Furthermore, in [13], the case 1 p 3 was not considered. Motivated by this, we focus on the case n = 1 and establish the explicit representation of λ ( ξ ) for (1.1), which is one of the most popular Kirchhoff-type bifurcation problems. The approach is the simple time map method. We put

(1.3) A p 0 1 1 1 s p + 1 d s ,

(1.4) B p 0 1 1 s p + 1 d s ,

(1.5) C p 0 1 s p + 1 1 s p + 1 d s .

Let W p ( x ) ( 0 < p < 1 , p > 1 ) be a unique solution of

(1.6) W ( x ) = W ( x ) p , x I , W ( x ) > 0 , x I , W ( 1 ) = W ( 1 ) = 0 .

The unique existence of W p ( x ) is known by [2,6].

Now we state the first result.

Theorem 1.2

Consider (1.1). Let a > 0 , b > 0 and p > 0 be given constants. Assume that 0 < p < 1 or 3 < p < . Then for any λ > 0 , there exists a unique solution pair ( λ , u λ ) R + × C 2 ( I ¯ ) . Put ξ u λ . Then λ is parameterized by ξ and the following formula holds for ξ > 0 .

(1.7) λ ( ξ ) = p + 1 2 A p 2 ( 2 A p B p a ξ 3 p + b ξ 1 p ) .

Furthermore, u λ ( x ) is given by

(1.8) u λ ( x ) = λ b + 2 A p B p a ξ ( λ ) 2 1 / ( 1 p ) W p ( x ) ,

where ξ ( λ ) is the inverse function of λ ( ξ ) .

We note that if 0 < p < 1 (resp. 3 < p < ), then we see from (1.7) that λ ( ξ ) is strictly increasing (resp. decreasing) for ξ > 0 . Therefore, ξ ( λ ) exists.

By Theorem 1.2, we obtain the qualitative shapes of λ ( ξ ) for 0 < p < 1 and p > 3 (Figures 1 and 2).

Figure 1 
               The graph of 
                     
                        
                        
                           λ
                           
                              (
                              
                                 ξ
                              
                              )
                           
                        
                        \lambda \left(\xi )
                     
                   for 
                     
                        
                        
                           0
                           <
                           p
                           <
                           1
                        
                        0\lt p\lt 1
                     
                  .
Figure 1

The graph of λ ( ξ ) for 0 < p < 1 .

Figure 2 
               The graph of 
                     
                        
                        
                           λ
                           
                              (
                              
                                 ξ
                              
                              )
                           
                        
                        \lambda \left(\xi )
                     
                   for 
                     
                        
                        
                           p
                           >
                           3
                        
                        p\gt 3
                     
                  .
Figure 2

The graph of λ ( ξ ) for p > 3 .

Theorem 1.2 improves the results in Theorem 1.1 and gives the explicit formula for bifurcation curves of problem (1.1) for the case n = 1 .

Next, we consider the case where 1 < p < 3 . We apply ([1], Theorem 2) to (1.1) and obtain the following Theorem 1.3.

Theorem 1.3

Consider (1.1). Let a > 0 , b > 0 and 1 < p < 3 be given constants. For λ > 0 , put

(1.9) L ( λ ) p 1 2 λ 2 / ( p 1 ) W p 2 2 b 3 p ( p 3 ) / ( p 1 ) .

  1. If L ( λ ) > a , then (1.1) has exactly two solutions.

  2. If L ( λ ) = a , then (1.1) has exactly one solution.

  3. If L ( λ ) < a , then (1.1) has no solutions.

Unfortunately, it is rather difficult to obtain the clear shape of λ ( ξ ) for general 1 < p < 3 . The reason is explained in Section 4. Therefore, we next concentrate on the special case p = 2 and establish the formulas for ξ = ξ ( λ ) . We put

(1.10) Q 1 3 2 A 2 2 ,

(1.11) Q 2 3 2 A 2 5 / 2 B 2 1 / 2 .

Theorem 1.4

Consider (1.1). Let p = 2 and a > 0 , b > 0 be given constants.

  1. Let

    (1.12) λ = 2 a b Q 2 .

    Then (1.1) has a unique solution u λ ( x ) = 2 b λ 1 W 2 ( x ) . Moreover,

    (1.13) ξ = 2 b Q 1 λ 1 = b a Q 1 Q 2 .

  2. Let λ > 2 a b Q 2 . Then there exist exactly two solutions u λ , 1 ( x ) and u λ , 2 ( x ) . Moreover, ξ are parameterized by λ such as ξ 1 = ξ 1 ( λ ) , ξ 2 = ξ 2 ( λ ) , which are represented as follows.

    (1.14) ξ 1 ( λ ) = λ Q 2 1 + λ 2 Q 2 2 4 a b 2 a Q 2 1 Q 1 ,

    (1.15) ξ 2 ( λ ) = λ Q 2 1 λ 2 Q 2 2 4 a b 2 a Q 2 1 Q 1 .

  3. Let λ < 2 a b Q 2 . Then there are no solutions of (1.1).

The qualitative graph of ξ ( λ ) is as follows (Figure 3).

Figure 3 
               The graph of 
                     
                        
                        
                           ξ
                           
                              (
                              
                                 λ
                              
                              )
                           
                        
                        \xi \left(\lambda )
                     
                   for 
                     
                        
                        
                           p
                           =
                           2
                        
                        p=2
                     
                  .
Figure 3

The graph of ξ ( λ ) for p = 2 .

Before considering the case p = 1 and p = 3 for (1.1), we establish the first eigenvalue and eigenfunction of the following nonlocal eigenvalue problem:

(1.16) u p 1 u ( x ) = μ u ( x ) p , x I , u ( x ) > 0 , x I , u ( ± 1 ) = 0 ,

where p > 1 is a given constant, and μ > 0 is an eigenvalue parameter. Note that if p = 3 in (1.16), then it is also known as Kirchhoff-type eigenvalue problem. We refer to [3], which treated the case p = 3 precisely, and references therein. It is known that the first eigenvalue μ 1 of (1.16) is defined by

(1.17) μ 1 inf u p + 1 : u H 0 1 ( I ) , I u ( x ) p + 1 d x = 1 .

Unfortunately, however, the explicit expression of μ 1 was not mentioned even in [3]. Since μ 1 also plays very important roles in the nonlocal elliptic bifurcation problems, we represent μ 1 explicitly by using simple time map method. We also obtain the explicit form of the first eigenfunction φ 1 ( x ) with φ 1 p + 1 = 1 associated with μ 1 . We note that μ 1 plays important roles in Theorems 1.6 and 1.7.

Theorem 1.5

Let p > 1 and consider (1.16). Then μ 1 is given by

(1.18) μ 1 = 2 ( p 3 ) / 2 ( p + 1 ) A p ( p + 3 ) / 2 B p ( p 1 ) / 2 .

Furthermore, let φ 1 be the first eigenfunction associated with μ 1 satisfying φ 1 p + 1 = 1 . Then

(1.19) φ 1 ( x ) = 2 2 / ( p 2 1 ) ( p + 1 ) 1 / ( p 1 ) A p ( p + 3 ) / ( p 2 1 ) C p 1 / ( p + 1 ) W p ( x ) .

Now we consider the case p = 1 and p = 3 for (1.1). For p = 3 , we know from ([11], Theorem 1.2) that the following result holds true.

Theorem 1.6

[11, Theorem 1.2] Assume that p = 3 . If a > 0 , b > 0 and λ > a μ 1 , then (1.1) has at least one positive solution.

We improve Theorem 1.6 for the case n = 1 .

Theorem 1.7

(i) Assume that p = 3 . Let λ > a μ 1 = 4 a A 3 3 B 3 . Then (1.1) has a unique solution

(1.20) u λ ( x ) = b W 3 2 λ a W 3 2 W 3 1 W 3 ( x ) ,

where W 3 = 2 A 3 3 / 2 B 3 1 / 2 and

(1.21) λ ( ξ ) = 4 a A 3 3 B 3 + 2 A 3 2 b ξ 2 ( ξ > 0 ) .

(ii) Assume that p = 1 . Let λ > π 2 4 b . Then the solution u λ ( x ) of (1.1) is given as follows:

(1.22) u λ ( x ) = 4 π 2 λ ( π 2 b ) / 4 a cos π 2 x .

Furthermore,

(1.23) λ ( ξ ) = π 4 16 a ξ 2 + π 2 4 b ( ξ > 0 ) .

Figures 4 and 5 are rough shapes of λ ( ξ ) for p = 1 and p = 3 .

Figure 4 
               The graph of 
                     
                        
                        
                           λ
                           
                              (
                              
                                 ξ
                              
                              )
                           
                        
                        \lambda \left(\xi )
                     
                   for 
                     
                        
                        
                           p
                           =
                           3
                        
                        p=3
                     
                  .
Figure 4

The graph of λ ( ξ ) for p = 3 .

Figure 5 
               The graph of 
                     
                        
                        
                           λ
                           
                              (
                              
                                 ξ
                              
                              )
                           
                        
                        \lambda \left(\xi )
                     
                   for 
                     
                        
                        
                           p
                           =
                           1
                        
                        p=1
                     
                  .
Figure 5

The graph of λ ( ξ ) for p = 1 .

The remainder of this article is as follows. In Section 2, we prove Theorem 1.5 to introduce the time map method (cf. [7]). By using this argument, Theorems 1.2 and 1.4 are proved in Sections 2 and 3, respectively. Finally, we prove Theorem 1.7 in Section 5.

2 Proof of Theorem 1.5

We first prove (1.18). We have

(2.1) φ 1 ( x ) = φ 1 ( 1 x ) ,

(2.2) ζ max x I φ 1 ( x ) = φ 1 ( 0 ) ,

(2.3) φ 1 ( x ) > 0 , 1 x < 0 .

We introduce the time map argument. From (1.16), we have

{ φ 1 p 1 φ 1 ( x ) + μ 1 φ 1 ( x ) p } φ 1 ( x ) = 0 .

This implies that

d d x 1 2 φ 1 p 1 φ 1 ( x ) 2 + 1 p + 1 μ 1 φ 1 ( x ) p + 1 = 0 .

By putting x = 0 and (2.2), for x I , we have

1 2 φ 1 p 1 φ 1 ( x ) 2 + 1 p + 1 μ 1 φ 1 ( x ) p + 1 = constant = 1 p + 1 μ 1 ζ p + 1 .

By this and (2.3), for 1 x < 0 , we have

(2.4) φ 1 ( x ) = 2 p + 1 φ 1 ( p 1 ) / 2 μ 1 ( ζ p + 1 φ 1 ( x ) p + 1 ) .

This along with (1.3) implies that

(2.5) μ 1 = p + 1 2 φ 1 ( p 1 ) / 2 1 0 φ 1 ( x ) ζ p + 1 φ 1 ( x ) p + 1 d x = p + 1 2 φ 1 ( p 1 ) / 2 0 ζ 1 ζ p + 1 θ p + 1 d θ = p + 1 2 φ 1 ( p 1 ) / 2 ζ ( 1 p ) / 2 0 1 1 1 s p + 1 d s = p + 1 2 φ 1 ( p 1 ) / 2 ζ ( 1 p ) / 2 A p .

Since φ 1 p + 1 = 1 , by using (1.5), (2.1) and (2.4), we have

(2.6) 1 2 = 1 0 φ 1 ( x ) p + 1 d x = p + 1 2 φ 1 ( p 1 ) / 2 1 μ 1 1 0 φ 1 ( x ) p + 1 φ 1 ( x ) ζ p + 1 φ 1 ( x ) p + 1 d x = p + 1 2 φ 1 ( p 1 ) / 2 1 μ 1 0 ζ θ p + 1 ζ p + 1 θ p + 1 d θ = p + 1 2 φ 1 ( p 1 ) / 2 1 μ 1 ζ ( p + 3 ) / 2 C p .

By (2.5) and (2.6), we obtain

(2.7) ζ = A p 2 C p 1 / ( p + 1 ) .

By (1.4), (2.4) and (2.5), we have

(2.8) φ 1 2 = 2 1 0 φ 1 ( x ) 2 d x = 2 2 p + 1 φ 1 ( p 1 ) / 2 μ 1 1 0 ζ p + 1 φ 1 ( x ) p + 1 φ 1 ( x ) d x = 2 A p B p ζ 2 .

This along with (2.7) implies that

(2.9) φ 1 = 2 A p B p A p 2 C p 1 / ( p + 1 ) .

By this, (2.5) and (2.7), we obtain

μ 1 = p + 1 2 2 ( p 1 ) / 2 A p ( p + 3 ) / 2 B p ( p 1 ) / 2 .

Thus, we obtain (1.18). We next prove (1.19). By (1.16), (1.18) and (2.9), we obtain

(2.10) φ 1 ( x ) = 2 2 / ( p + 1 ) ( p + 1 ) A p ( p + 3 ) / ( p + 1 ) C p ( p 1 ) / ( p + 1 ) φ 1 ( x ) p .

We put

ν 2 2 / ( p 2 1 ) ( p + 1 ) 1 / ( p 1 ) A p ( p + 3 ) / ( p 2 1 ) C p 1 / ( p + 1 ) , φ 1 ( x ) = ν W p ( x ) .

Then it follows from this that φ 1 ( x ) satisfies (1.16) with μ 1 and φ 1 p + 1 = 1 . This implies (1.19). Thus, the proof of Theorem 1.5 is complete.

3 Proof of Theorem 1.2

Let p > 0 ( p 1 ). We consider the following equation of t R .

(3.1) a t + b = λ W p 1 p t ( p 1 ) / 2 .

Assume that there exists a solution t λ > 0 of (3.1). Then we see from ([1], Theorem 2) that there exists a solution pair ( u λ , λ ) of (1.1) corresponding to t λ , and u λ ( x ) is given by

(3.2) u λ ( x ) = t λ 1 / 2 W p 1 W p ( x ) .

Indeed, let w λ be a unique solution of

(3.3) w ( x ) = λ w ( x ) p , x I , w ( x ) > 0 , x I , w ( 1 ) = w ( 1 ) = 0 .

Then we see that w λ = λ 1 / ( 1 p ) W p . We put γ = t λ 1 / 2 w λ 1 and u λ γ w λ . Then we have

b + a γ w λ 2 = b + a t λ = t λ ( p 1 ) / 2 w λ 1 p = γ p 1 .

By this, we have

( b + a u λ 2 ) u λ = γ p w λ = λ γ p w λ p = λ u λ p .

We note that

u λ = γ w λ = t λ 1 / 2 λ 1 / ( p 1 ) W p 1 λ 1 / ( 1 p ) W p = t λ 1 / 2 W p 1 W p .

This implies (3.2). Therefore, if (3.1) has k positive solutions t λ , 1 , , t λ , 2 , , t λ , k , then (1.1) also has k solutions corresponding to t λ , j ( j = 1 , 2 , , k ). On the contrary, assume that u λ is a solution of (1.1). We put t λ u λ 2 . Then we see that

u λ ( x ) = b + a t λ λ 1 / ( p 1 ) W p ( x ) , t λ = u λ 2 = b + a t λ λ 2 / ( p 1 ) W p 2 .

This implies that t λ satisfies (3.1). Therefore, the solutions of (1.1) correspond to those of (3.1). For t > 0 , we put

(3.4) g ( t ) a t + b R t ( p 1 ) / 2 ,

where R λ W p 1 p . Now we look for the solutions of g ( t ) = 0 . We have

(3.5) g ( t ) = a p 1 2 R t ( p 3 ) / 2 .

If p > 3 , then g ( t ) attains its maximum at

(3.6) t 0 2 a ( p 1 ) R 2 / ( p 3 ) = 2 a ( p 1 ) λ W p 1 p 2 / ( p 3 ) .

Since g ( 0 ) = b and g ( t ) strictly increases in ( 0 , t 0 ) and attains its maximum g ( t 0 ) > 0 at t 0 and strictly decreases in ( t 0 , ) and g ( ) = . So it is clear that there exists a unique t λ > t 0 , which satisfies g ( t λ ) = 0 . If 0 < p < 1 , then by (3.4) and (3.5), we have g ( t ) > 0 for t > 0 and g ( 0 ) = and g ( ) = . So it is clear that there exists a unique t λ > 0 , which satisfies g ( t λ ) = 0 . Certainly, if t λ is represented explicitly by λ , then it is natural to find the relationship between λ and ξ = u λ , and it seems possible to obtain the bifurcation curve λ ( ξ ) . Unfortunately, however, it is difficult to obtain t λ explicitly. To overcome this difficulty, we apply the time map method to obtain the bifurcation curves λ ( ξ ) of (1.1).

Let p > 3 or 0 < p < 1 be fixed. We apply the time map method to (1.1). Let an arbitrary λ > 0 be fixed and u λ ( x ) be a unique solution of (1.1). Then we have

(3.7) u λ ( x ) = u λ ( x ) , x [ 1 , 0 ] ,

(3.8) ξ u λ = max 1 x 1 u λ ( x ) = u λ ( 0 ) ,

(3.9) u λ ( x ) > 0 , x [ 1 , 0 ) .

By (1.1), we have

{ ( b + a u λ 2 ) u λ ( x ) + λ u λ ( x ) p } u λ ( x ) = 0 .

This implies that for 1 x 0 ,

( b + a u λ 2 ) u λ ( x ) 2 + 2 p + 1 λ u λ ( x ) p + 1 = 2 p + 1 λ ξ p + 1 .

By this, for 1 x 0 , we obtain

(3.10) u λ ( x ) = 2 p + 1 1 b + a u λ 2 λ ξ p + 1 u λ ( x ) p + 1 .

By this and (1.3), we obtain

(3.11) λ = p + 1 2 b + a u λ 2 1 0 u λ ( x ) ξ p + 1 u λ ( x ) p + 1 d x = p + 1 2 b + a u λ 2 0 ξ 1 ξ p + 1 θ p + 1 d θ = p + 1 2 b + a u λ 2 ξ ( 1 p ) / 2 0 1 1 1 s p + 1 d s = p + 1 2 b + a u λ 2 ξ ( 1 p ) / 2 A p .

By (1.4) and (3.10), we have

(3.12) u λ 2 = 2 1 0 u λ ( x ) u λ ( x ) d x = 2 1 0 2 p + 1 1 b + a u λ 2 λ ξ p + 1 u λ ( x ) p + 1 u λ ( x ) d x = 2 2 p + 1 1 b + a u λ 2 λ 0 ξ ξ p + 1 θ p + 1 d θ = 2 2 p + 1 λ b + a u λ 2 ξ ( p + 3 ) / 2 0 1 1 s p + 1 d s = 2 2 p + 1 λ b + a u λ 2 ξ ( p + 3 ) / 2 B p .

Substitute (3.11) into (3.12). Then we have

(3.13) u λ 2 = 2 A p B p ξ 2 .

By this and (3.11), we have

λ = p + 1 2 b + 2 A p B p a ξ 2 ξ ( 1 p ) / 2 A p .

Namely,

λ = p + 1 2 A p 2 ( 2 A p B p a ξ 3 p + b ξ 1 p ) .

This implies (1.7). We next prove (1.8). By (1.1), (1.7) and (3.13), we have

u λ ( x ) = λ b + a u λ 2 u λ ( x ) p = λ b + 2 A p B p a ξ ( λ ) 2 u λ ( x ) p .

This implies that

u λ ( x ) = λ b + 2 A p B p a ξ ( λ ) 2 1 / ( 1 p ) W p ( x ) .

This implies (1.8). Thus, the proof of Theorem 2 is complete.

4 Proof of Theorems 1.3 and 1.4

We begin with the proof of Theorem 1.3.

Proof of Theorem 1.3

Let 1 < p < 3 . We fix b > 0 . Assume that y ( t ) = a t + b is the tangent line of g ( t ) = λ W p 1 p t ( p 1 ) / 2 . Let t = t 0 be a point of tangency. Then we have

(4.1) a = p 1 2 λ W p 1 p t 0 ( p 3 ) / 2 .

Since a t 0 + b = g ( t 0 ) , by (4.1), we have

(4.2) a t 0 + b = p 1 2 λ W p 1 p t 0 ( p 1 ) / 2 + b = λ W p 1 p t 0 ( p 1 ) / 2 .

By this, we have

b = 3 p 2 λ W p 1 p t 0 ( p 1 ) / 2 .

This implies

(4.3) t 0 = 2 b ( 3 p ) λ W p 1 p 2 / ( p 1 ) .

By this and (4.1), we have

(4.4) a = p 1 2 λ W p 1 p t 0 ( p 3 ) / 2 = p 1 2 λ 2 / ( p 1 ) W p 2 2 b 3 p ( p 3 ) / ( p 1 ) .

Therefore, we see that the equation y ( t ) = g ( t ) has one solution t 0 > 0 if (4.4) holds. Then by (3.1) and (3.2), we know that u λ ( x ) t 0 1 / 2 W p 1 W p ( x ) is a unique solution to (1.1). Equally, if

a < p 1 2 λ W p 1 p t 0 ( p 3 ) / 2 = p 1 2 λ 2 / ( p 1 ) W p 2 2 b 3 p ( p 3 ) / ( p 1 ) ,

then y ( t ) = g ( t ) has exactly two solutions t 1 , t 2 , and (1.1) has exactly two solutions, and if

a > p 1 2 λ W p 1 p t 0 ( p 3 ) / 2 = p 1 2 λ 2 / ( p 1 ) W p 2 2 b 3 p ( p 3 ) / ( p 1 ) ,

then the equation y ( t ) = g ( t ) has no solutions, and (1.1) has no solutions. Thus, the proof is complete.□

Proof of Theorem 1.4

In what follows, let p = 2 . We use (4.1) and (4.2) here. We calculate η = W 2 ( 0 ) and W 2 . By (1.6) and the same argument as that to obtain (2.4), for 1 x 0 , we have

1 2 W 2 ( x ) 2 + 1 3 W 2 ( x ) 3 = 1 3 η 3 .

This implies that for 1 x 0 ,

(4.5) W 2 ( x ) = 2 3 η 3 W 2 ( x ) 3 .

By this, we obtain

1 = 1 0 3 2 W 2 ( x ) η 3 W 2 ( x ) 3 d x = 3 2 0 η 1 η 3 θ 3 d θ = 3 2 η 1 / 2 0 1 1 1 s 3 d s .

By this, (1.3) and (1.10), we have

(4.6) η = W 2 ( 0 ) = Q 1 = 3 2 A 2 2 .

By (1.4), (4.5) and (4.6), we have

W 2 2 = 2 1 0 2 3 η 3 W 2 ( x ) 3 W 2 ( x ) d x = 2 2 3 0 η η 3 θ 3 d θ = 2 2 3 η 5 / 2 0 1 1 s 3 d s = 9 2 A 2 5 B 2 .

This along with (1.11) implies

(4.7) W 2 = 3 2 A 2 5 / 2 B 2 1 / 2 Q 2 .

Now we prove Theorem 1.4 (i). Put p = 2 in (4.4). Then if

(4.8) a = 1 4 b λ 2 W 2 2 ,

namely, if λ = 2 a b W 2 , then (1.1) has exactly one solution. By this, (4.3), (4.7) and (4.8), we have

(4.9) t 0 1 / 2 = b a , Q 2 1 = W 2 1 = 2 λ 1 a b .

By this and (3.2), we see that

u λ ( x ) = t 0 1 / 2 Q 2 1 W 2 ( x ) = 2 b λ 1 W 2 ( x )

is the solution. By this, (4.6) and (4.9), we have

ξ = u λ ( 0 ) = 2 b λ 1 Q 1 = b a Q 1 Q 2 .

This implies Theorem 1.4 (i). We next prove Theorem 1.4 (ii). By Theorem 1.3 (a), if λ > 2 a b Q 2 , then (1.1) has exactly two solutions. In this case, by (3.1) and (4.7), we have

(4.10) t 1 1 / 2 ( λ ) λ Q 2 1 + λ 2 Q 2 2 4 a b 2 a ,

(4.11) t 2 1 / 2 ( λ ) λ Q 2 1 λ 2 Q 2 2 4 a b 2 a .

Then by (3.2) and (4.7), we have

(4.12) u λ , 1 ( x ) = λ Q 2 1 + λ 2 Q 2 2 4 a b 2 a Q 2 1 W 2 ( x ) ,

(4.13) u λ , 2 ( x ) = λ Q 2 1 λ 2 Q 2 2 4 a b 2 a Q 2 1 W 2 ( x ) .

We put x = 0 in (4.12) and (4.13). Then by (4.6), we obtain (1.14) and (1.15). Thus, the proof is complete.□

5 Proof of Theorem 1.7

Proof of Theorem 1.7 (i)

Let p = 3 . If we have t λ in (3.1) for some λ > 0 , then we have a solution of (1.1) for p = 3 . We put p = 3 in (3.1). Then we have

(5.1) a t + b = λ W 3 2 t .

Namely, if t λ = b W 3 2 λ a W 3 2 exists, then we have a unique solution of (1.1) for p = 3 . Assume that

(5.2) λ > a W 3 2 .

Then by (3.2), we have the unique solution

(5.3) u λ ( x ) = b W 3 2 λ a W 3 2 W 3 1 W 3 ( x ) .

Now we calculate W 3 . We put η W 3 . By (1.1) and the same argument as that in Section 4, we have

1 2 W 3 ( x ) 2 + 1 4 W 3 ( x ) 4 = 1 4 η 4 .

By this, for 1 x 0 , we have

(5.4) W 3 ( x ) = 1 2 η 4 W 3 ( x ) 4 .

By this and (1.4), we have

(5.5) W 3 2 = 2 1 0 1 2 η 4 W 3 ( x ) 4 W 3 ( x ) d x = 2 0 η η 4 θ 4 d θ = 2 η 3 0 1 1 s 4 d x = 2 η 3 B 3 .

By (1.3) and (5.4), we have

(5.6) 1 = 1 0 2 W 3 ( x ) η 4 W 3 ( x ) 4 d x = 2 0 η 1 η 4 θ 4 d θ = 2 η 1 0 1 1 1 s 4 d s = 2 η 1 A 3 .

By (5.5) and (5.6), we have

(5.7) W 3 2 = 4 A 3 3 B 3 .

By this and (5.2), if λ > 4 a A 3 3 B 3 , then we have the unique solution. We know from (1.18) that μ 1 = 4 A 3 3 B 3 when p = 3 . Then the argument in the proof of Theorem 1.2 is also available for the case p = 3 , and we also obtain (1.7) for p = 3 . This implies (1.21). Thus, the proof of Theorem 1.7 (i) is complete.□

Proof of Theorem 1.7 (ii)

Let p = 1 . Then (1.1) is the linear eigenvalue problem with positive solution. Therefore, we have

(5.8) λ b + a u 2 = λ 1 = π 2 4 .

We look for the solution u λ ( x ) = C φ 1 ( x ) , where C > 0 is a constant and φ 1 ( x ) cos π 2 x . We substitute C φ 1 ( x ) into (1.1) to obtain

(5.9) C = 4 π 2 a λ π 2 4 b .

Therefore, if λ > b λ 1 , then we have a unique solution u λ ( x ) of (1.1) such as

(5.10) u λ ( x ) = 4 π 2 a λ π 2 4 b cos π 2 x .

Thus, the proof of Theorem 1.7 (ii) is complete.□

Acknowledgment

This work was supported by JSPS KAKENHI Grant Number JP21K03310.

  1. Conflict of interest: The author states no conflict of interest.

References

[1] C. O. Alves, F. J. S. A. Corrêa, and T. F. Ma, Positive solutions for a quasilinear elliptic equation of Kirchhoff-type, Comput. Math. Appl. 49 (2005), no. 1, 85–93. 10.1016/j.camwa.2005.01.008Search in Google Scholar

[2] A. Ambrosetti, H. Brezis, and G. Cerami, Combined effects of concave and convex nonlinearities in some elliptic problems, J. Funct. Anal. 122 (1994), no. 2, 519–543. 10.1006/jfan.1994.1078Search in Google Scholar

[3] X. Cao and G. Dai, Spectrum, global bifurcation and nodal solutions to Kirchhoff-type equations, Electron J. Differ. Equ. 2018 (2018), no. 179, 1–10. Search in Google Scholar

[4] B. Cheng, New existence and multiplicity of nontrivial solutions for nonlocal elliptic Kirchhoff-type problems, J. Math. Anal. Appl. 394 (2012), no. 2, 488–495. 10.1016/j.jmaa.2012.04.025Search in Google Scholar

[5] D. Daners and J. López-Gómez, Global dynamics of generalized logistic equations, Adv. Nonlinear Stud. 18 (2018), no. 2, 217–236. 10.1515/ans-2018-0008Search in Google Scholar

[6] B. Gidas, W. M. Ni, and L. Nirenberg, Symmetry and related properties via the maximum principle, Comm. Math. Phys. 68 (1979), no. 3, 209–243. 10.1007/BF01221125Search in Google Scholar

[7] T. Laetsch, The number of solutions of a nonlinear two point boundary value problem, Indiana Univ. Math. J. 20 (1970), no. 1, 1–13. 10.1512/iumj.1971.20.20001Search in Google Scholar

[8] Z. Liang, F. Li, and J. Shi, Positive solutions of Kirchhoff-type non-local elliptic equation: a bifurcation approach, Proc. Roy. Soc. Edinburgh Sect. A 147 (2017), no. 4, 875–894. 10.1017/S0308210516000378Search in Google Scholar

[9] F. Liu, H. Luo and G. Dai, Global bifurcation and nodal solutions for homogeneous Kirchhoff-type equations, Electron. J. Differ. Equ. 2020 (2020), no. 29, 1–13. 10.14232/ejqtde.2020.1.29Search in Google Scholar

[10] K. Perera and Z. Zhang, Nontrivial solutions of Kirchhoff-type problems via the Yang index, J. Differ. Equ. 221 (2006), no. 1, 246–255. 10.1016/j.jde.2005.03.006Search in Google Scholar

[11] M. Sun, Z. Yang, and H. Cai, Nonexistence and existence of positive solutions for the Kirchhoff-type equation, Appl. Math. Lett. 96 (2019), no. 10, 202–207. 10.1016/j.aml.2019.05.012Search in Google Scholar

[12] F. Wang, D. Hu, and M. Xiang, Combined effects of Choquard and singular nonlinearities in fractional Kirchhoff problems, Adv. Nonlinear Anal. 10 (2021), no. 1, 636–658. 10.1515/anona-2020-0150Search in Google Scholar

[13] W. Wang and W. Tang, Bifurcation of positive solutions for a nonlocal problem, Mediterr. J. Math. 13 (2016), no. 6, 3955–3964. 10.1007/s00009-016-0726-4Search in Google Scholar

[14] M. Xiang, B. Zhang, and V. D. Rǎdulescu, Superlinear Schrödinger-Kirchhoff-type problems involving the fractional p-Laplacian and critical exponent, Adv. Nonlinear Anal. 9 (2020), 690–709. 10.1515/anona-2020-0021Search in Google Scholar

Received: 2021-09-30
Revised: 2022-03-30
Accepted: 2022-07-14
Published Online: 2022-09-09

© 2023 Tetsutaro Shibata, published by De Gruyter

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

Articles in the same Issue

  1. Regular Articles
  2. On sufficient “local” conditions for existence results to generalized p(.)-Laplace equations involving critical growth
  3. On the critical Choquard-Kirchhoff problem on the Heisenberg group
  4. On the local behavior of local weak solutions to some singular anisotropic elliptic equations
  5. Viscosity method for random homogenization of fully nonlinear elliptic equations with highly oscillating obstacles
  6. Double-phase parabolic equations with variable growth and nonlinear sources
  7. Logistic damping effect in chemotaxis models with density-suppressed motility
  8. Bifurcation diagrams of one-dimensional Kirchhoff-type equations
  9. Standing wave solution for the generalized Jackiw-Pi model
  10. Weak-strong uniqueness and energy-variational solutions for a class of viscoelastoplastic fluid models
  11. Eigenvalue inequalities for the buckling problem of the drifting Laplacian of arbitrary order
  12. Homoclinic solutions for a differential inclusion system involving the p(t)-Laplacian
  13. Equivalence between a time-fractional and an integer-order gradient flow: The memory effect reflected in the energy
  14. Bautin bifurcation with additive noise
  15. Small solitons and multisolitons in the generalized Davey-Stewartson system
  16. Nonstationary Poiseuille flow of a non-Newtonian fluid with the shear rate-dependent viscosity
  17. A global compactness result with applications to a Hardy-Sobolev critical elliptic system involving coupled perturbation terms
  18. On a strongly damped semilinear wave equation with time-varying source and singular dissipation
  19. Singularity for a nonlinear degenerate hyperbolic-parabolic coupled system arising from nematic liquid crystals
  20. Stability of stationary solutions to the three-dimensional Navier-Stokes equations with surface tension
  21. Uniform decay estimates for the semi-linear wave equation with locally distributed mixed-type damping via arbitrary local viscoelastic versus frictional dissipative effects
  22. Symmetry and nonsymmetry of minimal action sign-changing solutions for the Choquard system
  23. Periodic and quasi-periodic solutions of a four-dimensional singular differential system describing the motion of vortices
  24. Multiple nontrivial solutions of superlinear fractional Laplace equations without (AR) condition
  25. Existence and blow-up of solutions in Hénon-type heat equation with exponential nonlinearity
  26. Existence and concentration behavior of positive solutions to Schrödinger-Poisson-Slater equations
  27. On the fractional Korn inequality in bounded domains: Counterexamples to the case ps < 1
  28. Gradient estimates for nonlinear elliptic equations involving the Witten Laplacian on smooth metric measure spaces and implications
  29. Dynamical analysis of a reaction–diffusion mosquito-borne model in a spatially heterogeneous environment
  30. Existence and multiplicity of solutions for a quasilinear system with locally superlinear condition
  31. Nontrivial solution for Klein-Gordon equation coupled with Born-Infeld theory with critical growth
  32. Modeling Wolbachia infection frequency in mosquito populations via a continuous periodic switching model
  33. Infinitely many localized semiclassical states for nonlinear Kirchhoff-type equation
  34. Fujita-type theorems for a quasilinear parabolic differential inequality with weighted nonlocal source term
  35. Approximations of center manifolds for delay stochastic differential equations with additive noise
  36. Periodic solutions to a class of distributed delay differential equations via variational methods
  37. Groundstate for the Schrödinger-Poisson-Slater equation involving the Coulomb-Sobolev critical exponent
  38. Existence of nontrivial solutions for the Klein-Gordon-Maxwell system with Berestycki-Lions conditions
  39. Global Sobolev regular solution for Boussinesq system
  40. Normalized solutions for the p-Laplacian equation with a trapping potential
  41. Nonlinear elliptic–parabolic problem involving p-Dirichlet-to-Neumann operator with critical exponent
  42. Blow-up for compressible Euler system with space-dependent damping in 1-D
  43. High energy solutions of general Kirchhoff type equations without the Ambrosetti-Rabinowitz type condition
  44. On the dynamics of grounded shallow ice sheets: Modeling and analysis
  45. A survey on some vanishing viscosity limit results
  46. Blow-up for logarithmic viscoelastic equations with delay and acoustic boundary conditions
  47. Generalized Liouville theorem for viscosity solutions to a singular Monge-Ampère equation
  48. Front propagation in a double degenerate equation with delay
  49. Positive solutions for a class of singular (pq)-equations
  50. Higher integrability for anisotropic parabolic systems of p-Laplace type
  51. The Poincaré map of degenerate monodromic singularities with Puiseux inverse integrating factor
  52. On a system of multi-component Ginzburg-Landau vortices
  53. Existence and concentration of solutions to Kirchhoff-type equations in ℝ2 with steep potential well vanishing at infinity and exponential critical nonlinearities
  54. Multiplicity results for fractional Schrödinger-Kirchhoff systems involving critical nonlinearities
  55. On double phase Kirchhoff problems with singular nonlinearity
  56. Estimates for eigenvalues of the Neumann and Steklov problems
  57. Nodal solutions with a prescribed number of nodes for the Kirchhoff-type problem with an asymptotically cubic term
  58. Dirichlet problems involving the Hardy-Leray operators with multiple polars
  59. Incompressible limit for compressible viscoelastic flows with large velocity
  60. Characterizations for the genuine Calderón-Zygmund operators and commutators on generalized Orlicz-Morrey spaces
  61. Non-local gradients in bounded domains motivated by continuum mechanics: Fundamental theorem of calculus and embeddings
  62. Noncoercive parabolic obstacle problems
  63. Touchdown solutions in general MEMS models
  64. Existence and nonexistence of nontrivial solutions for the Schrödinger-Poisson system with zero mass potential
  65. Short-time existence of a quasi-stationary fluid–structure interaction problem for plaque growth
  66. Fine bounds for best constants of fractional subcritical Sobolev embeddings and applications to nonlocal PDEs
  67. Symmetries of Ricci flows
  68. Asymptotic behavior of solutions of a second-order nonlinear discrete equation of Emden-Fowler type
  69. On the topological gradient method for an inverse problem resolution
  70. Supersolutions to nonautonomous Choquard equations in general domains
  71. Uniform complex time heat Kernel estimates without Gaussian bounds
  72. Global existence for time-dependent damped wave equations with nonlinear memory
  73. Normalized solutions for a critical fractional Choquard equation with a nonlocal perturbation
  74. Reversed Hardy-Littlewood-Sobolev inequalities with weights on the Heisenberg group
  75. Lamé system with weak damping and nonlinear time-varying delay
  76. Global well posedness for the semilinear edge-degenerate parabolic equations on singular manifolds
  77. Blowup in L1(Ω)-norm and global existence for time-fractional diffusion equations with polynomial semilinear terms
  78. Boundary regularity results for minimisers of convex functionals with (p, q)-growth
  79. Parametric singular double phase Dirichlet problems
  80. Special Issue on Nonlinear analysis: Perspectives and synergies
  81. Editorial to Special issue “Nonlinear analysis: Perspectives and synergies”
  82. Identification of discontinuous parameters in double phase obstacle problems
  83. Global boundedness to a 3D chemotaxis-Stokes system with porous medium cell diffusion and general sensitivity
  84. On regular solutions to compressible radiation hydrodynamic equations with far field vacuum
  85. On Cauchy problem for fractional parabolic-elliptic Keller-Segel model
  86. The evolution of immersed locally convex plane curves driven by anisotropic curvature flow
  87. Stability of combination of rarefaction waves with viscous contact wave for compressible Navier-Stokes equations with temperature-dependent transport coefficients and large data
  88. On concave perturbations of a periodic elliptic problem in R2 involving critical exponential growth
  89. Existence of solutions for a double-phase variable exponent equation without the Ambrosetti-Rabinowitz condition
Downloaded on 17.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/anona-2022-0265/html
Scroll to top button