Abstract
We study the large-time behavior in all \(L^p\) norms of solutions to an inhomogeneous nonlocal heat equation in \({\mathbb {R}}^N\) involving a Caputo \(\alpha \)-time derivative and a power \(\beta \) of the Laplacian when the dimension is large, \(N> 4\beta \). The asymptotic profiles depend strongly on the space-time scale and on the time behavior of the spatial \(L^1\) norm of the forcing term.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and main results
1.1 Aim
The purpose of this paper is to give a precise description of the large-time behavior of solutions to the inhomogeneous fully nonlocal heat equation
in the case of large dimensions, \(N>4\beta \), completing the analysis started by Kemppainen, Siljander and Zacher in [17]. Here, \(\partial _t^\alpha \), \(\alpha \in (0,1)\), denotes the so-called Caputo \(\alpha \)-derivative, introduced independently by many authors using different points of view, see for instance [2, 13, 15, 16, 20, 22], defined for smooth functions by
and \((-\Delta )^\beta \), with \(\beta \in (0,1]\), is the usual \(\beta \) power of the Laplacian, defined for smooth functions by \((-\Delta )^{\beta }={\mathcal {F}}^{-1}(|\cdot |^{2\beta }{\mathcal {F}})\), where \({\mathcal {F}}\) stands for Fourier transform; see for instance [23]. Such equations, nonlocal both in space and time, are useful to model situations with long-range interactions and memory effects, and have been proposed for example to describe plasma transport [10, 11]; see also [3, 4, 21, 24] for further models that use such equations.
Problem (1.1) does not have in general a classical solution, unless the forcing term f is smooth enough. However, if \(f\in L^\infty _{\textrm{loc}}([0,\infty ):L^1({\mathbb {R}}^N))\), it has a solution in a generalized sense, defined by Duhamel’s type formula
with \(Y=\partial _t^{1-\alpha } Z\) outside the origin, where Z is the fundamental solution for the Cauchy problem,
see [14, 17, 19]. Throughout the paper, by the solution to problem (1.1) we always mean the generalized solution given by (1.2).
The rate of decay/growth of the solution depends on the space-time scale under consideration, the \(L^p\) norm with which we measure the size of u, and the size of the right-hand side f; see [7], and also [8] for the case of small dimensions. Our goal here is to determine, under some assumptions on the forcing term f, the asymptotic profile of the solution, once it is normalized taking into account the decay/growth rate. Let us point out that even for the local case, \(\alpha =1\), \(\beta =1\), such study is not yet complete; see Sect. 1.4 below.
Notation. Let \(g,h:{\mathbb {R}}_+\rightarrow {\mathbb {R}}_+\). In what follows we write \(g\simeq h\) if there are constants \(\nu ,\mu >0\) such that \(\nu \le g(t)/h(t)\le \mu \) for all \(t\in {\mathbb {R}}_+\), and \(g\succ h\) if \(\lim _{t\rightarrow \infty }\frac{g(t)}{h(t)}=\infty \).
1.2 The kernel Y. Critical exponents
Our proofs depend on a good knowledge of the kernel Y, which, as mentioned above, is given by \(Y=\partial _t^{1-\alpha }Z\). Let \({\widehat{Z}}={\widehat{Z}}(\omega ,t)\) denote the Fourier transform of the fundamental solution Z of problem (1.3) in the x variable. Then,
The solution to this ordinary fractional differential equation is
where \({\mathbb {E}}_\alpha \) is the Mittag–Leffler function of order \(\alpha \),
Inverting the Fourier transform, we obtain that Z has a self-similar form,
with a radially symmetric positive profile F that has an explicit expression in terms of certain Fox’s H-functions. Hence, Y has also a self-similar form,
Its profile G is positive, radially symmetric, and smooth outside the origin, has integral 1, and, in the case of large dimensions that we are considering here, \(N>4\beta \), satisfies, for all \(\beta \in (0,1]\), the estimates
We have also the limit
which shows that the inner estimate (1.6) is sharp. The exterior estimates (1.7) are also sharp if \(\beta \in (0,1)\). In the special case \(\beta =1\), both G and |DG| decay exponentially, but we do not need this fact in our calculations. All these estimates, and many others, are proved in [17, 18].
As a consequence of (1.6)–(1.7) we have the global bound
and also the exterior bounds, valid if \(|x|\ge \nu t^{\theta }\), \(t>0\), for some \(\nu >0\),
Notice that \(Y(\cdot ,t)\in L^p({\mathbb {R}}^N)\) if and only if \(p\in [1,p_*)\), where \(p_*:=N/(N-4\beta )\). Moreover,
Observe also that \(\sigma (p)<1\), and hence \(Y\in L_\textrm{loc}^1([0,\infty ):L^p({\mathbb {R}}^N))\), if and only if \(p\in [1, p_{\textrm{c}})\), with \(p_{\textrm{c}}:= N/(N-2\beta )\). Since the solution is given by a convolution of f with Y both in space and time, the threshold value that will mark the border between subcritical and supercritical behaviors will be \(p_{\textrm{c}}\), and not \(p_*\).
The self-similar form of Y, see (1.5), stemming from the scaling invariance of the integro-differential operator, gives a hint of the special role played by diffusive scales, \(|x|\simeq t^\theta \). As we will see, there is a marked difference between the behavior in compact sets and that in outer scales, \(|x|\ge \nu t^{\theta }\) for some \(\nu >0\), with intermediate behaviors in intermediate scales, \(|x|\simeq \varphi (t)\), with \(\varphi (t)\succ 1\), \(\varphi (t)=o(t^\theta )\).
1.3 Assumptions on f
We always assume, no matter the space-time scale under consideration, the size hypothesis
This condition guarantees that the function u given by Duhamel’s type formula (1.2) is well defined, and moreover, that \(u(\cdot ,t)\in L^p ({\mathbb {R}}^N)\) for all \(t>0\) in the subcritical range \(p\in [1,p_{\textrm{c}})\), though not for \(p\ge p_{\textrm{c}}\). In case we wish to analyze the large-time behavior of u when p is not subcritical, we will need some extra assumption on the spatial behavior of f to force u and the function giving its asymptotic behavior to be in the right space. The assumptions will depend on the scales, p, and \(\gamma \).
Notation. Given \(p\ge p_{\textrm{c}}\), we define
Compact sets. When dealing with the behavior in compact sets, if \(p\ge p_{\textrm{c}}\) we will assume that
On the other hand, if the time decay of the \(L^1\) norm is not fast enough, namely, if \(\gamma \le 1+\alpha \), in order to obtain a limit profile we will need to assume that f is asymptotically a function in separate variables in the following precise sense,
again with an extra assumption if \(p\ge p_{\textrm{c}}\),
Intermediate scales. For intermediate space-time scales, unless they are fast (see Sect. 1.5 for a precise definition) and \(\gamma >1\), we have to assume that f is asymptotically a function in separate variables, hypothesis (1.16). If \(\gamma =1\) and the scale is not slow (see Sect. 1.5 for a definition) we will require the tail control condition
Remark
Condition (1.18) is satisfied, for instance, if \(|f(x,t)|\le h(x)(1+t)^{-\gamma }\), for some \(h\in L^1({\mathbb {R}}^N)\).
Finally, if \(p\ge p_{\textrm{c}}\) we assume moreover the uniform tail control condition
Remark
Condition (1.19) is satisfied, for instance, if \(|f(x,t)|\le C |x|^{-N}(1+t)^{-\gamma }\) for some \(C>0\).
Outer scales. For outer space-time scales and \(\gamma \le 1\), we assume the uniform tail control condition (1.19) if p is subcritical, and
otherwise.
Remark
Condition (1.20) is satisfied, for instance, if \(|f(x,t)|\le h(x)(1+t)^{-\gamma }\) with \(h(x)=o(|x|^{-N})\).
We do not claim that the above conditions are optimal; but they are not too restrictive, and are easy enough to keep the proofs simple.
1.4 Precedents
A full description of the large-time behavior of the homogeneous problem (1.27) for a nontrivial initial data \(u_0\in L^1({\mathbb {R}}^N)\) was recently given in [5, 6]; see also [17]. The first precedent for the inhomogeneous problem (1.1) is [17], where the authors study the problem in the integrable in time case \(\gamma >1\) and prove, for all \(p\in [1,\infty ]\) if \(1\le N<2\beta \), and for \(p\in [1,p_{\textrm{c}})\) otherwise, that
This result is also known to be valid for the local case, \(\alpha =1\), \(\beta =1\), if \(p=1\); see [1, 12]. In this special local situation \(Y=Z\) is the well-known fundamental solution of the heat equation, whose profile does not have a spatial singularity and belongs to all \(L^p\) spaces. But a complete analysis for \(\alpha =1\), \(\beta \in (0,1]\) is still missing, and will be given elsewhere [9].
The above result (1.21) cannot hold when \(N>4\beta \) if \(p\ge p_{\textrm{c}}\), even if we impose additional conditions on f to guarantee that \(u(\cdot ,t)\in L^p({\mathbb {R}}^N)\) and \(\gamma >1\), since \(Y(\cdot ,t)\not \in L^p({\mathbb {R}}^N)\) in that range. On the other hand, in the subcritical range \(p\in [1,p_{\textrm{c}})\), the result does not give information on the shape of the solution in inner regions, that is, sets of the form \(\{|x|\le g(t)\}\) with \(g(t)=o(t^\theta )\), since \(\Vert Y(\cdot ,t)\Vert _{L^p(\{|x|\le g(t)\})}=o(t^{-\sigma (p)})\) in that case. We will tackle these two difficulties along the paper.
A first step towards the understanding of the large-time behavior of solutions to (1.1) in different space-time scales and for all possible values of p was the determination of the decay/growth rates under the above assumptions on f. This was done in [7] for the case of large dimensions that we are considering here, and in [8] for low dimensions.
1.5 Main results
As we have already mentioned, the decay/growth rates of solutions and their asymptotic profiles depend on the space-time scale under consideration.
Compact sets. Given \(\mu \in (0,N)\), and h satisfying suitable integrability assumptions, let
The large-time behavior in compact sets will be described in terms of \(I_{2\beta }[g]\) and \(I_{4\beta }[F]\), where g is the asymptotic spatial factor of the forcing term f, and
Remark
Let \(c_\mu :=\Gamma \big ((N-\mu )/2\big )/(\pi ^{N/2}2^\mu \Gamma (\mu /2))\). Then \(c_\mu I_\mu [h]\) is the \(\mu \)-Riesz potential of h, so that \((-\Delta )^{\mu /2}(c_\mu I_\mu [h])=h\).
Theorem 1.1
Let f satisfy (1.14), and also (1.15) if \(p\ge p_{\textrm{c}}\). If \(\gamma \le 1+\alpha \) we assume moreover (1.16), and also (1.17) if \(p\ge p_{\textrm{c}}\). Let u be solution to (1.1). Given \(K\subset \subset {\mathbb {R}}^N\),
Remarks
-
(a)
We already knew from [7] that \(\Vert u(\cdot ,t)\Vert _{L^p(K)}=O(t^{\min \{\gamma ,1+\alpha \}})\) for any \(K\subset \subset {\mathbb {R}}^N\). Theorem 1.1 shows that this rate is sharp, \(\Vert u(\cdot ,t)\Vert _{L^p(K)}\simeq t^{\min \{\gamma ,1+\alpha \}}\).
-
(b)
Under the hypotheses of Theorem 1.1, if in addition \(f(x,t)=g(x)(1+t)^{-\gamma }\), the asymptotic profile \({\mathcal {L}}\) simplifies to
$$\begin{aligned} {\mathcal {L}}= {\left\{ \begin{array}{ll} c_{2\beta }I_{2\beta }[g]+\frac{\kappa }{\alpha }I_{4\beta }[g]&{}\text {if }\gamma =1+\alpha ,\\ \frac{\kappa }{\gamma -1}I_{4\beta }[g]&{}\text {if }\gamma >1+\alpha . \end{array}\right. } \end{aligned}$$ -
(c)
When the forcing term is independent of time, \(f(\cdot ,t)=g\in L^1({\mathbb {R}}^N)\) for all \(t>0\), Theorem 1.1 yields
$$\begin{aligned} \Vert u(\cdot ,t)-c_{2\beta }I_{2\beta }[g]\Vert _{L^p(K)}\rightarrow 0\quad \text{ as } t\rightarrow \infty \end{aligned}$$(1.26)for all \(p\in [1,\infty ]\) (assuming also \(g\in L^q_\textrm{loc}({\mathbb {R}}^N)\) for some \(q\in (q_{\textrm{c}}(p),p]\) if \(p\ge p_\textrm{c}\)). Hence, the limit profile in compact sets is a stationary solution of the equation. This convergence result cannot be extended to the whole space if \(p\in [1,p_{\textrm{c}}]\), since \(I_{2\beta }[g]\not \in L^p({\mathbb {R}}^N)\) in this range. The convergence result (1.26) for forcing terms independent of time also holds for solutions to
$$\begin{aligned} \partial _t^\alpha u+(-\Delta )^\beta u=f\quad \text{ in } Q,\qquad u(\cdot ,0)=u_0\quad \text{ in } {\mathbb {R}}^N \end{aligned}$$(1.27)for any initial datum \(u_0\in L^1({\mathbb {R}}^N)\) (with the additional assumption \(u_0\in L^q_{\textrm{loc}}({\mathbb {R}}^N)\) for some \(q\in (q_{\textrm{c}}(p),p]\) if \(p\ge p_{\textrm{c}}\)). This follows from the linearity of the problem, since the generalized solution v to (1.3) with \(v(\cdot ,0)=u_0\), given by \(v(\cdot ,t)=Z(\cdot ,t)*u_0\), satisfies \(\Vert v(\cdot ,t)\Vert _{L^p(K)}\simeq t^{-\alpha }\) for every compact \(K\subset \subset {\mathbb {R}}^N\); see [5, 6],
-
(d)
Under some integrability assumptions on h,
$$\begin{aligned} I_\mu [h]\approx \Big (\int _{{\mathbb {R}}^N} h\Big )E_\mu \quad \text {as }|x|\rightarrow \infty ; \end{aligned}$$see Theorem A.1 in the Appendix for the details. Hence, the “outer limit”, \(|x|\rightarrow \infty \), of the function describing the large-time behavior in compact sets is given by
$$\begin{aligned} \begin{aligned}&t^{-\min \{\gamma ,1+\alpha \}}{\mathcal {L}}(x)\approx {\left\{ \begin{array}{ll} t^{-\gamma }M_0 c_{2\beta }E_{2\beta }(x),&{}\gamma < 1+\alpha ,\\ t^{-(1+\alpha )}M_\infty \kappa E_{4\beta }(x),&{}\gamma \ge 1+\alpha , \end{array}\right. } \quad \text {as }|x|\rightarrow \infty , \\&\quad \text {where } M_0=\int _{{\mathbb {R}}^N} g,\quad M_\infty =\int _0^\infty \int _{{\mathbb {R}}^N} f. \end{aligned} \end{aligned}$$(1.28)
Intermediate scales. These are scales for which \(|x|\simeq \varphi (t)\), with \(\varphi (t)\succ 1\), \( \varphi =o(t^{\theta })\). We will make a distinction among the different intermediate scales according to their speed, measured against the value of the decay/growth exponent \(\gamma \). Thus, we have
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00208-023-02707-6/MediaObjects/208_2023_2707_Figa_HTML.png)
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00208-023-02707-6/MediaObjects/208_2023_2707_Figb_HTML.png)
In slow scales, satisfying (S), the large-time behavior coincides with the outer limit of the behavior in compact sets, being given in terms of \(E_{2\beta }\). Notice that when \(\gamma <1\) all scales are slow. In fast scales, satisfying (F) or (F\({}_1\)), the behavior coincides with the inner limit of the behavior in outer scales, and is given in terms of \(E_{4\beta }\). Notice that when \(\gamma \ge 1+\alpha \) all intermediate scales are fast. In the critical cases, (C\({}_1\)) and (C), the large time behavior involves both \(E_{2\beta }\) and \(E_{4\beta }\). In the cases (C\({}_1\)) and (F\({}_1\)) (in both of them \(\gamma =1\); that is the reason for the subscript) a factor \(\log t\) is involved.
Let us recall from [7] that \(\Vert u(\cdot ,t)\Vert _{L^p(\{\nu<|x|/\varphi (t)<\mu \})}=O(\phi (t))\), where
It is worth noticing that \(\sigma (p)<1\) if and only if \(p\in [1,p_{\textrm{c}})\), and \(\sigma (p)<1+\alpha \) if and only if \(p\in [1,p_*)\).
Theorem 1.2
Let \(\varphi (t)\succ 1\), \( \varphi =o(t^{\theta })\). Let f satisfy (1.14). We assume moreover (1.16) if (S) or (C) hold, and both (1.16) and (1.18) if (C\({}_1\)) or (F\({}_1\)) hold. When \(p\ge p_{\textrm{c}}\) we assume further (1.19). Let u be the solution to (1.1). Given \(0<\nu<\mu <\infty \),
Remarks
-
(a)
If \(M_0,M_\infty \ne 0\), then \(\Vert {\mathcal {L}}(t)\Vert _{L^p(\{\nu<|x|/\varphi (t)<\mu \})}\simeq \phi (t)\) in all cases, since
$$\begin{aligned} \Vert E_{2\beta }\Vert _{L^p(\{\nu<|x|/\varphi (t)<\mu \})}\simeq \varphi (t)^{\frac{1-\sigma (p)}{\theta }},\qquad \Vert E_{4\beta }\Vert _{L^p(\{\nu<|x|/\varphi (t)<\mu \})}\simeq \varphi (t)^{\frac{1+\alpha -\sigma (p)}{\theta }}.\nonumber \\ \end{aligned}$$(1.30)As a corollary, \(\Vert u(\cdot ,t)\Vert _{L^p(\{\nu<|x|/\varphi (t)<\mu \})}\simeq \phi (t)\).
-
(b)
The behavior in “inner” intermediate scales is given by
$$\begin{aligned} t^{-\gamma }M_0 c_{2\beta }E_{2\beta }\quad \text {if }\gamma <1+\alpha ,\qquad t^{-(1+\alpha )}M_\infty \kappa E_{4\beta }\quad \text {if }\gamma \ge 1+\alpha . \end{aligned}$$This coincides with the “outer limit” of the behavior in compact sets; see (1.28).
Exterior scales. These are scales for which \(|x|\ge \nu t^{\theta }\), \(\nu >0\). We already know from [7] that
The asymptotic behavior of u in such scales is given by a time convolution of \(Y(\cdot ,t)\) with the “mass” of f at time t,
Theorem 1.3
Let f satisfy (1.14). If \(\gamma \le 1\), assume moreover (1.18) if \(p\in [1,p_{\textrm{c}})\), and (1.20) if \(p\ge p_{\textrm{c}}\). Then, given \(\nu >0\),
![](http://media.springernature.com/lw568/springer-static/image/art%3A10.1007%2Fs00208-023-02707-6/MediaObjects/208_2023_2707_Equ215_HTML.png)
Remarks
-
(a)
Notice that \(|x|(t-s)^{-\theta }\ge \nu \) if \(s\in (0,t)\) and \(|x|>\nu t^\theta \). Therefore, using (1.10),
$$\begin{aligned} \Vert Y(\cdot ,t-s)\Big \Vert _{L^p(\{|x|>\nu t^{\theta }\})}\le Ct^{-\alpha -N\theta (1-\frac{1}{p})}(t-s)^{2\alpha -1}\quad \text {for all }s\in (0,t). \end{aligned}$$On the other hand, (1.14) yields \(|M_f(s)|\le C(1+s)^{-\gamma }\), and we conclude easily that
$$\begin{aligned}{} & {} \Big \Vert \int _0^t M_f(s)Y(\cdot ,t-s)\,\textrm{d}s\Big \Vert _{L^p(\{|x|>\nu t^{\theta }\})}\\ {}{} & {} \quad \le C t^{-\alpha -N\theta (1-\frac{1}{p})}\int _0^t (1+s)^{-\gamma }(t-s)^{2\alpha -1}\,\textrm{d}s= O(\phi (t)). \end{aligned}$$Hence, \(\Vert u(\cdot ,t)\Vert _{L^p(\{|x|>\nu t^{\theta }\})}=O(\phi (t))\).
-
(b)
Assume that \(M_f(s)(1+s)^\gamma \ge c\) or \(M_f(s)(1+s)^\gamma \le -c\) for some \(c>0\), a condition that is satisfied, for instance, if f is of separate variables, \(f(x,t)=g(x)(1+t)^{-\gamma }\), and \(\int _{{\mathbb {R}}^N}g\ne 0\). If \(\beta \in (0,1)\), then \(G(\xi )\simeq E_{-2\beta }(\xi )\) for \(|\xi |>\nu >0\); see [17]. Therefore, for some constants \(c_\nu >0\), which may change from line to line,
$$\begin{aligned} \begin{aligned}&\Big \Vert \int _0^t M_f(s)Y(\cdot ,t-s)\,\textrm{d}s\Big \Vert _{L^p(\{|x|>\nu t^{\theta }\})}\\&\quad \ge c_\nu \Vert E_{-2\beta }\Vert _{L^p(\{|x|>\nu t^{\theta }\})} \int _0^t (1+s)^{-\gamma }(t-s)^{2\alpha -1}\,\textrm{d}s\\&\quad \ge c_\nu t^{-\alpha -N\theta (1-\frac{1}{p})}\int _0^t (1+s)^{-\gamma }(t-s)^{2\alpha -1}\,\textrm{d}s\simeq \phi (t). \end{aligned} \end{aligned}$$We conclude that
$$\begin{aligned} \Big \Vert \int _0^t M_f(s)Y(\cdot ,t-s)\,\textrm{d}s\Big \Vert _{L^p(\{|x|>\nu t^{\theta }\})}\simeq \phi (t), \end{aligned}$$and hence we have the sharp rate \(\Vert u(\cdot ,t)\Vert _{L^p(\{|x|>\nu t^{\theta }\})}\simeq \phi (t)\).
When \(\gamma \ge 1\), we can avoid the time convolution in the description of the large time behavior, which is now given by \(M(t)t^{1-\alpha }Y(\cdot ,t)\), where M(t) is the mass of the solution u at time t,
Let us remark that Fubini’s theorem plus the fact that \(\int _{{\mathbb {R}}^N}Y(x,t)\,\textrm{d}x=t^{\alpha -1}\) yield
Hence, M(t) can be computed directly in terms of the forcing term f without determining u.
Theorem 1.4
Under the assumptions of Theorem 1.3, if \(\gamma \ge 1\), then
As a corollary,
When \(\gamma >1\) things simplify even further, since \(M(t)t^{1-\alpha }\) has a computable limit.
Theorem 1.5
Let \(\gamma >1\). Under the assumptions of Theorem 1.3, \(\lim \nolimits _{t\rightarrow \infty }M(t)t^{1-\alpha }=M_\infty \). As a corollary,
Remarks
-
(a)
The result (1.32) was already known when \(p\in [1,p_{\textrm{c}})\); see [17].
-
(b)
Since \(\Vert Y(\cdot ,t)\Vert _{L^p(\{|x|>\nu t^{\theta }\})}=Ct^{-\sigma (p)}\) (see Sect. 1.2), if \(\gamma >1\) and \(M_\infty \ne 0\) we obtain as a corollary that \(\Vert u(\cdot ,t)\Vert _{L^p(\{|x|>\nu t^{\theta }\})}\simeq t^{-\sigma (p)}\), without assuming that f is of separate variables.
-
(c)
When \(\gamma >1\), the inner limit, \(|\xi |\rightarrow 0\), of the outer profile is given by
$$\begin{aligned} M_\infty Y(x,t)\approx M_\infty t^{-\sigma _*}\kappa E_{4\beta }(\xi )=t^{-(1+\alpha )}M_\infty \kappa E_{4\beta }(x), \end{aligned}$$which coincides with the behavior for “outer” intermediate scales; see Theorem 1.2, case (F).
The asymptotic limit can also be simplified when \(\gamma =1\), at the expense of asking f to be asymptotically of separate variables.
Theorem 1.6
Let \(\gamma =1\). Under the assumption (1.16), \(M(t)=M_0t^{\alpha -1}\log t(1+o(1))\). As a corollary,
Remarks
-
(a)
If \(M_0\ne 0\) and \(\gamma =1\), we have the sharp decay rate \(\Vert u(\cdot ,t)\Vert _{L^p(\{|x|>\nu t^{\theta }\})}\simeq t^{-\sigma (p)}\log t\) assuming only that f is asymptotically of separate variables.
-
(b)
If f satisfies (1.16) with \(\gamma =1\), the inner limit, \(|\xi |\rightarrow 0\), of the outer profile is given by
$$\begin{aligned} M_0\log t \,Y(x,t)\approx M_0 t^{-\sigma _*}\log t\, \kappa E_{4\beta }(\xi )=t^{-(1+\alpha )}\log t\,M_0 \kappa E_{4\beta }(x), \end{aligned}$$which coincides with the behavior for “outer” intermediate scales; see Theorem 1.2, case (F\({}_1\)).
The purpose of our last result is to check that for \(\gamma <1\) the inner limit of the outer profile also coincides with the behavior for “outer” intermediate scales, given by Theorem 1.2, case (S), when f is asymptotically of separate variables.
Proposition 1.1
Let \(\gamma <1\). If f satisfies (1.16) and the hypotheses of Theorem 1.3, then
Remarks
-
(a)
The limit behavior (1.8) for the profile G yields
$$\begin{aligned} Y(x,t)=(\kappa +o(1))t^{-(1+\alpha )}E_{4\beta }(x)\quad \text{ if } |\xi |\rightarrow 0. \end{aligned}$$(1.33)Hence, \(M(t)t^{1-\alpha }Y(x,t)\approx M(t)t^{-2\alpha }\kappa E_{4\beta }(x)\) as \(|\xi |\rightarrow 0\). Therefore, if \(\gamma <1\) the limit profile in outer regions, \(\int _0^t M_f(s)Y(\cdot ,t-s)\,\textrm{d}s\), does not coincide with \(M(t)t^{1-\alpha }Y(x,t)\), in contrast with the case \(\gamma \ge 1\).
-
(b)
Under the assumptions of Proposition 1.1, if \(M_0\ne 0\) and \(\delta >0\) is small enough, then
$$\begin{aligned} \big |\int _0^t M_f(s)Y(x,t-s)\,\textrm{d}s\big |\simeq t^{-\gamma }E_{2\beta }(x) \quad \text {if }|x|t^{-\theta }<\delta . \end{aligned}$$Therefore, if \(\nu <\delta \), with \(\delta >0\) small enough, we have
$$\begin{aligned} \begin{aligned}&\Big \Vert \int _0^t M_f(s)Y(\cdot ,t-s)\,\textrm{d}s\Big \Vert _{L^p(\{|x|>\nu t^{\theta }\})}\\ {}&\ge \Big \Vert \int _0^t M_f(s)Y(\cdot ,t-s)\,\textrm{d}s\Big \Vert _{L^p(\{\delta t^\theta>|x|>\nu t^{\theta }\})}\\&\simeq t^{-\gamma }\Vert E_{2\beta }\Vert _{L^p(\{\delta t^\theta>|x|>\nu t^{\theta }\})}\simeq t^{1-\gamma -\sigma (p)}. \end{aligned} \end{aligned}$$We conclude that if \(\gamma <1\), under suitable assumptions on f,
$$\begin{aligned} \Big \Vert \int _0^t M_f(s)Y(\cdot ,t-s)\,\textrm{d}s\Big \Vert _{L^p(\{|x|>\nu t^{\theta }\})}\simeq t^{1-\gamma -\sigma (p)}\quad \text {if }\nu \text { is small}, \end{aligned}$$and hence we have the sharp rate \(\Vert u(\cdot ,t)\Vert _{L^p(\{|x|>\nu t^{\theta }\})}\simeq t^{1-\gamma -\sigma (p)}\).
2 Compact sets
The goal of this section is to obtain the large-time behavior in compact sets, Theorem 1.1. We start by checking that, under the assumptions of that theorem, the functions giving the large-time behavior are in the desired spaces.
Lemma 2.1
-
(i)
Let \(g\in L^1({\mathbb {R}}^N)\). If \(p\ge p_{\textrm{c}}\), assume in addition that \(g\in L^q_\textrm{loc}({\mathbb {R}}^N)\) for some \(q\in (q_{\textrm{c}}(p),p]\). Then \(I_{2\beta }[g]\in L^p_{\textrm{loc}}({\mathbb {R}}^N)\).
-
(ii)
Let \(\gamma >1\). Let f satisfy (1.14). If \(p\ge p_{\textrm{c}}\), assume in addition (1.15). Then F given by (1.23) satisfies \(I_{4\beta }[F]\in L^p_\textrm{loc}({\mathbb {R}}^N)\).
Proof
-
(i)
We make the estimate \(|I_{2\beta }[g]|\le \textrm{I}+\textrm{II}\), where
$$\begin{aligned} \textrm{I}(x)=\int _{|y|<1}|g(x-y)|E_{2\beta }(y)\,\textrm{d}y,\qquad \textrm{II}(x)=\int _{|y|>1}|g(x-y)|\,\textrm{d}y. \end{aligned}$$In order to estimate \(\textrm{I}\) we take
$$\begin{aligned}{} & {} q=1\text { if }p\in [1,p_{\textrm{c}}),\quad q\in (q_{\textrm{c}}(p),p] \text { as in the hypothesis if }p\ge p_\textrm{c},\nonumber \\{} & {} \quad 1+\frac{1}{p}=\frac{1}{q}+\frac{1}{r}. \end{aligned}$$(2.1)Notice that \(r\in [1,p_{\textrm{c}})\). Then, using the hypotheses on g, we have
$$\begin{aligned} \Vert \textrm{I}\Vert _{L^p(K)}\le \Vert g\Vert _{L^q(K+B_1)}\Vert E_{2\beta }\Vert _{L^r(B_1)}<\infty . \end{aligned}$$On the other hand, \(\textrm{II}(x)\le \Vert g\Vert _{L^1({\mathbb {R}}^N)}\), hence the result.
-
(ii)
Splitting the spatial integral as before, we have \(|I_{4\beta }[F]|\le \textrm{I}+\textrm{II}\), where
$$\begin{aligned}{} & {} \textrm{I}(x)=\int _0^\infty \int _{|y|<1}|f(x-y)|E_{4\beta }(y)\,\textrm{d}y\textrm{d}s,\\ {}{} & {} \qquad \textrm{II}(x)=\int _0^\infty \int _{|y|>1}|f(x-y)|\,\textrm{d}y\textrm{d}s. \end{aligned}$$Taking q and r as in (2.1), and using (1.14), and also (1.15) if \(p\ge p_{\textrm{c}}\),
$$\begin{aligned} \Vert \textrm{I}\Vert _{L^p(K)}\le \Vert E_{4\beta }\Vert _{L^r(B_1)}\int _0^\infty \Vert f(\cdot ,s)\Vert _{L^q(K+B_{1})}\,\textrm{d}s \le C\int _0^\infty (1+s)^{-\gamma }\,\textrm{d}s<\infty , \end{aligned}$$since \(r\in [1,p_*)\), and \(\gamma >1\). On the other hand, using the size hypothesis (1.14), \(\textrm{II}(x)\le M_\infty \), whence the result.
\(\square \)
We now proceed to the proof of Theorem 1.1. As a first step we prove the result substituting the constant \(c_{2\beta }\) in the definition (1.25) of \({\mathcal {L}}\) by the constant
where \(\omega _N\) denotes de measure of \({\mathbb {S}}^{N-1}:=\{x\in {\mathbb {R}}^N: |x|=1\}\), the unit sphere in \({\mathbb {R}}^N\), and \({\tilde{G}}(\rho )=G(\rho \zeta )\) for any \(\zeta \in {\mathbb {S}}^{N-1}\) (remember that G is radially symmetric). We observe that the estimates (1.6)–(1.7) on the profile G guarantee that A is a finite number.
Proposition 2.1
Under the assumptions of Theorem 1.1, the convergence result (1.24) is true with the constant \(c_{2\beta }\) in the definition (1.25) of \({\mathcal {L}}\) substituted by the constant A given in (2.2).
Proof
As we will see, the value of f at points that are far away from x will not contribute to the behavior of the solution at that point. Hence, we estimate the error as
with \(L>0\) large to be chosen later.
In order to estimate \(\textrm{I}\), for every \(t>1\) we split it as \(\textrm{I}=\textrm{I}_{1}+\textrm{I}_{2}\), where
We start with \(\textrm{I}_1\). Using the exterior bound (1.10) and the decay assumption (1.14),
for all \(t>1\) if \(L>0\) is large enough.
In order to estimate \(\textrm{I}_2\) we use now the global estimate (1.9), and again the decay assumption (1.14) to obtain, for all \(t>1\),
Since
for any \(\lambda \in (0,1)\), then \(\textrm{I}(x,t)\le C\varepsilon t^{-\min \{\gamma ,1+\alpha \}}\) for every \(t>1\) if \(L>0\) is large enough.
It will turn out that the values of f at times close to t only contribute to the asymptotic behavior of u if \(\gamma \le 1+\alpha \), while its values at times in the interval (0, t/2) only matter if \(\gamma \ge 1+\alpha \) (notice, however, that this interval expands to the whole \({\mathbb {R}}_+\) as \(t\rightarrow \infty \)). Therefore, we make the estimate \(\textrm{II}\le \textrm{II}_{1}+\textrm{II}_{2}+\textrm{II}_{3}\), where
for some small value \(\delta \in (0,1/2)\) to be chosen later.
We start by estimating \(\textrm{II}_1\) when \(\gamma \le 1+\alpha \). We have \(\textrm{II}_1\le \sum _{i=1}^4 \textrm{II}_{1i}\), where
We take q and r as in (2.1). Using the \(L^r\) norm of the kernel (1.13) if \(s<1\), and the global estimate (1.9) when \(s>1\), together with the size assumption (1.16) on f if p is subcritical or (1.17) otherwise, for all \(t>1/\delta \) we have
Given \(\varepsilon >0\), there exists a small constant \(\delta =\delta (\varepsilon )>0\) and a time \(T_\varepsilon \) such that
Therefore, taking q and r as in (2.1),
As for \(\textrm{II}_{13}\), making the change of variables \(\rho =|y|s^{-\theta }\) we get
Therefore, due to the definition (2.2) of A, for any fixed \(L>0\),
Hence, taking q and r as before,
We finally observe that
if \(L>0\) is large enough.
If \(\gamma >1+\alpha \) the estimate for \(\textrm{II}_1\) is easier. Let q and r be as above. Using the \(L^p\) norm of the kernel (1.13) if \(s<1\) and the global estimate (1.9) when \(s>1\), for all \(t>1/\delta \) we have, thanks to the assumptions on the size of f,
Now we turn our attention to \(\textrm{II}_{2}\). Taking q and r as before,
Finally, we turn our attention to \(\textrm{II}_{3}\). We start with the case \(\gamma <1+\alpha \). Using the global estimate (1.9) and then the size assumptions on f we get, with q and r as above,
from where we get, using (2.3), that \(\Vert \textrm{II}_{3}(\cdot ,t)\Vert _{L^p(K)}=t^{-\min \{\gamma ,1+\alpha \}}o(1)\) in this range, as desired.
When \(\gamma \ge 1+\alpha \) the estimate of \(\textrm{II}_3\) is more involved. We have \(\textrm{II}_3\le \sum _{i=1}^5 \textrm{II}_{3i}\), where
We first observe that
Therefore, thanks to (1.8), given \(\varepsilon >0\) and \(L>0\) there is a time \(T=T(\varepsilon ,L)\) such that
Hence, if \(t\ge T\) we have, for q and r chosen as above, and using (2.3) and the size assumptions on f,
so that \(\Vert \textrm{II}_{31}(\cdot ,t)\Vert _{L^p(K)}\le C\varepsilon t^{-\min \{\gamma ,(1+\alpha )\}}\), as desired.
On the other hand, with q and r as always, using the size assumptions on f,
By the Mean Value Theorem, \(0\le s^{-(1+\alpha )}-t^{-(1+\alpha )}\le (1+\alpha ) s^{-(2+\alpha )}(t-s)\) if \(s<t\). Therefore,
Now we notice that
Therefore, for t large enough,
Finally,
if L is large enough, and hence \(\Vert \textrm{II}_{35}(\cdot ,t)\Vert _{L^p(K)}\le C\varepsilon t^{-(1+\alpha )}\). \(\square \)
The proof of Theorem 1.1 will then be complete if we are able to show that \(A=c_{2\beta }\), a somewhat surprising result that is interesting on its own. The idea to prove this fact is to consider a particular forcing term for which the computations are “explicit”, namely a stationary one, \(g\in C^\infty _\textrm{c}({\mathbb {R}}^N)\), with g nonnegative. We expect the solution u of (1.1) with such a right-hand side to resemble for large times the stationary solution \(S:=c_{2\beta }I_{2\beta }[g]\). Hence, we will study the difference, \(U=S-u\). This function is a solution (in a generalized sense) to (1.3), given by the formula \(U(\cdot ,t)=Z(\cdot ,t)*S\). To check this last assert it is enough to observe that S is a bounded classical solution to (1.27) with \(f(\cdot ,t)=g\) for all \(t>0\) and \(u_0=S\). But bounded classical solutions to (1.27) are unique, and represented by
hence generalized solutions; see [14, 17, 19].
Our first aim is to prove that U vanishes asymptotically, so that u indeed resembles S.
Proposition 2.2
Let U be the generalized solution to (1.3) with initial datum \(U(\cdot ,0)=c_{2\beta }I_{2\beta }[g]\) for some nonnegative \(g\in C_{\textrm{c}}^\infty ({\mathbb {R}}^N)\). Then, \(\Vert U(\cdot ,t)\Vert _{L^\infty ({\mathbb {R}}^N)}=o(1)\) as \(t\rightarrow \infty \).
Proof
We recall that the kernel Z has a self-similar form; see (1.4). Its profile F belongs to \(L^p({\mathbb {R}}^N)\) if and only if \(p\in [1,p_{\textrm{c}})\); see, for instance, [17]. Hence, \(\Vert Z(\cdot ,t)\Vert _{L^p({\mathbb {R}}^N)}=Ct^{-N\theta (1-\frac{1}{p})}\) for p in that range. On the other hand, \(0\le U(x,0)\le C(1+|x|)^{-(N-2\beta )}\) (see, for instance, Theorem A.1 in the Appendix), so that \(U(\cdot ,0)\in L^p({\mathbb {R}}^N)\) for all \(p>p_{\textrm{c}}\). Let \(p>N/(2\beta )\). This guarantees, on the one hand, that \(p>p_c\), since \(N>4\beta \), and on the other hand that \(p/(p-1)<p_c\). Therefore, for any such p, Young’s inequality implies
whence the result. \(\square \)
We are now ready to prove the equality of the constants, and hence the validity of Theorem 1.1.
Corollary 2.1
The constant A defined in (2.2) coincides with \(c_{2\beta }\). Therefore, Proposition 2.1 implies Theorem 1.1.
Proof
Let u be the solution to problem (1.1) with a non-negative and non-trivial right-hand side \(g\in C^\infty _{\textrm{c}}({\mathbb {R}})\) independent of time. Then, as mentioned above, \(U=S-u\) is a generalized solution to (1.3). Thus, given \(K\subset \subset {\mathbb {R}}^N\),
due to propositions 2.1 and 2.2, hence the result, since \(\Vert I_{2\beta }[g]\Vert _{L^\infty (K)}\ne 0\). \(\square \)
3 Intermediate scales
In this section, we study the limit profile in regions where \(|x|\simeq \varphi (t)\) with \(\varphi (t)\succ 1\) and \(\varphi (t)=o(t^\theta )\) as \(t\rightarrow \infty \).
Proof of Theorem 1.2
We want to show that \(u(\cdot ,t)-{\mathcal {L}}(t)=o(\phi (t))\). It will turn out that in these scales the large-time behavior at a point x comes in first approximation from the behavior of \(f(\cdot ,t)\) at points that are relatively close to x, as compared with |x|. Hence, we estimate the error as \(|u-{\mathcal {L}}|\le \textrm{I}+\textrm{II}+\textrm{III}\), where
with \(\ell (t)=o(1)\) such that \(\ell (t)\in (0,1/2)\) for all \(t>0\) to be further especified later.
The times that are closer to t will contribute with a term involving \(E_{2\beta }\) in slow and critical scales, while times which are closer to 0 will contribute with a term involving \(E_{4\beta }\) in fast and critical scales. Therefore, we make an estimate of the form \(\textrm{I}\le \textrm{I}_1+\textrm{I}_2+\textrm{I}_3\), where
with \(\delta (t)\in (\log 2/\log t,1/2)\) to be further specified later. The lower bound for \(\delta (t)\) guarantees that \(t/2<t-t^{1-\delta (t)}\).
Since \(\ell (t)\in (0,1/2)\), \(\frac{|x|}{2}<|y|<\frac{3|x|}{2}\) if \(|x-y|<\ell (t)|x|\). Hence, the global estimate (1.9) yields
a bound that will be used several times when estimating \(\textrm{I}_i\), \(i=1,2,3\).
Let (F\({}_1\))/(F) hold. If \(\nu \varphi (t)<|x|<\mu \varphi (t)\), for large times we have on the one hand \(|x|\ne 0\), since \(\varphi (t)\succ 1\), and on the other hand \((|x|/2)^{1/\theta }<t/2\) for large times, since \(\varphi (t)=o(t^\theta )\). If \(s<(|x|/2)^{1/\theta }\) and \(|y|>\frac{|x|}{2}\), we have \(|y|>s^\theta \), and we may use the exterior estimate (1.10) for the kernel. If \(s>(|x|/2)^{1/\theta }\) we are away from the singularity in time, and we may use the global estimate (3.1). Therefore, using also the size assumption (1.14) on f, we obtain
which combined with (1.30) yields \(\Vert \textrm{I}_1(\cdot ,t)\Vert _{L^p(\{\nu<|x|/ \varphi (t)<\mu \})}=O\big (t^{-\gamma }\varphi (t)^{\frac{1-\sigma (p)}{\theta }}\big )=o(\phi (t))\) if (F\({}_1\)) or (F) hold.
When (S)/(\({\hbox {C}}_1\))/(C) hold, we make the estimate \(\textrm{I}_1\le \sum _{i=1}^5\textrm{I}_{1i}\), where
Since \(s^\theta<|x|/2<|y|\) in the region of integration of \(\textrm{I}_{11}\), we may use on the one hand the exterior estimate (1.10) for the kernel, and on the other hand that \(E_{-2\beta }(y)\le C E_{-2\beta }(x)\). Hence,
with \(v(t)=\sup _{\tau >t/2}\big \Vert f(\cdot ,\tau )(1+\tau )^\gamma -g\Vert _{L^1({\mathbb {R}}^N)}\). But we know from (1.16) that \(v(t)=o(1)\). Therefore, \(\textrm{I}_{11}(x,t)=o(t^{-\gamma })E_{2\beta }(x)\), whence, using (1.30),
The region of integration in \(\textrm{I}_{12}\) avoids the singularity in time. Hence, we may use the global estimate (3.1) to obtain
whence \(\Vert \textrm{I}_{12}(\cdot ,t)\Vert _{L^p(\{\nu<|x|/ \varphi (t)<\mu \})}=o(\phi (t))\).
To estimate \(\textrm{I}_{13}\) we note that \(\big |(1+t-s)^{-\gamma }-t^{-\gamma }\big |\le \varepsilon t^{-\gamma }\) if \(s\in (0,\delta t)\) with \(\delta \) small and t large. Therefore, changing the order of integration,
But (2.2) and (2.4) yield \(\displaystyle \int _0^{\delta t}Y(y,s)\,\textrm{d}s\le AE_{2\beta }(y)\). Hence, since \(E_{2\beta }(y)\le CE_{2\beta }(x)\) for \(|y|>|x|/2\), and using also the integrability of g,
which combined with (1.30) yields \(\Vert \textrm{I}_{12}(\cdot ,t)\Vert _{L^p(\{\nu<|x|/ \varphi (t)<\mu \})}=C\varepsilon t^{- \gamma }\varphi (t)^{\frac{1- \sigma (p)}{\theta }}=C\varepsilon \phi (t)\).
In the estimate of \(\textrm{I}_{14}\) we may use once more the global estimate (3.1), since we are away from the singularity in time, to obtain
Thus, using (1.30) and also that \(\varphi (t)=o(t^\theta )\), we arrive at
As for \(\textrm{II}_{15}\), since \(|y|\le 3|x|/2\) in the region of integration, it follows from (2.4) that
Hence, using also that \(|y|\ge |x|/2\) and the integrability of g, we get \(\textrm{I}_{15}(x,t)= o(t^{-\gamma })E_{2\beta }(x)\), whence
If \(|x-y|<\ell (t)|x|\), then \(\big ||y|-|x|\big |\le |x-y|\le \ell (t)|x|\). Thus, using the Mean Value Theorem,
Thus, \(\textrm{I}_{16}(x,t)=o(t^{-\gamma })E_{2\beta }(x)\), whence
As for \(\textrm{I}_{17}\), if \(|x|>\nu \varphi (t)\) with \(\varphi (t)\succ 1\), taking \(\ell (t)\succ 1/\varphi (t)\),
since \(g\in L^1({\mathbb {R}}^N)\). Therefore, \(\Vert \textrm{I}_{17}(\cdot ,t)\Vert _{L^p(\{\nu \le |x|/\varphi (t)\le \mu \})}=o(\phi (t))\).
Summarizing, if \(\ell (t)=o(1)\) is such that \(\ell (t)\succ 1/\varphi (t)\), then
We now turn our attention to \(\textrm{I}_{2}\). Using again (3.1) and the assumption (1.14) on the time decay of f, we have, since \(s>t/2\) in the region of integration,
On the other hand (remember that \(\delta (t)<1/2\), so that \(t^{1-\delta (t)}\rightarrow \infty \)),
If \(\delta (t)\succ 1/\log t\), then \(t^{\delta (t)}\rightarrow \infty \), and hence \(\log (t^{\delta (t)}/2)<C\log t^{\delta (t)}=C\delta (t)\log t=o(\log t)\) if \(\delta (t)=o(1)\). With these additional assumptions on \(\delta (t)\), we have then
where we have used that \(\varphi (t)=o(t^\theta )\) in the last equality of the case \(\gamma <1\). This estimate yields \(\Vert \textrm{I}_2(\cdot ,t)\Vert _{L^p(\{\nu<|x|/ \varphi (t)<\mu \})}=o(\phi (t))\) in all cases.
As for \(\textrm{I}_3\), if (S), we use once more (3.1) and (1.14) to obtain, since \(s>t/2\) in this case,
where we have used that \(\delta (t)\succ 1/\log t\) to show that \(t^{-\delta (t)}=o(1)\) in the case \(\gamma <1\). From here it is easily checked, using also that \(\varphi (t)=o(t^\theta )\) when \(\gamma <1\), that for all the cases included in (S) we have
If (\({\hbox {C}}_1\))/(F\({}_1\)), we make the estimate \(\textrm{I}_3\le \sum _{i=1}^5\textrm{I}_{3i}\), where
Since \(|y|>|x|/2\) and \(s> t/2\) in the integration region for \(\textrm{I}_{31}\),
![](http://media.springernature.com/lw612/springer-static/image/art%3A10.1007%2Fs00208-023-02707-6/MediaObjects/208_2023_2707_Equ216_HTML.png)
But \(|y|\le 3|x|/2\le 3\mu \varphi (t)/2\) and \(s>t/2\) imply that \(|y|s^{-\theta }\le C\varphi (t)t^{-\theta }=o(1)\). Hence, (1.8) yields
Therefore, since \(\gamma =1\) in this case, using the assumption (1.14) on f,
By the Mean Value Theorem, since \(\big ||y|-|x|\big |\le |x-y|\le \ell (t)|x|\) in the region of integration of \(\textrm{I}_{32}\),
there, since \(\ell (t)<1/2\). Thus, using also the assumption (1.14),
In order to estimate \(\textrm{I}_{33}\), we apply the Mean Value Theorem to obtain that
for all \(s\in (t-t^{1-\delta (t)},t)\). Thus, using the assumption (1.14),
As for \(\textrm{I}_{34}\), we observe that
![](http://media.springernature.com/lw575/springer-static/image/art%3A10.1007%2Fs00208-023-02707-6/MediaObjects/208_2023_2707_Equ217_HTML.png)
Notice that \(t^{\delta (t)}<t^{1-\delta (t)}\), since \(\delta (t)<1/2\). From (1.16) we get that
since, due to the condition \(\delta (t)\succ 1/\log t\), \(t^{\delta (t)}\rightarrow \infty \) as \(t\rightarrow \infty \). Moreover, if \(|x|\ge \nu \varphi (t)\),
since g is integrable and \(\ell (t)\varphi (t)\rightarrow \infty \) (remember that \(\ell (t)\succ 1/\varphi (t)\)). Therefore, using also the assumption (1.14),
since \(\delta (t)=o(t)\).
It is immediate to check that
Summarizing, \(\textrm{I}_3(x,t)=o(t^{-(1+\alpha )}\log t)E_{4\beta }(x)\), whence
from where it is easily checked that \(\Vert \textrm{I}_3(\cdot ,t)\Vert _{L^p(\{\nu<|x|/ \varphi (t)<\mu \})}=o(\phi (t))\) if (\({\hbox {C}}_1\))/(F\({}_1\)).
If (C)/(F), we make the estimate \(\textrm{I}_3\le \sum _{i=1}^6\textrm{I}_{3i}\), with \(\textrm{I}_{3i}\), \(i=1,2,3\) as for (\({\hbox {C}}_1\))/(F\({}_1\)), and
Reasoning as for the cases (\({\hbox {C}}_1\))/(F\({}_1\)), we get (notice that now \(\gamma >1\)),
On the other hand, using the hypothesis (1.14) on f,
Finally, as \(f\in L^1(Q)\) and \(\ell (t)\succ 1/\phi (t)\),
Therefore, \(\textrm{I}_{3i}(x,t)= o(t^{-(1+\alpha )})E_{4\beta }(x)\), \(i=1,6\).
Summarizing, \(\textrm{I}_3(x,t)=o(t^{-(1+\alpha )})E_{4\beta }(x)\), whence
from where it is easily checked that \(\Vert \textrm{I}_3(\cdot ,t)\Vert _{L^p(\{\nu<|x|/ \varphi (t)<\mu \})}=o(\phi (t))\) if (C)/(F).
Now we analyze \(\textrm{II}\). We make the decomposition \(\textrm{II}=\textrm{II}_1+\textrm{II}_2+\textrm{II}_3\), where
with \(k(t)=o(1)\) such that \(k(t)\in (0,1/2)\) for all \(t>0\) to be further especified later.
We estimate \(\textrm{II}_{1}\) as \(\textrm{II}_1\le \textrm{II}_{11}+\textrm{II}_{12}\), where
Since \(k(t)<1/2\), \(|x-y|\ge |x|/2>\nu \varphi (t)/2\). Hence, taking q and r as in (2.1), and using the global bound (1.9),
where \(m(t):=\sup _{\tau>0}\Vert f(\cdot ,\tau )(1+\tau )^\gamma \Vert _{L^q(\{|x|>\frac{\nu }{2}\varphi (t)\})}\), since \(\Vert E_{4\beta }\Vert _{L^r(\{|x|<a\})}\le Ca^{\frac{1+\alpha -\sigma (r)}{\theta }}\). Thanks to assumptions (1.14) and (1.19),
and hence, since \(k(t)=o(1)\) and \(\sigma (r)<1\),
As for \(\textrm{II}_{12}\), since \(|y|/s^\theta >1\) in the integration range, we may use the exterior estimate (1.10) for the kernel to obtain
On the other hand, since \(k(t)<1/2\), \(|x-y|\ge |x|/2>\nu \varphi (t)/2\). Hence, taking q and r as in (2.1),
In order to estimate \(\textrm{II}_2\), we observe that in the region of integration \(s^\theta<k(t) |x|<|y|\). Therefore, we may use the outer estimate (1.10), and hence
Therefore, taking q and r as in (2.1),
where \(n(t):=\sup _{\tau>0}\Vert f(\cdot ,\tau )(1+\tau )^\gamma \Vert _{L^q(\{|x|>\nu \ell (t)\varphi (t)\})}\). Thanks to the assumptions (1.14) and (1.19),
whence, if \(\ell (t)\) satisfies \(\ell (t)\succ k(t)^{(1- \sigma (r))/(N\theta (1- \frac{1}{q}))}\), in addition to \( \ell (t)\succ 1/\varphi (t)\),
To estimate \(\textrm{II}_3\), we use the global bound (1.9). Then, if \(|x|>\nu \varphi (t)\),
where \(v(t):=\sup _{\tau>t/2}\Vert (1+\tau )^\gamma f(\cdot ,\tau )\Vert _{L^1(\{|x|>\nu \ell (t)\varphi (t)\})}\) is a bounded function, thanks to the size assumption (1.14). Using (1.30),
Since v is bounded, in fast scales (F) we have, see (1.29),
On the other hand it is readily checked that in these scales \(t^{1+\alpha -\gamma }\varphi (t)^{-2\beta }=o(1)\). Therefore, if we take \(k(t)\succ \big (t^{1+\alpha -\gamma }\varphi (t)^{-2\beta }\big )^{1/(N-2\beta )}\), we finally arrive at \(\Vert \textrm{II}_3(\cdot ,t)\Vert _{L^p(\{\nu<|x|/ \varphi (t)<\mu \})}=o(\phi (t))\), as desired.
For the scales (S), (\({\hbox {C}}_1\)), (C), and (F\({}_1\)) we use assumption (1.16) to show that, since \(\ell (t)\succ 1/\varphi (t)\),
Therefore, if we take \(k(t)\succ v(t)^{1/(N-2\beta )}\), we get
We now consider the last term, \(\textrm{III}\). We have \(\textrm{III}=\textrm{III}_1+\textrm{III}_2\), where
with \(h(t)=o(1)\) such that \(h(t)\in (0,1/2)\) for all \(t>0\) to be further especified later.
Since \(h(t)<1/2\), \(|x-y|\ge |x|/2>\nu \varphi (t)/2\). Hence, taking q and r as in (2.1), and using the global estimate (1.9),
with m(t) as above. Then, since \(\sigma (r)<1\) and \(h(t)=o(1)\), and using also (2.3), we conclude that
To estimate \(\textrm{III}_2\), we use the global bound (1.9). Then, if \(|x|> \nu \varphi (t)\),
where \(w(t)=\displaystyle \int _0^{t/2}\Vert f(\cdot ,\tau )\Vert _{L^1(\{|x|\ge \ell (t)\nu \varphi (t)\})}\,\textrm{d}\tau \), so that, using (1.30),
If \(\gamma >1\), then \(w(t)=o(1)\). Hence, taking \(\displaystyle h(t)\succ w(t)^{1/(N-4\beta )}\),
whence it is easy to check that \(\Vert \textrm{III}_2(\cdot ,t)\Vert _{L^p(\{\nu<|x|/ \varphi (t)<\mu \})}=o(\phi (t))\) in the scales (S), (C), and (F) when \(\gamma >1\).
If \(\gamma <1\), something which only happens in the case (S), hypothesis (1.14) yields \(w(t)=O(t^{1-\gamma })\). Remember that \(\varphi (t)=o(t^\theta )\). Hence, taking \(h(t)\succ (\varphi (t)/t^\theta )^{\alpha /(\theta (N-4\beta ))}=o(1)\),
If \(\gamma =1\), the size hypothesis (1.14) yields \(w(t)=O(\log t)\). If \(\varphi (t)=o\big (t^\theta /(\log t)^{\frac{1}{2\beta }}\big )\), then, taking \(h(t)\succ (\varphi (t)/(t^\theta /(\log t)^{\frac{1}{2\beta }}))^{\frac{\alpha }{\theta (N-4\beta )}}=o(1)\),
which completes the analysis of the case (S).
For the remaining cases with \(\gamma =1\), namely (\({\hbox {C}}_1\)) and (F\({}_1\)), we require the tail control hypothesis (1.18), that yields \(w(t)=o(\log t)\). Taking \(h(t)\succ (w(t)/\log t)^{1/(N-4\beta )}\), for (F\({}_1\)) we have
and in the case (\({\hbox {C}}_1\)), for which \(\varphi (t)\simeq t^\theta /(\log t)^{\frac{1}{2\beta }}\),
\(\square \)
4 Exterior regions
This section is devoted to prove the results concerning the large-time behavior in exterior regions, \(\{|x|>\nu t^{\theta }\}\) for some \(\nu >0\), Theorems 1.3–1.6 and Proposition 1.1.
Proof of Theorem 1.3
We make the decomposition
with \(\delta \in (0,1/2)\) to be fixed later.
By the Mean Value Theorem, for each x, y, t and s there is a value \(\lambda \in (0,1)\) such that
But, if \(|y|<\delta |x|\) with \(\delta \in (0,1/2)\) and \(\lambda \in (0,1)\), with \(|x|\ge \nu t^{\theta }\) and \(s\in (0,t)\), then
Therefore, using the estimate (1.11) for the gradient of Y and the size assumption (1.14),
Thus, since
we get
which combined with (2.3) yields \(\Vert \textrm{I}(\cdot ,t)\Vert _{L^p(\{|x|>\nu t^{\theta }\})}\le C\delta \phi (t)\). From now on we fix \(\delta \in (0,1/2)\) so that \(C\delta <\varepsilon \).
We now turn our attention to \(\textrm{II}\). If \(p\in [1,p_{\textrm{c}})\), using (1.13),
If moreover \(\gamma >1\), then \(f\in L^1({\mathbb {R}}^N\times (0,\infty ))\), and hence
so that, using also assumption (1.14) to estimate the integral over (t/2, t),
Still in the subcritical case, if \(\gamma \le 1\), using the tail control assumption (1.18) we have
and therefore \(\Vert \textrm{II}(\cdot ,t)\Vert _{L^p(\{|x|>\nu t^{\theta }\})}=o(\phi (t))\).
If p is not subcritical, we take q and r as in (2.1). Then, since r is subcritical, using (1.13),
where
thanks to the uniform tail control assumption (1.20). Therefore
whence \(\Vert \textrm{II}(\cdot ,t)\Vert _{L^p(\{|x|>\nu t^{\theta }\})}=o(\phi (t))\). \(\square \)
Proof of Theorem 1.4
Take \(\delta \in (0,1/2)\). Using hypothesis (1.14) on the size of f, we have
for some \(\delta \in (0,1/2)\) to be fixed later.
By the Mean Value Theorem, for each x, t and \(s\in (0,t)\) there exists \(\lambda \in (0,1)\) such that
From estimates (1.10) and (1.12), if \(|x|t^{-\theta }\ge \nu \), \(t>0\), for some \(\nu >0\), then
But, if \(|x|>\nu t^\theta \), with \(\nu >0\), \(s\in (0,\delta t)\), with \(\delta \in (0,1/2)\), and \(\lambda \in (0,1)\), then
Therefore, we have
so that
Using (4.1), we finally get \(\Vert \textrm{I}(\cdot ,t)\Vert _{L^p(\{|x|>\nu t^\theta \})}\le \varepsilon \phi (t)\) if we choose \(\delta \in (0,1/2)\) small enough.
Once the value of \(\delta \) is fixed, we have, using the exterior bound (1.10) for the kernel,
so that \(\Vert \textrm{II}(\cdot ,t)\Vert _{L^p(\{|x|>\nu t^\theta \})},\Vert \textrm{III}(\cdot ,t)\Vert _{L^p(\{|x|>\nu t^\theta \})}\le C t^{1-\gamma -\sigma (p)}=o(\phi (t))\) if \(\gamma \ge 1\). \(\square \)
Proof of Theorem 1.5
Let \(\delta \in (0,1/2)\) to be chosen later. We have
Since, by the Mean Value Theorem, \(0\le (t-s)^{\alpha -1}-t^{\alpha -1}\le C\delta t^{\alpha -1}\) if \(s\in (0,\delta t)\), using also the size condition (1.14) on f with \(\gamma >1\) we conclude that
if we fix \(\delta \) small enough and then take t large. \(\square \)
Proof of Theorem 1.6
We make the estimate \(|M(t)-M_0t^{\alpha -1}\log (1+t)|\le \textrm{I}(t)+\textrm{II}(t)+\textrm{III}(t)\), where
From assumption (1.16) we know that there is a time \(\tau _\varepsilon \) such that
With this in mind, we make the estimate \(\textrm{I}(t)\le \textrm{I}_1(t)+\textrm{I}_2(t)\), where
valid for \(t>\tau _\varepsilon \). On the one hand, the size assumption (1.14) yields \((1+s)|M_f(s)|\le C\), so that
if t is large enough. On the other hand, from (4.5), for all large t,
As for \(\textrm{II}\), we estimate it as \(\textrm{II}(t)\le \textrm{II}_1(t)+\textrm{II}_2(t)\), where
for some \(\delta \in (0,1/2)\) to be chosen. Given \(\varepsilon >0\), there exists a small constant \(\delta =\delta (\varepsilon )>0\) such that
We fix such \(\delta \). Then, if t is large enough,
On the other hand, for t large enough,
Finally, since \(\log \frac{1+t}{t}=o(1)=o(\log t)\) as \(t\rightarrow \infty \), we get immediately that \(\textrm{III}(t)=o\big (t^{\alpha -1}\log t)\). \(\square \)
Proof of Proposition 1.1
Let \(\delta \in (0,1/2)\) to be fixed later. We have
We estimate \(\textrm{I}\) as \(\textrm{I}\le \textrm{I}_1+\textrm{I}_2\), where
Let \(\varepsilon >0\). Since \(t-s\ge t/2\) for \(s\in (0,\delta t)\), using hypothesis (1.16) we get
for t large enough, how big not depending on \(\delta \), so that
We recall now that
Therefore, \(\textrm{I}_1(x,t)\le \varepsilon t^{-\gamma }|M_0|c_{2\beta }E_{2\beta }(x)\).
Using again (4.6), we have \(\textrm{I}_2\le \textrm{I}_{21}+\textrm{I}_{22}\), where
If \(s\in (0,\delta t)\), then
so that \(\big |(1+t-s)^{-\gamma }-t^{-\gamma }\big |\le \varepsilon t^{-\gamma }\) if t is large and \(\delta \) small. Thus, using once more (4.6),
Once we fix \(\delta \) as above, using the global estimate (1.9) for the kernel, if \(|\xi |=|x|t^{-\theta }\) is small enough,
Similarly, using also the size hypothesis (1.14), if \(|\xi |=|x|t^{-\theta }\) is small enough,
\(\square \)
Data availibility
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Biler, P., Guedda, M., Karch, G.: Asymptotic properties of solutions of the viscous Hamilton-Jacobi equation. J. Evol. Equ. 4(1), 75–97 (2004)
Caputo, M.: Linear models of dissipation whose \(Q\) is almost frequency independent-II. Geophys. J. R. Astr. Soc. 13, 529–539 (1967)
Cartea, Á., del Castillo-Negrete, D.: Fluid limit of the continuous-time random walk with general Lévy jump distribution functions. Phys. Rev. E 76, 041105 (2007)
Compte, A., Cáceres, M.O.: Fractional dynamics in random velocity fields. Phys. Rev. Lett. 81, 3140–3143 (1998)
Cortazar, C., Quirós, F., Wolanski, N.: A heat equation with memory: large-time behavior. J. Funct. Anal. 281(9), 109174 (2021)
Cortázar, C., Quirós, F., Wolanski, N.: Large-time behavior for a fully nonlocal heat equation. Vietnam J. Math. 49(3), 831–844 (2021)
Cortazar, C., Quirós, F., Wolanski, N.: Decay/growth rates for inhomogeneous heat equations with memory. The case of large dimensions. Math. Eng. 4(3), 1–17 (2022)
Cortazar, C., Quirós, F., Wolanski, N.: Decay/growth rates for inhomogeneous heat equations with memory. The case of small dimensions. arXiv:2204.11342 [math.AP] (Preprint)
Cortázar, C., Quirós, F., Wolanski, N.: Asymptotic profiles for inhomogeneous classical and fractional heat equations (Preprint)
del Castillo-Negrete, D., Carreras, B.A., Lynch, V.E.: Fractional diffusion in plasma turbulence. Phys. Plasmas 11(8), 3854–3864 (2004)
del Castillo-Negrete, D., Carreras, B.A., Lynch, V.E.: Nondiffusive transport in plasma turbulence: a fractional diffusion approach. Phys. Rev. Lett. 94(6), 065003 (2005)
Dolbeault, J., Karch, G.: Large time behaviour of solutions to nonhomogeneous diffusion equations. In: Self-Similar Solutions of Nonlinear PDE. Banach Center Publ, vol. 74, pp. 133–147. Mathematical Institute of the Polish Academy of Sciences, Warsaw (2006)
Dzherbashyan, M.M., Nersesian, A.B.: Fractional derivatives and the Cauchy problem for differential equations of fractional order (Russian). Izv. Akad. Nauk Arm. SSR Mat. 3, 3–29 (1968)
Eidelman, S.D., Kochubei, A.N.: Cauchy problem for fractional diffusion equations. J. Differ. Equ. 199(2), 211–255 (2004)
Gerasimov, A.N.: A generalization of linear laws of deformation and its application to problems of internal friction (Russian). Akad. Nauk SSSR. Prikl. Mat. Meh. 12, 251–260 (1948)
Gross, B.: On creep and relaxation. J. Appl. Phys. 18, 212–221 (1947)
Kemppainen, J., Siljander, J., Zacher, R.: Representation of solutions and large-time behavior for fully nonlocal diffusion equations. J. Differ. Equ. 263(1), 149–201 (2017)
Kim, K.-H., Lim, S.: Asymptotic behaviors of fundamental solution and its derivatives to fractional diffusion-wave equations. J. Korean Math. Soc. 53(4), 929–967 (2016)
Kochubeĭ, A.N.: Diffusion of fractional order (Russian). Differ. Uravneniya 26(4), 660–670, 733–734 (1990)
Liouville, J.: Memoire sur quelques questions de géometrie et de méecanique, et sur un nouveau gentre pour resoudre ces questions. J. Ecole Polytech. 13, 1–69 (1832)
Metzler, R., Klafter, J.: The random walk’s guide to anomalous diffusion: a fractional dynamics approach. Phys. Rep. 339(1), 77 (2000)
Rabotnov, Y.N.: Polzuchest Elementov Konstruktsii. (Russian) Nauka, Moscow (1966); English translation: Creep Problems in Structural Members. North-Holland, Amsterdam (1969)
Stein, E.M.: Singular Integrals and Differentiability Properties of Functions. Princeton Mathematical Series, vol. 30. Princeton University Press, Princeton (1970)
Zaslavsky, G.M.: Chaos, fractional kinetics, and anomalous transport. Phys. Rep. 371(6), 461–580 (2002)
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. C. Cortázar supported by FONDECYT Grant 1190102 (Chile). F. Quirós supported by Grants CEX2019-000904-S, PID2020-116949GB-I00, and RED2022-134784-T, all of them funded by MCIN/AEI/10.13039/501100011033. N. Wolanski supported by European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie Grant agreement No. 777822, CONICET PIP 11220150100032CO 2016-2019; UBACYT 20020150100154BA, ANPCyT PICT2016-1022 and MathAmSud 13MATH03 (Argentina). This work has been supported by the Madrid Government (Comunidad de Madrid-Spain) under the multiannual Agreement with UAM in the line for the Excellence of the University Research Staff in the context of the V PRICIT (Regional Programme of Research and Technological Innovation).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, Fernando Quirós states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
We study here the behavior at infinity of Riesz potentials, using only integral assumptions, a result of independent interest.
Theorem A.1
Let \(\mu \in (0,N)\). Let \(g\in L^1({\mathbb {R}}^N)\) and \(\displaystyle M=\int _{{\mathbb {R}}^N}g\). If \(p\ge p_\mu :=N/(N-\mu )\) we assume in addition the tail control condition
Let \(E_\mu \) and \(I_\mu \) as in (1.22). Then, if \(0<\nu \le \mu <\infty \), for any \(p\in [1,\infty ]\) we have
Proof
We may assume without loss of generality that \(g\ne 0\). We have \(|I_{\mu }[g]-ME_\mu |\le \text {I}+\text {II}+\text {III}+\text {IV}\), where
with \(\gamma ,\delta >0\) to be chosen later.
On the one hand, if \(|y|<\gamma |x|\), with \(\gamma \in (0,1)\),
Hence, \(\Big |\frac{|x|^{N-\mu }}{|x-y|^{N-\mu }}-1\Big |<\varepsilon /\Vert g\Vert _{L^1({\mathbb {R}}^N)}\) if \(\gamma \) is small enough, and therefore \(\text {I}(x)\le \varepsilon E_{\mu }(x)\), whence
for all values of R. From now on \(\gamma \) is assumed to be fixed.
Since \(g\in L^1({\mathbb {R}}^N)\), \(\Vert g\Vert _{L^1(\{|x|\ge \nu R\})}\le \varepsilon \) if R is large enough. Hence,
if R is large enough.
To estimate \(\textrm{III}\), we choose
Notice that \(r\in [1,p_\mu )\) in all cases. Then, using the integrability of g if \(p\in [1,p_\mu )\), or the tail control condition otherwise,
Since \(r\in [1,p_\mu )\), then \(-N(1-\frac{1}{r})+\mu >0\). Therefore, taking \(\delta >0\) small enough,
Finally, once \(\gamma \) and \(\delta \) are fixed, since
we have, using the integrability of g,
if R is large enough. \(\square \)
Remark
The tail control assumption in Theorem A.1 is satisfied, for instance, if \(|g(x)|\le |x|^{-N}\).
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
Cortázar, C., Quirós, F. & Wolanski, N. Asymptotic profiles for inhomogeneous heat equations with memory. Math. Ann. 389, 3705–3746 (2024). https://doi.org/10.1007/s00208-023-02707-6
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-023-02707-6