# Local and global bifurcation of steady states to a general Brusselator model

## Abstract

In this paper, we consider the local and global bifurcation of nonnegative nonconstant solutions of a general Brusselator model

$$\textstyle\begin{cases} -d_{1}\triangle u=a-(b+1)f(u)+u^{2}v, & x\in \varOmega , \\ -d_{2}\triangle v=bf(u)-u^{2}v, & x\in \varOmega , \\ \frac{\partial u}{\partial n}=\frac{\partial v}{\partial n}=0, & x\in \partial \varOmega , \end{cases}$$

where $$d_{1},d_{2},a>0$$ are fixed parameters with $$d_{2}>d_{1}$$, $$b>0$$ is a bifurcation parameter; $$f\in C([0,\infty ) ,[0,\infty ))$$ is a strictly increasing function and $$f'(f^{-1}(a))\in (0,\infty )$$. Moreover, via the Rabinowitz bifurcation theorem, we obtain the global structure of nonconstant solutions under the condition that $$\frac{f(s)}{s^{2}}$$ is nonincreasing in $$(0,\infty )$$.

## Introduction

In 1968, Prigogine and Lefever  introduced firstly the Brusselator model for a chemical reaction-diffusion of self-catalysis as follows:

$$\textstyle\begin{cases} \frac{\partial u}{\partial t}-d_{1}\triangle u=a-(b+1)u+u^{2}v, & x\in \varOmega , t>0, \\ \frac{\partial v}{\partial t}-d_{2}\triangle v=bu-u^{2}v, & x\in \varOmega , t>0, \\ \frac{\partial u}{\partial n}=\frac{\partial v}{\partial n}=0, & x\in \partial \varOmega , t>0, \end{cases}$$
(1.1)

where $$\varOmega \subset \mathbb{R}^{N}$$ ($$N\geq 1$$) is a smooth and bounded domain, n denotes the outward unit normal vector on ∂Ω, u and v represent the concentration of two intermediary reactants having the diffusion rates $$d_{1},d_{2}\in (0,\infty )$$ with $$d_{2}>d_{1}$$, $$a,b>0$$ are the fixed concentrations. Indeed, (1.1) has been extensively investigated in the last decades from both analytical and numerical point of view (see [1,2,3,4,5,6,7,8, 11,12,13,14, 17, 18]). Most of the authors are interested in finding spatially nonconstant solutions of the equilibrium problem

$$\textstyle\begin{cases} -d_{1}\triangle u=a-(b+1)u+u^{2}v, & x\in \varOmega , \\ -d_{2}\triangle v=bu-u^{2}v, & x\in \varOmega , \\ \frac{\partial u}{\partial n}=\frac{\partial v}{\partial n}=0, & x\in \partial \varOmega . \end{cases}$$
(1.2)

In [3, 4, 13, 14], they obtained the existence or nonexistence of the nonconstant solutions of (1.2) by a priori estimate and topological degree theory. Peng and Wang  considered the following problem:

$$\textstyle\begin{cases} -\theta \triangle u=\lambda (1-(b+1)u+bu^{2}v), & x\in \varOmega , \\ -\triangle v=\lambda a^{2}(u-u^{2}v), & x\in \varOmega , \\ \partial _{n} u=\partial _{n} v=0,& x\in \partial \varOmega , \end{cases}$$
(1.3)

and proved the nonexistence for nonconstant of (1.3) for either small λ, large θ, or small b. Note that [3, 4, 13, 14] only studied the existence and nonexistence of nonnegative nonconstant solutions of (1.2). They could not get the global structure of the nonconstant solutions due to the limitations of the tools used. Ma and Hu  applied the Rabinowitz bifurcation theorem to get the global structure of nonconstant solutions of (1.2). Inspired by , we will consider the new, more general form of the Brusselator model:

$$\textstyle\begin{cases} -d_{1}\triangle u=a-(b+1)f(u)+u^{2}v, & x\in \varOmega , \\ -d_{2}\triangle v=bf(u)-u^{2}v, & x\in \varOmega , \\ \frac{\partial u}{\partial n}=\frac{\partial v}{\partial n}=0, & x\in \partial \varOmega , \end{cases}$$
(1.4)

where $$d_{1},d_{2},a>0$$ are fixed parameters and $$d_{2}>d_{1}$$, $$b>0$$ is a bifurcation parameter. Clearly, $$f(u)=\frac{f(u)}{u}\cdot u$$, then (1.4) is seen to be equivalent to

$$\textstyle\begin{cases} -d_{1}\triangle u=a-(b+1)\frac{f(u)}{u}\cdot u+u^{2}v, & x\in \varOmega , \\ -d_{2}\triangle v=b\frac{f(u)}{u}\cdot u-u^{2}v, & x\in \varOmega , \\ \frac{\partial u}{\partial n}=\frac{\partial v}{\partial n}=0,& x\in \partial \varOmega . \end{cases}$$
(1.5)

Compared with problem (1.2), $$\frac{f(u)}{u}$$ can be regarded as a variable coefficient. It is well known that the linear terms $$(b+1)u$$ and bu in (1.2) cannot withstand any small perturbation. In fact, (1.5) has been widely applied in chemical and biological fields. We will study the local and global behavior of nonnegative nonconstant solutions of (1.4) under the following assumptions:

(H1):

$$f\in C([0,\infty ),[0,\infty ))$$ is a strictly increasing function.

(H2):

$$f'(f^{-1}(a))\in (0,\infty )$$.

(H3):

$$\frac{f(s)}{s^{2}}$$ is nonincreasing in $$(0,\infty )$$.

### Remark 1.1

If $$f(u)=u$$, then (1.4) will reduce to (1.2). However, if $$f(u)=u+u^{2}$$, a perturbation term is added to bu and $$(b+1)u$$ in (1.2). It is easy to see that this small perturbation leads to the results in  that are not available.

The rest of the paper is organized as follows: In Sect. 2, we give a priori estimate and some preliminary results. Section 3 is devoted to studying the local bifurcation of nonnegative nonconstant solutions of (1.4) with N = 1 under conditions (H1)–(H2). Finally, in Sect. 4, we add condition (H3) to obtain the global bifurcation of nonnegative nonconstant solutions of (1.4) with N = 1.

## Preliminary results

At first, let us look for the constant solution of (1.4). To get it, it suffices to look for the constant solution of the following problem:

$$\textstyle\begin{cases} a-(b+1)f(u(x))+u^{2}(x)v(x)=0, & x\in \varOmega , \\ bf(u(x))-u^{2}(x)v(x)=0, & x\in \varOmega . \end{cases}$$
(2.1)

By (H1), problem (2.1) has a unique solution $$(f^{-1}(a),\frac{ab}{[f ^{-1}(a)]^{2}})$$. Obviously, this is the unique solution of (1.4).

Basic to a priori estimate of the solutions of (1.4) is the following result which is due to Lou and Ni (see [9, Proposition 2.2] or [10, Lemma 2.1]).

### Lemma 2.1

Let $$g\in C^{1}(\bar{\varOmega }\times \mathbb{R})$$.

1. (1)

If $$w\in C^{2}(\varOmega )\cap C^{1}(\bar{\varOmega })$$satisfies

$$\triangle w+g(x,w)\geq 0 \quad \textit{in }\varOmega , \qquad \frac{\partial w}{\partial n}\leq 0 \quad \textit{on }\partial \varOmega ,$$

and $$w(x_{0})=\max_{\bar{\varOmega }}w$$, then $$g(x_{0},w(x_{0})) \geq 0$$.

2. (2)

If $$w\in C^{2}(\varOmega )\cap C^{1}(\bar{\varOmega })$$satisfies

$$\triangle w+g(x,w)\leq 0 \quad \textit{in }\varOmega , \qquad \frac{\partial w}{\partial n}\geq 0 \quad \textit{on }\partial \varOmega ,$$

and $$w(x_{0})=\min_{\bar{\varOmega }}w$$, then $$g(x_{0},w(x_{0})) \leq 0$$.

Now, we will give a priori estimate of the nonnegative nonconstant solutions of (1.4).

### Lemma 2.2

Let (H1), (H2), and (H3) hold. Then any nonnegative nonconstant solution $$(u,v)$$of (1.4) satisfies

\begin{aligned}& f^{-1} \biggl(\frac{a}{b+1} \biggr)\leq u(x)\leq f^{-1}(a)+\frac{d_{2}}{d_{1}} \cdot \frac{ab}{(b+1)[f^{-1}(\frac{a}{b+1})]^{2}}, \quad x \in \varOmega , \\& \frac{bf (f^{-1}(a)+\frac{d_{2}}{d_{1}}\cdot \frac{ab}{(b+1)[f^{-1}( \frac{a}{b+1})]^{2}} )}{ [f^{-1}(a)+\frac{d_{2}}{d_{1}}\cdot \frac{ab}{(b+1)[f ^{-1}(\frac{a}{b+1})]^{2}} ]^{2}}\leq v(x)\leq \frac{ab}{(b+1)[f ^{-1}(\frac{a}{b+1})]^{2}}, \quad x\in \varOmega . \end{aligned}

### Proof

Let $$x_{0}\in \bar{\varOmega }$$ be the minimum point of u. From (2) of Lemma 2.1, we have

\begin{aligned}& a-(b+1)f \bigl(u(x_{0}) \bigr)+u^{2}(x_{0})v(x_{0}) \leq 0, \\& a-(b+1)f \bigl(u(x_{0}) \bigr)\leq 0, \\& f \bigl(u(x_{0}) \bigr)\geq \frac{a}{b+1}. \end{aligned}

Then $$u(x_{0})\geq f^{-1}(\frac{a}{b+1})$$ by (H1), and so

$$u(x)\geq u(x_{0})\geq f^{-1} \biggl( \frac{a}{b+1} \biggr), \quad x\in \varOmega .$$
(2.2)

Let $$x_{1}\in \bar{\varOmega }$$ be the maximum point of v. Similarly, we can get that

$$bf \bigl(u(x_{1}) \bigr)-u^{2}(x_{1})v(x_{1}) \geq 0.$$

Then

$$v(x)\leq v(x_{1})\leq \frac{bf(u(x_{1}))}{u^{2}(x_{1})}, \quad x\in \varOmega .$$

Combining this with (2.2), from (H3), we show

$${v(x)\leq \frac{bf(u(x_{1}))}{u^{2}(x_{1})}\leq \frac{ab}{(b+1)[f^{-1}( \frac{a}{b+1})]^{2}},\quad x\in \varOmega }.$$
(2.3)

Let $$w=d_{1}u+d_{2}v$$. Then it follows from (1.4) that

$$\textstyle\begin{cases} -\triangle w(x)=a-f(u(x)), & x\in \varOmega , \\ \frac{\partial w}{\partial n}=0, & x\in \partial \varOmega . \end{cases}$$

Now, let $$x_{2}\in \bar{\varOmega }$$ be the maximum point of w. By (1) of Lemma 2.1, $$a-f(u(x_{2}))\geq 0$$. Then, from (H1), it is easy to see $$u(x_{2})\leq f^{-1}(a)$$. Combining this with (2.3), we know that, for any $$x\in \bar{\varOmega }$$,

$$d_{1}u(x)\leq w(x)\leq w(x_{2})\leq d_{1}f^{-1}(a)+d_{2} \cdot \frac{ab}{(b+1)[f ^{-1}(\frac{a}{b+1})]^{2}},$$

then

$$u(x)\leq f^{-1}(a)+\frac{d_{2}}{d_{1}}\cdot \frac{ab}{(b+1)[f^{-1}( \frac{a}{b+1})]^{2}}, \quad x\in \varOmega .$$

From (2) of Lemma 2.1, if $$x_{3}\in \bar{\varOmega }$$ is the minimum point of v, then

$$bf \bigl(u(x_{3}) \bigr)-u^{2}(x_{3})v(x_{3}) \leq 0,$$

and

$${v(x)\geq v(x_{3})\geq \frac{bf(u(x_{3}))}{u^{2}(x_{3})}\geq \frac{bf (f^{-1}(a)+\frac{d_{2}}{d_{1}}\cdot \frac{ab}{(b+1)[f^{-1}( \frac{a}{b+1})]^{2}} )}{ [f^{-1}(a)+\frac{d_{2}}{d_{1}}\cdot \frac{ab}{(b+1)[f ^{-1}(\frac{a}{b+1})]^{2}} ]^{2}}}, \quad x\in \varOmega .$$

Consequently, the proof is completed. □

For any fixed $$l>0$$. It is well known that

$$\textstyle\begin{cases} -\varphi ''=\mu \varphi , \quad x\in (0,l), \\ \varphi '(0)=\varphi '(l)=0 \end{cases}$$

has a sequence of simple eigenvalues

$$\mu _{j}= \biggl(\frac{j\pi }{l} \biggr)^{2}, \quad j=0,1,2,\ldots,$$

the corresponding eigenfunctions are

$$\varphi _{j}(x)= \textstyle\begin{cases} 1, & j=0, \\ \cos (\frac{j\pi x}{l}), & j>0. \end{cases}$$
(2.4)

Let

$$X:= \bigl\{ (u,v):u,v\in C^{2}[0,l],u'(0)=u'(l)=v'(0)=v'(l)=0 \bigr\} , \qquad Y:=L^{2}(0,l)\times L^{2}(0,l).$$

X constitutes the Banach space in $$C^{2}$$ norm and Y is a Hilbert space based on the inner product

$$(w_{1},w_{2})_{Y}=(u_{1},u_{2})_{L^{2}(0,l)}+(v_{1},v_{2})_{L^{2}(0,l)},$$

where $$w_{1}=(u_{1},v_{1})$$, $$w_{2}=(u_{2},v_{2})\in Y$$.

## Local bifurcation

For simplicity, let us consider (1.4) with $$N=1$$ and $$\varOmega =(0,l)$$,

$$\textstyle\begin{cases} -d_{1} u''=a-(b+1)f(u)+u^{2}v, & x\in (0,l), \\ -d_{2} v''=bf(u)-u^{2}v, & x\in (0,l), \\ u'(0)=u'(l)=v'(0)=v'(l)=0. \end{cases}$$
(3.1)

Clearly, $$\bar{w}:=(f^{-1}(a),\frac{ab}{[f^{-1}(a)]^{2}})$$ is the unique constant solution of (3.1).

Define the mapping $$P:(0,\infty )\times X\rightarrow Y$$,

$$P(b,w)= \begin{pmatrix} d_{1} u''+a-(b+1)f(u)+u^{2}v \\ d_{2}v''+bf(u)-u^{2}v \end{pmatrix}.$$

For the fixed $$b>0$$, $$w=(u,v)$$ is a solution of (3.1) if and only if $$(b,w)$$ is a zero-point of P. Note that $P(b,w¯)=(00)$ for any $$b>0$$, since is the constant solution of (3.1). Let

$$\textstyle\begin{cases} u=f^{-1}(a)+\sum^{\infty }_{k=1}\varepsilon ^{k}u_{k}, \\ v=\frac{ab}{[f^{-1}(a)]^{2}}+\sum^{\infty }_{k=1} \varepsilon ^{k}v_{k}, \end{cases}$$
(3.2)

and

$$b=b_{0}+\sum^{\infty }_{k=1} \varepsilon ^{k}b_{k}.$$
(3.3)

We also have to Taylor expand f at the point $$f^{-1}(a)$$. The purpose of the rest of this section is to solve $$b_{0}$$ and prove that $$(b_{0},\bar{w})$$ is the bifurcation point of $P(b,w)=(00)$. First of all, we substitute (3.2) and (3.3) into (3.1) and let the higher-order term of ε be equal to 0. Then we can get the problem

$$\textstyle\begin{cases} -d_{1}u_{1}''= (-b_{0}f'(f^{-1}(a))-f'(f^{-1}(a))+\frac{2ab_{0}}{f ^{-1}(a)} )u_{1}+[f^{-1}(a)]^{2}v_{1}, & x\in (0,l), \\ -d_{2}v_{1}''= (b_{0}f'(f^{-1}(a))-\frac{2ab_{0}}{f^{-1}(a)} )u _{1}-[f^{-1}(a)]^{2}v_{1}, & x\in (0,l), \\ u_{1}'(0)=u_{1}'(l)=v_{1}'(0)=v_{1}'(l)=0. \end{cases}$$
(3.4)

In (3.4), by using the undetermined coefficient method, it follows that

\begin{aligned} b_{0}&=\frac{f^{-1}(a) \{d_{1}d_{2}\mu _{j}^{2}+d_{2}f'(f^{-1}(a)) \mu _{j}+d_{1}[f^{-1}(a)]^{2}\mu _{j}+[f^{-1}(a)]^{2}f'(f^{-1}(a)) \}}{2ad_{2}\mu _{j}-d_{2}f^{-1}(a)f'(f^{-1}(a))\mu _{j}} \\ &:=b_{0} ^{j}, \quad j=1,2,\ldots . \end{aligned}

Moreover, it is not difficult to prove that (3.4) has a nontrivial solution $$(u_{1},v_{1})$$,

$$\textstyle\begin{cases} u_{1}=c_{1}(j)\cos (\frac{j\pi }{l}x)=c_{1}(j)\varphi _{j}(x), \qquad c_{1}(j)=-\frac{d_{2}\mu _{j}}{d_{1}\mu _{j}+f'(f^{-1}(a))}, \\ v_{1}=\cos (\frac{j\pi }{l}x)=\varphi _{j}(x). \end{cases}$$

Next, we substitute (3.2) and (3.3) into (3.1) and let the higher-order term of $$\varepsilon ^{2}$$ be equal to 0, then (3.1) becomes the following system:

$$\textstyle\begin{cases} d_{1}u_{2}''+ (-b_{0}f'(f^{-1}(a))-f'(f^{-1}(a))+\frac{2ab_{0}}{f ^{-1}(a)} )u_{2}+[f^{-1}(a)]^{2}v_{2}=-F_{1}, & x\in (0,l), \\ d_{2}v_{2}''+ (b_{0}f'(f^{-1}(a))-\frac{2ab_{0}}{f^{-1}(a)} )u _{2}-[f^{-1}(a)]^{2}v_{2}=F_{1}, & x\in (0,l), \\ u_{2}'(0)=u_{2}'(l)=v_{2}'(0)=v_{2}'(l)=0, \end{cases}$$
(3.5)

where

$$F_{1}= \biggl(\frac{2ab_{1}}{f^{-1}(a)}-b_{1}f' \bigl(f^{-1}(a) \bigr) \biggr)u_{1}+2f ^{-1}(a)u_{1}v_{1}+ \frac{ab_{0}}{[f^{-1}(a)]^{2}}u_{1}^{2}.$$

In order to solve $$b_{1}$$ from (3.5), let us consider the following adjoint system of the homogeneous system related to (3.5):

$$\textstyle\begin{cases} d_{1}y_{2}'' + ( - b_{0}f'(f^{-1}(a)) - f'(f^{-1}(a)) + \frac{2ab _{0}}{f^{-1}(a)} )y_{2} \\ \quad {}+ ( b_{0}f'(f^{-1}(a) ) - \frac{2ab _{0}}{f^{-1}(a)} )z_{2} = 0,& x\in (0,l), \\ d_{2}z_{2}''+[f^{-1}(a)]^{2}y_{2}-[f^{-1}(a)]^{2}z_{2}=0, & x\in (0,l), \\ y_{2}'(0)=y_{2}'(l)=z_{2}'(0)=z_{2}'(l)=0. \end{cases}$$
(3.6)

It is not difficult to verify that (3.6) has a solution $$(y_{2},z_{2})$$,

$$\textstyle\begin{cases} y_{2}=c_{2}(j)\cos (\frac{j\pi }{l}x)=c_{2}(j)\varphi _{j}(x), \qquad c_{2}(j)=1+\frac{d_{2}\mu _{j}}{[f^{-1}(a)]^{2}}, \\ z_{2}=\cos (\frac{j\pi }{l}x)=\varphi _{j}(x). \end{cases}$$

It is obvious that the vectors $$(-F_{1},F_{1})$$ and $$(y_{2},z_{2})$$ should be orthogonal in $$L^{2}(0,l)$$ by virtue of the solvability condition for (3.5), i.e.,

$$\int ^{l}_{0}(z_{2}-y_{2})F_{1}\,dx=0.$$

In fact,

\begin{aligned} & \int ^{l}_{0}(z_{2}-y_{2})F_{1}\,dx \\ &\quad = \int ^{l}_{0}-\frac{d_{2}\mu _{j}}{[f^{-1}(a)]^{2}} \biggl[ \biggl( \frac{2ab _{1}}{f^{-1}(a)}-b_{1}f' \bigl(f^{-1}(a) \bigr)\biggl)u_{1} \\ &\qquad {}+2f^{-1}(a)u_{1}v_{1}+ \frac{ab _{0}}{[f^{-1}(a)]^{2}}u_{1}^{2} \biggr]\cos \biggl( \frac{j\pi x}{l} \biggr)\,dx \\ &\quad =0. \end{aligned}
(3.7)

Let us substitute $$b_{0}$$, $$u_{1}$$, and $$v_{1}$$ into (3.7), then $$b_{1}^{j}:=b_{1}=0$$, and so $$F_{1}$$ will reduce to

\begin{aligned} F_{1} &=2f^{-1}(a)c_{1}(j)\varphi ^{2}_{j}(x)+ \frac{ab_{0}}{[f^{-1}(a)]^{2}}c_{1}^{2}(j) \varphi ^{2}_{j}(x) \\ &=2f^{-1}(a)c_{1}(j)\cos ^{2} \biggl( \frac{j\pi }{l}x \biggr)+ \frac{ab_{0}}{[f^{-1}(a)]^{2}}c_{1}^{2}(j) \cos ^{2} \biggl(\frac{j\pi }{l}x \biggr) \\ &=f^{-1}(a)c_{1}(j) \biggl(\cos \biggl( \frac{2j\pi }{l}x \biggr)+1 \biggr)+\frac{1}{2} \cdot \frac{ab_{0}}{[f^{-1}(a)]^{2}}c_{1}^{2}(j) \biggl(\cos \biggl( \frac{2j \pi }{l}x \biggr)+1 \biggr) \\ &=\frac{1}{2} \biggl[2f^{-1}(a)c_{1}(j)+ \frac{ab_{0}}{[f^{-1}(a)]^{2}}c _{1}^{2}(j) \biggr]+ \frac{1}{2} \biggl[2f^{-1}(a)c_{1}(j)+ \frac{ab_{0}}{[f ^{-1}(a)]^{2}}c_{1}^{2}(j) \biggr]\varphi _{2j}(x). \end{aligned}

Therefore, a particular solution $$(u_{2},v_{2})$$ of (3.5) can be obtained as follows:

$$\textstyle\begin{cases} u_{2}=a_{1}(j)+a_{2}(j)\cos (\frac{2j\pi }{l}x)=a_{1}(j)+a_{2}(j) \varphi _{2j}(x), \\ v_{2}=a_{3}(j)+a_{4}(j)\cos (\frac{2j\pi }{l}x)=a_{3}(j)+a_{4}(j) \varphi _{2j}(x), \end{cases}$$

where

\begin{aligned}& \begin{aligned} a_{2}(j) &= \biggl(\bigl[f^{-1}(a) \bigr]^{2}c_{1}d_{2}\mu _{2j}+ \frac{ab_{0}\,d _{2}\mu _{2j}c_{1}^{2}}{2f^{-1}(a)}\biggr) \\ &\quad {}/\bigl(d_{1}d_{2}\mu _{2j}^{2}f^{-1}(a)+f' \bigl(f ^{-1}(a)\bigr)f^{-1}(a) \bigl(\bigl[f^{-1}(a) \bigr]^{2}+d_{2}\mu _{2j}(1+b_{0}) \bigr) \\ &\quad {}-\bigl(2ab _{0}d_{2}-d_{1} \bigl[f^{-1}(a)\bigr]^{3}\bigr)\mu _{2j} \bigr), \end{aligned} \\& a_{1}(j)=0,\qquad a_{3}(j)=-\frac{c_{1}}{[f^{-1}(a)]^{2}} \biggl(f^{-1}(a)+\frac{ab _{0}}{2[f^{-1}(a)]^{2}}c_{1} \biggr), \\& a_{4}(j)=-\frac{d_{1}\mu _{2j}+f'(f ^{-1}(a))}{d_{2}\mu _{2j}}a_{2}(j). \end{aligned}

Since $$b_{1}=0$$, we have to solve $$b_{2}$$. We substitute (3.2) and (3.3) into (3.1) and let the higher-order term of $$\varepsilon ^{3}$$ be equal to 0, then a problem similar to (3.5) is obtained:

$$\textstyle\begin{cases} d_{1}u_{3}''+ (-b_{0}f'(f^{-1}(a))-f'(f^{-1}(a))+\frac{2ab_{0}}{f ^{-1}(a)} )u_{3}+[f^{-1}(a)]^{2}v_{3}=-F_{2}, & x\in (0,l), \\ d_{2}v_{3}''+ (b_{0}f'(f^{-1}(a))-\frac{2ab_{0}}{f^{-1}(a)} )u _{3}-[f^{-1}(a)]^{2}v_{3}=F_{2}, & x\in (0,l), \\ u_{3}'(0)=u_{3}'(l)=v_{3}'(0)=v_{3}'(l)=0, \end{cases}$$
(3.8)

where

$$F_{2}= \biggl(-b_{2}f' \bigl(f^{-1}(a) \bigr)+\frac{2ab_{2}}{f^{-1}(a)} \biggr)u_{1}+2f^{-1}(a)u _{1}v_{2}+2f^{-1}(a)u_{2}v_{1}+u^{2}_{1}v_{1}+ \frac{2ab_{0}}{[f^{-1}(a)]^{2}}u_{1}u_{2}.$$

Clearly, (3.6) is also the adjoint system of the homogeneous system related to (3.8), then

$$\int ^{l}_{0}(z_{2}-y_{2})F_{2}\,dx=0,$$

and, according to values of $$u_{1}$$, $$u_{2}$$, $$v_{1}$$, and $$v_{2}$$, we have

\begin{aligned} & \int ^{l}_{0}(z_{2}-y_{2})F_{2}\,dx \\ &\quad = \biggl( -b_{2}f' \bigl(f^{-1}(a) \bigr)+ \frac{2ab_{2}}{f^{-1}(a)} \biggr)c_{1} \int ^{l}_{0}\cos \biggl(\frac{j\pi }{l}x \biggr)\,dx\\ &\qquad {}+2f^{-1}(a) \int ^{l}_{0}c_{1} \biggl(a_{3}+a_{4}\cos \biggl(\frac{2j\pi }{l}x \biggr) \biggr)\cdot \cos ^{2} \biggl(\frac{j \pi }{l}x \biggr)\,dx \\ &\qquad {}+ 2f^{-1}(a)a_{2} \int ^{l}_{0}\cos \biggl(\frac{2j\pi }{l}x \biggr)\cdot \cos ^{2} \biggl(\frac{j \pi }{l}x \biggr)\,dx+ \int ^{l}_{0}c_{1}^{2} \cos ^{4} \biggl(\frac{j\pi }{l}x \biggr)\,dx \\ &\qquad {}+ \frac{2ab_{0}c_{1}a_{2}}{[f^{-1}(a)]^{2}} \int ^{l}_{0}\cos ^{2} \biggl( \frac{j \pi }{l}x \biggr)\cdot \cos \biggl(\frac{2j\pi }{l}x \biggr)\,dx\\ &\quad =0. \end{aligned}

Thus,

$$b_{2}=-\frac{[f^{-1}(a)]^{3}(2c_{1}a_{3}+c_{1}a_{4}+a_{2})+3c_{1}^{2}[f ^{-1}(a)]^{2}+ab_{0}^{j}c_{1}a_{2}}{2ac_{1}f^{-1}(a)-f'(f^{-1}(a))[f ^{-1}(a)]^{2}c_{1}}:=b_{2}^{j}\neq 0,\quad j=1,2,\ldots .$$

From the above analysis, we obtain the main result of this section.

### Theorem 3.1

Assume that (H1) and (H2) hold. Then, for any positive integerj, $$(b_{0}^{j},\bar{w})$$is a bifurcation point of $P(b,w)=(00)$. Moreover, there is a nontrivial solution $${\phi (\varepsilon )}=(b(\varepsilon ),u(\varepsilon ),v(\varepsilon ))$$of (3.1) ifεis small enough, whereb, u, andvare continuous with respect toε, and

\begin{aligned}& u(\varepsilon )=f^{-1}(a)+\varepsilon c_{1}(j)\varphi _{j}+\varepsilon ^{2} \bigl(a_{1}(j)+a_{2}(j) \varphi _{2j} \bigr)+o \bigl(\varepsilon ^{2} \bigr), \\& v(\varepsilon )=\frac{ab}{[f^{-1}(a)]^{2}}+\varepsilon \varphi _{j}+ \varepsilon ^{2} \bigl(a_{3}(j)+a_{4}(j) \varphi _{2j} \bigr)+o \bigl(\varepsilon ^{2} \bigr), \\& b(\varepsilon )=b_{0}^{j}+\varepsilon ^{2}b_{2}^{j}+o \bigl(\varepsilon ^{2} \bigr). \end{aligned}

The set of zero-points ofPconstitutes two curves in a neighborhood of the bifurcation point $$(b_{0}^{j},\bar{w})$$.

Let $$\mathbb{C}$$ be the closure of the nonconstant solution set of $P(b,w)=(00)$, $$\varGamma _{j}$$ be a connected component of $$\mathbb{C} \cup \{(b_{0}^{j},\bar{w})\}$$, and $$(b_{0}^{j},\bar{w})\in \varGamma _{j}$$. In a small neighborhood of bifurcation point $$(b_{0}^{j},\bar{w})$$, the curve $$\varGamma _{j}$$ is determined by the eigenfunction $$\varphi _{j}$$, where $$\varphi _{j}$$ has j zeros in the interval $$[0,l]$$.

## Global bifurcation

### Theorem 4.1

Let (H1), (H2), and (H3) hold. If $$\mu _{j}\neq \frac{[f^{-1}(a)]^{2}}{d_{2}}$$, $$j=1,2,\ldots$$ , then the projection of continuum $$\varGamma _{j}$$is unbounded on theb-axis.

### Proof

(3.1) can be written as follows:

$$\textstyle\begin{cases} -u''(x)=g(u,v), & x\in (0,l), \\ -v''(x)=h(u,v), & x\in (0,l), \\ u'(0)=u'(l)=v'(0)=v'(l)=0, \end{cases}$$
(4.1)

where

$$g(u,v)=\frac{1}{d_{1}} \bigl(a-(b+1)f(u)+u^{2}v \bigr), h(u,v)=\frac{1}{d _{2}} \bigl(bf(u)-u^{2}v \bigr).$$

Let $$\tilde{u}=u-f^{-1}(a)$$, $$\tilde{v}=v-\frac{ab}{[f^{-1}(a)]^{2}}$$. Then (4.1) is equivalent to the following problem:

$$\textstyle\begin{cases} -\tilde{u}''=g_{0}\tilde{u}+g_{1}\tilde{v}+\tilde{g}(\tilde{u}, \tilde{v}), & x\in (0,l), \\ -\tilde{v}''=h_{0}\tilde{u}+h_{1}\tilde{v}+\tilde{h}(\tilde{u}, \tilde{v}), & x\in (0,l), \\ \tilde{u}'(0)=\tilde{u}'(l)=\tilde{v}'(0)=\tilde{v}'(l)=0, \end{cases}$$
(4.2)

where and are higher-order terms of ũ, , and

\begin{aligned}& g_{0}=g_{u}(u,v)|_{(f^{-1}(a),\frac{ab}{[f^{-1}(a)]^{2}})}= \frac{1}{d _{1}} \biggl(-(b+1)f' \bigl(f^{-1}(a) \bigr)+\frac{2ab}{f^{-1}(a)} \biggr), \\& g_{1}=g_{v}(u,v)|_{(f^{-1}(a),\frac{ab}{[f^{-1}(a)]^{2}})}= \frac{[f ^{-1}(a)]^{2}}{d_{1}}, \\& h_{0}=h_{u}(u,v)|_{(f^{-1}(a),\frac{ab}{[f^{-1}(a)]^{2}})}= \frac{1}{d _{2}} \biggl(bf' \bigl(f^{-1}(a) \bigr)- \frac{2ab}{f^{-1}(a)} \biggr), \\& h_{1}=h_{v}(u,v)|_{(f^{-1}(a),\frac{ab}{[f^{-1}(a)]^{2}})}=- \frac{[f ^{-1}(a)]^{2}}{d_{2}}. \end{aligned}

In this way, we convert the constant solution $$\bar{w}=(f^{-1}(a),\frac{ab}{[f ^{-1}(a)]^{2}})$$ of (3.1) to the trivial solution $$\theta =(0,0)$$ of (4.2).

Let $$H_{1}:Y\rightarrow X$$ and $$H_{2}:Y\rightarrow X$$ be the inverse of operators $$\frac{f'(f^{-1}(a))}{d_{1}}I-\frac{d^{2}}{dx^{2}}$$ and $$\frac{[f^{-1}(a)]^{2}}{d_{2}}I-\frac{d^{2}}{dx^{2}}$$ with Neumann boundary conditions, respectively. Set $$U=(\tilde{u},\tilde{v})$$,

\begin{aligned}& \begin{aligned} K(b)U&= \biggl(\frac{1}{d_{1}} \biggl[-bf' \bigl(f^{-1}(a) \bigr)+\frac{2ab}{f^{-1}(a)} \biggr]H _{1}( \tilde{u})\\ &\quad {}+\frac{[f^{-1}(a)]^{2}}{d_{1}}H_{1}(\tilde{v}), \frac{1}{d _{2}} \biggl[bf' \bigl(f^{-1}(a) \bigr)- \frac{2ab}{f^{-1}(a)} \biggr]H_{2}(\tilde{u}) \biggr), \end{aligned} \\& W(U)= \bigl(H_{1} \bigl(\tilde{g}(\tilde{u},\tilde{v}) \bigr), H_{2} \bigl(\tilde{h}( \tilde{u},\tilde{v}) \bigr) \bigr). \end{aligned}

It can be verified that (4.2) is equivalent to

$$U=K(b)U+W(U)$$
(4.3)

in X. For any fixed number $$b>0$$, $$K(b)$$ and $$W(U)$$ are linear compact operators in X and $$W(U)=o(\|U\|)$$. By the Rabinowitz global bifurcation theorem , we need to verify

1. (i)

1 is an eigenvalue of $$K(b_{0}^{j})$$ and its algebraic multiplicity is 1;

2. (ii)

the index of $$I-K(b)-W$$ changes when b crosses $$b_{0}^{j}$$.

Now, we will prove (i). Suppose $Ψ=(ξψ)$, $$\xi =\sum a_{j}\varphi _{j}$$, $$\psi =\sum c_{j}\varphi _{j}$$. Let

$$\bigl(K(b)-I \bigr)\varPsi = \begin{pmatrix} 0 \\ 0 \end{pmatrix},$$

i.e.,

$$\begin{pmatrix} \frac{1}{d_{1}}[-(b+1)f'(f^{-1}(a))+\frac{2ab}{f^{-1}(a)}]+\frac{d ^{2}}{dx^{2}} & \frac{[f^{-1}(a)]^{2}}{d_{1}} \\ \frac{1}{d_{2}}[bf'(f^{-1}(a))-\frac{2ab}{f^{-1}(a)}] & -\frac{[f^{-1}(a)]^{2}}{d _{2}}+\frac{d^{2}}{dx^{2}} \end{pmatrix}\varPsi = \begin{pmatrix} 0 \\ 0 \end{pmatrix},$$

thus,

$${ \sum^{\infty }_{j=0}L_{j} \begin{pmatrix} a_{j} \\ c_{j} \end{pmatrix}\varphi _{j}= \begin{pmatrix} 0 \\ 0 \end{pmatrix},}$$

where

$$L_{j}= \begin{pmatrix} \frac{1}{d_{1}}[-(b+1)f'(f^{-1}(a))+\frac{2ab}{f^{-1}(a)}]-\mu _{j} & \frac{[f ^{-1}(a)]^{2}}{d_{1}} \\ \frac{1}{d_{2}}[bf'(f^{-1}(a))-\frac{2ab}{f^{-1}(a)}] & -\frac{[f^{-1}(a)]^{2}}{d _{2}}-\mu _{j} \end{pmatrix}.$$

By computation, $$\det L_{j}=0$$ if and only if $$b=b_{0}^{j}$$, taking $$b=b_{0}^{j}$$ leads to

$$\det L_{j}=\det \begin{pmatrix} \frac{[f^{-1}(a)]^{2}}{d_{1}d_{2}\mu _{j}}(f'(f^{-1}(a))+d_{1}\mu _{j}) & \frac{[f^{-1}(a)]^{2}}{d_{1}d_{2}\mu _{j}}\cdot d_{2}\mu _{j} \\ -\frac{1}{d_{2}}f'(f^{-1}(a))-\frac{d_{1}}{d_{2}}\mu _{j} & -\mu _{j} \end{pmatrix}=0$$

and

$$L_{j} \begin{pmatrix} a_{j} \\ c_{j} \end{pmatrix}= \begin{pmatrix} 0 & 0 \\ f'(f^{-1}(a))+d_{1}\mu _{j} & d_{2}\mu _{j} \end{pmatrix} \begin{pmatrix} a_{j} \\ c_{j} \end{pmatrix}.$$

Then $$\ker (K(b_{0}^{j})-I)=\operatorname{span}(\varPsi )$$, $Ψ=(−d2μjf′(f−1(a))+d1μjφj)$. This implies that 1 is the eigenvalue of $$K=K(b^{j}_{0})$$ and $$\dim \ker (K-I)=1$$. The algebraic multiplicity of the eigenvalue 1 is the dimension of the generalized null space $$\bigcup^{\infty }_{i=1}\ker (K-I)^{i}$$, therefore, $$\ker (K-I)\cap \operatorname{Im}(K-I)=\{\theta ^{T}\}$$.

Let $$K^{T}$$ be the transposed matrix of K,

$$K^{T}= \begin{pmatrix} \frac{1}{d_{1}}[-bf'(f^{-1}(a))+\frac{2ab}{f^{-1}(a)}]H_{1} & \frac{1}{d _{2}}[bf'(f^{-1}(a))-\frac{2ab}{f^{-1}(a)}]H_{2} \\ \frac{[f^{-1}(a)]^{2}}{d_{1}}H_{1} & 0 \end{pmatrix},$$

and $Ψ∗=(ξ∗ψ∗)$, $$\xi ^{*}=\sum a_{j}^{*}\varphi _{j}$$, $$\psi ^{*}=\sum c_{j} ^{*}\varphi _{j}$$. Suppose $$\varPsi ^{*}\in \ker (K^{T}-I)$$. Then

$$\textstyle\begin{cases} \frac{1}{d_{1}}[-bf'(f^{-1}(a))+\frac{2ab}{f^{-1}(a)}]H_{1}(\xi ^{*})+\frac{1}{d _{2}}[bf'(f^{-1}(a))-\frac{2ab}{f^{-1}(a)}]H_{2}(\psi ^{*})=\xi ^{*}, \\ \frac{[f^{-1}(a)]^{2}}{d_{1}}H_{1}(\xi ^{*})=\psi ^{*}. \end{cases}$$
(4.4)

From the definition of $$H_{1}$$, $$H_{2}$$, (4.4) can also be written as

$$\textstyle\begin{cases} -d_{1}d_{2}{\xi ^{*}}'' = (d_{2}[-bf'(f^{-1}(a)) + \frac{2ab}{f ^{-1}(a)}] - [f^{-1}(a)]^{2}d_{1} )\xi ^{*}\\ \hphantom{-d_{1}d_{2}{\xi ^{*}}'' =}{} - \frac{d_{2}f'(f ^{-1}(a))}{[f^{-1}(a)]^{2}}[-bf'(f^{-1}(a))+\frac{2ab}{f^{-1}(a)}]\psi ^{*}, \\ -d_{1}{\psi ^{*}}''=[f^{-1}(a)^{2}]\xi ^{*}-f'(f^{-1}(a))\psi ^{*}. \end{cases}$$

That is to say,

$$\sum^{\infty }_{j=0}B_{j} \begin{pmatrix} a^{*}_{j} \\ c^{*}_{j} \end{pmatrix}\varphi _{j}= \begin{pmatrix} 0 \\ 0 \end{pmatrix},$$

where

$$B_{j}= \begin{pmatrix} d_{2}[-bf'(f^{-1}(a))+\frac{2ab}{f^{-1}(a)}]-[f^{-1}(a)]^{2} d_{1}-d _{1}d_{2}\mu _{j} & -\frac{d_{2}f'(f^{-1}(a))}{[f^{-1}(a)]^{2}}[-bf'(f ^{-1}(a))+\frac{2ab}{f^{-1}(a)}] \\ {[f^{-1}(a)]}^{2} & -d_{1}\mu _{j}-f'(f^{-1}(a)) \end{pmatrix}.$$

Similarly, $$\det B_{j}=0$$ if and only if $$b=b_{0}^{j}$$, taking $$b=b_{0}^{j}$$ leads to

$$\det B_{j}=\det \begin{pmatrix} \frac{[f^{-1}(a)]^{2}+d_{2}\mu _{j}}{[f^{-1}(a)]^{2}\mu _{j}}{[f^{-1}(a)]} ^{2}& \frac{[f^{-1}(a)]^{2}+d_{2}\mu _{j}}{[f^{-1}(a)]^{2}\mu _{j}}(-d _{1}\mu _{j}-f'(f^{-1}(a))) \\ {[f^{-1}(a)]}^{2} & -d_{1}\mu _{j}-f'(f^{-1}(a)) \end{pmatrix}=0$$

and

$$B_{j} \begin{pmatrix} a_{j}^{*} \\ c_{j}^{*} \end{pmatrix}= \begin{pmatrix} 0 & 0 \\ {[f^{-1}(a)]}^{2} & -d_{1}\mu _{j}-f'(f^{-1}(a)) \end{pmatrix} \begin{pmatrix} a_{j}^{*} \\ c_{j}^{*} \end{pmatrix}.$$

Then $ker(K∗−I)=span(d1μj+f′(f−1(a))[f−1(a)]2)φj$. According to $$\mu _{j}\neq \frac{[f^{-1}(a)]^{2}}{d _{2}}$$, we obtain

\begin{aligned} \bigl(\varPsi ,\varPsi ^{*} \bigr)_{Y} &= \bigl(-d_{2}\mu _{j}\varphi _{j}, \bigl(d_{1}\mu _{j}+f' \bigl(f ^{-1}(a) \bigr)\varphi _{j} \bigr) \bigr)_{L^{2}[0,l]}\\ &\quad {}+ \bigl( \bigl(f' \bigl(f^{-1}(a)+d_{1}\mu _{j} \bigr) \bigr)\varphi _{j}, \bigl[f^{-1}(a) \bigr]^{2}\varphi _{j} \bigr)_{L^{2}[0,l]} \\ &= \bigl(d_{1}\mu _{j}+f' \bigl(f^{-1}(a) \bigr) \bigr) \bigl( \bigl[f^{-1}(a) \bigr]^{2}-d_{2}\mu _{j} \bigr) \int ^{l}_{0}\cos ^{2} \biggl( \frac{j\pi }{l}x \biggr)\,dx \\ &=\frac{l}{2} \bigl(d_{1}\mu _{j}+f' \bigl(f^{-1}(a) \bigr) \bigr) \bigl( \bigl[f^{-1}(a) \bigr]^{2}-d _{2}\mu _{j} \bigr)\neq 0. \end{aligned}

This suggests that $$\varPsi \notin (\ker (K^{*}-I))^{\perp }=\operatorname{Im}(K-I)$$, and so (i) is proved. Now, we will prove (ii). From (i), for any $$b>0$$, $$b\neq b_{0}^{j}$$ and b belongs to a small neighborhood of $$b^{j}_{0}$$, $$K(b)-I:X\rightarrow X$$ is a bijection. Fix $$b>0$$, then θ is a solution of (4.3) and θ is isolated. From the Leray–Schauder fixed point theory, we can get

$$\operatorname{index} \bigl(I-K(b)-W, (b,\theta ) \bigr)=\deg \bigl(I-K(b), B, \theta \bigr)=(-1)^{ \gamma },$$

where B is a sufficiently small ball centered at θ, γ is the sum of the algebraic multiplicity of the eigenvalues of $$K(b)$$ and $$\gamma >1$$. We are going to verify that, for $$\varepsilon >0$$ is small enough,

$$\operatorname{index} \bigl(I-K \bigl(b_{0}^{j}- \varepsilon \bigr)-W, \bigl(b_{0}^{j}-\varepsilon , \theta \bigr) \bigr)\neq \operatorname{index} \bigl(I-K \bigl(b_{0}^{j}+ \varepsilon \bigr)-W, \bigl(b_{0}^{j}+ \varepsilon , \theta \bigr) \bigr).$$
(4.5)

If τ is an eigenvalue of $$K(b)$$ and $Ψ=(ξψ)$ is the corresponding eigenfunction, then

$$\bigl(K(b)-I \bigr)\varPsi = \begin{pmatrix} 0 \\ 0 \end{pmatrix},$$

i.e.,

$$\textstyle\begin{cases} -\tau d_{1}\xi ''= (-bf'(f^{-1}(a))+\frac{2ab}{f^{-1}(a)}-\tau f'(f ^{-1}(a)) )\xi +[f^{-1}(a)]^{2}\psi , \\ -\tau d_{2}\psi ''= (bf'(f^{-1}(a))+\frac{2ab}{f^{-1}(a)} ) \xi -[f^{-1}(a)]^{2}\tau \psi . \end{cases}$$

By virtue of $$\xi =\sum a_{j}\varphi _{j}$$ and $$\psi =\sum c_{j}\varphi _{j}$$, we can get

$$\sum^{\infty }_{j=0} \begin{pmatrix} \tau \mu _{j} d_{1}+bf'(f^{-1}(a))-\frac{2ab}{f^{-1}(a)}+\tau f'(f^{-1}(a)) & -[f ^{-1}(a)]^{2} \\ -bf'(f^{-1}(a))+\frac{2ab}{f^{-1}(a)} & \tau \mu _{j}d_{2}+\tau [f^{-1}(a)]^{2} \end{pmatrix} \begin{pmatrix} a_{j} \\ c_{j} \end{pmatrix}\varphi _{j}= \begin{pmatrix} 0 \\ 0 \end{pmatrix}.$$

Then the characteristic equation is

\begin{aligned} &{ \bigl(d_{1}d_{2}\mu _{j}^{2}+d_{2} \mu _{j}f' \bigl(f^{-1}(a) \bigr)+d_{1}\mu _{j} \bigl[f ^{-1}(a) \bigr]^{2}+f' \bigl(f^{-1}(a) \bigr) \bigl[f^{-1}(a) \bigr]^{2} \bigr)\tau ^{2}} \\ &\quad {}+b \biggl(d_{2}f' \bigl(f^{-1}(a) \bigr)\mu _{j}-\frac{2ad_{2}\mu _{j}}{f^{-1}(a)}+f' \bigl(f ^{-1}(a) \bigr) \bigl[f^{-1}(a) \bigr]^{2}-2af^{-1}(a) \biggr)\tau \\ &\quad {}+ \bigl[f^{-1}(a) \bigr]^{2} \biggl(-bf' \bigl(f^{-1}(a) \bigr)+\frac{2ab}{f^{-1}(a)} \biggr)=0, \quad j=0,1,2, \ldots . \end{aligned}
(4.6)

If $$\tau =1$$, b can be solved from (4.6):

$$b=\frac{f^{-1}(a) \{d_{1}d_{2}\mu _{j}^{2}+d_{2}f'(f^{-1}(a))\mu _{j}+d_{1}[f^{-1}(a)]^{2}\mu _{j}+[f^{-1}(a)]^{2}f'(f^{-1}(a)) \}}{2a d _{2}\mu _{j}-d_{2}f^{-1}(a)f'(f^{-1}(a))\mu _{j}}=b_{0}^{j}.$$
(4.7)

Therefore, by calculating the corresponding eigenvalues of (4.6), we can obtain that when b passes through $$b_{0}^{j}$$, the number of eigenvalues of $$K(b)$$, which is greater than 1, is the same and their algebraic multiplicities are equal. By plugging (4.7) into (4.6), we have

\begin{aligned} &\frac{2ad_{2}\mu _{j}-d_{2}f^{-1}(a)f'(f^{-1}(a))\mu _{j}}{f^{-1}(a)} \tau ^{2}+ \biggl(f' \bigl(f^{-1}(a) \bigr) \bigl(d_{2}\mu _{j}+ \bigl[f^{-1}(a) \bigr]^{2} \bigr) \\ &\quad {}-\frac{2ad_{2}\mu _{j}}{f^{-1}(a)}-2af^{-1}(a) \biggr)\tau + \bigl[f^{-1}(a) \bigr]^{2} \biggl(-f' \bigl(f^{-1}(a) \bigr)+\frac{2a}{f^{-1}(a)} \biggr)=0. \end{aligned}
(4.8)

Then

\begin{aligned} \Delta &:= \biggl(d_{2}f' \bigl(f^{-1}(a) \bigr)\mu _{j}- \frac{2ad_{2}\mu _{j}}{f^{-1}(a)}+f' \bigl(f^{-1}(a) \bigr) \bigl[f^{-1}(a) \bigr]^{2}-2af^{-1}(a) \biggr)^{2} \\ &\quad{}-4 \bigl(2ad_{2}\mu _{j}-d_{2}f^{-1}(a)f' \bigl(f^{-1}(a) \bigr)\mu _{j} \bigr)\cdot \bigl(-f' \bigl(f^{-1}(a) \bigr)f^{-1}(a)+2a \bigr) \\ &= \biggl[ \biggl(d_{2}f' \bigl(f^{-1}(a) \bigr)\mu _{j}-\frac{2ad_{2}\mu _{j}}{f^{-1}(a)} \biggr)- \bigl(f' \bigl(f ^{-1}(a) \bigr) \bigl[f^{-1}(a) \bigr]^{2}-2af^{-1}(a) \bigr) \biggr]^{2}>0, \end{aligned}

and so (4.8) has two different roots $$\tau _{1}=1$$, $$\tau _{2}=\frac{[f ^{-1}(a)]^{2}}{d_{2}\mu _{j}}$$. Thus two things will happen:

1. (a)

if $$\mu _{j}>\frac{[f^{-1}(a)]^{2}}{d_{2}}$$, then $$\tau _{1}(b_{0} ^{j})=1$$, $$\tau _{2}(b_{0}^{j})<1$$;

2. (b)

if $$\mu _{j}<\frac{[f^{-1}(a)]^{2}}{d_{2}}$$, then $$\tau _{1}(b_{0} ^{j})=1$$, $$\tau _{2}(b_{0}^{j})>1$$.

When scenario (a) occurs, b passes through $$b_{0}^{j}$$ and $$\tau _{2}(b)<1$$. From (4.6), $$\tau _{1}(b_{0}^{j}+\varepsilon )>1$$, $$\tau _{1}(b_{0}^{j}-\varepsilon )<1$$. Therefore, the matrix $$K(b_{0}^{j}+ \varepsilon )$$ has exactly one more eigenvalue, that is, >1, than $$K(b_{0}^{j}-\varepsilon )$$ does, and its algebraic multiplicity is 1. Then (4.5) holds. That is to say, the index jumps as b goes through $$b_{0}^{j}$$.

When scenario (b) occurs, b passes through $$b_{0}^{j}$$ and $$\tau _{2}(b)>1$$. From (4.6), $$\tau _{1}(b_{0}^{j}+\varepsilon )>1$$, $$\tau _{1}(b_{0}^{j}-\varepsilon )<1$$. Similarly, the index jumps as b goes through $$b_{0}^{j}$$. Therefore, (ii) is true regardless of (a) or (b). Thus, by the index jump principle and [16, Theorem 1.3], it follows that there exists a connected component $$\hat{\varGamma }_{j}$$ of nontrivial solutions of (4.3) and $$\hat{\varGamma }_{j}$$ comes from the bifurcation point $$(b_{0}^{j},\theta )$$. We know that $$\hat{\varGamma }_{j}$$ is also the connected component $$\varGamma _{j}$$ of the nonconstant solution of (3.1) from $$(b_{0}^{j},\bar{w})$$. $$\hat{\varGamma }_{j}$$ and $$\varGamma _{j}$$ are both in $$\mathbb{R}\times X$$. By the Rabinowitz global bifurcation theorem, the connected component $$\varGamma _{j}$$ joins $$(b_{0}^{j}, \bar{w})$$ to either ∞ or $$(b_{0}^{k},\bar{w})$$ in $$\mathbb{R} \times X$$, where $$k\neq j$$. We first prove that the latter situation will not happen. According to Theorem 3.1, the solution on the connected component sent from $$(b_{0}^{j},\bar{w})$$ is related to $$\varphi _{j}$$, and $$\varphi _{j}$$ has j zeros in the interval $$[0,l]$$. In the same way, the solution on the connected component sent from $$(b_{0}^{k},\bar{w})$$ is related to $$\varphi _{k}$$, and $$\varphi _{k}$$ has k zeros in the interval $$[0,l]$$. If the connected component sent $$\varGamma _{j}$$ joining $$(b_{0}^{j},\bar{w})$$ to $$(b_{0}^{k},\bar{w})$$, the solution $$(b,w)\in \varGamma _{j}$$ is related to both $$\varphi _{j}$$ and $$\varphi _{k}$$, which is impossible. On the other hand, Lemma 2.2 shows that, if $$b=b_{c}\in (0,\infty )$$, then the solutions u and v of (3.1) are both bounded. So the connected component $$\varGamma _{j}$$ will not join $$(b_{0}^{j},\bar{w})$$ to $$(b_{c},\infty )$$. Therefore, the connected component $$\varGamma _{j}$$ can only join $$(b_{0}^{j},\bar{w})$$ to either $$(\infty ,\infty )$$ or $$(\infty ,m)$$, where $$m\in (0,\infty )$$. But in any case, the projection of continuum $$\varGamma _{j}$$ is unbounded on the b-axis. □

## References

1. 1.

Brown, K.J., Davidson, F.A.: Global bifurcation in the Brusselator system. Nonlinear Anal. 24, 1713–1725 (1995)

2. 2.

Gao, C., Lv, L., Wang, Y.: Spectra of a discrete Sturm–Liouville problem with eigenparameter-dependent boundary conditions in Pontryagin space. Quaest. Math. 1, 1–26 (2019)

3. 3.

Ghergu, M.: Non-constant steady-state solutions for Brusselator type systems. Nonlinearity 21, 2331–2345 (2008)

4. 4.

Ghergu, M., Rǎdulescu, V.: Turing patterns in general reaction-diffusion systems of Brusselator type. Commun. Contemp. Math. 12, 661–679 (2010)

5. 5.

Guo, G., Wu, J., Ren, X.: Hopf bifurcation in general Brusselator system with diffusion. Appl. Math. Mech. 32, 1177–1186 (2011)

6. 6.

Li, B., Wang, M.: Diffusion-driven instability and Hopf bifurcation in Brusselator system. Appl. Math. Mech. 29, 825–832 (2008)

7. 7.

Li, Y.: Hopf bifurcations in general systems of Brusselator type. Nonlinear Anal., Real World Appl. 28, 32–47 (2016)

8. 8.

Liao, M., Wang, Q.: Stability and bifurcation analysis in a diffusive Brusselator-type system. Int. J. Bifurc. Chaos Appl. Sci. Eng. 26, 1–11 (2016)

9. 9.

Lou, Y., Ni, W.: Diffusion, self-diffusion and cross-diffusion. J. Differ. Equ. 131, 79–131 (1996)

10. 10.

Lou, Y., Ni, W.: Diffusion vs. cross-diffusion: an elliptic approach. J. Differ. Equ. 154, 157–190 (1999)

11. 11.

Ma, M., Hu, J.: Bifurcation and stability analysis of steady states to a Brusselator model. Appl. Math. Comput. 236, 580–592 (2014)

12. 12.

Ma, S.: The stochastic Hopf bifurcation analysis in Brusselator system with random parameter. Appl. Math. Comput. 219, 306–319 (2012)

13. 13.

Peng, R., Wang, M.: Pattern formation in the Brusselator system. J. Math. Anal. Appl. 309, 151–166 (2005)

14. 14.

Peng, R., Yang, M.: On steady-state solutions of the Brusselator-type system. Nonlinear Anal. 71, 1389–1394 (2009)

15. 15.

Prigogine, I., Lefever, R.: Symmetry breaking instabilities in dissipative systems II. J. Chem. Phys. 48, 1665–1700 (1968)

16. 16.

Rabinowitz, P.H.: Some global results for nonlinear eigenvalue problems. J. Funct. Anal. 7, 487–513 (1971)

17. 17.

Tzou, J.C., Ward, M.J.: The stability and slow dynamics of spot patterns in the 2D Brusselator modal: the effect of open systems and heterogeneities. Physica D 373, 13–37 (2018)

18. 18.

Zhou, J., Mu, C.: Pattern formation of a coupled two-cell Brusselator model. J. Math. Anal. Appl. 366, 679–693 (2010)

### Acknowledgements

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

### Availability of data and materials

Data sharing not applicable to this article as no datasets were generated.

## Funding

This work was supported by the National Natural Science Foundation of China (No. 11671322).

## Author information

Authors

### Contributions

The authors claim that the research was realized in collaboration with the same responsibility. All authors read and approved the last version of the manuscript.

### Corresponding author

Correspondence to Ruyun Ma.

## Ethics declarations

### Competing interests

All of the authors of this article claim that together they have no competing interests.

Not applicable.

### Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions 