Hostname: page-component-78c5997874-4rdpn Total loading time: 0 Render date: 2024-10-31T23:23:31.690Z Has data issue: false hasContentIssue false

Radial solvability for Pucci-Lane-Emden systems in annuli

Published online by Cambridge University Press:  15 March 2023

Liliane Maia
Affiliation:
Departamento de Matemática, Universidade de Brasília, Brasília, Brazil (lilimaia@unb.br)
Ederson Moreira dos Santos
Affiliation:
Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, São Carlos, Brazil (ederson@icmc.usp.br)
Gabrielle Nornberg
Affiliation:
Departamento de Ingeniería Matemática, Universidad de Chile, Santiago, Chile (gnornberg@dim.uchile.cl)
Rights & Permissions [Opens in a new window]

Abstract

We establish a priori bounds, existence and qualitative behaviour of positive radial solutions in annuli for a class of nonlinear systems driven by Pucci extremal operators and Lane-Emden coupling in the superlinear regime. Our approach is purely nonvariational. It is based on the shooting method, energy functionals, spectral properties, and on a suitable criteria for locating critical points in annular domains through the moving planes method that we also prove.

Type
Research Article
Copyright
Copyright © The Author(s), 2023. Published by Cambridge University Press on behalf of The Royal Society of Edinburgh

1. Introduction

In this note we study a priori bounds, existence and qualitative behaviour of positive radial solutions for fully nonlinear elliptic partial differential systems such as

(1.1)\begin{equation} \left\{\begin{array}{@{}cl} \mathcal{M}^\pm (D^2 u)+v^p =0 & \text{in}\; A_{\frak a, \frak b} \\ \mathcal{M}^\pm (D^2 v)+ u^q =0 & \text{in} \; A_{\frak a, \frak b} \\ u,v> 0 & \text{in} \; A_{\frak a, \frak b} \\ u,v= 0 & \text{on}\ \partial A_{\frak a, \frak b} \end{array}\right. \end{equation}

in the superlinear regime $pq>1$ for $p,\,q>0$ where for some $\frak a ,\, \frak b >0$,

\[ A_{\frak a, \frak b} =\{ x\in {\mathbb{R}}^N \, : \frak{a}<|x|<\frak{b}\}, \; {\rm with}\ 0<\frak a<\frak b<{+}\infty, \]

is an annulus in ${\mathbb {R}^N}$ for $N\geq 2$. Here $\mathcal {M}^\pm$ are the Pucci's extremal operators, which play an essential role in stochastic control theory and mean field games. We deal with classical solutions of (1.1) that are $C^2$ in $A_{\frak a, \frak b}$.

The analysis of the associated ODE problem for proving existence of annular or exterior domain solutions has been performed in many papers in the semilinear case [Reference Bandle, Coffman and Marcus1, Reference Lin and Pai11, Reference Ni and Nussbaum14]. Up to our knowledge, for the Lane-Emden system, only the case when $p,\,q>1$ is available, see [Reference Dunninger and Wang7] whose proof is based on degree theoretic methods. It is worth mentioning that the change of variables employed in [Reference Lin and Pai11], which eliminates $u^\prime$ e $v^\prime$ from the ODE problem, does not work for Pucci's extremal operators. Therefore, a completely different approach in this case is required.

In the case of the Lane-Emden system involving the Laplacian operator, since

\[ W^{1,s}_{rad}(A_{\frak a, \frak b}) \hookrightarrow C(\overline{A_{\frak a, \frak b}})\ {\rm for\ any}\ s >1, \]

its possible to use the standard Mountain Pass theorem to prove existence of a positive radial solution. Nevertheless, regarding a priori bounds, only partial results are known in the Lipschitz superlinear case $p,\,q\ge 1$, see [Reference Dalmasso4]. The proof there explores a differentiability notion of the nonlinearities besides relying on the variational formulation of the problem. Here we obtain new results in order to give a full picture for the standard Lane-Emden system. Furthermore, since our approach is nonvariational, we are able to develop an existence theory for operators with fully nonlinear structure. We mention that, under no radial symmetry assumptions on the domain, the best known existence result for systems involving Pucci operators requires bounds from above on the exponents $p$ and $q$, see [Reference Quaas and Sirakov15].

In the sequel we state our main result.

Theorem 1.1 For any $p,\,q>0$ with $pq>1$, and $0<\frak a< \frak b<+\infty$, problem (1.1) has a radial solution pair in the annulus $A_{\frak a, \frak b}$. Moreover, there exists a constant $C =C(\frak a,\, \frak b,\, N,\, \lambda,\, \Lambda,\, p,\, q)>0$ that bounds the $L^{\infty }$-norm of all solutions. In addition, for a fixed $\frak a >0$, the two components of any solution blow up as $\frak b \to \frak a$.

The proof of theorem 1.1 consists on a careful study of the ODE problem through the shooting method, asymptotics, energy and topological arguments, spectral properties, and on a suitable criteria for critical points produced via the moving planes method that we also prove. We highlight that degree theory in cones and fully nonlinear operators in the scalar setting were also combined in [Reference Felmer and Quaas8, Reference Quaas and Sirakov16].

More than that, we prove uniform bounds for the maximum positive inclination of the solutions

(1.2)\begin{equation} C_2(\frak a, \frak b , N, \lambda, \Lambda, p,q)\geq u^\prime (\frak a), \; v^\prime (\frak a) \ge C_1(\frak a, \frak b , N, \lambda, \Lambda, p,q)>0, \end{equation}

which ends up characterizing the admissible shooting parameters in the respective ODE problem in order to produce solutions in the annulus. This is particularly interesting feature since uniqueness of solutions is a delicate issue when it refers to systems.

We highlight that all arguments in this paper could be performed in order to address Hardy-Henón type weights $|x|^a,\, \,|x|^b$ with $a,\,b\in \mathbb {R}$. Indeed, the energy estimates are a little bit more involved, see [Reference Maia and Nornberg12] for a single equation. However, the difficulty in obtaining the a priori bounds remains the same since one just plug $\frak a \le |x|\le \frak b$ on the estimates. In addition, we could also treat more general radial fully nonlinear operators, in light of [Reference Galise, Leoni and Pacella9]. We prefer to skip overload notation to keep the presentation simpler and to concentrate in the difficulties produced by the nature of the system above all.

The paper is organized as follows. In § 2 we introduce some basic properties of the second order ODE problem associated to (1.1). In § 3 we obtain the crucial a priori bounds for the solutions in terms of estimates for the corresponding shooting parameters. Finally, § 4 is devoted to the existence statement in theorem 1.1.

2. Auxiliary tools

We start by recalling that the Pucci's extremal operators $\mathcal {M}^\pm _{\lambda,\Lambda }$, for $0<\lambda \leq \Lambda$,

\[ \mathcal{M}^+_{\lambda,\Lambda}(X):=\sup_{\lambda I\leq A\leq \Lambda I} \mathrm{tr} (AX)\,,\quad \mathcal{M}^-_{\lambda,\Lambda}(X):=\inf_{\lambda I\leq A\leq \Lambda I} \mathrm{tr} (AX), \]

where $A,\,X$ are $N\times N$ symmetric matrices, and $I$ is the identity matrix. Equivalently, if we denote by $\{e_i\}_{1\leq i \leq N}$ the eigenvalues of $X$, we can define the Pucci's operators as

(2.1)\begin{equation} \mathcal{M}_{\lambda,\Lambda}^+(X)=\Lambda \sum_{e_i>0} e_i +\lambda \sum_{e_i\le 0} e_i, \quad \mathcal{M}_{\lambda,\Lambda}^-(X)=\lambda \sum_{e_i>0} e_i +\Lambda \sum_{e_i \le 0} e_i. \end{equation}

From now on we will drop writing the parameters $\lambda,\,\Lambda$ in the notations for the Pucci's operators.

When $u$ is a radial function, for ease of notation we set $u(|x|)=u (r)$ for $r=|x|$. If in addition $u$ is $C^2$, the eigenvalues of the Hessian matrix $D^2 u$ are given by $\{u^{\prime \prime },\, \frac {u^\prime (r)}{r},\, \ldots,\, \frac {u^\prime (r)}{r}\}$ where $\frac {u^\prime (r)}{r}$ is repeated $N-1$ times.

The system (1.1) for $\mathcal {M}^+$ and positive solutions is written in radial coordinates as

(P +)\begin{equation} \left\{\begin{array}{@{}ll} u^{\prime\prime}\;=\; M_+({-}r^{{-}1}(N-1)\, m_+(u^\prime)- v^p ), & \\ v^{\prime\prime}\;=\; M_+({-}r^{{-}1}(N-1)\, m_+(v^\prime)- u^q ) , & u,\, v> 0 , \end{array} \right. \end{equation}

while for $\mathcal {M}^-$ one has

(P )\begin{equation} \left\{\begin{array}{@{}ll} u^{\prime\prime}\;=\; M_-({-}r^{{-}1}(N-1)\, m_-(u^\prime)- v^p ), & \\ v^{\prime\prime}\;=\; M_-({-}r^{{-}1}(N-1)\, m_-(v^\prime)- u^q ) , & u,\, v> 0 , \end{array}\right. \end{equation}

which are understood in the maximal interval where $u,\,v$ are both positive.

Let us have in mind the following initial value problem with positive shooting parameters $\delta,\,\mu$, which produces the radial solutions of (1.1),

(2.2)\begin{equation} \left\{\begin{array}{@{}lll} u^{\prime\prime}\;=\; M_\pm\left({-}r^{{-}1}(N-1)\, m_\pm(u^\prime)- |v|^{p-1}v \right), & u (\frak a)=0,\ u^\prime (\frak a)=\delta, & \delta>0,\\ v^{\prime\prime}\;=\; M_\pm\left({-}r^{{-}1}(N-1)\, m_\pm(v^\prime)- |u|^{q-1}u \right), & v (\frak a)=0,\ v^\prime (\frak a)=\mu, & \mu>0, \end{array}\right. \end{equation}

where $M_\pm$ and $m_\pm$ are the Lipschitz functions

(2.3)\begin{gather} m_+(s)=\begin{cases} \lambda s\ \textrm{if}\ s\leq 0 \\ \Lambda s\ \textrm{if}\ s> 0 \end{cases}\quad \textrm{and}\quad M_+(s)= \begin{cases} s/\lambda\ \textrm{if}\ s\leq 0 \\ s/ \Lambda\ \textrm{if}\ s> 0, \end{cases} \end{gather}
(2.4)\begin{gather} m_-(s)= \begin{cases} \Lambda s\; \textrm{ if } s\leq 0 \\ \lambda s\; \textrm{ if } s> 0 \end{cases}\quad\textrm{and}\quad M_-(s)= \begin{cases} s/\Lambda\; \textrm{ if } s\leq 0 \\ s/ \lambda\; \textrm{ if } s> 0. \end{cases} \end{gather}

Here we denote such a solution by $(u_{\delta,\mu },\, v_{\delta,\mu })$. That is, a radial solution of (1.1) in the annulus $A_{\frak a, \frak b}$ satisfies (2.2) for some $\delta,\, \mu >0$ with $u(\frak b) =v(\frak b)=0$. We shall omit the dependence on the parameters $\delta,\, \mu$ whenever it is clear from the context.

Next we look at monotonicity properties for solutions $(u_{\delta,\mu },\,v_{\delta,\mu })$ of (2.2) as follows.

Lemma 2.1 For any $\delta,\,\mu >0$ such that $(u_{\delta,\mu },\,v_{\delta,\mu })$ is a positive solution of (1.1) in the annulus $A_{\frak a, \frak b}$, there exist numbers $\tau _u=\tau _u (\delta,\,\mu )$, and $\tau _v =\tau _v(\delta,\,\mu )$, with $\tau _u,\,\tau _v\in (\frak a,\, \frak b)$, such that the solution pair $(u,\,v)$ of (2.2) satisfies

\begin{align*} u^\prime(r)>0 \; {\rm for}\ r< \tau_u, \quad u^\prime (\tau_u)=0, \quad u^\prime(r)<0 \ {\rm for}\ \tau_u < r < b,\\ v^\prime(r)>0 \; {\rm for}\ r< \tau_v, \quad v^\prime (\tau_v)=0, \quad v^\prime(r)<0\; {\rm for}\ \tau_v< r < b. \end{align*}

Proof. Since we have a positive solution pair $(u,\,v)$ in the annulus, and both functions start positive and increasing, a critical point must exist for both $u$ and $v$ by Rolle's theorem.

The uniqueness of $\tau _u$ follows from the fact that, since $v$ is positive, any critical point of $u$ is a strict local maximum; likewise for $\tau _v$ and $v$.

Notation. Here and onward in the text we write

\[ \tau_*=\min \{\tau_u,\tau_v \}, \quad \tau^*=\max \{\tau_u,\tau_v \}. \]

As a consequence of this monotonicity, the problems (P +) and (P ) can be better specified. In the interval where $u^\prime \ge 0$ and $v^\prime \ge 0$ we write

(2.5)\begin{gather} \textrm{for}\ \mathcal{M}^+\ {\rm in}\ [\frak a, \tau_*]:\quad \left\{\begin{array}{@{}ll} \lambda u^{\prime\prime}\;=\; -\Lambda r^{{-}1}(N -1)u^\prime- v^p , & \\ \lambda v^{\prime\prime}\;=\; -\Lambda r^{{-}1}(N -1)v^\prime- u^q , & u,\, v> 0 ;\end{array}\right. \end{gather}
(2.6)\begin{gather} \textrm{for}\ \mathcal{M}^-\ {\rm in}\ [\frak a, \tau_*] :\quad \left\{\begin{array}{@{}ll} \Lambda u^{\prime\prime}\;=\; -\lambda r^{{-}1}(N -1)u^\prime- v^p , & \\ \Lambda v^{\prime\prime}\;=\; -\lambda r^{{-}1}(N -1)v^\prime- u^q , & u,\, v> 0; \end{array}\right. \end{gather}

while in the interval where $u^\prime \le 0$ and $v^\prime \le 0$ it yields

(2.7)\begin{gather} \textrm{for}\ \mathcal{M}^+\ {\rm in}\ [\tau^*, \frak b] :\quad \left\{\begin{array}{@{}ll} u^{\prime\prime}\;=\; M_+(-\lambda r^{{-}1}(N-1)\, u^\prime-r^a v^p ), & \\ v^{\prime\prime}\;=\; M_+(-\lambda r^{{-}1}(N-1)\,v^\prime- r^b u^q ), & u,\, v> 0; \end{array}\right. \end{gather}
(2.8)\begin{gather} \textrm{for}\ \mathcal{M}^-\ {\rm in}\ [\tau^*, \frak b] :\quad \left\{\begin{array}{@{}ll} u^{\prime\prime}\;=\; M_-(-\Lambda r^{{-}1}(N-1)\, u^\prime- r^a v^p ), & \\ v^{\prime\prime}\;=\; M_-(-\Lambda r^{{-}1}(N-1)\,v^\prime-r^b u^q ) , & u,\, v> 0 . \end{array}\right. \end{gather}

Moreover, in between, one of the following situations takes a place for the operators $\mathcal {M}^\pm$:

(2.9)\begin{gather} \textrm{for}\ \mathcal{M}^+\ {\rm in}\ [\tau_u, \tau_v] :\quad \left\{\begin{array}{@{}ll} u^{\prime\prime}\;=\; M_+(-\lambda r^{{-}1}(N-1)\, u^\prime- v^p ), & \\ \lambda v^{\prime\prime}\;=\; -\Lambda r^{{-}1}(N -1)v^\prime- u^q , & u,\, v> 0; \end{array} \right. \end{gather}
(2.10)\begin{gather} \textrm{for}\ \mathcal{M}^-\ {\rm in}\ [\tau_u, \tau_v] :\quad \left\{ \begin{array}{@{}l} u^{\prime\prime}\;=\; M_-(-\Lambda r^{{-}1}(N-1)\, u^\prime- v^p ), \\ \Lambda v^{\prime\prime}\;=\; -\lambda r^{{-}1}(N -1)v^\prime- u^q , \quad u,\, v> 0; \end{array}\right. \end{gather}

if $\tau _*=\tau _u$ and $\tau ^*=\tau _v$; while

(2.11)\begin{gather} \textrm{for}\ \mathcal{M}^+\ {\rm in}\ [\tau_v, \tau_u] :\quad \left\{\begin{array}{@{}ll} \lambda u^{\prime\prime}\;=\; -\Lambda r^{{-}1}(N -1)u^\prime- v^p, & \\ v^{\prime\prime}\;=\; M_+(-\lambda r^{{-}1}(N-1)\,v^\prime- u^q ) , & u,\, v> 0 ; \end{array}\right. \end{gather}
(2.12)\begin{gather} \textrm{for}\ \mathcal{M}^-\ {\rm in}\ [\tau_v, \tau_u] :\quad \left\{ \begin{array}{@{}ll} \Lambda u^{\prime\prime}\;=\; -\lambda r^{{-}1}(N -1)u^\prime- v^p , & \\ v^{\prime\prime}\;=\; M_-(-\Lambda r^{{-}1}(N-1)\,v^\prime- u^q ) , & u,\, v> 0 . \end{array}\right. \end{gather}

if $\tau _*=\tau _v$ and $\tau ^*=\tau _u$.

The next theorem gives us a better precision on the location of the critical points. It says no critical points exist in the closure of the half annulus $A_{\frac {1}{2}(\frak a +\frak b),\, \frak b}$ .

Theorem 2.2 Let $(u,\,v)$ be a positive $C^2$ solution pair of (1.1) in the annulus $A_{\frak a, \frak b}$, with $u=v=0$ on $\partial A_{\frak a , \frak b}$. Then $\partial _r u<0$ and $\partial _r v <0$ for all $r\in \left [\frac {1}{2}(\frak a +\frak b),\, \frak b\right ]$, where $r=|x|$.

The proof is accomplished through the moving planes method as in [Reference Gidas, Ni and Nirenberg10, theorem 2], properly adapted to the Lane-Emden system in light of [Reference dos Santos and Nornberg6, Reference Troy17]. It is worth observing that a classical Gidas-Ni-Nirenberg type symmetry result does not hold for annular domains in order to conclude that solutions of (1.1) are radial. However, the moving planes method can still be applied to obtain strict monotonicity in a half portion of the annulus.

Proof. We revisit the moving planes method as performed in [Reference dos Santos and Nornberg6] in order to treat the general range $pq>1$. The lack of $C^1$ or even Lipschitz continuity on the nonlinearities is allowed there, namely when either $p<1$ or $q<1$. Accordingly to the notation in [Reference dos Santos and Nornberg6], for the annulus we have

\[ \Lambda_1=\Lambda_2=\frac{1}{2}(\frak a +\frak b), \]

see § 2 in [Reference dos Santos and Nornberg6] for the corresponding definitions.

For any direction $\gamma >0$ (as positive axis $\{x_1=0\}$) it follows as in [Reference dos Santos and Nornberg6, Step 1 of the proof of proposition 3.1, p.4183] that $\gamma \cdot Du <0$ in the maximal cap $\Sigma _{\Lambda _1}$. The union of these maximal caps, originated by all directions $\gamma =\frac {x}{|x|}$, $x\neq 0$, produces the half annulus $A_{\Lambda _1,\frak b}$. In particular, no critical points exist in the open annulus $A_{\Lambda _1,\frak b}$.

If we had $\partial _r u (x_0)=0$ or $\partial _r v (x_0)=0$ for some $x_0$ with $|x_0|=\Lambda _1$, then the Hopf lemma in [Reference dos Santos and Nornberg6, lemma 3.3] would give us $U^{\Lambda _1}\equiv 0$ or $V^{\Lambda _1}\equiv 0$ in $\Sigma _{\Lambda _1}$. Since the system is strongly coupled, this means $U^{\Lambda _1}=V^{\Lambda _1}\equiv 0$ in $\Sigma _{\Lambda _1}$. So $u(x^{\Lambda _1})=v(x^{\Lambda _1})=0$ for all $x\in \Sigma _{\Lambda _1}\cap \partial A_{\frak a, \frak b}$ due to the boundary condition on $|x|=\frak b$, but this is impossible since the solution is positive.

Onward in the text and proofs, to fix the ideas we are going to consider problem $(P_+)$ driven by the operator $\mathcal {M}^+$. However, everything can be repeated for the respective $(P_-)$, or even for a problem involving both $\mathcal {M}^+$ and $\mathcal {M}^-$, with slight modifications.

The next result concerns the monotonicity of some associated energy functions. We point out that related monotonicity properties of energy-like functions for fully nonlinear operators have been already observed for scalar equations in [Reference Birindelli, Galise, Leoni and Pacella2, Reference Galise, Leoni and Pacella9].

We recall the dimension-like numbers $\tilde N_- = (N-1)\frac {\Lambda }{\lambda } + 1$ and $\tilde N_+ = (N-1)\frac {\lambda }{\Lambda } + 1$.

Proposition 2.3 Let $\delta,\,\mu >0$ be such that $(u_{\delta,\mu },\,v_{\delta,\mu })$ is a positive solution of (1.1) in the annulus $A_{\frak a, \frak b}$. We set

\[ \mathcal{E}_{\frak s} ( r) = u^\prime v^\prime +\frac{1}{\frak s (p+1)}v^{p+1}+\frac{1}{\frak s (q+1)}u^{q+1}, \quad \frak s>0. \]

Then $\mathcal {E}_\lambda ( r)$ is monotone decreasing in $[\frak a,\, \tau _* ]\cup [\tau ^*,\, \frak b)$, and it is increasing in $[\tau _*,\,\tau ^*]$. Further,

\begin{align*} E_1^\lambda ( r) & =\, r^{2(\tilde N_{-}-1)} \; \mathcal{E}_\lambda ( r) \ \textrm{in}\ [\frak a, \tau_*]\\ E_1^\Lambda (r) & =\, r^{2(\tilde N_{-}-1)}\; \mathcal{E}_\Lambda (r) \;\;\textrm{ in } [\tau^*, \frak b) \end{align*}

are monotone increasing functions.

Proof. We recall that in $[\frak a,\, \tau _* ]$ we have $u^\prime,\, v^\prime \ge 0$, $u^{\prime \prime }\le 0$, and

\begin{align*} \textstyle u^{\prime\prime}v^\prime +\frac{v^p v^\prime}{\lambda}={-} \frac{(\tilde{N}_-{-}1)u^\prime v^\prime}{ r}, \quad v^{\prime\prime}u^\prime +\frac{u^q u^\prime}{\lambda}={-} \frac{(\tilde{N}_-{-}1)u^\prime v^\prime}{ r}. \end{align*}

In $[\tau ^*,\, \frak b)$ we have $u^\prime,\, v^\prime <0$ and

\[ u^{\prime\prime}v^\prime +\frac{v^p v^\prime}{\Lambda} \ge u^{\prime\prime}v^\prime +\frac{v^p v^\prime}{\sigma}={-}\frac{(\hat{N}-1)u^\prime v^\prime}{ r} \ge - \frac{(\tilde{N}_-{-}1)u^\prime v^\prime}{ r}, \]

where $(\sigma,\, \hat {N})$ is either $(\lambda,\, N)$ or $(\Lambda,\, \tilde {N}_+)$, and analogously $v^{\prime \prime }u^\prime +\frac {u^q u^\prime }{\Lambda } \ge - \frac {(\tilde {N}_--1)u^\prime v^\prime }{ r}$. Thus, for $\kappa =2(\tilde {N}_- -1)$, we obtain in $[\tau ^*,\, \frak b)$,

\begin{align*} ({E}^{\Lambda}_1)^\prime (r) & = \kappa r^{\kappa -1} \left\{ u^\prime v^\prime +\frac{v^{p+1}}{\Lambda (p+1)}+\frac{u^{q+1}}{\Lambda (q+1)} \right\}\\ & \quad+r^\kappa\left\{ u^{\prime\prime} v^\prime +u^\prime v^{\prime\prime} +\frac{v^{p}v^\prime}{\Lambda}+\frac{u^{q}u^\prime}{\Lambda} \right\} \ge 0, \end{align*}

while in $(\frak a,\, \tau _*]$ it yields

\begin{align*} ({E}^{\lambda}_1)^\prime (r) & = \kappa r^{\kappa -1} \left\{ u^\prime v^\prime +\frac{v^{p+1}}{\lambda (p+1)}+\frac{u^{q+1}}{\lambda (q+1)} \right\}\\ & \quad +r^\kappa\left\{ u^{\prime\prime} v^\prime +u^\prime v^{\prime\prime} +\frac{v^{p}v^\prime}{\lambda}+\frac{u^{q}u^\prime}{\lambda} \right\} \ge 0. \end{align*}

On the other hand, in $[\frak a,\, \tau _* ]$ one writes

\[ u^{\prime\prime}v^\prime +\frac{v^p v^\prime}{\lambda} \le - \frac{(\tilde{N}_+{-}1)u^\prime v^\prime}{ r}, \quad v^{\prime\prime}u^\prime +\frac{u^q u^\prime}{\lambda} \le - \frac{(\tilde{N}_+{-}1)u^\prime v^\prime}{r}, \]

while in $[\tau ^*,\, \frak b)$,

\[ u^{\prime\prime}v^\prime +\frac{v^p v^\prime}{\lambda}\le u^{\prime\prime}v^\prime +\frac{v^p v^\prime}{\sigma} \le - \frac{(\tilde{N}_+{-}1) u^\prime v^\prime}{ r}, \quad v^{\prime\prime}u^\prime +\frac{u^q u^\prime}{\lambda} \le - \frac{(\tilde{N}_+{-}1)u^\prime v^\prime}{ r}, \]

so anyways $\mathcal {E}_\lambda ^\prime (r) \le - \frac {2(\tilde {N}_+-1)}{ r}u^\prime v^\prime \le 0$.

Let us now analyse the interval $[\tau _* ,\, \tau ^*]$; to fix the ideas say $\tau _*=\tau _v$ and $\tau ^*=\tau _u$. Then, in $[\tau _v,\,\tau _u]$ we have $u^\prime >0$ and $v^\prime <0$ (recall that $\tau ^*\le \frak b$). Hence

\begin{align*} & u^{\prime\prime}v^\prime +\frac{v^p v^\prime}{\lambda} \ge - \frac{(\tilde{N}_+{-}1)u^\prime v^\prime}{ r},\\ & v^{\prime\prime}u^\prime +\frac{u^q u^\prime}{\lambda}\ge v^{\prime\prime} u^\prime +\frac{u^q u^\prime}{\sigma}={-} \frac{(\hat{N}-1)u^\prime v^\prime}{ r} \ge - \frac{(\tilde{N}_+{-}1)u^\prime v^\prime}{ r}. \end{align*}

Thus, for $\kappa =2(\tilde {N}_+-1)$ we get $\mathcal {E}_{\lambda }^\prime (r) \ge - \frac {\kappa }{ r} \,u^\prime v^\prime \ge 0$. The reasoning is analogous when instead $\tau _*=\tau _u\,$ and $\tau ^*=\tau _v$.

As a consequence of the energy, we derive some useful shooting estimates.

Lemma 2.4 Let $\delta,\,\mu >0$ be such that $(u_{\delta,\mu },\,v_{\delta,\mu })$ is a positive solution of (1.1) in the annulus $A_{\frak a, \frak b}$. Then, for some $C_0 = C_0(\frak a,\, \frak b,\, N,\, \lambda,\, \Lambda,\, p,\, q)$, the following estimates hold$:$

(2.13)\begin{gather} \tau_v^{\tilde N_-} \ge \,C_0 \; \frac{ \mu^{\frac{1}{q+1}}}{\delta^{\frac{q}{q+1}}}, \end{gather}
(2.14)\begin{gather} \tau_u^{\tilde N_-} \ge\, C_0 \; \frac{ \delta^{\frac{1}{p+1}}}{\mu^{\frac{p}{p+1}}}. \end{gather}

Proof. By proposition 2.3 we have $\mathcal {E}_\lambda (r) \leq \mathcal {E}_\lambda (\frak a)$ for all $r\le \tau _*$, that is,

(2.15)\begin{equation} \frac{1}{p+1}v^{p+1}(r)+\frac{1}{q+1}u^{q+1}(r) \le \lambda \,\delta \mu \quad \textrm{for all}\ [\frak a, \tau_*], \end{equation}

since $u^\prime v^\prime \ge 0$ in $[\frak a,\, \tau _*]$. Observe that (2.15) implies

(2.16)\begin{align} u^q(r) \le C (\delta \mu)^{\frac{q}{q+1}} \quad \textrm{for all}\, r\in [\frak a, \tau_v], \quad v^p(r) \le C (\delta \mu)^{\frac{p}{p+1}}\quad \textrm{for all}\, r\in [\frak a, \tau_u], \end{align}

since $\tau _u$ (resp. $\tau _v$) is the maximum point for $u$ (resp. $v$) in $[\frak a,\, \rho _u]$ (resp. in $[\frak a,\, \rho _v]$).

Next we write the equation for $v$ in $[\frak a,\, \tau _v]$ as $(v^\prime r^{\tilde {N}_- -1})^\prime = - \frac {u^q}{\lambda }r^{\tilde N_- -1}$, and so

(2.17)\begin{equation} 0=v^\prime (\tau_v)\, \tau_v^{\tilde N_-{-}1}=\mu \, {\frak a}^{\tilde N_-{-}1}- \frac{1}{ \lambda }\int_{\frak a}^{\tau_v} r^{\tilde N_-{-}1} {u^q}(r) \,{\rm d}r . \end{equation}

By combining the estimate for $u$ in (2.16) and equality (2.17) we obtain

\[ \mu =\frac{1}{\lambda {\frak a}^{\tilde N_-{-}1}} \int_{\frak a}^{\tau_v} r^{\tilde N_-{-}1} u^q(r) \,{\rm d}r \le \frac{C}{\tilde{N}_-} (\delta \mu)^{\frac{q}{q+1}} \, \tau_v^{\tilde N_-}, \]

from which we derive (2.13).

Analogously, in $[\frak a,\, \tau _u]$ one writes $(u^\prime r^{\tilde {N}_- -1})^\prime = - \frac {v^p}{\lambda }r^{\tilde N_- -1}$ and so

(2.18)\begin{equation} 0=u^\prime (\tau_u)\, \tau_u^{\tilde N_-{-}1} ={\delta}\,{\frak a}^{\tilde N_-{-}1} - \frac{1}{ \lambda }\int_{\frak a}^{\tau_u} r^{\tilde N_-{-}1} {v^p}(r)\, {\rm d}r . \end{equation}

Thus, using the estimate for $v$ in (2.16) into (2.18) one reaches (2.14) out.

Note that if the product $\delta \mu \to 0$, then $u (\tau _*),\, v (\tau _*)\to 0$. Indeed, by (2.15),

(2.19)\begin{equation} \frac{1}{p+1}v^{p+1}(\tau_*)+\frac{1}{q+1} u^{q+1}(\tau_*)\le \lambda \,\delta \mu \to 0\ \textrm{whenever}\ \delta\mu\to 0. \end{equation}

We show in the next corollary that such a property is never true for solutions of (1.1), by verifying the lower estimate in (1.2).

Corollary 2.5 Let $\delta,\,\mu >0$ be such that $(u_{\delta,\mu },\,v_{\delta,\mu })$ is a positive solution of (1.1) in the annulus $A_{\frak a, \frak b}$. Then

(2.20)\begin{equation} \delta, \mu \ge C(\frak a, \frak b, N, \lambda, \Lambda, p, q)>0. \end{equation}

Proof. Set $C_1=({\frak {b}^{\tilde N_-}}{/C_0})^{q+1}$ and $C_2=({\frak {b}^{\tilde N_-}}{/C_0})^{p+1}$. By (2.13) and (2.14) we derive

\[ \mu\le C_1 \,\delta^{q} \quad and \quad \delta\le C_2\, \mu^{p}. \]

The combination of these two estimates then implies

\[ \delta^{pq-1} \ge \frac{1}{C_1^p C_2} , \quad \mu^{pq-1} \ge \frac{1}{C_1 C_2^q}, \]

which gives us the lower bound (2.20).

3. A priori bounds and blow-up

In the first part of this section we show that there exists $C>0$ such that

\[ \|u\|_{L^\infty(A_{\frak a , \frak b})},\quad \|v\|_{L^\infty(A_{\frak a , \frak b})} \le C \]

for all positive solution pairs $(u,\,v)$ of problem (1.1) in the annulus $A_{\frak a , \frak b}$.

Our strategy is to combine concavity properties with a uniform bound on the shooting parameters. On the one hand, from the concavity of $u$ and $v$ in $[\frak a ,\, \tau _u]$ and $[\frak a,\, \tau _v]$ respectively, for any solution pair of (1.1) in the annulus $A_{\frak a , \frak b}$ we have

(3.1)\begin{equation} \|u\|_\infty =u(\tau_u)\le \delta (\frak b - \frak a), \quad \|v\|_\infty=v(\tau_u)\le \mu (\frak b - \frak a). \end{equation}

Then it only remains to prove the following estimate by above for $\delta$ and $\mu$. Combined with (2.20), this establishes the estimates in (1.2).

Lemma 3.1 Given $0<\frak a <\frak b <+\infty$, let $\delta,\,\mu >0$ be such that $(u_{\delta,\mu },\,v_{\delta,\mu })$ is a positive solution of (1.1) in the annulus $A_{\frak a, \frak b}$. Then $\delta \le C$ and $\mu \le C$ for some universal $C=C(\frak a,\, \frak b,\, \lambda,\,\Lambda,\, p,\, q,\, N)$.

Proof. We fix the annulus $A_{\frak a , \frak b}$ with $0<\frak a <\frak b <+\infty$. Assume by contradiction that there exists a sequence of shooting parameters $(\delta _k ,\, \mu _k)$ with respective solutions $(u_k,\,v_k)$ of (2.2) in $A_{\frak a , \frak b}$ such that at least one of them converges to infinity, that is $\delta _k\to +\infty$ or $\mu _k\to +\infty$. The first step is to show that both of them approach infinity in this case. Step (1) $\delta _k\to +\infty$ and $\mu _k \to +\infty$.

Assume on the contrary that either $\delta _k\to \infty$ or $\mu _k\to \infty$, and the other one is bounded. To fix the ideas we suppose $\delta _k\to +\infty$ and $\mu _k\le C$ for all $k$. Then, by (2.14) we obtain $\frak b \ge \tau _u \to +\infty$, which is impossible since the annulus $A_{\frak a, \frak b}$ is fixed. Analogously, if $\mu _k\to +\infty$ and $\delta _k\le C$ for all $k$, one finds the absurdity $\frak b \ge \tau _v \to +\infty$ by (2.13).

We set

\[ w_k (r):=\frac{1}{p+1}\,v_k^{p+1} (r)+\frac{1}{q+1}\,u_k^{q+1}(r). \]

Step (2) $w_k(\tau _*^k)\to +\infty$ and $w_k(\tau ^*_k)\to +\infty$. We already know that the energy $E_1^{\lambda }$ is increasing in $[\frak a,\, \tau _*^k]$ by proposition 2.3, and the annulus is fixed so that $\frak a\le \tau ^k_*\le \frak b$ for all $k$. Thus,

(3.2)\begin{equation} w_k(\tau_*^k)\ge C_0\,\delta_k\mu_k\ {\rm for\ all}\ k,\; {\rm where}\ C_0=C_0(\frak a, \frak b, N, \lambda, \Lambda, p, q). \end{equation}

On the other hand, $w_k(\tau ^*_k) \ge w_k(\tau _*^k)$ by proposition 2.3, since the energy $\mathcal {E}_\lambda$ is increasing in $[\tau _*^k,\, \tau ^*_k]$. Now, by Step 1 we have $\delta _k\mu _k \to +\infty$. This proves Step 2. Step (3) $\|u_k\|_\infty \to +\infty$ and $\|v_k\|_\infty \to +\infty$. By Step 2 we know that at least one of the norms sequences satisfies $\|u_k\|_\infty \to +\infty$ or $\|v_k\|_\infty \to +\infty$. Without loss we assume $\|u_k\|_\infty \to +\infty$.

Suppose by contradiction that $\|v_k\|_{L^\infty (A)} \leq C$ is bounded in the annulus $A=A_{\frak a, \frak b}$. Recall that $u_k$ solves $-\mathcal {M}^\pm (D^2 u_k)=v_k^p$ in $A$, with $u_k=0$ on $\partial A$. Now we are going to use the Alexandrov-Bakelman-Pucci estimate (ABP), which can be found for instance in [Reference Caffarelli and Cabré3]. By ABP we then get $u_k\le C$ in $A_{\frak a, \frak b}$, which is impossible. Thus, $\|v_k\|_\infty \to +\infty$.

Step (4) $\lim _{k \to \infty } {\tau ^*_k}= \frak b$. Otherwise we may write $\frak b>(1+\epsilon )\tau ^*_k$ for all $k$, up to a subsequence, for some $\epsilon >0$. In particular, $u_k,\, v_k$ are both positive and decreasing in the interval $[\tau _k^*,\,(1+\epsilon )\tau _k^*]$.

We consider the annulus $A_k=A_{\tau _k^*, r}$. Then $U_k=t_ku_k$ and $v_k$ solve

\[ -\mathcal{M}^\pm (D^2 U_k) \ge t_k v_k^p, \; -\mathcal{M}^\pm (D^2 v_k) \ge u_k^q \ge t_k\, U_k^{1/p} \; {\rm in}\ A_k, \; U_k,v_k>0\ {\rm in}\ A_k; \]

while $u_k$ and $V_k=s_kv_k$ satisfy

\[ -\mathcal{M}^\pm (D^2 u_k) \ge v_k^{p}\ge s_k \, V_k^{1/q},\quad -\mathcal{M}^\pm (D^2 V_k) \ge s_k u_k^q\quad {\rm in}\ A_k,\quad u_k,V_k> 0 in A_k, \]

where

\[ t_k=\min_{A_k} u_k ^{\frac{pq-1}{p+1}}=u_k ^{\frac{pq-1}{p+1}} (r), \quad s_k=\min_{A_k} v_k ^{\frac{pq-1}{q+1}}=v_k^{\frac{pq-1}{q+1}}(r). \]

Hence, by the definition of first eigenvalue $\lambda _1^+(\mathcal {D})=\lambda _1^+(\mathcal {M}^\pm,\, \mathcal {M}^\pm,\, \mathcal {D})$ for the fully nonlinear Lane-Emden systems in [Reference Moreira dos Santos, Nornberg, Schiera and Tavares13], we have

(3.3)\begin{equation} u_k^{\frac{pq-1}{p+1}} (r),\, v_k^{\frac{pq-1}{q+1}} (r) \le \lambda_1^+( A_k)\le \lambda_1^+(A_{\tau_k^*, i_k}) \le\frac{1}{{\frak a }^2} \lambda_1^+\left(A_{1,1+\frac{\epsilon}{2}}\right) =:C_1, \end{equation}

for all $r\in I_k=[i_k,\, j_k]$, where $i_k:=\left (1+\frac {\epsilon }{2}\right )\tau _k^*$  and $j_k:=(1+\epsilon )\tau _k^*$, since $\epsilon >0$ is fixed. Recall the energy $E_1^{\Lambda }$ is increasing in $[\tau ^*_k,\,\frak b]$ by proposition 2.3. Thus, ${E}_1^{\Lambda }(\tau _k^*)\le {E}_1^{\Lambda } (r)$ for all $r\in I_k$. Hence, this, (3.2), and (3.3) give us for $r\in I_k$

(3.4)\begin{equation} \textstyle (u_k^\prime v_k^\prime)(r) \ge \frac{1}{\Lambda} \left( \frac{\frak a}{\frak b}\right)^{2(\tilde{N}_-{-}1)} w_k(\tau_k^*)-\frac{1}{\Lambda} w_k(r)\ge c_0 \,\delta_k\mu_k \end{equation}

for large $k$. Recall that $u_k^\prime <0$ and $v_k^\prime <0$ in $I_k$. In particular, $u_k^\prime (r)$ or $v_k^\prime (r)$ goes to $-\infty$ as $k\to \infty$, for all $r\in I_k$.

Observe that $(u_k^\prime )^2 (r) +(v_k^\prime )^2 (r)\ge 2 (u_k^\prime v_k^\prime )(r)\ge 2c_0\, \delta _k \mu _k$ for all $r\in I_k$. Then for each $k$ we have either

\[ |\mathcal{C}_k|=| \, \{ r\in I_k : (u_k^\prime)^2 (r) \ge c_0\, \delta_k \mu_k \}\, |\ge \frac{1}{2} |I_k| \]

or

\[ |\mathcal{D}_k|=| \, \{ r\in I_k : (v_k^\prime)^2 (r) \ge c_0\, \delta_k \mu_k \}\, |\ge \frac{1}{2} |I_k|. \]

So we can extract a subsequence for which one of the two situations occurs, namely the first one $|\mathcal {C}_k|\ge \frac {1}{2} |I_k|$.

Next, the Fundamental Theorem of Calculus and the Lebesgue integration for this subsequence imply

\begin{align*} u_k(i_k) & \ge u_k(i_k)-u_k(\frak b)= \int^{\frak b}_{i_k} ({-}u^\prime_k)\,\geq\int_{\mathcal{C}_k} ({-}u^\prime_k) \\ & = |\mathcal{C}_k|\, (c_0 \, \delta_k \mu_k)^{1/2} \ge {\frac{1}{2}}|I_k|\, (c_0 \, \delta_k \mu_k)^{1/2} \ge {\frac{\epsilon}{4}}\frak a\, (c_0 \, \delta_k \mu_k)^{1/2}\to +\infty \end{align*}

as $k\to +\infty$ by using the fact that $\epsilon >0$ is fixed fulfilling $|I_k|=\frac {\varepsilon }{2}\tau _k^*\ge \frac {\varepsilon }{2}\frak a$. Hence we reach a contradiction with the estimate (3.3). The case when $|\mathcal {D}_k|\ge \frac {1}{2} |I_k|$ is analogous.

Step (5) Conclusion

We reach a contradiction by putting together theorem 2.2 with Step 4, since $\frak b >\frak a$.

We point out that, in order to obtaining a priori bounds, it is essential to have a fixed minimum distance between the radii of the annulus, that is $\frak b - \frak a \ge c_0$, as shows the next proposition.

Proposition 3.2 If $\frak b\to \frak a \,$ then $u (\tau _u),\, v (\tau _v)\to +\infty$.

Proof. Let $(u,\,v)$ be a solution pair of (2.2) and denote $A=A_{\frak a ,\frak b}$. We set $U=tu$, with $t>0$, and write

\[ \begin{cases} -\mathcal{M}^\pm (D^2 U) \le t \,v^p\\ \;-\mathcal{M}^\pm (D^2 v)\le u^{q-\frac{1}{p}}\,u^{\frac{1}{p}} \le t^{-\frac{1}{p}}\, \|u\|_\infty^{\frac{pq-1}{p}} U^{\frac{1}{p}} = t \, U^{\frac{1}{p}} \end{cases} \]

since $pq>1$, as long as we choose $t=\|u\|_{L^\infty ( A)}^{\frac {pq-1}{p+1}}$. Hence, by applying the ABP estimate in the domain $A$ for each of the scalar PDE inequalities above we obtain

\[ \sup_A U \le C\, t\, \sup_A v^p \,|A|^{1/N} , \quad \sup_A v \le C\, t\, \sup_A U^{\frac{1}{p}} \,|A|^{1/N}. \]

Then by taking the $1/p$ power of the inequality above for $U$, and replacing it into the inequality satisfied by $v$, one finds

\[ \sup_A v\le C^{\frac{p+1}{p}} t^{\frac{p+1}{p}} \sup_A v^+ \; |A|^\frac{p+1}{Np} \quad \Rightarrow \quad t \ge \frac{1}{C |A|^{1/p}} \to \infty \;\; \textrm{ as }\, |A|\to 0. \]

On the other hand, by writing $v^p=v^{p-\frac {1}{q}}\, v^{\frac {1}{q}}\le \|v\|_\infty ^{\frac {pq-1}{q}}v^{\frac {1}{q}}$ and arguing similarly with the pair $(u,\,sV)$, where $V=sv$ for $s=\|v^+\|_{L^\infty (A)}^{\frac {pq-1}{q+1}}$ we get $v(\tau _v)=\|v^+\|_{L^\infty (A)} \to \infty$ as $|A|\to 0$ as well.

4. Existence result

We are going to prove the existence of a classical solution in the annulus $A_{\frak a , \frak b}$ so that $u=v=0$ on $\partial A_{\frak a , \frak b}$. The tactics is to use a suitable Krasnosel'skii degree theoretical argument, similar to those employed in [Reference Dalmasso4, Reference de Figueiredo, Lions and Nussbaum5].

Proposition 4.1 Let $K$ be a cone in a Banach space $X$ and $\Phi : K \to K$ a completely continuous operator such that $\Phi (0) = 0$. For $\mathcal {B}_{\frak s} =\{ w\in K : \|w\| < \frak s\}$, assume that there exist $0 < r < R$ so that

  1. (i) $w \neq \theta \Phi (w)$ for all $\theta \in [0,\, 1]$ and $w \in K$ such that $\|w\| = r$;

  2. (ii) there exists a compact map $F: \overline {\mathcal {B}}_R \times [0,\,\infty ) \to K$ with $F(w,\,0) = \Phi (w)$, $F(w,\,t) \neq w$ for $\|w\| = R$ and $0 \leq t < \infty$, while $F(w,\, t) = w$ has no solution $w \in \overline {\mathcal {B}}_R$ for $t\geq t_0$.

Then if $\mathcal {U} = \{w\in K: r<\|w\| < R\}$, one has

\[ i_K (\Phi, \mathcal{B}_R) = 0,\quad i_K(\Phi, \mathcal{B}_r) = 1,\quad i_K(\Phi,\mathcal{U}) ={-}1, \]

where $i_K(\Phi,\,\mathcal {W})$ is the index of $\Phi$ on $\mathcal {W}$. In particular, $\Phi$ has a fixed point in $\mathcal {U}$.

Proof. Proof of the existence in the annulus via degree theory

We consider $X=C(\bar {A}_{\frak a , \frak b})\times C(\bar {A}_{\frak a , \frak b})$, with the norm $\|(u,\,v)\|:=\max \{ \|u\|_{L^\infty (A_{\frak a , \frak b})},\, \, \|v\|_{L^\infty (A_{\frak a , \frak b})} \}$.

Let $K=\{ (u,\,v)\in X : u,\,v\ge 0 \}$, and denote $\mathcal {B}_{\frak s} =\{ (u,\,v)\in K : \|(u,\,v)\| < \frak s\}$.

For any $(u,\,v)\in K$ and $t\ge 0$ we define the operator $F(t,\,u,\,v)=(U,\,V)$, with $U=U_t$ and $V=V_t$ , as the unique solution of the problem

\[ -\mathcal{M}^\pm (D^2 U)= (v+t)^p, \quad -\mathcal{M}^\pm (D^2 V)= (u+t)^q \textrm{ in } A_{\frak a , \frak b}, \quad U,V=0 \textrm{ on } \partial A_{\frak a , \frak b}. \]

In particular, $(U,\,V)\in K$ by the maximum principle for scalar equations. We denote $\Phi (\cdot )=F(0,\, \cdot )$. Our goal is to show that $\Phi$ has a positive fixed point $(u,\,v)$.

Let us verify the hypotheses in proposition 4.1.

  1. (i) We take $(u,\,v)\in K$ such that $\|(u,\,v)\|=r$, for some $r>0$ to be chosen, and $(u,\,v)=\theta \Phi (u,\,v)$, $\theta \in (0,\,1]$. In particular, $\|u\|_\infty,\, \, \|v\|_\infty \le r$. As before, we set $\tilde u=\kappa u$ and write

    \[ \begin{cases} -\mathcal{M}^\pm (D^2 \tilde u) = \theta \kappa v^p \le \kappa v^p \\ \;-\mathcal{M}^\pm (D^2 v)= \, \theta u^{q-\frac{1}{p}}\,u^{\frac{1}{p}} \le \kappa^{-\frac{1}{p}}\, \|u\|_\infty^{\frac{pq-1}{p}} (\tilde u)^{\frac{1}{p}} = \kappa (\tilde u)^{\frac{1}{p}} \end{cases} \]
    since $pq>1$, as long as $\kappa :=\|u\|_{L^\infty ( A_{\frak a , \frak b})}^{\frac {pq-1}{p+1}} \le r^{\frac {pq-1}{p+1}}$. Then we choose $r>0$ small enough such that $r^{\frac {pq-1}{p+1}}<\lambda _1^+ (\mathcal {M}^\pm,\, \mathcal {M}^\pm,\,A_{\frak a , \frak b})$. Since $u,\,v=0$ on $\partial A_{\frak a , \frak b}$, then by the maximum principle for the Lane-Emden system for fully nonlinear operators with weights in [Reference Moreira dos Santos, Nornberg, Schiera and Tavares13] we get $u,\,v\le 0$ in $A_{\frak a , \frak b}$. Since $(u,\,v)\in K$ then $u,\,v\equiv 0$ in $A_{\frak a , \frak b}$, but this contradicts the fact that $\|(u,\,v)\|=r>0$.
  2. (ii) Case 1: $t\ge t_0$

If $F_t$ has a fixed point $(u_t,\,v_t)$ then $\tilde u_t=\kappa u_t$ and $v_t$ solve

\[ \begin{cases} -\mathcal{M}^\pm (D^2 \tilde u_t)=\kappa (v_t+t)^p \ge \kappa v_t^p \\ -\mathcal{M}^\pm (D^2 v_t)= \, (u_t+t)^{q-\frac{1}{p}}\,(u_t+t)^{\frac{1}{p}} \ge t_0^{\frac{pq-1}{p}} \kappa^{-\frac{1}{p}} (\tilde u_t)^{\frac{1}{p}} = \kappa (\tilde u_t)^{\frac{1}{p}} \end{cases} \]

with $\tilde u_t,\,v_t>0$ in $A_{\frak a, \frak b}$ , where

\[ \kappa= t_0 ^{\frac{pq-1}{p+1}}. \]

Now, the definition of first eigenvalue $\lambda _1^+(A_{\frak a , \frak b})=\lambda _1^+(\mathcal {M}^\pm,\, \mathcal {M}^\pm,\,A_{\frak a , \frak b})$ for the fully nonlinear weighted Lane-Emden system in [Reference Moreira dos Santos, Nornberg, Schiera and Tavares13] yields

\[ \kappa \le \lambda_1^+( A_{\frak a, \frak b}). \]

Thus we choose $t_0$ large enough such that $\kappa =2 \lambda _1^+( A_{\frak a, \frak b})$ in order to derive a contradiction.

Case 2: $t\le t_0$

In this case we infer that lemma 3.1 immediately produces a priori bounds for the fixed points of $F(t,\,\cdot )$ in bounded intervals of $t$, that is, for each fixed $t_0>0$ it will give $\|(u_t ,\,v_t)\|\le C(t_0)$ for all solutions $u=u_t$, $v=v_t$ of $F(t,\,u,\,v)=(u ,\,v)$ with $t\in [0,\,t_0]$. Indeed, we define the function

\[ w_t (r):=\frac{1}{p+1}\,|v_t +t|^{p+1} (r)+\frac{1}{q+1}\,|u_t +t|^{q+1}(r)\quad {\rm for}\ t\ge 0. \]

Then Step 1, Step 2 hold for $t>0$ exactly as in the case $t=0$. Moreover, the symmetry result in theorem 2.2 applies as well (and so Step 5) since we maintain the zero boundary condition $u_t=v_t=0$ on $\partial A_{\frak a, \frak b}$. On the other hand, a positive solution $(u_t,\, v_t)$ of

\[ -\mathcal{M}^\pm (D^2 u_t)= (v_t+t)^p, \quad -\mathcal{M}^\pm (D^2 v_t)= (u_t+t)^q \textrm{ in } A_{\frak a , \frak b}, \quad u_t , v_t=0 \textrm{ on } \partial A_{\frak a , \frak b} \]

produces a positive solution $(\tilde u_t ,\, \tilde v_ t)$, with $\tilde {u}_t =u_t +t$ and $\tilde {v}_t = v_t +t$, of

\[ -\mathcal{M}^\pm (D^2 \tilde{u}_t)= \tilde{v}_t^p, \quad -\mathcal{M}^\pm (D^2 \tilde{v}_t ) = \tilde{u}_t^q \textrm{ in } A_{\frak a , \frak b}, \quad \tilde{u}_t , \tilde{v}_t= t \textrm{ on } \partial A_{\frak a , \frak b} . \]

Thus, the proof of Step 4 in lemma 3.1 is unchangeable for $(\tilde u_t,\, \tilde v_t)$ in place of $(u,\,v)$, since we only used in such a proof that the solution is nonnegative at $\frak b$.

Therefore, it is enough to choose $R=2C(t_0)$ in order to conclude that $F_t$ does not have fixed points satisfying $\|(u_t,\,v_t)\|= R$ whenever $t\le t_0$. The complementary case $\|(u_t,\,v_t)\|= R$ with $t\ge t_0$ is automatically fulfilled by Case 1.

Acknowledgements

The authors would like to thank the referee for her/his comments and for bringing the attention to references [Reference Birindelli, Galise, Leoni and Pacella2, Reference Quaas and Sirakov15].

L. Maia was supported by FAPDF, CAPES, and CNPq grant 309866/2020-0 (Brazil). Ederson Moreira dos Santos was partially supported by CNPq grant 309006/2019-8. G. Nornberg was partly supported by FAPESP grant 2018/04000-9, São Paulo Research Foundation; by Vicerrectoría de Investigación y Desarrollo de la Universidad de Chile grant UI-001/21, and by Centro de Modelamiento Matemático (CMM), ACE210010 and FB210005, BASAL funds for centres of excellence from ANID-Chile, CMM-DIM, CNRS IRL 2807, Universidad de Chile.

References

Bandle, C., Coffman, C. and Marcus, M.. Nonlinear elliptic problems in annular domains. J. Differ. Equ. 69 (1987), 322345.Google Scholar
Birindelli, I., Galise, G., Leoni, F. and Pacella, F.. Concentration and energy invariance for a class of fully nonlinear elliptic equations. Calc. Var. Partial Differ. Equ. 57 (2018), 158.Google Scholar
Caffarelli, L. A. and Cabré, X.. Fully nonlinear elliptic equations. American Mathematical Society Colloquium Publications, vol. 43 (Providence, RI: American Mathematical Society, 1995).Google Scholar
Dalmasso, R.. Positive solutions of nonlinear elliptic systems. Ann. Polon. Math. 58 (1993), 201212.Google Scholar
de Figueiredo, D. G., Lions, P.-L. and Nussbaum, R. D.. A priori estimates and existence of positive solutions of semilinear elliptic equations. J. Math. Pures Appl. 61 (1982), 4163.Google Scholar
dos Santos, E. M. and Nornberg, G.. Symmetry properties of positive solutions for fully nonlinear elliptic systems. J. Differ. Equ. 269 (2020), 41754191.Google Scholar
Dunninger, D. and Wang, H.. Existence and multiplicity of positive solutions for elliptic systems. Nonlinear Anal. Theory, Methods Appl. 29 (1997), 10511060.Google Scholar
Felmer, P. L. and Quaas, A.. Positive radial solutions to a ‘semilinear’ equation involving the Pucci's operator. J. Differ. Equ. 199 (2004), 376393.CrossRefGoogle Scholar
Galise, G., Leoni, F. and Pacella, F.. Existence results for fully nonlinear equations in radial domains. Commun. Partial Differ. Equ. 42 (2017), 757779.Google Scholar
Gidas, B., Ni, W. M. and Nirenberg, L.. Symmetry and related properties via the maximum principle. Commun. Math. Phys. 68 (1979), 209243.Google Scholar
Lin, S.-S. and Pai, F.-M.. Existence and multiplicity of positive radial solutions for semilinear elliptic equations in annular domains. SIAM J. Math. Anal. 22 (1991), 15001515.CrossRefGoogle Scholar
Maia, L. and Nornberg, G.. Radial solutions for Hénon type fully nonlinear equations in annuli and exterior domains. Math. Eng. 4 (2022), 118.Google Scholar
Moreira dos Santos, E., Nornberg, G., Schiera, D. and Tavares, H.. Principal spectral curves for Lane-Emden fully nonlinear type systems and applications. Calc. Var. 62 (2023), 138.Google Scholar
Ni, W.-M. and Nussbaum, R. D.. Uniqueness and nonuniqueness for positive radial solutions of $\Delta u+f(u,\,r)=0$. Commun. Pure Appl. Math. 38 (1985), 67108.Google Scholar
Quaas, A. and Sirakov, B.. Existence and non-existence results for fully nonlinear elliptic systems. Indiana Univ. Math. J. 58 (2009), 751788.Google Scholar
Quaas, A. and Sirakov, B.. Existence results for nonproper elliptic equations involving the Pucci operator. Commun. Partial Differ. Equ. 31 (2006), 9871003.Google Scholar
Troy, W. C.. Symmetry properties in systems of semilinear elliptic equations. J. Differ. Equ. 42 (1981), 400413.Google Scholar