 Research
 Open Access
 Published:
Existence theory for multiple solutions to secondorder singular Dirichlet boundary value problem modeling the Antarctic Circumpolar Current
Boundary Value Problems volume 2023, Article number: 33 (2023)
Abstract
In the article, we present multiple solutions for a secondorder singular Dirichlet boundary value problem that arises when modeling the ocean flow of the Antarctic Circumpolar Current. The main tools of the proof are the Leray–Schauder nonlinear alternative principle and a wellknown fixed point theorem in cones.
1 Introduction
Gyres are known as the circulation of ocean flows derived by the combination of gravity and Coriolis forces produced by the Earth’s rotation. To balance the two forces against each other, the ocean flows adjust to the two forces acting primarily on them [18, 19]. Especially, the Antarctic Circumpolar Current (ACC) plays an extremely key role in global climate among the ocean flows. It is the main way of exchanging water between the Pacific, Indian, and Atlantic oceans.
Recently, the existence of solutions to geophysical fluid dynamics nonlinear governing equations, proposed by Constantin et al. [10–16], has been widely discussed and studied in this field. In practice, these geophysical flows have horizontal velocities with about a factor 10^{4} larger than the vertical velocities [32]. Therefore, on a rotating sphere, a stream function can be introduced to model gyres as shallow water flows by neglecting vertical velocities in [16]. In spherical coordinates, the model can be transformed into a planar elliptic partial differential equation under the stereographic projection. By ignoring the change of azimuth variation, Chu first transformed the arctic gyres model (i.e., elliptic partial differential equation) into a secondorder differential equation by seeking a radially symmetric solution in [2]. The existence and some explicit solutions of nontrivial solutions in the case of constant vorticity and linear vorticity functions were presented. After that, a series of works [3–5] were devoted to studying this problem with nonlinear vorticity functions and different kinds of boundary value conditions. Marynets and Haziot also considered such equations about the Antarctic Circumpolar Current with suitable boundary conditions in reference [20, 21, 25–29]. In what follows, we first review the model of the general motion of a gyre flow in spherical coordinates. Let \(\varphi \in [0,2\pi )\) be the azimuthal angle (i.e., the angle of longitude) and \(\theta \in [0,\pi )\) be the polar angle, \(\theta =0\) corresponds to the North Pole. On the spherical Earth, the azimuthal and velocity components of the horizontal gyre flow are respectively given by
where \(\psi (\theta ,\varphi )\) is the stream function. See [16], recording
where Ψ is the stream function related to the ocean’s motion. The governing equation for the gyres is
where \(\omega >0\) is the nondimensional Coriolis parameter, \(2\omega \cos \theta \) is the planetary vorticity generated by Earth’s rotation, \(F(\Psi \omega \cos \theta )\) is the ocean vorticity. The total vorticity of the ocean flow equals the sum of \(2\omega \cos \theta \) and \(F(\Psi \omega \cos \theta )\).
Let \((r, \phi )\) be the polar coordinates in the equatorial plane. By making a stereographic projection of the unit sphere from the North Pole to the equatorial plane
we have
Using (1.3) to cancel several terms, we obtain that equation (1.2) can be simplified as
By computing partial derivatives in (1.1), we have
Together (1.5) with (1.4), we get
According to Cartesian coordinates \((x,y)\), the gyre flow model (1.2) can be transformed into the elliptic partial differential equation
where \(\Delta =\partial ^{2}_{x}+\partial ^{2}_{y}\) is the Laplace operator, represented by the Cartesian coordinates on the equatorial plane, and the unknown function \(\psi (x,y)\) expresses the stream function.
Since ACC is one of the most important ocean currents with considerable uniformity in the azimuthal direction (see the discussions in [14, 33]). Therefore, we can furtherly simplify problem (1.2).
From
we obtain
therefore
Thus, linking with (1.6), we have
Actually, when the gyre flow has no variation in the azimuthal direction, we can look for a radial symmetric solutions \(\psi =\psi (r)\) of problem (1.7).
Using the change of variables
with \(r=e^{s/2}\) for
and \(0< r_{}< r_{+}<1\),
we obtain
and
Then equation (1.7) is transformed into the secondorder ordinary differential equation
In the newest literature [7, 17, 34–36, 38], many functionalanalytic techniques were used to research the solutions of this secondorder differential equation (1.8) with large classes of functions for the nonlinear functions F, such as the lower and upper solutions, theory of topological degree and so on. But when the nonlinear functions F may be singular at \(U=0\), it is rarely discussed as far as we know. In the present paper, we will consider this situation for the Antarctic Circumpolar Current.
Between parallels of latitude defined by an appropriate choice of \(r_{\pm}\in (0,1)\) with \(r_{+}/r_{}\in (1,2)\), the flow in a jet component of the ACC is described by equation (1.8) and the following boundary conditions
which means the boundary of the jet is a streamline, which confines a particle because the flow is steady.
For \(0< s_{1}< s_{2}\), using the change of variables
the secondorder boundary value problem (1.8)–(1.9) can be transformed into the following twopoint boundary value problem
where
and
Due to the element inequality and the above conditions, we can easily know that the numerical range of \(\alpha (t)\) is \(\alpha (t)\in [ { \frac{(s_{2}s_{1})^{2}}{4\cosh ^{2}(\frac{s_{2}}{2})}}, { \frac{(s_{2}s_{1})^{2}}{4\cosh ^{2}(\frac{s_{1}}{2})}} ] \subseteq (0,(\ln 2)^{2})\).
In the present paper, we are especially interested in the nonlinear vorticity function \(F(u)\) with attractive singularity in the dependent variable \(u=0\), i.e., \(\lim_{u\rightarrow 0_{+}}F(u)=\infty \), which means that problem (1.10) is a singular boundary value problem. The study of singular boundary value problems has come from many applications since the middle 1970s. In 1979, Taliaferro [31] established that the singular boundary value problem
has a solution \(y(t)\in C[0, 1]\cap C^{1}(0, 1)\); here \(a>0, q\in C(0, 1)\) with \(q>0\) on \((0, 1)\) and \(\int ^{1}_{0}t(1t) q(t) \,dt <\infty \). This generated the interest of many researchers in singular problems frequently arising in the study of nonlinear phenomena. In the 1980s and 1990s, many scholars studied the singular boundary value problems:
Agarwal and O’Regan discussed the existence and multiplicity of solutions to singular positive boundary value problems (1.13) in [1]. They used the Leray–Schauder alternative principle and a wellknown fixed point theorem in cones. Chu generalized the results to singular Dirichlet systems in [8]. There are also some other classical tools that have been used to discuss periodic singular differential equations in literature [6, 9, 22, 23]. In this paper, we adopt the ideas in [1, 8] to achieve multiple solutions for the secondorder singular Dirichlet boundary value problem of Antarctic Circumpolar Current
where \(\alpha (t)\), \(\beta (t)\) are described as in (1.11) and (1.12), \(a>0\), \(b>0\), and \(\nu \in {\mathbb{R}}\) is a given parameter.
In this paper, we use the notation \({\mathbb{R}}^{+}=[0,\infty )\) and \({\mathbb{R}}^{}=(\infty ,0]\). If \(\phi \geq 0\) for all \(t\in [0,1]\), and it is positive in a set of positive measure, we say that \(\phi \succ 0\). We still use the supremum norm of \({\mathbb{C}}[0,1]\) with the norm \(\u\=\sup_{t\in [0,1]}u(t)\).
The rest of the paper is organized as follows. In Sect. 2, several preliminary knowledge and theorems are given. In Sect. 3, we state and prove the existence results when the nonlinear oceanic vorticity F has an attractive singularity. Moreover, some applications of the new results to (1.10) are also presented in Sect. 3. A brief conclusion is given in Sect. 4.
2 Preliminaries and notation
Let us first review the following lemma and an existence principle in [1], which will be required in Sect. 3.
Lemma 2.1
([1])
Let
Then for all \(u\in \mathcal{K}\),
Consider the scalar problem
Theorem 2.2
([1])
Suppose the following two conditions are satisfied:

(1)
the map \(u\rightarrow f(t,u)\) is continuous for a.e. \(0\leq t\leq 1\),

(2)
the map \(t\rightarrow f(t,u)\) is measurable for all \(u\in {\mathbb{R}}\).

(I)
Assume for each \(r>0\), there exists \(h_{r}\in L^{1}_{\mathrm{loc}}(0,1)\) with \({\int _{0}^{1}}t(1t)h_{r}(t)\,dt<\infty \) such that \(\u\\leq r\) implies \(f(t,u)\leq h_{r}(t)\) for a.e. \(t\in (0,1)\) holds. In addition, suppose that there is a constant \(M>a+b\), independent of λ, with
$$\begin{aligned} \Vert u \Vert =\sup_{0\leq t\leq 1} \bigl\vert u(t) \bigr\vert \neq M \end{aligned}$$for any solution \(u\in AC[0,1]\) (with \(\dot{u}\in AC_{loc}(0,1)\)) to
$$\begin{aligned} \textstyle\begin{cases} \ddot{u}+\lambda f(t,u)=0, \quad 0< t< 1, \\ u(0)=a, \qquad u(1)=b,\end{cases}\displaystyle \end{aligned}$$for each \(\lambda \in (0,1)\). Then (2.1) has a solution u with \(\u\\leq M\).

(II)
Assume that there exists \(h\in L^{1}_{\mathrm{loc}}(0,1)\) with \({\int _{0}^{1}}t(1t)h(t)\,dt<\infty \) such that \(f(t,u)\leq h(t)\) for a.e. \(t\in (0,1)\) and \(u\in {\mathbb{R}}\). Then (2.1) has a solution.

(I)
Next we present the following two wellknown results that will be applied to demonstrate our main results.
Theorem 2.3
(Leray–Schauder alternative principle [30])
Assume that Ω is an open subset of a convex set K in a normed linear space X, and \(p\in \Omega \). Let \(T:\overline{\Omega}\rightarrow K\) be a compact continuous map. Then one of the following two conclusions holds:

(I)
T has at least one fixed point in Ω̅.

(II)
There exists \(u\in \partial \Omega \) and \(0<\lambda <1\) such that \(u=\lambda Tu+(1\lambda )p\).
Let K be a cone in X and D be a subset of X. We write \(\partial _{K}D=(\partial D)\cap K\) and \(D_{K}=D\cap K\).
Theorem 2.4
([24])
Let X be a Banach space, and let K be a cone in X. Assume that \(\Omega ^{1}\), \(\Omega ^{2}\) are open bounded subsets of X with \(\Omega ^{1}_{K}\neq \emptyset \), \(\overline{\Omega}^{1}_{K}\subset \Omega ^{2}_{K}\). Let
be a continuous and completely continuous operator such that

(i)
\(u\neq \lambda Su\) for \(\lambda \in [0,1)\) and \(u\in \partial _{K}\Omega ^{1}\), and

(ii)
there exists \(v\in K\backslash \{0\}\) such that \(u\neq Su+\lambda v\) for all \(u\in \partial _{K}\Omega ^{2}\) and all \(\lambda >0\).
Then S has a fixed point in \(\overline{\Omega}^{2}_{K}\backslash \Omega ^{1}_{K}\).
In the present paper, we research the secondorder singular Dirichlet boundary value problem (1.10). Throughout this paper, we suppose that \(F:[0,1] \times {\mathbb{R}}^{+}\backslash \{0\}\rightarrow {\mathbb{R}}^{}\) is the continuous oceanic vorticity function and \(\lim_{u\rightarrow 0_{+}}F(t,u)=\infty \).
Due to
Using Theorem 2.2(II), we know that the following problem
has a solution μ. Factually, \(\mu :{\mathbb{R}}\rightarrow {\mathbb{R}}^{+}\) can be expressed as
where
is the Green function for
Since \(G(t,s)\geq 0\) and \(\beta (t)= { \frac{\omega (s_{2}s_{1})^{2}\sinh (\frac{(s_{2}s_{1})t+s_{1}}{2})}{2\cosh ^{3}(\frac{(s_{2}s_{1})t+s_{1}}{2})}}>0\), we can easily know that \(\mu (t)\geq 0\).
In this paper, we denote
we can easily know \(\mu _{\ast}\geq 0\).
To conclude the preliminaries, we observe that if the singular Dirichlet boundary value problem
has a nonnegative solution u satisfying \(u(t)+\mu (t)>0\) for \(t\in (0,1)\) and \(0<\u\<r\), we can calculate the system to get
that is, \(y(t)=u(t)+\mu (t)\) is a nonnegative solution of (1.10) with \(0<\y\mu \<r\). Therefore, for the convenience, we will consider (2.2) in the next section.
3 Main results
Define an operator \({\mathcal{A}}: X \rightarrow X\) by
It is well known that seeking a solution of (2.2) is equivalent to seeking a fixed point for the operator \({\mathcal{A}}\).
Theorem 3.1
Assume that three conditions are satisfied:
 \(\mathrm{(H_{1})}\):

For each positive constant L, there is a continuous function \(\phi _{L}\succ 0\) satisfying
$$\begin{aligned} F(t,u)\leq \phi _{L}(t) \end{aligned}$$for \((t,u)\in (0,1) \times (0,L]\);
 \(\mathrm{(H_{2})}\):

there exist two nonnegative continuous functions \(g(u)\) and \(h(u)\) on \((0,\infty )\) satisfying
$$\begin{aligned} g(u)h(u)\leq F(t,u)\leq 0 \end{aligned}$$for \((t,u)\in (0,1) \times (0,\infty )\), where \(g(u)\) is nonincreasing, and \(h(u)/g(u)\) is nondecreasing in u;
 \(\mathrm{(H_{3})}\):

there exists a constant \(r>0\) satisfying:
$$\begin{aligned} {\frac{(s_{2}s_{1})^{2}}{24\cosh ^{2}(\frac{s_{1}}{2})}} \biggl\{ 1+ {\frac{h(r+\mu ^{\ast})}{g(r+\mu ^{\ast})}} \biggr\} < { \int _{0}^{r}}\frac{1}{g(u)}\,du \end{aligned}$$
Then (1.10) has at least a nonnegative solution \(u\in C[0,1]\cap C^{2}(0,1)\) with \(u(t)>0\) for all \(t\in (0,1)\) and \(0<\u\mu \<r\).
Proof
From the end of Sect. 2, it is enough if we find that (2.2) has a nonnegative solution u such that \(0<\u\<r\) and \(u(t)+\mu (t)>0\) for \(t\in (0,1)\).
Since \({\mathrm{(H_{3})}}\) holds, we choose a positive constant \(\varepsilon >0\) and \(\varepsilon < r\), satisfying
Choosing \(n_{0}\) from \(\{1,2,\ldots \}\) satisfying \(\frac{1}{n_{0}}<\frac{\varepsilon}{2}\). Let \(N_{0}=\{n_{0},n_{0}+1,\ldots \}\). We will consider the family of problems
where \(\lambda \in [0,1]\) and
Define the operator \({\mathcal{A}}^{m}:X\rightarrow X\):
Then the solution of (3.2) is found if the following fixed point problem
is solved.
In what follows, we will declare that any fixed point u of (3.3) must satisfy \(\u\\neq r\) for any \(\lambda \in [0,1]\). Otherwise, assume that u is a fixed point of (3.3) for some \(\lambda \in [0,1]\) with \(\u\ =r\). Notice that since \(\alpha (t)= { \frac{(s_{2}s_{1})^{2}}{4\cosh ^{2}(\frac{(s_{2}s_{1})t+s_{1}}{2})}}>0\) and \(F^{m}(t,u)\leq 0\), we have
and \(u(t)\geq \frac{1}{m}>0\) for \(0\leq t\leq 1\). Therefore, by Lemma 2.1
Therefore, there exists \(t_{m}\in (0,1)\) with \(\dot{u}(t)\geq 0\) on \((0,t_{m})\), \(\dot{u}(t)\leq 0\) on \((t_{m},1)\) and \(u(t_{m})=\u\=r\). Then for \(\tau \in (0,1)\), according to \({\mathrm{(H_{2})}}\) and \(F(t,u)\leq 0\), we have
So
Integrate (3.4) from \(t_{m}\) to \(t(t\geq t_{m})\) to obtain
Therefore, we have
Then integrating from \(t_{m}\) to 1, we obtain
That is
Consequently,
Similarly, integrating (3.4) from \(t(t\leq t_{m})\) to \(t_{m}\) and then from 0 to \(t_{m}\), we can obtain
When \(0< t_{m}\leq \frac{1}{2}\), we have
When \(\frac{1}{2}\leq t_{m}<1\), we have
Therefore, (3.8) and (3.9) imply
This contradicts with (3.1), which implies \(\u\\neq r\). Therefore, Theorem 2.2 ensures that
has a fixed point record as \(u_{m}\). That is, the system
has a solution record as \(u_{m}\) satisfying \(\u_{m}\\leq r\). Factually (as above)
\(u_{m}\) is certainly a positive solution of (3.10).
Following we will show that \(u_{m}(t)+\mu (t)\) have a uniform sharper lower bound for all \(m\in N_{0}\), that is, there exists a positive constant k independent of m satisfying
Due to \(\mu _{\ast}\geq 0\), (3.11) is satisfied if we can establish that
According to assumption \({\mathrm{(H_{1})}}\), there exists a continuous function \(\phi _{r+\mu ^{\ast}}\succ 0\) satisfying \(F(t,u)\leq \phi _{r+\mu ^{\ast}}(t)\) for all \(t\in (0,1)\) and \(\u\\leq r+\mu ^{\ast}\). Let \(u_{m}^{r+\mu ^{\ast}}\) be the unique solution of (3.10). Using the Green function, the solution of (3.10) can be represented as
Therefore, we have
Now it is easy to calculate that
with \(\Psi ^{r+\mu ^{\ast}}(0)=\Psi ^{r+\mu ^{\ast}}(1)=0\). If \(k_{0}\equiv {\int _{0}^{1}}(1\tau )\phi _{r+\mu ^{\ast}}( \tau )\,d\tau \) exists, then \(\dot{\Psi}^{r+\mu ^{\ast}}(0)=k_{0}\); otherwise, \(\dot{\Psi}^{r+\mu ^{\ast}}(0)=\infty \). In either situation, there exists a constant \(k_{1}>0\), independent of m, with \(\dot{\Psi}^{r+\mu ^{\ast}}(0)\geq k_{1}\). Thus, there is an \(\varepsilon >0\) with \(\Psi ^{r+\mu ^{\ast}}(t)\geq \frac{1}{2}k_{1}t\geq \frac{1}{2}k_{1}t(1t)\) for all \(t\in [0,\varepsilon ]\). Similarly, there exists a constant \(k_{2}\), independent of m, with \(\dot{\Psi}^{r+\mu ^{\ast}}(1)\geq k_{2}\). Thus, there is a \(\delta >0\) with \(\Psi ^{r+\mu ^{\ast}}(t)\geq \frac{1}{2}k_{2}(1t)\geq \frac{1}{2}k_{2}t(1t)\) for \(t\in [1\delta ,1]\).
Finally, for \(t\in [\varepsilon ,1\delta ]\), it is easy to check that
Then there exists a constant \(k_{3}\), independent of m, with \(\Psi ^{r+\mu ^{\ast}}(t)\geq \frac{1}{2}k_{3}t(1t)\). Let us choose a positive constant \(k=\min \{\frac{1}{2}k_{1},\frac{1}{2}k_{2},\frac{1}{2}k_{3}\}\), then (3.12) is true.
Furtherly, we will prove
Returning to (3.6) (with u replaced by \(u_{m}\)), we have
On the other hand, we obtain
Consequently,
We now declare that there exist \(c_{0}\) and \(c_{1}\) with \(c_{0}>0\), \(c_{1}<1\), \(c_{0}< c_{1}\) such that
Factually, it is enough if we can show that \(\inf \{t_{m}:m\in N_{0}\}>0\) and \(\sup \{t_{m}:m\in N_{0}\}<1\). First, we prove \(\sup \{t_{m}:m\in N_{0}\}<1\). If this is false, there exists a subsequence S of \(N_{0}\) with \(t_{m}\rightarrow 1\) as \(m\rightarrow \infty \) in S. Integrating (3.14) from \(t_{m}\) to 1, we have
for \(m\in S\). Since \(t_{m}\rightarrow 1\) as \(m\rightarrow \infty \) in S, we have from the inequality that \(u_{m}(t_{m})\rightarrow 0\) as \(m\rightarrow \infty \) in S. However, since the maximum of \(u_{m}\) on \([0,1]\) occurs at \(t_{m}\), we have \(u_{m}\rightarrow 0\) in \(C[0,1]\) as \(m\rightarrow \infty \) in S. This contradicts (3.12). So \(\sup \{t_{m}:m\in N_{0}\}<1\). Similarly, we can show \(\inf \{t_{m}:m\in N_{0}\}>0\). Let \(c_{0}\) and \(c_{1}\) be selected as in (3.17). The expressions (3.14), (3.15) and (3.16) imply
where
It is easy to check that \(V\in L^{1}[0,1]\). Define \(I:[0,\infty )\rightarrow [0,\infty )\)
Then I is an increasing map from \([0,\infty )\) onto \([0,\infty )\) and \(I(\infty )=\infty \) because \(g(u)>0\) is nonincreasing on \((0,\infty )\). Also, I is continuous on \([0,C]\) for any \(C>0\). So \(\{I(u_{m})\}_{m\in N_{0}}\) is bounded; therefore,
The equicontinuity follows from (here \(t, s\in [0,1]\))
According to the fact (3.18), the uniform continuity of \(I^{1}\) on \([0,I(r+\mu ^{\ast})]\) and
We now prove (3.13).
By the Arzela–Ascoli Theorem [37], there exists a subsequence N of \(N_{0}\) and a function \(u\in C[0,1]\) such that \(u_{m}\) converges uniformly on \([0,1]\) to u as \(m\rightarrow \infty \) through N. Also, \(u(0)=u(1)=0\), \(0<\u\\leq r\) and \(u(t)\geq kt(1t)\) for \(t\in [0,1]\). For each \(t\in (0,1)\), we can follow the argument in [1] to obtain
Furthermore, it is easy to see that \(\u\< r\) (note if \(\u\=r\), a contradiction will be yielded by the essential argument from (3.4)–(3.9)). □
In what follows, we found the existence of two nonnegative solutions to the singular secondorder Dirichlet boundary value problem
where \(\beta (t)\) is described as in (1.12), nonlinear term \(g(u)\in {\mathbb{C}}((0,1)\times {\mathbb{R}}\backslash \{0\},{ \mathbb{R}})\), and \(h(u)\in {\mathbb{C}}((0,1)\times {\mathbb{R}},{\mathbb{R}})\), \(g(u)\) may be singular at \(u=0\). From Theorem 3.1, we have immediately the following existence result for (3.19).
Theorem 3.2
Suppose that \({\mathrm{(H_{3})}}\) and the following condition hold:
 \({\mathrm{( H_{4})}}\):

\(g(u)>0\) is nonincreasing, \(h(u)\geq 0\) and \(h(u)/g(u)\) is nondecreasing in u;
Then (3.19) has a nonnegative solution u with \(u(t)>0\) for all \(t\in (0,1)\) and \(0<\u\mu \<r\). \({\mathbf{Proof.}}\) As in the proof of Theorem 3.1, we take \(F(t,u)=g(u)h(u)\). So \({\mathrm{(H_{1})}}\) is satisfied with \(\phi _{r+\mu ^{\ast}}(t)=g(r+\mu ^{\ast})\).
Theorem 3.3
Suppose that \({\mathrm{(H_{3})}}\) and \({\mathrm{(H_{4})}}\) and the following condition hold:
 \({\mathrm{(H_{5})}}\):

choose \(c\in (0,\frac{1}{2})\), fix it, and assume that there exists \(R>r\) such that
$$\begin{aligned} { \frac{R}{g(R+\mu ^{\ast}) \{1+ {\frac{h(\sigma R+\mu _{\ast})}{g(\sigma R+\mu _{\ast})}} \}}} \leq { \frac{(s_{2}s_{1})^{2}}{4\cosh ^{2}(\frac{s_{2}}{2})}} { \int _{c}^{1c}}G(\zeta ,\tau )\,d\tau , \end{aligned}$$here \(\sigma =c(1c)\) and \(0\leq \zeta \leq 1\) is satisfying
$$\begin{aligned} { \int _{c}^{1c}}G(\zeta ,\tau )\,d\tau =\sup _{0 \leq t\leq 1} { \int _{c}^{1c}}G(t,\tau )\,d\tau . \end{aligned}$$
Then (3.19) has at least a nonnegative solution ũ with \(\tilde{u}(t)>0\) for \(t\in (0,1)\) and \(r<\\tilde{u}\mu \\leq R\).
Proof
As a similar argument in the proof of Theorem 3.1, it is only needed to prove that
has a solution \(\tilde{u}\in X\) with \(\tilde{u}(t)+\mu (t)>0\) on \((0,1)\) and \(r<\\tilde{u}\\leq R\).
Since \({\mathrm{(H_{3})}}\) holds, a positive constant \(\varepsilon < r\) can be chosen, such that (3.1) holds. Choose \(n_{1}\in \{1,2,\ldots \}\) satisfying \(\frac{1}{n_{1}}<\min \{\frac{\varepsilon}{2}, \sigma R \}\) and let \(N_{1}=\{n_{1},n_{1}+1,\ldots \}\). We consider the family of systems
where
We know that \(g^{m}(u)\leq g(u)\) for \(u\in [0,\infty )\) since \(g(u)\) is nonincreasing.
Define a set
Clearly K is a cone in X. Define the open sets
and the operator \(S:\overline{\Omega}^{2}_{K}\backslash \Omega ^{1}_{K}\rightarrow K\):
A standard argument implies that \(S:\overline{\Omega}^{2}_{K}\backslash \Omega ^{1}_{K}\rightarrow X\) is continuous and completely continuous. If \(u\in K\), then \((Su)(t)\geq 0\) for all \(t\in [0,1]\). We also notice that
so \((Su)(t)\) is concave on \([0,1]\) and \(Su\in K\). Therefore, \(S:\overline{\Omega}^{2}_{K}\backslash \Omega ^{1}_{K}\rightarrow K\) is well defined.
In what follows, we will use Theorem 2.4 to show that S has at least one fixed point. Firstly we will declare that: (i) \(u\neq \lambda Su\) for \(\lambda \in [0,1)\) and \(u\in \partial _{K}\Omega ^{1}\). Suppose it is false, i.e., there exist \(u\in \partial _{K}\Omega ^{1}\) and \(\lambda \in [0,1)\) such that \(u=\lambda Su\). We can suppose that \(\lambda \neq 0\). Now since \(u\in \partial _{K}\Omega ^{1}\), we have \(\u\=r\). Since \(u=\lambda Su\), we have
We notice that
So, we have \(u(t)\geq \frac{1}{m}>0\) on \([0,1]\), and there exists \(t_{0}\in (0,1)\) such that \(\dot{u}(t)\geq 0\) on \((0,t_{0})\), \(\dot{u}(t)\leq 0\) on \((t_{0},1)\) and \(u(t_{0})=\u\=r\). We also observe that
Then as a similar argument in the proof of the Theorem 3.1, a contradiction can lead to \({\mathrm{(H_{3})}}\), so (i) is proved.
Then we will claim that (ii) there exists \(v\in K\backslash \{0\}\) such that \(u\neq Su+\lambda v\) for all \(u\in \partial _{K}\Omega ^{2}\) and all \(\lambda >0\). Let \(v(t)\equiv 1\), then \(v\in K\backslash \{0\}\). Suppose it is false, i.e. there exist \(u\in \partial _{K}\Omega ^{2}\) and \(\lambda >0\) such that \(u=Su+\lambda v\), then \(\u\=R\), and u is concave on \([0,1]\). According to Lemma 2.1, we have that
Particularly, for \(t\in [c,1c]\), we have
and
Therefore, we have \(g^{m}(u(t)+\mu (t))= g(u(t)+\mu (t))\) for \(t\in [c,1c]\). Then using (3.22) and \({\mathrm{(H_{4})}}\), we have
Therefore,
This contradicts \({\mathrm{(H_{5})}}\), and (ii) is proved.
By Theorem 2.4, S has at least one fixed point \(u_{m}\in \overline{\Omega}^{2}_{K}\backslash \Omega ^{1}_{K}\) with \(r\leq \u_{m}\\leq R\). We claim that \(\u_{m}\>r\), in fact, suppose \(\u_{m}\=r\), then following the same argument will produce a contradiction. Therefore, (3.21) has a solution \(u_{m}\) with \(u_{m}(t)\geq \frac{1}{m}\) for \(0\leq t\leq 1\). This implies that the following boundary value problem
has a solution \(u_{m}\) with
and
Next as a similar way in the proof of Theorem 3.1, we can also show that
Using the Arzela–Ascoli Theorem again, there is a subsequence N of \(N_{0}\) and a function \(u\in C[0,1]\) such that \(u_{m}\) converges uniformly on \([0,1]\) to u as \(m\rightarrow \infty \) through N. Also \(u(0)=u(1)=0\), \(r<\u\\leq R\) and \(u(t)\geq t(1t)r\) for \(0\leq t\leq 1\). Therefore, using the similar argument as in the proof of [1], we can show that for each \(t\in (0,1)\)
That means u is a positive solution of (3.20) with \(r< \u\\leq R\). □
According to the Theorem 3.2 and 3.3, it is easy to obtain the following multiplicity results for (3.19).
Theorem 3.4
Suppose that \({\mathrm{(H_{3})}}\)–\({\mathrm{(H_{5})}}\) are satisfied. Then (3.19) has at least two nonnegative solutions \(u(t)>0\), \(\tilde{u}(t)>0\) for all \(t\in (0,1)\) and \(\u\mu \< r<\\tilde{u}\mu \\leq R\).
Theorem 3.5
Assume that \(a>0\), \(b\geq 0\),

(i)
if \(b<1\), then for each \(\nu >0\), the boundary value problem (1.14) has at least one positive solution.

(ii)
if \(b\geq 1\), then for each ν with \(0<\nu <\nu _{1}\), the boundary value problem (1.14) has at least one positive solution, where \(\nu _{1}\) is some positive constant.

(iii)
if \(b>1\), then for each \(0<\nu <\nu _{1}\), the boundary value problem (1.14) has at least two positive solution.
Proof
Theorem 3.3 is applied to system (1.14). We take \(F(t,u)= {u^{a}}\nu u^{b}\), then \(F(t,u)\leq 0\), \(\lim_{u\rightarrow 0^{+}}F(t,u)=\infty \). Let \(g(u)= {u^{a}}\), \(h(u)= {\nu u^{b}}\), then \({\mathrm{(H_{4})}}\) holds. If there exists a positive number r satisfying
then the condition \({\mathrm{(H_{3})}}\) holds. Thus, boundary value problem (1.14) has at least one positive solution if
Note that if \(b<1\) then \(\nu _{1}=\infty \) and if \(b\geq 1\) then \(\nu _{1}<\infty \), we have the results (i) and (ii).
If \(b>1\), we take \(c= {\frac{1}{5}}\) and fix it. Then condition \({\mathrm{(H_{5})}}\) becomes
where
Since \(b>1\), the righthand side of (3.23) tends to 0 as \(R\rightarrow +\infty \). Then, for any \(0<\nu <\nu _{1}\), it can find R large enough such that (3.23) is satisfied. Therefore, boundary value problem (1.14) has another solution. We have the result (iii). □
4 Conclusions
In the article, using the Leray–Schauder alternative principle and a wellknown fixed point theorem in cones, we establish the existence results of multiple positive solutions for a secondorder Dirichlet problem modeling the ocean flow of the Antarctic Circumpolar Current (ACC). We pay special attention to the nonlinear term \(F(t,u)\), which represents the negative oceanic vorticity function and is singular at the origin; in other words, the function has an attractive singularity. Some recent results of the ocean flow for the Antarctic Circumpolar Current are generalized and enriched.
Availability of data and materials
Not applicable.
References
Agarwal, R.P., O’Regan, D.: Existence theory for single and multiple solutions to singular positone boundary value problems. J. Differ. Equ. 175, 393–414 (2001)
Chu, J.: On a differential equation arising in geophysics. Monatshefte Math. 187, 499–508 (2018)
Chu, J.: On a nonlinear model for Arctic gyres. Ann. Mat. Pura Appl. 197, 651–659 (2018)
Chu, J.: Monotone solutions of a nonlinear differential equation for geophysical fluid flows. Nonlinear Anal. 166, 144–153 (2018)
Chu, J.: On an infiniteinterval boundaryvalue problem in geophysics. Monatshefte Math. 188, 621–628 (2019)
Chu, J., Li, M.: Positive periodic solutions of Hill’s equations with singular nonlinear perturbations. Nonlinear Anal. 69, 276–286 (2008)
Chu, J., Marynets, K.: Nonlinear differential equations modelling the Antarctic Circumpolar Current. J. Math. Fluid Mech. 23, 1–9 (2021)
Chu, J., O’Regan, D.: Multiplicity results for second order nonautonomous singular Dirichlet systems. Acta Appl. Math. 105, 323–338 (2009)
Chu, J., Torres, P.J., Zhang, M.: Periodic solutions of second order nonautonomous singular dynamical systems. J. Differ. Equ. 239, 196–212 (2007)
Constantin, A.: Nonlinear Water Waves with Applications to WaveCurrent Interactions and Tsunamis. SIAM, Philadelphia (2011)
Constantin, A.: Some threedimensional nonlinear equatorial flows. J. Phys. Oceanogr. 43, 165–175 (2013)
Constantin, A.: Some nonlinear, equatorially trapped, nonhydrostatic internal geophysical waves. J. Phys. Oceanogr. 44, 781–789 (2014)
Constantin, A., Johnson, R.S.: The dynamics of waves interacting with the equatorial undercurrent. Geophys. Astrophys. Fluid Dyn. 109, 311–358 (2015)
Constantin, A., Johnson, R.S.: An exact, steady, purely azimuthal flow as a model for the Antarctic Circumpolar Current. J. Phys. Oceanogr. 46, 3585–3594 (2016)
Constantin, A., Johnson, R.S.: An exact, steady, purely azimuthal equatorial flow with a free surface. J. Phys. Oceanogr. 46, 1935–1945 (2016)
Constantin, A., Johnson, R.S.: Large gyres as a shallowwater asymptotic solution of Euler’s equation in spherical coordinates. Proc. R. Soc. A. 473, 1–18 (2017)
Fečkan, M., Marynets, K.: Study of differential equations with exponential nonlinearities via the lower and upper solutions method. Numer. Anal. Appl. Math. 1, 1–7 (2020)
Gabler, R.E., Petersen, J.F., Trapasso, L.M.: Essentials of Physical Geography. Thomson Brooks/Cole, Belmont (2007)
Garrison, T.: Essentials of Oceanography. National Geographic Society/Cengage Learning, Stamford (2014)
Haziot, S.V.: Study of an elliptic partial differential equation modelling the Antarctic Circumpolar Current. Discrete Contin. Dyn. Syst. 39, 4415–4427 (2019)
Haziot, S.V., Marynets, K.: Applying the stereographic projection to the modelling of the flow of the Antarctic Circumpolar Current. Oceanography 31, 68–75 (2018)
Jiang, D., Chu, J., O’Regan, D., Agarwal, R.P.: Multiple positive solutions to superlinear periodic boundary value problems with repulsive singular forces. J. Math. Anal. Appl. 286, 563–576 (2003)
Jiang, D., Chu, J., Zhang, M.: Multiplicity of positive periodic solutions to superlinear repulsive singular equations. J. Differ. Equ. 211, 282–302 (2005)
Krasnosel’skii, M.A.: Positive Solutions of Operator Equations. Noordhoff, Groningen (1964)
Marynets, K.: Twopoint boundary problem for modelling the jet flow of the Antarctic Circumpolar Current. Electron. J. Differ. Equ. 2018, 56 (2018)
Marynets, K.: A weighted Sturm–Liouville problem related to ocean flows. J. Math. Fluid Mech. 20, 929–935 (2018)
Marynets, K.: Study of a nonlinear boundaryvalue problem of geophysical relevance. Discrete Contin. Dyn. Syst. 39, 4771–4781 (2019)
Marynets, K.: On a twopoint boundaryvalue problem in geophysics. Appl. Anal. 98, 553–560 (2019)
Marynets, K.: A nonlinear twopoint boundaryvalue problem in geophysics. Monatshefte Math. 188, 287–295 (2019)
O’Regan, D.: Existence Theory for Nonlinear Ordinary Differential Equations. Kluwer Academic, Dordrecht (1997)
Taliaferro, S.: A nonlinear singular boundary value problem. Nonlinear Anal. 3, 897–904 (1979)
Viudez, A., Dritschel, D.G.: Vertical velocity in mesoscale geophysical flows. J. Fluid Mech. 483, 199–223 (2003)
Walton, D.W.H.: Antarctica: Global Science from a Frozen Continent. Cambridge University Press, Cambridge (2013)
Wang, J., Fečkan, M., Wen, Q., O’Regan, D.: Existence and uniqueness results for modelling jet flow of the Antarctic Circumpolar Current. Monatshefte Math. 194, 601–621 (2021)
Wang, J., Fečkan, M., Zhang, W.: On the nonlocal boundary value problem of geophysical fluid flows. Z. Angew. Math. Phys. 72, 1–18 (2021)
Wang, J., Zhang, W., Fečkan, M.: Periodic boundary value problem for second order differential equations from geophysical fluid flows. Monatshefte Math. 195, 523–540 (2021)
Zeidler, E.: Applied Functional Analysis: Applications to Mathematical Physics, I. Banach Spaces and FixedPoint Theorems. Springer, New York (1995)
Zhang, W., Fečkan, M., Wang, J.: Positive solutions to integral boundary value problems from geophysical fluid flows. Monatshefte Math. 193, 901–925 (2020)
Acknowledgements
The authors would like to show their thanks to Professor Jifeng Chu for his valuable suggestions and useful discussions. The authors would also like to show their great thanks to the anonymous referee for his/her valuable suggestions and comments.
Funding
This work was supported by National Natural Science Foundation of China (No. 11771207).
Author information
Authors and Affiliations
Contributions
All the authors contributed equally and significantly in writing this article. All the authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Jiang, Y., Shi, W. & Li, X. Existence theory for multiple solutions to secondorder singular Dirichlet boundary value problem modeling the Antarctic Circumpolar Current. Bound Value Probl 2023, 33 (2023). https://doi.org/10.1186/s13661023017207
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661023017207
Keywords
 Existence
 Singular Dirichlet boundary value problem
 Antarctic circumpolar current