<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">JAMP</journal-id><journal-title-group><journal-title>Journal of Applied Mathematics and Physics</journal-title></journal-title-group><issn pub-type="epub">2327-4352</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/jamp.2023.117132</article-id><article-id pub-id-type="publisher-id">JAMP-126585</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Sign-Changing Solutions for Superlinear Kirchhoff Type Problem via the Nehari Method
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Xiaohan</surname><given-names>Duan</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Guanggang</surname><given-names>Liu</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>School of Mathematical Sciences, Liaocheng University, Liaocheng, China</addr-line></aff><pub-date pub-type="epub"><day>11</day><month>07</month><year>2023</year></pub-date><volume>11</volume><issue>07</issue><fpage>2093</fpage><lpage>2102</lpage><history><date date-type="received"><day>16,</day>	<month>June</month>	<year>2023</year></date><date date-type="rev-recd"><day>24,</day>	<month>July</month>	<year>2023</year>	</date><date date-type="accepted"><day>27,</day>	<month>July</month>	<year>2023</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  In this paper, we consider a class of Kirchhoff type problem with superlinear nonlinearity. A sign-changing solution with exactly two nodal domains will be obtained by combining the Nehari method and an iterative technique.
 
</p></abstract><kwd-group><kwd>Kirchhoff Type Problem</kwd><kwd> Nehari Method</kwd><kwd> Iterative Technique</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>In this paper, we consider the following Kirchhoff type problem</p><p>{ − ( a + b ∫ Ω | ∇ u | 2 d x ) Δ u = f ( u ) , in Ω , u = 0 , on ∂ Ω , (1.1)</p><p>where Ω ⊂ ℝ N , N = 1 , 2 , 3 is a bounded smooth domain. The problem (1.1) is related to the stationary analogue of the equation</p><p>u t t − ( a + b ∫ Ω | ∇ u | 2 d x ) Δ u = f ( x , u ) (1.2)</p><p>proposed by Kirchhoff as an existence of the classical D’Alembert’s wave equations for free vibration of elastic strings. Kirchhoff’s model takes into account the changes in length of the string produced by transverse vibrations. After Lions [<xref ref-type="bibr" rid="scirp.126585-ref1">1</xref>] introduced an abstract framework to the problem, the Equation (1.2) began to receive much attention. In recent years, the existence and multiplicity of nontrivial solutions for the Kirchhoff type problem on a bounded domain Ω ⊂ ℝ N or on ℝ N has been studied by many authors, see [<xref ref-type="bibr" rid="scirp.126585-ref2">2</xref>] - [<xref ref-type="bibr" rid="scirp.126585-ref20">20</xref>] and references therein. To obtain the existence of nontrivial solutions for (1.1), various growth conditions with the nonlinearity f for problem (1.1) are always needed. For example, the subcritical growth case was considered in [<xref ref-type="bibr" rid="scirp.126585-ref2">2</xref>] [<xref ref-type="bibr" rid="scirp.126585-ref4">4</xref>] [<xref ref-type="bibr" rid="scirp.126585-ref6">6</xref>] [<xref ref-type="bibr" rid="scirp.126585-ref9">9</xref>] , the critical growth case was considered in [<xref ref-type="bibr" rid="scirp.126585-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.126585-ref8">8</xref>] , the superlinear case was considered in [<xref ref-type="bibr" rid="scirp.126585-ref7">7</xref>] [<xref ref-type="bibr" rid="scirp.126585-ref10">10</xref>] [<xref ref-type="bibr" rid="scirp.126585-ref11">11</xref>] [<xref ref-type="bibr" rid="scirp.126585-ref13">13</xref>] [<xref ref-type="bibr" rid="scirp.126585-ref14">14</xref>] [<xref ref-type="bibr" rid="scirp.126585-ref15">15</xref>] [<xref ref-type="bibr" rid="scirp.126585-ref17">17</xref>] , the asymptotically linear case was considered in [<xref ref-type="bibr" rid="scirp.126585-ref3">3</xref>] [<xref ref-type="bibr" rid="scirp.126585-ref12">12</xref>] [<xref ref-type="bibr" rid="scirp.126585-ref14">14</xref>] . In [<xref ref-type="bibr" rid="scirp.126585-ref12">12</xref>] , by using the Yang index and Morse theory, Perera and Zhang established the existence of nontrivial solutions for (1.1) when the nonlinearity f is asymptotically linear near zero and asymptotically 4-linear at infinity. In [<xref ref-type="bibr" rid="scirp.126585-ref14">14</xref>] , Sun and Liu obtained the existence of nontrivial solutions via the Morse theory when the nonlinearity is superlinear near zero but asymptotically 4-linear at infinity, and the nonlinearity is asymptotically linear near zero but 4-superlinear at infinity. In [<xref ref-type="bibr" rid="scirp.126585-ref16">16</xref>] , by applying the mountain pass theorem, the local linking theorem, and the fountain theorem, Sun and Tang obtained the existence and multiplicity of nontrivial solutions for (1.1) when the nonlinearity f is 4-superlinear at infinity.</p><p>In the previous existence and multiplicity results, the additional properties about the solutions are not be considered. Recently, there has been increasing interest to obtain additional information on the solutions of (1.1). The existence of sign-changing solutions for (1.1) has attracted a lot of attention. In [<xref ref-type="bibr" rid="scirp.126585-ref19">19</xref>] , Zhang and Perera studied the existence of sign-changing solutions for a class of Kirchhoff type problems by using variational method. In [<xref ref-type="bibr" rid="scirp.126585-ref13">13</xref>] , Shuai proved the problem (1.1) possesses one least energy sign-changing solution via the Nehari method when the nonlinearity f is 4-superlinear at infinity by combining constraint variational method and quantitative deformation lemma.</p><p>In this paper, motivated by [<xref ref-type="bibr" rid="scirp.126585-ref13">13</xref>] , we will study the existence of sign-changing solution for (1.1) when the nonlinearity f is 4-superlinear at infinity. Our result has somewhat improved the result of [<xref ref-type="bibr" rid="scirp.126585-ref13">13</xref>] . In [<xref ref-type="bibr" rid="scirp.126585-ref13">13</xref>] , Shuai obtained the existence of sign-changing solution for (1.1) under the following conditions:</p><p>(f<sub>1</sub>) f ∈ C 1 ( ℝ , ℝ ) , f ( s ) = ο ( | s | ) as s → 0 ;</p><p>(f<sub>2</sub>) For some constant p ∈ ( 4 , 2 ∗ ) , lim s → ∞ f ( s ) s p − 1 = 0 , where 2 ∗ = + ∞ for N = 1 , 2 and 2 ∗ = 6 for N = 3 ;</p><p>(f<sub>3</sub>) lim s → ∞ F ( s ) s 4 = + ∞ , where F ( s ) = ∫ 0 s f ( t ) d t ;</p><p>(f<sub>4</sub>) f ( s ) | s | 3 is an increasing function of s ∈ ℝ \ { 0 } .</p><p>Here we replace the condition (f<sub>4</sub>) with the following conditions (f<sub>5</sub>) and (f<sub>6</sub>):</p><p>(f<sub>5</sub>) There exist constant θ &gt; 2 and s 0 &gt; 0 such that 0 &lt; θ F ( s ) &lt; s f ( s ) , ∀ | s | ≥ s 0 ,</p><p>(f<sub>6</sub>) f ′ ( s ) &gt; f ( s ) s for all s ≠ 0 .</p><p>If F &gt; 0 , we can see that our conditions (f<sub>5</sub>) and (f<sub>6</sub>) are weaker than (f<sub>4</sub>). In fact, if (f<sub>4</sub>) holds, then for s ≠ 0 , one has that</p><p>f ′ ( s ) s 2 − 3 f ( s ) s &gt; 0 and f ( s ) s &gt; 4 F ( s ) ,</p><p>which implies that (f<sub>5</sub>) and (f<sub>6</sub>) hold when F &gt; 0 . On the other hand, let f ( s ) = 7 3 | s | 1 3 s + 4 s 3 ln ( 1 + s 2 ) + 2 s 5 1 + s 2 , then F ( s ) = | s | 7 3 + s 4 ln ( 1 + s 2 ) . By calculation, we see that f ( s ) satisfies (f<sub>1</sub>) - (f<sub>3</sub>), (f<sub>5</sub>), and (f<sub>6</sub>). But notice that</p><p>f ( s ) s − 4 F ( s ) = − 5 3 | s | 7 3 + 2 s 6 1 + s 2 &lt; 0</p><p>when 0 &lt; | s | ≤ 1 , thus the condition (f<sub>4</sub>) is not satisfied. Hence our result is new and we have partially extended the result in [<xref ref-type="bibr" rid="scirp.126585-ref13">13</xref>] when F &gt; 0 .</p><p>We will use a method different from [<xref ref-type="bibr" rid="scirp.126585-ref13">13</xref>] . The existence of a sign-changing solution with exactly two nodal domains will be proved by combining the Nehari method and an iterative technique proposed in [<xref ref-type="bibr" rid="scirp.126585-ref21">21</xref>] . The main idea is to fix the nonlocal term first and to consider the corresponding usual second order elliptic problem. The sign-changing solution for this usual second order elliptic problem will be obtained by the Nehari method. Then we use the iterative technique to get a sequence of approximate solutions, and the sign-changing solution for (1.1) will be obtained through a limit argument. The key point is to obtain the boundedness of this sequence of approximate solutions.</p><p>Our main result is the following theorem.</p><p>Theorem 1.1. Assume that (f<sub>1</sub>) - (f<sub>3</sub>), (f<sub>5</sub>), (f<sub>6</sub>) hold, then the problem (1.1) has at least one sign-changing solution which has exactly two nodal domains.</p><p>Remark 1.2. In fact, under the conditions of Theorem 1.1, we can also obtain the positive and negative solutions of (1.1) by combining the mountain pass theorem and a similar iterative process.</p><p>The paper is organized as follows. In Section 2, we fix the nonlocal term of (1.1) and consider the corresponding usual second order elliptic problem. We apply the Nehari method to obtain the sign-changing solution for this usual second order elliptic problem. In Section 3, we give the proof of our main result by using an iterative technique.</p></sec><sec id="s2"><title>2. Preliminaries</title><p>Let E = H 0 1 ( Ω ) be the usual Sobolev space with the norm ‖ u ‖ = ( ∫ Ω | ∇ u | 2 d x ) 1 2 . For any fixed ω ∈ E , we consider the following problem</p><p>{ − ( a + b ∫ Ω | ∇ ω | 2 d x ) Δ u = f ( u ) , in Ω u = 0 , on ∂ Ω (2.1)</p><p>The associated functional corresponding to (2.1) is I ω : E → ℝ ,</p><p>I ω ( u ) = 1 2 ( a + b ∫ Ω | ∇ ω | 2 d x ) ∫ Ω | ∇ u | 2 d x − ∫ Ω F ( u ) d x .</p><p>By (f<sub>1</sub>) and (f<sub>2</sub>), I ω ∈ C 2 ( E , ℝ ) is weakly lower semi-continuous and the weak solution of the problem (2.1) corresponds to the critical point of the functional I ω .</p><p>Define</p><p>G ω ( u ) = 〈 I ′ ( u ) , u 〉 = ( a + b ∫ Ω | ∇ ω | 2 d x ) ∫ Ω | ∇ u | 2 d x − ∫ Ω f ( x , u ) u d x ,</p><p>N ω = { u ∈ H 0 1 ( u ) \ { 0 } | G ω ( u ) = 0 } , S ω = { u ∈ N ω | u + ∈ N ω , u − ∈ N ω } ,</p><p>where u + = max { u , 0 } , u − = min { u , 0 } . The set N ω is called the Nehari manifold.</p><p>Obviously, any sign-changing solutions of (2.1) must be on S ω . Note that for any u ∈ E ,</p><p>I ω ( u ) = I ω ( u + ) + I ω ( u − ) ,</p><p>〈 I ′ ω ( u ) , u + 〉 = 〈 I ′ ω ( u + ) , u + 〉 , 〈 I ′ ω ( u ) , u − 〉 = 〈 I ′ ω ( u − ) , u − 〉 .</p><p>Then if u ∈ E satisfies u + ∈ N ω , and u − ∈ N ω , we have that u ∈ N ω and thus u ∈ S ω .</p><p>Now we give a detailed explanation of our proof. Firstly, for every ω ∈ E , we prove that I ω is bounded on N ω and so also bounded on S ω . Then we can find a minimizer u ω of I ω on S w , which is proved to be a sign-changing solution of (2.1). Secondly, we prove that there exists a constant R 1 such that if ‖ ω ‖ ≤ R 1 then ‖ u ω ‖ ≤ R 1 . Using this conclusion again and again we can obtain a sequence { u n } such that u n is a sign-changing critical point of I u n − 1 and ‖ u n ‖ ≤ R 1 . Thirdly, let n → ∞ , we can prove that u n → u ˜ for some u ˜ ∈ E and u ˜ is a sign-changing solution of the original problem (1.1). Finally, we show that u ˜ is the minimizer of I u ˜ on S u ˜ , and using this fact we prove that u ˜ has exactly two nodal domains.</p><p>In order to prove the main result, we need the following lemmas. However, the proofs of them are standard and similar to Lemmas 3.1 - 3.4 of our recent paper [<xref ref-type="bibr" rid="scirp.126585-ref10">10</xref>] , so we omit their proofs. Note that in [<xref ref-type="bibr" rid="scirp.126585-ref10">10</xref>] , we only proved the existence of sign-changing solution for (1.1) when b is sufficiently small, and the number of nodal domains is not obtained there. By contrast, here for any b &gt; 0 , a sign-changing solution is obtained, and it has exactly two nodal domains.</p><p>Lemma 2.1. Assume that (f<sub>1</sub>), (f<sub>2</sub>), (f<sub>5</sub>), (f<sub>6</sub>) hold, then for each u ∈ E \ { 0 } there exists unique t = t ( u ) &gt; 0 such that t ( u ) u ∈ N ω .</p><p>Lemma 2.2. Assume that (f<sub>1</sub>), (f<sub>2</sub>), (f<sub>5</sub>), (f<sub>6</sub>) hold, there exists constants α &gt; 0 and c &gt; 0 independent of ω such that I ω ( u ) ≥ α and ‖ u ‖ ≥ c for all u ∈ N ω .</p><p>Define m 1 = inf S ω I ω , then it is clearly that m 1 ≥ α ≥ 0 .</p><p>Lemma 2.3. m 1 is achieved at some u ω ∈ S ω , and u ω is a critical point of I ω .</p><p>Remark 2.1. In [<xref ref-type="bibr" rid="scirp.126585-ref10">10</xref>] , we assumed that Ω ∈ ℝ N , N = 3 . But it is not difficult to see that the above lemmas still true for Ω ∈ ℝ N , N = 1 , 2 , from the proofs there.</p></sec><sec id="s3"><title>3. Proof of the Main Result</title><p>In this section, we prove our main result.</p><p>Proof of Theorem 1.1.</p><p>Step 1. We construct a bounded sign-changing functions sequence { u n } in E such that I ′ u n − 1 ( u n ) = 0 for any n ≥ 2 .</p><p>For any ω ∈ E , by Lemma 2.3, there exists a minimizer u ω of I ω on S ω and I ′ ω ( u ω ) = 0 . We fix a function v 0 ∈ E with v 0 + ≠ 0 and v 0 − ≠ 0 . By Lemma 2.1, there exist t ( v 0 + ) &gt; 0 and t ( v 0 − ) &gt; 0 such that t ( v 0 + ) v 0 + ∈ N ω and t ( v 0 − ) v 0 − ∈ N ω . Then it is clear that</p><p>t ( v 0 + ) v 0 + + t ( v 0 − ) v 0 − ∈ S ω . (3.1)</p><p>By (f<sub>3</sub>), for any ε &gt; 0 there exists C ′ ε &gt; 0 such that</p><p>F ( s ) ≥ 1 ε s 4 − C ′ ε . (3.2)</p><p>Then by (3.1), (3.2), and notice that u w is a minimizer of I ω on S ω , we have</p><p>I ω ( u ω ) ≤ I ω ( t ( v 0 + ) v 0 + + t ( v 0 − ) v 0 − ) = I ω ( t ( v 0 + ) v 0 + ) + I ω ( t ( v 0 − ) v 0 − ) ≤ sup t &gt; 0 I ω ( t v 0 + ) + sup t &gt; 0 I ω ( t v 0 − ) ≤ sup t &gt; 0 ( t 2 2 ( a + b ∫ Ω | ∇ ω | 2 d x ) ∫ Ω | ∇ v 0 + | 2 d x − 1 ε t 4 ∫ Ω | v 0 + | 4 d x + C ′ ε | Ω | )   + sup t &gt; 0 ( t 2 2 ( a + b ∫ Ω | ∇ ω | 2 d x ) ∫ Ω | ∇ v 0 − | 2 d x − 1 ε t 4 ∫ Ω | v 0 − | 4 d x + C ′ ε | Ω | ) = C 1 ε ( a + b ∫ Ω | ∇ ω | 2 d x ) 2 + C ″ ε , (3.3)</p><p>where | Ω | is the Lebesgue measure of Ω ,</p><p>C 1 = 1 16 ( ( ∫ Ω | v 0 + | 2 d x ) 2 ( ∫ Ω | v 0 + | 4 d x ) + ( ∫ Ω | v 0 − | 2 d x ) 2 ( ∫ Ω | v 0 − | 4 d x ) ) , C ′ ′ ε = 2 C ′ ε | Ω | .</p><p>By (f<sub>5</sub>), there exists a constant C 0 such that</p><p>F ( s ) ≤ 1 θ f ( s ) s + C 0 , s ∈ ℝ . (3.4)</p><p>Since u ω is a critical point of I ω , we have</p><p>( a + b ∫ Ω | ∇ ω | 2 d x ) ∫ Ω | ∇ u ω | 2 d x = ∫ Ω f ( x , u ω ) u ω d x . (3.5)</p><p>Then by (3.3), (3.4) and (3.5), we have</p><p>1 2 ( a + b ∫ Ω | ∇ ω | 2 d x ) ∫ Ω | ∇ u ω | 2 d x = I ω ( u ω ) + ∫ Ω F ( u ω ) d x ≤ I ω ( u ω ) + 1 θ ∫ Ω f ( u ω ) u ω d x + C 0 | Ω | ≤ C 1 ε ( a + b ∫ Ω | ∇ ω | 2 d x ) 2 + 1 θ ( a + b ∫ Ω | ∇ ω | 2 d x ) ∫ Ω | ∇ u ω | 2 d x + C ε ,</p><p>where C ε = C ″ ε + C 0 | Ω | . Note that θ &gt; 2 , thus</p><p>∫ Ω | ∇ u ω | 2 d x ≤ C 1 ε ( a + b ∫ Ω | ∇ ω | 2 d x ) 2 + C ε ( 1 2 − 1 θ ) ( a + b ∫ Ω | ∇ ω | 2 d x ) = 2 θ θ − 2 C 1 ε ( a + b ∫ Ω | ∇ ω | 2 d x ) + 2 θ θ − 2 ( C ε a + b ∫ Ω | ∇ ω | 2 d x ) ≤ 2 θ θ − 2 C 1 ε ( a + b ∫ Ω | ∇ ω | 2 d x ) + 2 θ θ − 2 C ε a . (3.6)</p><p>Take ε = ε 0 sufficiently small such that</p><p>2 θ θ − 2 C 1 ε 0 b ≤ 1 2 ,</p><p>then from (3.6), we have</p><p>∫ Ω | ∇ u ω | 2 d x ≤ 1 2 ∫ Ω | ∇ ω | 2 d x + 2 θ θ − 2 ( C 1 ε 0 a + C ε 0 a ) . (3.7)</p><p>Choose a sufficiently large constant R 1 &gt; 0 such that</p><p>2 θ θ − 2 ( C 1 ε 0 a + C ε 0 a ) ≤ 1 2 R 1 2 . (3.8)</p><p>Notice that the constants ε 0 , C ε 0 and C 1 are all independent of ω , then R 1 is also independent of ω . By (3.7) and (3.8), for any ω ∈ E with ‖ ω ‖ ≤ R 1 , we have</p><p>∫ Ω | ∇ u ω | 2 d x ≤ 1 2 R 1 2 + 2 θ θ − 2 ( C 1 ε 0 a + C ε 0 a ) ≤ R 1 2 . (3.9)</p><p>Now let ω = u 1 for some u 1 ∈ E with ‖ u 1 ‖ ≤ R 1 , then by Lemma 2.3 and (3.9), I u 1 has a critical point u 2 with u 2 ∈ S u 1 and ‖ u 2 ‖ ≤ R 1 . Again, let ω = u 2 , then similarly I u 2 has a critical point u 3 with u 3 ∈ S u 2 and ‖ u 3 ‖ ≤ R 1 . By induction, we get a sequence { u n } with I ′ u n − 1 ( u n ) = 0 , u n ∈ S u n − 1 and ‖ u n ‖ ≤ R 1 .</p><p>Step 2. We prove that u n → u ˜ in E for some u ˜ ∈ E up to a subsequence and u ˜ is a sign-changing solution of (1.1).</p><p>Since ‖ u n ‖ ≤ R 1 . We can get a subsequence of { u n } (for simplicity still denoted by { u n } ) such that u n ⇀ u ˜ in E and u n → u ˜ in L P ( Ω ) for some u ˜ ∈ E . By ‖ u n ‖ ≤ R 1 and (f<sub>2</sub>), we have</p><p>lim x → ∞ 〈 I ′ u n − 1 ( u ˜ ) , ( u n − u ˜ ) 〉 = lim x → ∞ [ ( a + b ∫ Ω | ∇ u n − 1 | 2 d x ) ∫ Ω ∇ u ˜ ⋅ ∇ ( u n − u ˜ ) d x − ∫ Ω f ( u ˜ ) ( u n − u ˜ ) d x ] = 0 .</p><p>Hence</p><p>0 = lim x → ∞ [ 〈 I ′ u n − 1 ( u n ) , ( u n − u ˜ ) 〉 − 〈 I ′ u n − 1 ( u ˜ ) , ( u n − u ˜ ) 〉 ] = lim x → ∞ [ ( a + b ∫ Ω | ∇ u n − 1 | 2 d x ) ∫ Ω | ∇ ( u n − u ˜ ) | 2 d x − ∫ Ω ( f ( u n ) − f ( u ˜ ) ) ( u n − u ˜ ) d x ] = lim x → ∞ ( a + b ∫ Ω | ∇ u n − 1 | 2 d x ) ‖ u n − u ˜ ‖ 2 ,</p><p>which implies that u n → u ˜ in E as n → ∞ . Thus for any φ ∈ E , we have</p><p>0 = lim x → ∞ 〈 I ′ u n − 1 ( u n ) , φ 〉 = lim x → ∞ [ ( a + b ∫ Ω | ∇ u n − 1 | 2 d x ) ∫ Ω ∇ u n ⋅ ∇ φ d x − ∫ Ω f ( u n ) φ d x ] = ( a + b ∫ Ω | ∇ u ˜ | 2 d x ) ∫ Ω ∇ u ˜ ⋅ ∇ φ d x − ∫ Ω f ( u ˜ ) φ d x = 〈 I ′ u ˜ ( u ˜ ) , φ 〉 .</p><p>Therefore, u ˜ is a critical point of I u ˜ , and u ˜ satisfies (1.1). By u n ∈ S u n − 1 , we have u n + ∈ N u n − 1 and u n − ∈ N u n − 1 for n ≥ 2 . Then from Lemma 2.2, we have ‖ u n + ‖ ≥ c and ‖ u n − ‖ ≥ c for n ≥ 2 , so ‖ u ˜ + ‖ ≥ c and ‖ u ˜ − ‖ ≥ c . Hence u ˜ is a sign-changing solution of (1.1).</p><p>Step 3. We prove that</p><p>I u ˜ ( u ˜ ) = inf v ∈ S u ˜ I u ˜ ( v ) . (3.10)</p><p>For any v ∈ S u ˜ , we have that v + ∈ N u ˜ and v − ∈ N u ˜ . Since v + ≠ 0 and v + ≠ 0 , by Lemma 2.1, there exists t n &gt; 0 and s n &gt; 0 such that t n v + ∈ N u n − 1 and t n v − ∈ N u n − 1 , n = 2 , 3 , 4 , ⋯ .</p><p>By Lemma 2.2, we have that</p><p>t n ‖ v + ‖ ≥ c , s n ‖ v − ‖ ≥ c .</p><p>Let T 1 = c ‖ v + ‖ and S 1 = c ‖ v − ‖ , then for any n ≥ 2 , t n ≥ T 1 and s n ≥ S 1 . On the other hand, by (f<sub>5</sub>), there exist constants C ′ 1 &gt; 0 and C ′ 2 &gt; 0 such that</p><p>F ( s ) ≥ C ′ 1 s θ − C ′ 2 . (3.11)</p><p>Since t n v + ∈ N u n − 1 , by Lemma 2.2 and (3.11), we have that</p><p>α ≤ I u n − 1 ( t n v + ) = t n 2 2 ( a + b ∫ Ω | ∇ u n − 1 | 2 d x ) ∫ Ω | ∇ v + | 2 d x − ∫ Ω F ( t n v + ) d x ≤ t n 2 2 ( a + b ∫ Ω | ∇ u n − 1 | 2 d x ) ∫ Ω | ∇ v + | 2 d x − C ′ 1 t n θ ∫ Ω | v + | θ d x + C ′ 2 | Ω | . (3.12)</p><p>Note that ‖ u n − 1 ‖ → ‖ u ˜ ‖ and θ &gt; 2 , by (3.12) we can conclude that there must exist T 2 &gt; 0 such that t n ≤ T 2 for any n ≥ 2 . Similarly, there exists S 2 &gt; 0 such that s n ≤ S 2 for any n ≥ 2 . Then the sequence { t n } has a subsequence still denoted by { t n } such that t n → t 0 and the sequence s n has a subsequence still denoted by s n such that s n → s 0 .</p><p>We show that t 0 = 1 and s 0 = 1 . In fact, since t n v + ∈ N u n − 1 , we have that</p><p>( a + b ∫ Ω | ∇ u n − 1 | 2 d x ) t n 2 ∫ Ω | ∇ v + | 2 d x − ∫ Ω f ( t n v + ) t n v + d x = 0 ,</p><p>letting n → ∞ , we get</p><p>( a + b ∫ Ω | ∇ u ˜ | 2 d x ) t 0 2 ∫ Ω | ∇ v + | 2 d x − ∫ Ω f ( t 0 v + ) t 0 v + d x = 0. (3.13)</p><p>which implies that t 0 v + ∈ N u ˜ . Recall that v + ∈ N u ˜ , then by Lemma 2.1, we have t 0 = 1 . Similarly, we also have s 0 = 1 .</p><p>Since I u n − 1 ( u n ) = inf S u n − 1 I u n − 1 and t n v + + s n v − ∈ S u n − 1 , we have that</p><p>I u n − 1 ( u n ) ≤ I u n − 1 ( t n v + + s n v − ) ,</p><p>letting n → ∞ , we get</p><p>I u ˜ ( u ˜ ) ≤ I u ˜ ( v ) .</p><p>This implies (3.10).</p><p>Step 4. We prove that u ˜ has exactly two nodal domains.</p><p>Suppose in contradiction that u ˜ has at least three nodal domains. We choose nodal domains Ω 1 , Ω 2 , such that u ˜ 1 ≥ 0 and u ˜ 2 ≤ 0 , where u ˜ i ≠ 0 , i = 1 , 2 , are defined by</p><p>u ˜ i ( x ) = { u ˜ ( x ) ,   if   x ∈ Ω i , 0 , if   x ∈ Ω \ Ω i .</p><p>Let u ˜ 3 = u ˜ − u ˜ 1 − u ˜ 2 , then u ˜ 3 ≠ 0 . Since</p><p>0 = 〈 I ′ u ˜ ( u ˜ ) , u ˜ i 〉 = ( a + b ∫ Ω | ∇ u ˜ | 2 d x ) ∫ Ω ∇ u ˜ ⋅ ∇ u ˜ i d x − ∫ Ω f ( u ˜ ) u ˜ i d x = ( a + b ∫ Ω | ∇ u ˜ | 2 d x ) ∫ Ω | ∇ u ˜ i | 2 d x − ∫ Ω f ( u ˜ i ) u ˜ i d x = 〈 I ′ u ˜ ( u ˜ i ) , u ˜ i 〉</p><p>for i = 1 , 2 , 3 , we have that u ˜ i ∈ N u ˜ , i = 1 , 2 , 3 . Then u ˜ 1 + u ˜ 2 ∈ S u ˜ , and by Lemma 2.1, I u ˜ ( u ˜ 3 ) ≥ α &gt; 0 . Hence, by (3.10),</p><p>I u ˜ ( u ˜ ) ≤ I u ˜ ( u ˜ 1 + u ˜ 2 ) &lt; I u ˜ ( u ˜ 1 + u ˜ 2 ) + I u ˜ ( u ˜ 3 ) = I u ˜ ( u ˜ ) ,</p><p>we get a contradiction. Therefore, u ˜ has exactly two nodal domains.</p></sec><sec id="s4"><title>Acknowledgements</title><p>The authors would like to thank the reviewer for the valuable comments, which have helped to improve the quality of this paper.</p></sec><sec id="s5"><title>Funding</title><p>This research was supported by National Natural Science Foundation of China (11901270) and Shandong Provincial Natural Science Foundation (ZR2019BA019).</p></sec><sec id="s6"><title>Authors’ Contributions</title><p>Xiaohan Duan: Conception and design of study, writing original draft, Writing review &amp; editing.</p><p>Guanggang Liu: Conception and design of study, writing original draft, Writing review &amp; editing.</p></sec><sec id="s7"><title>Conflicts of Interest</title><p>The authors declare no conflicts of interest regarding the publication of this paper.</p></sec><sec id="s8"><title>Cite this paper</title><p>Duan, X.H. and Liu, G.G. (2023) Sign-Changing Solutions for Superlinear Kirchhoff Type Problem via the Nehari Method. Journal of Applied Mathematics and Physics, 11, 2093-2102. https://doi.org/10.4236/jamp.2023.117132</p></sec></body><back><ref-list><title>References</title><ref id="scirp.126585-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Lions, J.L. (1978) On Some Questions in Boundary Value Problems of Mathematical Physics. North-Holland Mathematics Studies, 30, 284-346. https://doi.org/10.1016/S0304-0208(08)70870-3</mixed-citation></ref><ref id="scirp.126585-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Alves, C.O., Correa, F.J.S.A. and Ma, T.F. (2005) Positive Solutions for a Quasilinear Elliptic Equationof Kirchhoff Type. Computers and Mathematics with Applications, 49, 85-93. https://doi.org/10.1016/j.camwa.2005.01.008</mixed-citation></ref><ref id="scirp.126585-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Chen, B. and Ou, Z.Q. (2020) Sign-Changing and Nontrivial Solutions for a Class of Kirchhoff-Type Problems. Journal of Mathematical Analysis and Applications, 481, Article ID: 123478. https://doi.org/10.1016/j.jmaa.2019.123476</mixed-citation></ref><ref id="scirp.126585-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Cheng, B. (2012) New Existence and Multiplicity of Nontrivial Solutions for Nonlocal Elliptic Kirchhoff Type Problems. Journal of Mathematical Analysis &amp; Applications, 394, 488-495. https://doi.org/10.1016/j.jmaa.2012.04.025</mixed-citation></ref><ref id="scirp.126585-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Figueiredo, G.M. (2013) Existence of a Positive Solution for a Kirchhoff Problem Type with Critical Growth via Truncation Argument. Journal of Mathematical Analysis and Applications, 401, 706-713. https://doi.org/10.1016/j.jmaa.2012.12.053</mixed-citation></ref><ref id="scirp.126585-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">He, X. and Zou, W. (2012) Existence and Concentration Behavior of Positive Solutions for a Kirchhoff Equation in R3. Journal of Differential Equations, 252, 1813-1834. https://doi.org/10.1016/j.jde.2011.08.035</mixed-citation></ref><ref id="scirp.126585-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Li, Y., Li, F. and Shi, J. (2012) Existence of a Positive Solution to Kirchhoff Type Problems without Compactness Conditions. Journal of Differential Equations, 253, 2285-2294. https://doi.org/10.1016/j.jde.2012.05.017</mixed-citation></ref><ref id="scirp.126585-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Liang,S. and Shi, S. (2013) Soliton Solutions to Kirchhoff Type Problems Involving the Critical Growth in R&lt;sup&gt;N&lt;/sup&gt;. Nonlinear Analysis, 81, 31-41. https://doi.org/10.1016/j.na.2012.12.003</mixed-citation></ref><ref id="scirp.126585-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Liang, S. and Shi, S. (2013) Existence of Multi-Bump Solutions for a Class of Kirchhoff Type Problems in R&lt;sup&gt;3&lt;/sup&gt;R&lt;sup&gt;3&lt;/sup&gt;. Journal of Mathematical Physics, 54, Article ID: 121510. https://doi.org/10.1063/1.4850835</mixed-citation></ref><ref id="scirp.126585-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Liu, G., Shi, S. and Wei, Y. (2019) Multiplicity of Solutions for Kirchhoff-Type Problem with Two Superlinear Potentials. Bulletin of the Malaysian Mathematical Sciences Society, 42, 1657-1673. https://doi.org/10.1007/s40840-017-0571-z</mixed-citation></ref><ref id="scirp.126585-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Mao, A.M. and Zhang, Z.T. (2009) Sign-Changing and Multiple Solutions of Kirchhoff Type Problems without the P.S. Condition. Nonlinear Analysis: Theory, Methods &amp; Applications, 70, 1275-1287. https://doi.org/10.1016/j.na.2008.02.011</mixed-citation></ref><ref id="scirp.126585-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Perera, K. and Zhang, Z. (2006) Nontrivial Solutions of Kirchhoff-Type Problems via the Yang Index. Journal of Differential Equations, 221, 246-255. https://doi.org/10.1016/j.jde.2005.03.006</mixed-citation></ref><ref id="scirp.126585-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Shuai, W. (2015) Sign-Changing Solutions for a Class of Kirchhoff-Type Problem in Bounded Domains. Journal of Differential Equations, 259, 1256-1274. https://doi.org/10.1016/j.jde.2015.02.040</mixed-citation></ref><ref id="scirp.126585-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Sun, J. and Liu, S. (2012) Nontrivial Solutions of Kirchhoff Type Problems. Applied Mathematics Letters, 25, 500-504. https://doi.org/10.1016/j.aml.2011.09.045</mixed-citation></ref><ref id="scirp.126585-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Sun, J.T. and Wu, T.F. (2016) Existence and Multiplicity of Solutions for an Indefinite Kirchhoff-Type Equation in Bounded Domains. Proceedings of the Royal Society of Edinburgh Section A: Mathematics, 146, 435-448. https://doi.org/10.1017/S0308210515000475</mixed-citation></ref><ref id="scirp.126585-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Sun, J.J. and Tang, C.L. (2011) Existence and Multiplicity of Solutions for Kirchhoff Type Equations. Nonlinear Analysis Theory Methods &amp; Applications, 74, 1212-1222. https://doi.org/10.1016/j.na.2010.09.061</mixed-citation></ref><ref id="scirp.126585-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Tang, X. and Cheng, B. (2016) Ground State Sign-Changing Solutions for Kirchhoff Type Problems in Bounded Domains. Journal of Differential Equations, 261, 2384-2402. https://doi.org/10.1016/j.jde.2016.04.032</mixed-citation></ref><ref id="scirp.126585-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">Wu, X. (2012) Existence of Nontrivial Solutions and High Energy Solutions for Schr&amp;#246;dinger-Kirchhoff-Type Equations with Radial Potential. Nonlinear Analysis Real World Applications, 75, 3470-3479. https://doi.org/10.1016/j.na.2012.01.004</mixed-citation></ref><ref id="scirp.126585-ref19"><label>19</label><mixed-citation publication-type="other" xlink:type="simple">Zhang, Z. and Perera, K. (2006) Sign Changing Solutions of Kirchhoff Type Problems via Invariant Sets of Descent Flow. Journal of Mathematical Analysis and Applications, 317, 456-463. https://doi.org/10.1016/j.jmaa.2005.06.102</mixed-citation></ref><ref id="scirp.126585-ref20"><label>20</label><mixed-citation publication-type="other" xlink:type="simple">Zhang, Q.G., Sun, H.R. and Nieto, J.J. (2014) Positive Solution for a Superlinear Kirchhoff Type Problem with a Parameter. Nonlinear Analysis: Theory, Methods &amp; Applications, 95, 333-338. https://doi.org/10.1016/j.na.2013.09.019</mixed-citation></ref><ref id="scirp.126585-ref21"><label>21</label><mixed-citation publication-type="other" xlink:type="simple">Figuereido, D.G., de, Girardi, M. and Matzeu, M. (2004) Semilinear Ellptic Equations with Dependence on the Gradient via Mountain-Pass Techniques. Differential and Integral Equations, 17, 119-126. https://doi.org/10.57262/die/1356060475</mixed-citation></ref></ref-list></back></article>