- Research
- Open access
- Published:
Existence of groundstates for Choquard type equations with Hardy–Littlewood–Sobolev critical exponent
Boundary Value Problems volume 2021, Article number: 102 (2021)
Abstract
In this paper, we consider a class of Choquard equations with Hardy–Littlewood–Sobolev lower or upper critical exponent in the whole space \(\mathbb{R}^{N}\). We combine an argument of L. Jeanjean and H. Tanaka (see (Proc. Am. Math. Soc. 131:2399–2408, 2003) with a concentration–compactness argument, and then we obtain the existence of ground state solutions, which extends and complements the earlier results.
1 Introduction
In this paper, we consider the following nonlinear Choquard problem:
where \(N\geq 3\), \(0<\alpha <N\), \(I_{\alpha }\) is a Riesz potential
with \(\Gamma (s)=\int _{0}^{+\infty }x^{s-1}e^{-x}\,dx\), \(s>0\), \(F\in C^{1}(\mathbb{R},\mathbb{R})\), and \(f:=F'\). Problem (P) can be studied by the variational method. It is the Euler–Lagrange equation of the functional
As we know, a large number of works have been devoted to the problem like (P). We refer the readers to [2, 4, 5, 7–10, 12–15] and the references therein.
Especially, in [8], under the following conditions:
- (MS1):
-
\(f\in C(\mathbb{R},\mathbb{R})\) and there exists \(C>0\) such that, for every \(s\in \mathbb{R}\),
$$ \bigl\vert sf(s) \bigr\vert \leq C \bigl( \vert s \vert ^{\frac{N+\alpha }{N}}+ \vert s \vert ^{ \frac{N+\alpha }{N-2}} \bigr); $$ - (MS2):
-
$$ \lim_{s\to 0}\frac{F(s)}{ \vert s \vert ^{\frac{N+\alpha }{N}}}=0 \quad \text{and}\quad \lim _{s\to \infty }\frac{F(s)}{ \vert s \vert ^{\frac{N+\alpha }{N-2}}}=0; $$
- (MS3):
-
There exists \(s_{0}\in \mathbb{R}\setminus \{0\}\) such that \(F(s_{0})\neq 0\),
Moroz and Schaftingen proved the existence of a ground state solution. They employed a method introduced by L. Jeanjean, where a key step is to construct Palais–Smale sequences that satisfy asymptotically the Pohozǎev identity [3]. Note that assumption (MS2) is called subcritical. The constant \(\frac{N+\alpha }{N}\) is termed the lower-critical exponent and \(\frac{N+\alpha }{N-2}\) is termed the upper-critical exponent in the sense of Hardy–Littlewood–Sobolev inequality. In [14], Seok considered that problem (P) with \(F(u)\) is doubly critical, i.e.,
where \(p=\frac{N+\alpha }{N}\) and \(q=\frac{N+\alpha }{N-2}\). In this situation,
He showed the existence of nontrivial solutions of the nonlinear Choquard equation if \(\alpha +4< N\).
In the following we give our main result.
Theorem 1.1
Suppose that \(N\geq 3\), \(p,q\in [\frac{N+\alpha }{N},\frac{N+\alpha }{N-2} ]\) and
Then problem (P) has at least a ground state solution \(u\in H^{1}(\mathbb{R}^{N})\) provided one of the following conditions holds:
-
(1)
\(q=\frac{N+\alpha }{N-2}\), \(N\geq 4\), and \(p\in (\frac{N+\alpha }{N},\frac{N+\alpha }{N-2} )\) or \(N=3\) and \(p\in (1+\frac{\alpha }{N-2},\frac{N+\alpha }{N-2} )\);
-
(2)
\(p=\frac{N+\alpha }{N}\), \(N>4+\alpha \), and \(q\in (\frac{N+\alpha }{N},\frac{N+\alpha }{N-2} ]\) or \(N<4+\alpha \) and \(q\in (\frac{N+\alpha }{N},\frac{N+\alpha +4}{N} )\).
Remark 1.1
By conditions (1) and (2), it is easy to see that
and
respectively.
We denote the strong and the weak convergence in \(H^{1}(\mathbb{R}^{N})\) by → and ⇀, respectively. Set \(\|u\|:= [\int _{\mathbb{R}^{N}}(|\nabla u|^{2}+u^{2})\,dx ]^{1/2}\) and \(|u|_{q}:= [\int _{\mathbb{R}^{N}}|u|^{q}\,dx ]^{1/q}\) for \(1< q<\infty \). As for the Choquard equation, the Hardy–Littlewood–Sobolev inequality (see [6] and [7]) implies that the nonlocal term is well defined for \(u\in H^{1}(\mathbb{R}^{N})\) and Φ is continuously differentiable on \(H^{1}(\mathbb{R}^{N})\). Clearly, \(u=0\) is a trivial solution of (P). The solutions of (P) must verify the Pohozǎev identity, as was proved in [8, Corollary 3.5]. In our case, the Pohozǎev identity reads as follows:
We call any weak solution \(u\in H^{1}(\mathbb{R}^{N})\setminus \{0\}\) of (P) a groundstate of (P) if
Because problem (P) contains nonlocal critical nonlinearities in \(\mathbb{R}^{N}\), there are more difficulties to overcome. One difficulty is the embedding of \(H^{1}(\mathbb{R}^{N})\) into \(L^{q}(\mathbb{R}^{N})\) which is not compact, where \(2\leq q\leq 2^{*}\). As a consequence, the corresponding functional of (P) does not satisfy the Palais–Smale condition; we overcome the lack of compactness by studying the problem in \(H_{r}^{1}(\mathbb{R}^{N})\):
which embeds compactly into \(L^{q}(\mathbb{R}^{N})\). By standard arguments (the principle of symmetric criticality; see [11] or [16, Theorem 1.28]), one has that a critical point \(u\in H_{r}^{1}(\mathbb{R}^{N})\) for the functional \(\Phi (u)\) of (P) is also a critical point in \(H^{1}(\mathbb{R}^{N})\). We say that \(\{u_{n}\}\subset H^{1}(\mathbb{R}^{N})\) is a Pohozǎev–Palais–Smale sequence for \(\Phi \in C^{1}(H^{1}(\mathbb{R}^{N}),\mathbb{R})\) at level \(c\in \mathbb{R}\) if and only if \(\{u_{n}\}\) satisfies \(\Phi (u_{n})\to c\), \(\Phi '(u_{n})\to 0\), and \(\mathcal{P}(u_{n})\to 0\) as \(n\to \infty \). Following the strategy in [3], we obtain that there exists a Pohozǎev–Palais–Smale sequence for Φ, with c confined in a suitable range. To ensure that the mini-max levels stay in a certain range, we make some careful computation in Sect. 2, which is crucial in our approach. Then, we make full use of three limit formulas in the Pohozǎev–Palais–Smale sequence and prove that this sequence has a strongly convergent subsequence.
2 Preliminaries
In the following, we recall the well-known Hardy–Littlewood–Sobolev inequality (see in [6, Theorem 4.3]).
Proposition 2.1
(Hardy–Littlewood–Sobolev inequality)
Let \(r,s>1\) and \(\alpha \in (0,N)\) with \(\frac{1}{r}+\frac{1}{s}=1+\frac{\alpha }{N}\). Then there exists \(C>0\) depending only on N, α, r such that, for any \(f\in L^{r}(\mathbb{R}^{N})\) and \(g\in L^{s}(\mathbb{R}^{N})\),
Lemma 2.1
Suppose that \(N\geq 3\) and \(p,q\in [\frac{N+\alpha }{N},\frac{N+\alpha }{N-2} ]\). Let \(\{v_{n}\}\subset H_{r}^{1}(\mathbb{R}^{N})\) be a sequence converging weakly to 0 as \(n\to \infty \). If \(\frac{2(N+\alpha )}{N}< p+q<\frac{2(N+\alpha )}{N-2}\), then
Proof
Since \(v_{n}\rightharpoonup 0\) in \(H_{r}^{1}(\mathbb{R}^{N})\) and \(2<\frac{N(p+q)}{N+\alpha }<\frac{2N}{N-2}\), we have
see [16, Corollary 1.25]. By the Hardy–Littlewood–Sobolev inequality with \(r=\frac{p+q}{p}\frac{N}{N+\alpha }\) and \(t=\frac{p+q}{q}\frac{N}{N+\alpha }\), we obtain
where C is a positive constant. The proof is finished. □
Remark 2.1
p, q that appear in Theorem 1.1 satisfy
The constant \(\mathcal{S}_{1}\) is defined by
and is attained by the functions
where \(\varepsilon >0\) (see in [6]). We define a cutoff function \(\varphi (x)\) by
where \(B_{1}=\{x\in \mathbb{R}^{N}:|x|\leq 1\}\) and \(B_{2}=\{x\in \mathbb{R}^{N}:|x|\leq 2\}\). Set
Then we have the following lemma.
Lemma 2.2
Suppose that \(N\geq 3\) and \(p,q\in [\frac{N+\alpha }{N},\frac{N+\alpha }{N-2} ]\). Then there exists a positive constant \(\varepsilon _{0}\) such that if \(\varepsilon \in (0,\varepsilon _{0})\) then
provided \(q=\frac{N+\alpha }{N-2}\) and one of the following conditions holds:
-
(1)
\(N\geq 4\) and \(p\in [\frac{N+\alpha }{N},\frac{N+\alpha }{N-2} )\);
-
(2)
\(N=3\) and \(p\in (1+\frac{\alpha }{N-2},\frac{N+\alpha }{N-2} )\).
Proof
According to the definition of Φ and \(u_{\varepsilon }\), we have
where
and
By [1] (see also [16]), the following asymptotic estimates hold as ε is small enough:
and
where c is a positive constant.
In the following we estimate the convolution terms \(\mathcal{L}\), \(\mathcal{H}\), and \(\mathcal{M}\), respectively.
Case \(\mathcal{L}\):
where
and
By direct computation, we have, for \(\varepsilon <1\),
We also have
By the Hardy–Littlewood–Sobolev inequality with \(\frac{1}{r_{1}}+\frac{1}{s_{1}}=1+\frac{\alpha }{N}\) (see Proposition 2.1) and
we have
We also get
Combining (4), (6), and (7), we obtain
Noting that \(s_{1}>\frac{N}{(N-2)p}\),
Case \(\mathcal{H}\): It is easy to see that
where
For \(\varepsilon <1\), we have
By direct computation, we have
By the Hardy–Littlewood–Sobolev inequality with \(\frac{1}{r_{2}}+\frac{1}{s_{2}}=1+\frac{\alpha }{N}\) and
we have
By direct computation, we get
By the Hardy–Littlewood–Sobolev inequality with \(\frac{1}{r_{3}}+\frac{1}{s_{3}}=1+\frac{\alpha }{N}\) and
we have
We also get
Combining (9), (10), (11), and (12), we have
Noting that \(s_{2}<\frac{N}{N+\alpha -(N-2)p}\), we obtain
Case \(\mathcal{M}\): By the definition of \(u_{\varepsilon }(x)\), we have
where
and
By direct computation, we have, for \(\varepsilon <1\),
By the Hardy–Littlewood–Sobolev inequality with \(t=r=\frac{2N}{N+\alpha }\) and \(q=\frac{N+\alpha }{N-2}\), we have
We also get
Combining (14) and (15), we have
From (2), (3), (8), (13), and (16), we have
It is easy to see that there exist constants \(\bar{\varepsilon }>0\) and \(t_{2}>t_{1}>0\) such that, for all \(\varepsilon \in (0,\bar{\varepsilon })\) and \(t\in [0,t_{1}]\cup [t_{2},\infty )\),
In the following we may set \(t\in [t_{1},t_{2}]\) and \(\varepsilon \in (0,\bar{\varepsilon })\). Then we have
By the definition of \(h(\varepsilon )\) and (22), for ε small enough, we obtain
provided one of the following conditions holds:
-
(1)
\(N\geq 4\) and \(p\in [\frac{N+\alpha }{N},\frac{N+\alpha }{N-2} )\);
-
(2)
\(N=3\) and \(p\in (1+\frac{\alpha }{N-2},\frac{N+\alpha }{N-2} )\).
The proof is finished. □
The constant \(\mathcal{S}_{2}\) is defined by
and is attained by the functions
where \(\sigma >0\) (see [6, Theorem 4.3]).
Lemma 2.3
Suppose that \(N\geq 3\) and \(p,q\in [\frac{N+\alpha }{N},\frac{N+\alpha }{N-2} ]\). There exists a positive constant \(\sigma _{0}\) such that if \(\sigma >\sigma _{0}\) then
under \(p=\frac{N+\alpha }{N}\) and one of the following conditions:
-
(1)
\(N>4+\alpha \) and \(q\in (\frac{N+\alpha }{N},\frac{N+\alpha }{N-2} ]\),
-
(2)
\(N<4+\alpha \) and \(q\in (\frac{N+\alpha }{N},\frac{N+\alpha +4}{N} )\).
Proof
According to the definition of \(v_{\sigma }\), we have
and for
Especially, for \(r=p\), we have
We also get
and
By the definition of Φ and combining (17)–(21), we obtain
where \(c_{1}\), \(c_{2}\), and \(c_{3}\) are positive constants. It is easy to see that there exist constants \({\sigma }_{1}>0\) and \(t_{4}>t_{3}>0\) such that, for all \(\sigma \in (0,{\sigma }_{1})\) and \(t\in [0,t_{3}]\cup [t_{4},\infty )\),
In the following we set \(t\in [t_{3},t_{4}]\) and \(\sigma \in (0,{\sigma }_{1})\). Thus we have
By \(q<\frac{N+\alpha +4}{N}\), there exists a positive constant \({\sigma }_{0}\) such that if \(\sigma \in (0,{\sigma }_{0})\) then
Noting that if \(N>\alpha +4\) then \(\frac{N+\alpha }{N-2}<\frac{N+\alpha +4}{N}\); if \(N<\alpha +4\) then \(\frac{N+\alpha }{N-2}>\frac{N+\alpha +4}{N}\), the conclusion follows. □
3 Proof of the main theorem
It is easy to prove that there exist \(\beta ,\rho >0\) and \(v\in H_{r}^{1}(\mathbb{R}^{N})\) such that
-
(i)
\(\inf_{\|u\|=\rho }\Phi (u)>\beta \);
-
(ii)
\(\|v\|>\rho \) and \(\Phi (v)<0\).
Thus Φ has mountain pass geometry. Define the mountain pass level c by
where
Combining Lemmas 2.2 and 2.3, we have the following conclusions:
-
(i)
If \(q=\frac{N+\alpha }{N-2}\), \(N\geq 4\), and \(p\in (\frac{N+\alpha }{N},\frac{N+\alpha }{N-2} )\) or \(N=3\) and \(p\in (1+\frac{\alpha }{N-2},\frac{N+\alpha }{N-2} )\), then
$$ c\in \biggl(0,\frac{1}{2} \biggl(1-\frac{1}{q} \biggr)q^{\frac{1}{q-1}} \mathcal{S}_{1}^{\frac{N+\alpha }{2+\alpha }} \biggr). $$(22) -
(ii)
If \(p=\frac{N+\alpha }{N}\), \(N>4+\alpha \), and \(q\in (\frac{N+\alpha }{N},\frac{N+\alpha }{N-2} )\) or \(N<4+\alpha \) and \(q\in (\frac{N+\alpha }{N},\frac{N+\alpha +4}{N} )\), then
$$ c\in \biggl(0,\frac{1}{2} \biggl(1-\frac{1}{p} \biggr)p^{\frac{1}{p-1}} \mathcal{S}_{2}^{\frac{N+\alpha }{\alpha }} \biggr). $$(23) -
(iii)
If \(q=\frac{N+\alpha }{N-2}\), \(p=\frac{N+\alpha }{N}\), and \(N>4+\alpha \), then
$$ c\in \biggl(0,\min \biggl\{ \frac{1}{2} \biggl(1- \frac{1}{q} \biggr)q^{ \frac{1}{q-1}} \mathcal{S}_{1}^{\frac{N+\alpha }{2+\alpha }}, \frac{1}{2} \biggl(1-\frac{1}{p} \biggr)p^{\frac{1}{p-1}} \mathcal{S}_{2}^{ \frac{N+\alpha }{\alpha }} \biggr\} \biggr). $$(24)
From Proposition 2.1 in [8], there exists a Pohozǎev–Palais–Smale sequence \(\{u_{n}\}_{n\in \mathbb{N}}\) in \(H_{r}^{1}(\mathbb{R}^{N})\) such that, as \(n\to \infty \),
For every \(n\in \mathbb{N}\),
As the left-hand side is bounded, the sequence \(\{u_{n}\}_{n\in \mathbb{N}}\) is bounded in \(H_{r}^{1}(\mathbb{R}^{N})\).
By extracting if necessary to a subsequence, we may assume that \(u_{n}\rightharpoonup u\) in \(H_{r}^{1}(\mathbb{R}^{N})\). It is obvious that u is a solution of problem (P). Thus
Let \(v_{n}=u_{n}-u\). By the Brezis–Lieb lemma (see [16, Lemma 1.32]),
and
According to the situation of p, q, α, and N, we divide the discussion into three cases.
Case (i): \(q=\frac{N+\alpha }{N-2}\), \(N\geq 4\), and \(p\in (\frac{N+\alpha }{N},\frac{N+\alpha }{N-2} )\) or \(N=3\) and \(p\in (1+\frac{\alpha }{N-2},\frac{N+\alpha }{N-2} )\).
From Lemma 2.1, Propositions 2.4 and 2.5 in [14], we see that
and
Then we have
From \(\langle \Phi '(v),v \rangle =0\) and \(\langle \Phi '(u_{n}),u_{n} \rangle \to 0\),
We also have
Thus
Combining (26) and (27), we deduce that
and
We may assume that
where a is a nonnegative constant.
We claim that \(a=0\). If \(a\neq 0\), by the definition of \(\mathcal{S}_{1}\), we have
It follows that \(a\geq \mathcal{S}_{1}(q\cdot a)^{1/q} \), which yields
Similarly to the discussion of (25), we have
It follows from \(\Phi (u)\geq 0\) and (28) that
which contradicts (22). Hence \(a=0\). This gives \(v_{n}\to 0\) in \(H^{1}_{r}(\mathbb{R}^{n})\).
Case (ii): \(p=\frac{N+\alpha }{N}\), \(N>4+\alpha \), and \(q\in (\frac{N+\alpha }{N},\frac{N+\alpha }{N-2} )\) or \(N<4+\alpha \) and \(q\in (\frac{N+\alpha }{N},\frac{N+\alpha +4}{N} )\).
From Lemma 2.1, Propositions 2.4 and 2.5 in [14], we see that
and
Then we have
From \(\langle \Phi '(v),v \rangle =0\) and \(\langle \Phi '(u_{n}),u_{n} \rangle \to 0\),
We also have
Thus
Combining (30) and (31), we deduce that
and
We may assume that
where b is a nonnegative constant.
We claim that \(b=0\). If \(b\neq 0\), by the definition of \(\mathcal{S}_{2}\), we have
It follows that \(b\geq \mathcal{S}_{2}(p\cdot b)^{1/p} \), which yields
Similarly to the discussion of (29), we have
It follows from \(\Phi (u)\geq 0\), and (36) or (37) that
which contradicts (23). Hence \(b=0\). This gives \(v_{n}\to 0\) in \(H^{1}_{r}(\mathbb{R}^{n})\).
Case (iii): \(q=\frac{N+\alpha }{N-2}\), \(p=\frac{N+\alpha }{N}\), and \(N>4+\alpha \).
From Lemma 2.1, Propositions 2.4 and 2.5 in [14], we see that
and
Then we have
From \(\langle \Phi '(v),v \rangle =0\) and \(\langle \Phi '(u_{n}),u_{n} \rangle \to 0\),
We also have
Thus
Combining (34) and (35), we deduce that
We may assume that
where a, b are nonnegative constants.
We claim that \(a=b=0\). We prove this by taking off any other cases: (1) \(a\neq 0\), \(b=0\); (2) \(a=0\), \(b\neq 0\); (3) \(a\neq 0\), \(b\neq 0\). If \(a\neq 0\), by the definition of \(\mathcal{S}_{1}\), we have
It follows that \(a\geq \mathcal{S}_{1}(q\cdot a)^{1/q} \), which yields
If \(b\neq 0\), by the definition of \(\mathcal{S}_{2}\), we have
It follows that \(b\geq \mathcal{S}_{2}(p\cdot b)^{1/p} \), which yields
Similarly to the discussion of (33), we have
It follows from \(\Phi (u)\geq 0\), and (36) or (37) that
which contradicts (24). Hence \(a=b=0\). This gives \(v_{n}\to 0\) in \(H^{1}_{r}(\mathbb{R}^{n})\).
Combining Cases (i)–(iii), we can assume, going if necessary to a subsequence, \(u_{n}\to u\) in \(H_{r}^{1}(\mathbb{R}^{N})\). Clearly, \(\Phi '(u)=0\) and \(\Phi (u)=c \). Thus problem (P) has a nontrivial critical point u.
Then, by the same approaches which appear in [8, Sect. 4], we obtain Theorem 1.1.
Availability of data and materials
Data sharing not applicable to this article as no data sets were generated or analysed during the current study.
References
Brezis, H., Nirenberg, L.: Positive solutions of nonlinear elliptic equations involving critical Sobolev exponents. Commun. Pure Appl. Math. 36, 437–477 (1983)
Gao, F., Yang, M.: On nonlocal Choquard equations with Hardy–Littlewood–Sobolev critical exponents. J. Math. Anal. Appl. 448, 1006–1041 (2017)
Jeanjean, L., Tanaka, K.: A remark on least energy solutions in \(\mathbb{R}^{N}\). Proc. Am. Math. Soc. 131, 2399–2408 (2003)
Li, X., Ma, S.: Choquard equations with critical nonlinearities. Commun. Contemp. Math. 22(4), 1950023 (2020)
Li, X., Ma, S., Zhang, G.: Existence and qualitative properties of solutions for Choquard equations with a local term. Nonlinear Anal., Real World Appl. 45, 1–25 (2019)
Lieb, E., Loss, M.: Analysis, 2nd edn. Graduate Studies in Mathematics, vol. 14. Am. Math. Soc., Providence (2001)
Moroz, V., Van Schaftingen, J.: Groundstates of nonlinear Choquard equations: existence, qualitative properties and decay asymptotics. J. Funct. Anal. 265, 153–184 (2013)
Moroz, V., Van Schaftingen, J.: Existence of groundstates for a class of nonlinear Choquard equations. Trans. Am. Math. Soc. 367, 6557–6579 (2015)
Moroz, V., Van Schaftingen, J.: Groundstates of nonlinear Choquard equations: Hardy–Littlewood–Sobolev critical exponent. Commun. Contemp. Math. 17(5), 1550005 (2015)
Moroz, V., Van Schaftingen, J.: A guide to the Choquard equation. J. Fixed Point Theory Appl. 19(1), 773–813 (2017)
Palais, R.S.: The principle of symmetric criticality. Commun. Math. Phys. 69, 19–30 (1979)
Ruiz, D., Van Schaftingen, J.: Odd symmetry of least energy nodal solutions for the Choquard equation. J. Differ. Equ. 264, 1231–1262 (2018)
Seok, J.: Nonlinear Choquard equations involving a critical local term. Appl. Math. Lett. 63, 77–87 (2017)
Seok, J.: Nonlinear Choquard equations: doubly critical case. Appl. Math. Lett. 76, 148–156 (2018)
Van Schaftingen, J., Xia, J.K.: Groundstates for a local nonlinear perturbation of the Choquard equations with lower critical exponent. J. Math. Anal. Appl. 464, 1184–1202 (2018)
Willem, M.: Minimax Theorems. Birkhäuser, Boston (1996)
Acknowledgements
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Li, X., Wang, F. Existence of groundstates for Choquard type equations with Hardy–Littlewood–Sobolev critical exponent. Bound Value Probl 2021, 102 (2021). https://doi.org/10.1186/s13661-021-01577-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-021-01577-8