﻿ Study on the Existence of Sign-Changing Solutions of Case Theory Based a Class of Differential Equations Boundary-Value Problems

Vol.07 No.12(2017), Article ID:81231,6 pages
10.4236/apm.2017.712042

Study on the Existence of Sign-Changing Solutions of Case Theory Based a Class of Differential Equations Boundary-Value Problems

Hongwei Ji

Department of Mathematics and Physics, Nantong Normal College, Jiangsu, China    Received: May 22, 2017; Accepted: October 15, 2017; Published: December 21, 2017

ABSTRACT

By using the fixed point theorem under the case structure, we study the existence of sign-changing solutions of A class of second-order differential equations three-point boundary-value problems, and a positive solution and a negative solution are obtained respectively, so as to popularize and improve some results that have been known.

Keywords:

Case Theory, Boundary-Value Problems, Fixed Point Theorem, Sign-Changing Solutions 1. Introduction

The existence of nonlinear three-point boundary-value problems has been studied  -  , and the existence of sign-changing solutions is obtained. In the past, most studies were focused on the cone fixed point index theory    , just a few took use of case theory to study the topological degree of non-cone mapping and the calculation of fixed point index, and the case theory was combined with the topological degree theory to study the sign-changing solutions. Recent study Ref.   have given the method of calculating the topological degree under the case structure, and taken use of the fixed point theorem of non-cone mapping to study the existence of nontrivial solutions for the nonlinear Sturm-Liouville problems. Relevant studies as    .

Inspired by the Ref.  -  and by using the new fixed point theorem under the case structure, this paper studies three-point boundary-value problems for A class of nonlinear second-order equations

$\left\{\begin{array}{l}{u}^{″}\left(t\right)+f\left(u\left(t\right)\right)=0,\text{\hspace{0.17em}}0\le t\le 1;\\ {u}^{\prime }\left(0\right)=0,\text{\hspace{0.17em}}u\left(1\right)=\alpha u\left(\eta \right),\end{array}$ (1)

Existence of the sign-changing solution, constant $0<\alpha <1,0<\eta <1$ , $f\in C\left(R,R\right)$ .

Boundary-value problem (1) is equivalent to Hammerstein nonlinear integral equation hereunder

$u\left(t\right)={\int }_{0}^{1}G\left(t,s\right)f\left(u\left(s\right)\right)\text{d}s,\text{\hspace{0.17em}}0\le t\le 1$ (2)

Of which $G\left(t,s\right)$ is the Green function hereunder

$G\left(t,s\right)=\frac{1}{1-\alpha }\left\{\begin{array}{l}\left(1-s\right)-\alpha \left(\eta -s\right),0\le s\le \eta ,0\le t\le s;\\ \left(1-s\right),\eta \le s\le 1,0\le t\le s;\\ \left(1-\alpha \eta \right)-t\left(1-\alpha \right),0\le s\le \eta ,s\le t\le 1;\\ \left(1-\alpha y\right)-t\left(1-\alpha \right),\eta \le s\le 1,s\le t\le 1.\end{array}$

Defining linear operator K as follow

$\left(Ku\right)\left(t\right)={\int }_{0}^{1}G\left(t,s\right)u\left(s\right)\text{d}s,\text{\hspace{0.17em}}u\in C\left[0,1\right].$ (3)

Let $Fu\left(t\right)=f\left(u\left(t\right)\right)$ , $t\in \left[0,1\right]$ , obviously composition operator $A=KF$ , i.e.

$\left(Au\right)\left(t\right)={\int }_{0}^{1}G\left(t,s\right)f\left(u\left(s\right)\right)\text{d}s,\text{\hspace{0.17em}}0\le t\le 1$ (4)

It’s easy to get: $u\in {C}^{2}\left[0,1\right]$ is the solution of boundary-value problem (1), and $u\in C\left[0,1\right]$ is the solution of operator equation $u=Au$ .

We note that, in Ref.   , an abstract result on the existence of sign- changing solutions can be directly applied to problem (1). After the necessary preparation, when the non-linear term $f$ is under certain assumptions, we get the existence of sign-changing solution of such boundary-value problems. Compared with the Ref.  , we can see that we generalize and improve the nonlinear term $f$ , and remove the conditions of strictly increasing function, and the method is different from Ref.  .

For convenience, we give the following conditions.

(H1) $f\left(u\right):R\to R$ continues, $f\left(u\right)u>0$ , $\forall u\in R,u\ne 0$ , and $f\left(0\right)=0$ .

(H2) $\underset{u\to 0}{\mathrm{lim}}\frac{f\left(u\right)}{u}=\beta$ , and ${n}_{0}\in N$ , make ${\lambda }_{2{n}_{0}}<\beta <{\lambda }_{2{n}_{0}+1}$ , of which $0<{\lambda }_{1}<{\lambda }_{2}<\cdots <{\lambda }_{n}<{\lambda }_{n+1}<\cdots$ is the positive sequence of $\mathrm{cos}\sqrt{x}=\alpha \mathrm{cos}\eta \sqrt{x}$ .

(H3) exists $\epsilon >0$ , make $\underset{|u|\to +\infty }{\mathrm{lim}}\mathrm{sup}\frac{f\left(u\right)}{u}\le {\lambda }_{1}-\epsilon$ .

2. Knowledge

Provided P is the cone of E in Banach space, the semi order in E is exported by cone P. If the constant $N>0$ , and $\theta \le x\le y⇒‖x‖\le N‖y‖$ , then P is a normal cone; if P contains internal point, i.e. $\mathrm{int}P\ne \varnothing$ , then P is a solid cone.

E becomes a case when semi order £, i.e. any $x,y\in E$ , $\mathrm{sup}\left\{x,y\right\}$ and $\mathrm{inf}\left\{x,y\right\}$ is existed, for $x\in E$ , ${x}^{+}=\mathrm{sup}\left\{x,\theta \right\}$ , ${x}^{-}=\mathrm{sup}\left\{-x,\theta \right\}$ , we call positive and negative of x respectively, call $|x|={x}^{+}+{x}^{-}$ as the modulus of x. Obviously, ${x}^{+}\in P$ , ${x}^{-}\in \left(-P\right)$ , $|x|\in P$ , $x={x}^{+}-{x}^{-}$ .

For convenience, we use the following signs: ${x}_{+}={x}^{+}$ , ${x}_{-}=-{x}^{-}$ . Such that $x={x}_{+}+{x}_{-}$ , $|x|={x}_{+}-{x}_{-}$ .

Provided Banach space $E=C\left[0,1\right]$ , and E’s norm as $‖\text{ }\cdot \text{ }‖$ , i.e.

$‖u‖=\underset{0\le t\le 1}{\mathrm{max}}|u\left(t\right)|$ . Let $P=\left\{u\in E|u\left(t\right)\ge 0,t\in \left[0,1\right]\right\}$ , then P is the normal cone of

E, and E becomes a case under semi order £.

Now we give the definitions and theorems

Def 1  provided $D\subset E,A:D\to E$ is an operator (generally a nonlinear). If $Ax=A{x}_{+}+A{x}_{-},\forall x\in E$ , then A is an additive operator under case structure; if ${v}^{\ast }\in E$ , and $Ax=A{x}_{+}+A{x}_{-}+{v}^{\ast },\forall x\in E$ , then A is a quasi additive operator.

Def 2 provided x is a fixed point of A, if $x\in \left(P\\left\{\theta \right\}\right)$ , then x is a positive fixed point; if $x\in \left(\left(-P\right)\\left\{\theta \right\}\right)$ , then x is a negative fixed point; if $x\notin \left(P\cup \left(-P\right)\right)$ , then x is a sign-changing fixed point.

Lemma 1  $G\left(t,s\right)$ is a nonnegative continuous function of $\left[0,1\right]×\left[0,1\right]$ ,

and when $t,s\in \left[0,1\right]$ , $G\left(t,s\right)\ge \gamma G\left(0,s\right)$ , of which $\gamma =\frac{\alpha \left(1-\eta \right)}{1-\alpha \eta }$ .

Lemma 2 $K:P\to P$ is completely continuous operator, and $A:E\to E$ is completely continuous operator.

Lemma 3 A is a quasi additive operator under case structure.

Proof: Similar to the proofs in Lemma 4.3.1 in Ref.  , get Lemma 3 works.

Lemma 4  the eigenvalues of the linear operator K are

$\frac{1}{{\lambda }_{1}},\frac{1}{{\lambda }_{2}},\cdots ,\frac{1}{{\lambda }_{n}},\frac{1}{{\lambda }_{n+1}},\cdots$ . And the sum of algebraic multiplicity of all eigenvalues is

1, of which ${\lambda }_{n}$ is defined by (H2).

The lemmas hereunder are the main study bases.

Lemma 5  provided E is Banach space, P is the normal cone in E, $A:E\to E$ is completely continuous operator, and quasi additive operator under case structure. Provided that

1) There exists positive bounded linear operator ${B}_{1}$ , and ${B}_{1}$ ’s $r\left({B}_{1}\right)<1$ , and ${u}^{\ast }\in P,{u}_{1}\in P$ , get

$-{u}^{\ast }\le Ax\le {B}_{1}x+{u}_{1},\forall x\in P;$

2) There exists positive bounded linear operator ${B}_{2}$ , ${B}_{2}$ ’s $r\left({B}_{2}\right)<1$ , and ${u}_{2}\in P$ , get

$Ax\ge {B}_{2}x-{u}_{2},\forall x\in \left(-P\right);$

3) $A\theta =\theta$ , there exists Frechet derivative ${{A}^{\prime }}_{\theta }$ of A at $\theta$ , 1 is not the eigenvalue of ${{A}^{\prime }}_{\theta }$ , and the sum $\mu$ of algebraic multiplicity of ${{A}^{\prime }}_{\theta }$ ’s all eigenvalues in the range $\left(1,\infty \right)$ is a nonzero even number,

$A\left(P\\left\{\theta \right\}\right)\subset \stackrel{°}{P},\text{\hspace{0.17em}}\text{\hspace{0.17em}}A\left(\left(-P\right)\\left\{\theta \right\}\right)\subset -\stackrel{°}{P}$

Then A exists three nonzero fixed points at least: one positive fixed point, one negative fixed point and a sign-changing fixed point.

3. Results

Theorem provided (H1) (H2) (H3) works, boundary-value problem (1) exists a sign-changing solution at least, and also a positive solution and a negative solution.

Proof provided linear operator $B=\left({\lambda }_{1}-\frac{\epsilon }{2}\right)K$ , Lemma 2 knows $B:C\left[0,1\right]\to C\left[0,1\right]$ is a positive bounded linear operator. Lemma 4 gets K’s $r\left(K\right)=\frac{1}{{\lambda }_{1}}$ , so $r\left(B\right)=\left({\lambda }_{1}-\frac{\epsilon }{2}\right)r\left(K\right)=1-\frac{\epsilon }{2{\lambda }_{1}}<1$ .

(H3) knows $m>0$ and gets

$f\left(u\right)\le \left({\lambda }_{1}-\frac{\epsilon }{2}\right)u+m,\text{\hspace{0.17em}}\forall t\in \left[0,1\right],\text{\hspace{0.17em}}u\ge 0$ (5)

$f\left(u\right)\ge \left({\lambda }_{1}-\frac{\epsilon }{2}\right)u-m,\text{\hspace{0.17em}}\forall t\in \left[0,1\right],\text{\hspace{0.17em}}u\le 0$ (6)

Let ${u}_{0}\left(t\right)=m{\int }_{0}^{1}G\left(t,s\right)\text{d}s$ , obviously, ${u}_{0}\in P$ . Such that, for any $u\left(t\right)\in P$ ,

there

$\begin{array}{c}\left(Au\right)\left(t\right)={\int }_{0}^{1}G\left(t,s\right)f\left(u\left(s\right)\right)\text{d}s\\ \le {\int }_{0}^{1}G\left(t,s\right)\left(\left({\lambda }_{1}-\frac{\epsilon }{2}\right)u+m\right)\text{d}s\\ \le \left({\lambda }_{1}-\frac{\epsilon }{2}\right){\int }_{0}^{1}G\left(t,s\right)u\left(s\right)\text{d}s+m{\int }_{0}^{1}G\left(t,s\right)\text{d}s\\ =\left({\lambda }_{1}-\frac{\epsilon }{2}\right)Ku\left(t\right)+{u}_{0}\left(t\right)\\ =Bu\left(t\right)+{u}_{0}\left( t \right)\end{array}$

And for any ${u}^{\ast }\in P$ , from (H1), obviously gets $\left(Au\right)\left(t\right)\ge -{u}^{\ast }\left(t\right)$ .

For any $u\left(t\right)\in -P$ , there

$\begin{array}{c}\left(Au\right)\left(t\right)={\int }_{0}^{1}G\left(t,s\right)f\left(u\left(s\right)\right)\text{d}s\\ \ge {\int }_{0}^{1}G\left(t,s\right)\left(\left({\lambda }_{1}-\frac{\epsilon }{2}\right)u-m\right)\text{d}s\\ \ge \left({\lambda }_{1}-\frac{\epsilon }{2}\right){\int }_{0}^{1}G\left(t,s\right)u\left(s\right)\text{d}s-m{\int }_{0}^{1}G\left(t,s\right)\text{d}s\\ =\left({\lambda }_{1}-\frac{\epsilon }{2}\right)Ku\left(t\right)-{u}_{0}\left(t\right)\\ =Bu\left(t\right)-{u}_{0}\left( t \right)\end{array}$

Consequently (1) (2) in lemma 5 works.

We note that $f\left(0\right)=0$ can get $A\theta =\theta$ , from (H2), we know $\forall \epsilon >0$ , and $\exists r>0$ gets

$|f\left(u\right)-\beta u|\le \epsilon u,\text{\hspace{0.17em}}|u|\le r$

Then

$|\left(Fu\right)\left(t\right)-\lambda u\left(t\right)|=|f\left(u\left(t\right)\right)-\beta u\left(t\right)|\le \epsilon ‖u‖,\text{\hspace{0.17em}}\forall ‖u‖\le r$

$‖Au-A\theta -\beta Ku‖=‖K\left(Fu\right)-\beta Ku‖\le \epsilon ‖K‖‖u‖,\text{\hspace{0.17em}}\forall ‖u‖\le r$

Such that

$\underset{‖u‖\to 0}{\mathrm{lim}}\frac{‖Au-A\theta -\beta Ku‖}{‖u‖}=0$

i.e. ${{A}^{\prime }}_{\theta }=\beta K$ , from lemma 4 we get linear operator K’s eigenvalue is $\frac{1}{{\lambda }_{n}}$ , then ${{A}^{\prime }}_{\theta }$ ’s eigenvalue is $\frac{\beta }{{\lambda }_{n}}$ . Because ${\lambda }_{2{n}_{0}}<\beta <{\lambda }_{2{n}_{0}+1}$ , let $\mu$ be the sum of

algebraic multiplicity of ${{A}^{\prime }}_{\theta }$ ’s all eigenvalues in the range $\left(1,\infty \right)$ , then $\mu =2{n}_{0}$ is an even number.

From (H1) $f\left(u\right)u>0$ , $u\in R\\left\{0\right\}$ , there

$f\left(u\left(t\right)\right)>0,\text{\hspace{0.17em}}\forall t\in \left[0,1\right],\text{\hspace{0.17em}}u\left(t\right)>0,$

$f\left(u\left(t\right)\right)<0,\text{\hspace{0.17em}}\forall t\in \left[0,1\right],\text{\hspace{0.17em}}u\left(t\right)<0.$

Easy to get

$F\left(P\\left\{\theta \right\}\right)\subset P\\left\{\theta \right\},\text{\hspace{0.17em}}F\left(\left(-P\right)\\left\{\theta \right\}\right)\subset \left(-P\right)\\left\{\theta \right\},$

Lemma (1) for any $u\left(t\right)\in P$ , $\left(Ku\right)\left(t\right)={\int }_{0}^{1}G\left(t,s\right)u\left(s\right)\text{d}s\ge \gamma {\int }_{0}^{1}G\left(0,s\right)u\left(s\right)\text{d}s$ ,

consequently $K\left(P\\left\{\theta \right\}\right)\subset \stackrel{°}{P}$ . Such that

$A\left(P\\left\{\theta \right\}\right)\subset \stackrel{°}{P},\text{\hspace{0.17em}}A\left(\left(-P\right)\\left\{\theta \right\}\right)\subset -\stackrel{°}{P},$

Such that (3) in lemma 5 works. According to lemma 5, A exists three nonzero fixed points at least: one positive fixed point, one negative fixed point and one sign-changing fixed point. Which states that boundary-value problem (1) has three nonzero solutions at least: one positive solution, one negative solution and one sign-changing solution.

4. Conclusion

Provided that all conditions of the theorem are satisfied, and $f\left(u\right)$ is an odd function, then boundary-value problem (1) has four nonzero solutions at least: one positive solution, one negative solution and two sign-changing solutions.

Note

By using case theory to study the topological degree of non-cone mapping and the calculation of fixed point index, it’s an attempt to combine case theory and topological degree theory, the author thinks it’s an up-and-coming topic and expects to have further progress on that.

Cite this paper

Ji, H.W. (2017) Study on the Existence of Sign-Changing Solutions of Case Theory Based a Class of Differential Equations Boundary-Value Problems. Advances in Pure Mathematics, 7, 686-691. https://doi.org/10.4236/apm.2017.712042

References

1. 1. Ma, Y.H. and Ma, R.Y. (2002) Positive Downward Convex Positive Solutions of a Class of Second-Order Three-Point Boundary-Value Problems. (Natural Science Edition) Journal of Northwest Normal University, 38, 8-13.

2. 2. Sun, J.P. and Zhang, X.L. (2012) Existence of Positive Solutions of Nonlinear Third-Order Three-Point Boundary-Value Problems. (Natural Science Edition) Journal of Northwest Normal University, 48, 1-5.

3. 3. Zhou, S.L., Wu, H.P. and Han, X.L. (2014) Existence of Positive Solutions of a Class of Four-Order Three-Point Boundary-Value Problems. (Natural Science Edition) Journal of Sichuan University, 51, 11-15.

4. 4. Ma, Y.H. and Ma, R.Y. (2003) Positive Solutions of a Class of Singular Nonlinear Three-Point Boundary-Value Problems. Journal of Mathematical Physics, 23A, 583-588.

5. 5. Shen, W.G. and Song, L.A. (2007) Existence of Positive Solutions of Singular Second-Order Ordinary Differential Equations Three-Point Boundary Value Problems under Superlinear Condition. (Science Edition) Journal of Shandong Uni-versity, 42, 91-94.

6. 6. Xie, C. and Luo, Z.G. (2009) Existence of Multiple Positive Solutions of a Class of Second-Order Ordinary Differential Equations Multi-Point Boundary-Value Problems. (Natural Science Edition) Journal of Inner Mongolia Normal University, 38, 647-652.

7. 7. Liu, J.S. and Qiao, J. (2007) Existence of Sign-Changing Solutions of a Class of Second-Order Three-Point Boundary-Value Problems. Journal of Taiyuan University of Technology, 38, 374-376.

8. 8. Xu, X.A. (2006) Sign-Changing Solutions of Impulsive Three-Point Boundary-Value Problems. Applied Mathematics, 19, 606-612.

9. 9. Cui, Y.J., Zou, Y.M. and Li, H.Y. (2009) Sign-Changing Solutions and Applications of Nonlinear Operator Equations. Systems Science and Mathematics, 29, 1094-1101.

10. 10. Sun, J.X. and Liu, X.Y. (2008) Computation of Topological Degree for Nonlinear Operators and Application. Nonlinear Analysis, 69, 4121-4130.https://doi.org/10.1016/j.na.2007.10.042

11. 11. Sun, J.X. (2008) Non-linear Functional Analysis and Its Applications. Science Press—CSPM, Bei-jing.

12. 12. Wang, Y.P. and Zhao, Z.Q. (2014) Existence of Sign-Changing Solutions of a Class of Nonlinear Third-Order Differential Equations Two-Point Boundary-Value Problems. Journal of Qufu Normal University, 40, 29-32.

13. 13. Zhang, X. and Sun, J. (2010) On Multiple Sign-Changing Solutions for Some Second-Order Integral Boundary Value Problems. Electronic Journal of Qualitative Theory of Differential Equations, No. 44, 1-15. https://doi.org/10.14232/ejqtde.2010.1.44

14. 14. Li, H. and Liu, Y. (2011) On Sign-Changing Solutions for a Second-Order Integral Boundary Value Problem. Computers & Mathematics with Applications, No. 62, 651-656. https://doi.org/10.1016/j.camwa.2011.05.046