A network model for control of dengue epidemic using sterile insect technique

1.   Introduction

The homogenization theory is to establish the macroscopic behavior of a system which is microscopically heterogeneous in order to describe some characteristics of the heterogeneous medium ^[1]. In recent years many papers have been faced with the problem of how to get an effective behavior as a scale parameter $\varepsilon\rightarrow 0^{+}$. Nguetseng ^[2] and Allaire ^[3] first proposed two-scale convergence, and in 1997, Holmbom ^[4] proved the homogenization result of the parabolic equation that the main operator depends on time $t$ by using two-scale convergence.

Recently, Akagi and Oka ^[5] considered a space-time homogenization problem for nonlinear diffusion equations with periodically oscillating space and time coefficients:

their main results are based on the two-scale convergence theory for space-time homogenization.

Akagi and Oka ^[6] also considered space-time homogenization problems for porous medium equations with nonnegative initial data. These are important developments of the homogenization of local second-order parabolic equations where the operator depends on the time $t$. Geng and Shen ^[7] and Niu and Xu ^[8] discussed the convergence rates in periodic homogenization of a second-order parabolic system depending on time $t$. There are many qualitative and quantitative studies on the homogenization theory of parabolic equations with periodic and stationary coefficients ^[9,10,11,12].

The nonlocal operator homogenization theory is based on the regular convolutional kernel and the singularity kernel corresponding to the fractional Laplace equation. Piatnitski and Zhizhina ^[13] gave a scaling operator:

where there are two natural length scales, one being the macroscopic scale of order $1$ and the other being the microscopic pore scale of order $\varepsilon > 0$; the scale parameter $\varepsilon$ measures the oscillation. The bounded $1-$periodic functions $\lambda(\xi), \mu(\eta)$ describe the periodic structure. As $\varepsilon\rightarrow 0^{+}$, the limit of operators $\{\mathscr{L}^\varepsilon\}_{\varepsilon > 0}$ is a second order elliptic differential operator $L$ corresponding to the macroscopic scale. Piatnitski and Zhizhina ^[14] dealt with the homogenization of parabolic problems for integral convolutional type operators with a non-symmetric jump kernel in a periodic elliptic medium

where $\mu(\xi, \eta)$ is a positive periodic function in $\xi$ and $\eta$. Kassmann, Piatnitski and Zhizhina ^[15] considered the homogenization of a Lévy-type operator.

Karch, Kassmann and Krupski ^[16] discussed the existence of the Cauchy problem

for $(x, t)\in\mathbb{R}^d\times[0, \infty)$ with a given homogeneous jump kernel $\rho$. Their models contain both integrable and non-integrable kernels.

Next, we introduce some examples about the nonlocal evolution of porous medium equations and fast diffusion equations. Cortazar et al. ^[17] considered the rescaled problem

with a fixed initial condition $u_{0}(x)$ and they proved that the limit $\lim\limits_{\varepsilon\rightarrow 0}u^{\varepsilon}(x, t) = u(x, t)$ is a solution to the porous medium equation $u_{t} = D(u^{3})_{xx}$ for a suitable constant $D$, where $J$ is a smooth non-negative even function supported in $[-1, 1]$.

Andreu et al.[18, Chapter 5] discussed a class of nonlinear nonlocal evolution equations with the Neumann boundary condition

where $\Omega$ is a bounded domain. If the maximal monotone function $\theta(r) = |r|^{p-1}r$, under the suitable rescale model problem (1.6) corresponds to the nonlocal version of the porous medium equation if $0 < p < 1$, or to the fast diffusion equation if $p > 1$.

Nonlocal porous medium equations with a non-integrable kernel is an important example of nonlinear and nonlocal diffusion equations; the different properties of solutions to the fractional porous medium equation

have been studied from various viewpoints ^{[19,20,21,22,23,24]}.

The two types of equations studied in this paper have recently been widely researched in the following form:

where $p > 0$, $\mathfrak{L}$ is a linear, symmetric, and nonnegative operator $(p\geq 1)$ and sub-Markovian operator ($0 < p < 1$). More details can be seen in ^[25,26].

Inspired by the thought of local nonlinear homogenization described by Akagi and Oka ^[5,6], the goal of this paper is to investigate the homogenization theory of nonlocal nonlinear parabolic equations in a periodic environment with the following nonlocal scaling operator:

which means that we take the jump kernel in Eq (1.4) as follows

The difference between the kernels in Eq (1.10) and in the equation

where $C_{\alpha, d}$ is a constant and $\alpha\in(0, 1)$, can be seen in the work of Karch, Kassmann and Krupski ^[16]. For more literatures about time-dependent regular kernels (integrable) and Lévy kernels (non-integrable), see, for instance, ^[27,28] for more details.

This paper is mainly divided into two parts.

The first part is the homogenization problem under the periodic framework. Our goal is to characterize the limit operator by homogenizing the nonlocal operators $\{\mathscr{L}^{\varepsilon}\}_{\varepsilon > 0}$ as the scale parameter $\varepsilon \to 0^{+}$. The paper is organized as follows. The first step, in the case of $0 < p\leq2$, we transfer the spatial nonlinearity to the time derivative term through a kirchhoff transform, which can simplify the difficulty of nonlinearity in the nonlocal operator. In the second step, we construct axillary functions that work on the operator and then divide the operator in Eq (1.9) into three parts we then deal with it part by part separately according to the parameters $r$ and $p$. We prove that the first part is zero. For the second part, we get that the limit is a nonlinear diffusion operator. Finally, from the third part we get an error function $\phi_{\varepsilon}$ and we can prove that it tends to zero in $L^2((0, T), L^{2}(\mathbb{R}^d))$ as $\varepsilon \to 0^{+}$. We also consider the homogenization of the nonlocal porous medium equation ($1\leq p < +\infty$) with non negative initial values and get similar homogenization results.

The second part is the homogenization problem under the stationary framework. The idea of the proof is divided into the following steps. The first step is to construct an approximation sequence equation when $p = 1$; by approximation we obtain a random corrector function. The second step is to prove the existence and uniqueness of the corrector functions, as well as the properties of sub-linear growth and stationarity. The third step is to prove the convergent limit equation. There will be some additional stationary matrix-field $\digamma(\frac{x}{\varepsilon}, \frac{t}{\varepsilon^2}, \omega)$ with zero average and the non-stationary term $\Upsilon^{\varepsilon}$ during the process of solving the coefficients of the limit equation. It is necessary to prove that there are some functions $v_2$ and $v_3$ to cancel the additional part, and also to prove the positive definiteness of the matrix $\Theta$ and the existence of the limit equation. The fourth step focuses on the effects of nonlinearity and give some key proofs of our results.

The novelty of this paper is two folds. First, for the determination equation with a periodic structure, our study complements the results in literature for $r = 2$ and $p = 1$. Second, we consider the corresponding equation with a stationary structure.

It is worth noting that we need to require that $0 < p\leq 2$ become $|u^\varepsilon|^{{p}-1} u^\varepsilon\in L^2 ((0, T) \times L_{loc}^2(\mathbb{R}^d)).$ So far it is not actually clear how to solve the case of $p > 2$. The local equation in the case that $p \in(0, 2) \; u^\varepsilon \in L^{\infty} ((0, T) \times L^{3-p}(\Omega)) \cap L^2 ((0, T) \times H_{0}^1(\Omega))$ does not hold when $p = 2$; the specific proof is in [5, Lemma 4.1].

2.   Preliminaries

In order to deal with the homogenization of nonlinear nonlocal operators, we first introduce some results on nonlinear functional analysis, semigroups and the nonlocal diffusion of knowledge; the main references are ^[29,30].

Notation. $X = L^2(\mathbb{R}^d, \varrho)$, $I = (0, T), E = (0, 1)$ and $Y = \mathbb{T}^d = [0, 1]^d.$ We have that $x_{0}\in\mathbb{R}, Q_{R}\left(x_{0}\right) = x_{0}+(-\frac{R}{2}, \frac{R}{2})^d$ and $B_{r}\left(x_{0}\right)$ is the open ball in $\mathbb{R}^{d}$ centered at $x_{0}$ and radius $r$. Moreover, $Q_{R} = Q_{R}(0), B_{r} = B_{r}(0)$, and $\widetilde{Q}_{R} = \; Q_{R}\times I_{R} = (-\frac{R}{2}, \frac{R}{2})^{d+1}\subset \mathbb{R}^{d+1}$, while $\widetilde{Q}$ and $\widehat{Q}$ are used for any cube in $\mathbb{R}^{d+1}$. Additionally, $a\lesssim_{\alpha}b$ means that there exists a constant $C = C(\alpha) > 0$ such that $a\leq Cb$. We write $a = b$ if $a\lesssim_{\alpha}b$ and $b\lesssim_{\alpha}a$.

Assume that the kernel $J$ is a nonnegative symmetric function that satisfies the time periodicity that

and that ${J}(\cdot, \cdot)$ is compactly supported in the set $\{(x, t) \in \mathbb{R}^{d+1}:t\geq 0\}.$ In addition,

where $\mathbf{U}$ is any tube in $\mathbb{R}^d$.

We also assume that the bounded periodic function $\nu(x, y)$ satisfies

where $\alpha_1$ and $\alpha_2$ are positive constants. Here $\nu$ contains the case that $\nu(x, y) = \lambda(x)\mu(y)$.

Definition 2.1. (Monotone operator) Let X and $X^*$ be a Banach space and its dual space. A set-valued operator $A: X\to 2^{X^{*}}$ is said to be monotone, if it holds that

where $G(A)$ denotes the graph of $A$, i.e., $G(A) = \Big\{[u, \xi]\in X \times X^*: \xi\in Au\Big\}.$

Finally, let us recall the notion of subdifferentials for convex functionals.

Definition 2.2. (Subdifferential operator) Let $X$ and $X^{*}$ be a Banach space and its dual space, respectively. Let $\phi: X \rightarrow (-\infty, +\infty]$ be a proper (i.e., $D(\phi)\neq\emptyset$) lower semicontinuous and convex functional with the effective domain $D(\phi): = \{u\in X:\phi(u) < +\infty\}$. The subdifferential operator $\partial\phi: X\rightarrow 2^{X^{*}}$ of $\phi$ is defined by

with domain $D(\partial\phi): = \Big\{u\in D(\phi):\partial\phi(u)\neq\emptyset\Big\}$. Subdifferential operators form a subclass of maximal monotone operators.

Theorem 2.3. (Minty) Every subdifferential operator is maximal monotone.

Lemma 2.1. [29, Prop. 6.19,Poincaré-type inequality] For $q\geq 1$, assume that $J(x)\geq J(y)$ if $|x|\leq |y|$ and $\Omega$ is a bounded domain in $\mathbb{R}^d$; the quantity

is strictly positive. Consequently, for every $u\in L^q(\Omega)$,

Theorem 2.4. [30, Prop. 32D] Let $V\subseteq H\subseteq V^{*}$ be an evolution triple; and $X = L^{p}(0, T; V)$, where $1 < p < \infty$ and $0 < T < \infty$. Suppose that the operator $A: X\rightarrow X^{*}$ is pseudomonotone, coercive and bounded. Then, for each $b\in X^{*}$ and the operators

the equations

have respective solutions. In addition, if $A$ is strictly monotone, then the corresponding solutions are unique.

3.   Statement of the problem and the main results

We consider the following nonlocal scaling operator

and the corresponding Cauchy problem

with

As the scale parameter $\varepsilon\rightarrow 0^{+}$, we will prove that the effective Cauchy problem for Eq (3.2) is

where

and the positive definite constant matrix $\Theta = (\Theta^{ij})$ will be given below. For writing convenience, we omit $\Sigma$ in Eq (3.5).

Remark 1. According to ^[31,32], for $1 < p < \infty,$ the Cauchy problem of porous medium equations admits a solution when $\varphi(x)\in L^1_{loc}(\mathbb{R}^d),$ but the corresponding result for the Cauchy problem to fast diffusion equations was only established for $d\geq 3, \frac{d-2}{d} < p < 1$ and for $d = \{1, 2\}, 0 < p < 1$ when $\varphi(x)\in L^1_{loc}(\mathbb{R}^d).$ Therefore, the index conditions in the critical situation are also satisfied here. For $p = 1,$ the operator $\mathscr{L}^{\varepsilon}$ in Eq (3.1) is linear, the Cauchy problems of parabolic Eqs (3.2) and (3.4) have solutions $u^{\varepsilon}$ and $u^{0}\in L^\infty((0, T), L^2(\mathbb{R}^d))$ respectively. But the existence of solutions is not obvious for $0 < p < 1$ and $p > 1$, so we need to prove it before going to investigate the limit behavior.

3.1.   Existence and uniqueness of nonlocal porous medium equation and fast diffusion equation

We apply the space of functions of bounded variation, following ^[16,33]. Suppose that for $u\in L^{1}(\mathbb{R}^{d})$, there exist finite signed Radon measures $\lambda_{i} (i = 1, 2, \cdots, d)$ such that

Then we say that $u \in BV(\mathbb{R}^{d})$ if the norm $\|u\|_{B V} = 2\|u\|_{1}+|D u|(\mathbb{R}^{d}) < \infty$.

For every $\delta\in(0, 1]$, we consider a function $h_{\delta}\in C^{\infty}([0, \infty)), 0\leq h_{\delta}(x)\leq1$ which is nondecreasing and satisfies that $h_{\delta}(x) = 0$ for $x \leq \frac{\delta}{2}$ and $h_{\delta}(x) = 1$ for $x\geq\delta$. Denote

Lemma 3.1. For $1\leq p < +\infty$, the operator $\mathfrak{B}^{\delta}(u): = \mathcal{L}^{t, \delta}_u u$ is locally Lipschitz as a mapping $\mathfrak{B}^{\delta}: L^{[1, \infty]}(\mathbb{R}^{d})\rightarrow L^{[1, \infty]}(\mathbb{R}^{d})$ for a.e. $t$.

Proof. See Appendix A for a detailed proof.

Lemma 3.2. For every initial data point $u^\delta_{0}(x)\in L^{[1, \infty]}(\mathbb{R}^{d}), 1 < p < +\infty$ and $\forall \; T > 0$, the problem (3.2) admits a unique global classical solution

Proof. For $v\in C^{1}([0, T], L^{[1, \infty]}(\mathbb{R}^{d}))$, consider an integral operator

From Lemma 3.1, the operator $\mathfrak{B}^{\delta}(u) = \mathcal{L}^{t, \delta}_u u$ is locally Lipschitz. Fix $T\in(0, \infty)$; for $v_1, v_2\in X$, we have

and

where $M(p, \alpha_2, \Lambda)$ is introduced in Appendix A. For a small enough $T$ such that $CT < 1$, the Banach contraction mapping principle implies that the problem (3.2) admits a unique local classical solution $u^\delta\in C^{1}([0, T], L^{[1, \infty]}(\mathbb{R}^{d}))$.

This local classical solution $u^\delta$ is actually global. According to [16, Lemma 3.5], we have

Taking a ball $B(\varphi, C||\varphi||_{[1, \infty]})\subset X$, then $M(p, \alpha_2, \Lambda)$ only depends on $||\varphi||_{[1, \infty]}$. Therefore, the problem (3.2) admits a global solution.

Theorem 3.1. (Existence of strong solutions) For $1 < p < +\infty$ and the initial condition $\varphi\in BV(\mathbb{R}^d)\cap L^\infty(\mathbb{R}^d)$, the problem (3.2) has a strong solution (and still denotes $u$)

Proof. For an arbitrarily fixed $T > 0$, by applying the Aubin-Lions-Simon lemma [34, Theorem 1] in the space $L^{\infty}\left([0, T], L^{1}(\Omega)\right)$, we can get the convergent subsequence in the usual way. So there exist a subsequence $\left\{u^{\delta_{j}}\right\}$ and a function $u$ such that $u^{\delta_{j}}\rightarrow u\; \mbox{in}\; C([0, T], L_{{loc}}^{1}(\mathbb{R}^{d})).$ The specific proof process can be found in ^[16,25].

The case $0 < p < 1$ can be obtained in ^[35], and the existence of a doubly nonlinear equation is consistent with our equation. Noticed that more studies focus on fractional nonlocal fast diffusion equations, e.g. ^[36,37]. The general framework was recently studied in ^[16]. We now describe our main results on $u^\varepsilon(x, t), u^{0}(x, t)$ corresponding to the Cauchy problems (3.2) and (3.4), respectively.

3.2.   Main results on homogenization

Theorem 3.2. Assume that the functions $J(z, s)$ and $\nu(x, y)$ satisfy the conditions (2.1)–(2.3). Let $u^{\varepsilon}(x, t)$ be the solution of the Cauchy problem (3.2) and $u^{0}(x, t)$ be the solution of the effective Cauchy problem (3.4). Then there exist a vector $\varpi\in\mathbb{R}^{d} \; (\varpi = 0$ for $p\neq1)$ and a positive definite matrix $\Theta$ such that for any $T > 0$, we have

Theorem 3.2 implies that the homogenization of the nonlocal operator in Eq (3.1) is a local porous medium operator. The Cauchy problem of porous medium equations has been extensively studied in ^{[31,32,38,39]}.

The homogenized flux $\Theta(x, t)$ can be characterized as follows.

Case I. For $0 < r < 2$ and $0 < p\leq2$, $\Theta$ is a constant $d\times d$ matrix given by

where the periodic function $\chi_1(\xi, s) \; ((\xi, s)\in\mathbb{T}^{d}\times\mathbb{T})$ solves the cell-problem

$u^{0}(x, t)$ is the solution of Eq (3.4) and $m$ will be defined in Eq (4.40).

Remark 2. For $p\neq1, \; \chi_{1}$ does not depend on $x$ and $t$, so $\varpi = 0, \; w^\varepsilon(x, t) = u(x, t)+\varepsilon u_1(x, t)+\varepsilon^2u_2(x, t)$ and the pair $(u, u_1)$ is uniquely determined. Moreover, the function $u_1(x, t, y, s)$ can be written as

Case II. For $r = 2$ and $p\in(0, 1]$, the homogenized matrix function $\Theta(x, t)$ is characterized by

where $\chi_{1}^{k} = \chi_{1}^{k}(x, t, y, s)\in L^{\infty}\left(\mathbb{R}^d \times(0, T); L^{2}\left(E; L_{{per }}^{2}(Y)/\mathbb{R}\right)\right)$ solves the cell problem

such that, for each $(x, t)\in\mathbb{R}^d\times(0, T)$,

Case III. For $r = 2$ and $p\in(1, 2]$, the homogenized matrix function $\Theta (x, t)$ is characterized by Eq (3.14), where

and $\natural_1^{k} = \natural_1^{k}(x, t, y, s)\in L^{\infty}\left(\left[u^{0}\neq 0\right]; H^{1}\left(E; \left[L_{\mathrm{per}}^{2}(Y)/\mathbb{R}\right]^{*}\right)\right)$ solves the cell problem for each $(x, t)\in\left[u_{0}\neq 0\right]$:

such that

and the measurable set $\left[u^{0}\neq 0\right]: = \left\{(x, t)\in \mathbb{R}^d\times(0, T): u^{0}(x, t)\neq 0\right\}$.

Case IV. For $2 < r < +\infty$ and $0 < p\leq 1$, $\Theta$ is a constant $d\times d$ matrix given by

where $\chi_1$ satisfies the following problem with $(\xi, s)\in\mathbb{T}^{d}\times\mathbb{T}:$

$\chi_1$ does not include $s$ because $\varpi = 0;$ we found that $\chi_1$ does not include $x$ and $t$.

Case V. For $2 < r < +\infty$, $1 < p\leq2, \varpi = 0$ and $\Theta$ is a constant $d\times d$ matrix given by

where $\chi_1$ also satisfies Eq (3.23).

Now for the operator given by Eq (3.1), we consider the following nonlocal scaling operator

thus for $v(x, t) = |u(x, t)|^{p-1}u(x, t)$, we have that

Therefore we transform the problems (3.2) and (3.4) into the following Cauchy problems

and

respectively. We first study the existence and uniqueness of solutions to the Cauchy problems (3.26) and (3.27) with the nonlocal operator (3.25), where $-L^\varepsilon$ is a non-positive and self-adjoint operator in the space $L^2(\mathbb{R}^d, m)$ for $\nu(x, y)$. In fact, for any $u, v\in L^2(\mathbb{R}^d, m),$

We directly give the following theorem.

Theorem 3.3. The hypotheses given above are satisfied. If there is a homogenized solution denoted as $v$ of the problem (3.26). Then we have

Proof. The proof of existence is similar to Theorem 3.1 so we do not show it here. What needs to be emphasized here is that, in the three cases of $0 < p < 1$, $p = 1$ and $p > 1$, the method of proof of existence could be different. These will not affect our subsequent homogenization proof.

4.   Auxiliary cell problems and existence of first corrector $\chi_1$ and drift $\varpi$

Due to the classical method of asymptotic expansion, we first construct some auxiliary functions to prove Theorem 3.2, i.e., our main results on homogenization of nonlinear nonlocal equations with a periodic structure. Denote $x^\varepsilon = x-\frac{\varpi t}{\varepsilon}$ and $y = x-\varepsilon z,$ we first give a chain-rule formula.

Lemma 4.1. (Chain-rule formula) If $v^{\varepsilon}(x, t)^{\frac{1}{p}}$ is bounded in $H^1(I; L^2(\mathbb{R}^d)) \; (0 < p\leq2)$, then for a.e. $(x, t)\in\mathbb{R}^d\times I,$ we have

For a given $v\in C^{\infty}((0, T), \mathcal{S}(\mathbb{R}^d))$, we introduce some auxiliary functions:

For different cases of $r, p$, we construct the corresponding auxiliary functions $w_i^\varepsilon, i = 0, 1, 2$.

(i) $r = 2, 0 < p < 1$

(ii) $r = 2, 1 < p\leq2$

(iii) $r = 2, p = 1$

(iv) $r\neq 2, \chi_i$ and $\natural_i$ do not depend on $x$ and $t.$

Lemma 4.2. For a given $v\in C^{\infty}((0, T), \mathcal{S}(\mathbb{R}^{d}))$, $w_i^{\varepsilon}\; (i = 0, 1, 2)$ is defined by Eqs (4.4)–(4.6). Then there exist two functions

a vector $\varpi\in\mathbb{R}^d(p = 1)$ and a positive definite matrix $\Theta$ such that

where $\phi_{\varepsilon}\to 0$ in $L^{2}((0, T), L^{2}(\mathbb{R}^{d}))$ as $\varepsilon\to 0$.

Remark 3. For $p = 1$, the homogenization takes place in the moving coordinates $X_t = x-\frac{\varpi}{\varepsilon}t$ with an appropriate constant vector $\varpi$. But it does not work in the nonlinear situation $(p\neq1)$ when $\varpi\in\mathbb{R}^d.$

Proof. Substitute the expressions on the right-hand side of Eqs (4.4)–(4.6) into Eq (4.8) and using the notation $x^{\varepsilon} = x-\frac{\varpi}{\varepsilon}t$ and $\partial_t \chi(x, t, \frac{x}{\varepsilon}, \frac{t}{\varepsilon^r}) = \partial_t\chi+\frac{1}{\varepsilon^r}\partial_s\chi$, where the symbol $\otimes$ stands for the tensor product:

Case 1. For $p\in (0, 1),$

with

Set $z = \frac{x-y}{\varepsilon};$ we get

Using the Taylor expansions

we have

where

and

Case 2. For $p\in(1, 2],$

with

Set $z = \frac{x-y}{\varepsilon};$ we get

Using the Taylor expansions again,

where

and $\phi_{\varepsilon}^{(space)}$ is similar to that in the case that $0 < p < 1$.

Case 3. For $p = 1,$ similar to the derivations in ^[13,14], we only need to notice that the correctors are the functions $\chi_{i}(\frac{x}{\varepsilon}, \frac{t}{\varepsilon^r})\; (i = 1, 2)$. Therefore, substituting the expression on the right-hand side of $H^\varepsilon$ for $w_2^\varepsilon$ in Eq (4.6) and using the notation $x^{\varepsilon} = x-\frac{\varpi}{\varepsilon} t$ we get

where

and

Due to the order of $\varepsilon$, we put the terms with $O(\varepsilon)$ and the higher-order terms with $o(\varepsilon)$ into the remainder as the fourth part. For the given functions $\chi_1$ and $\chi_2$, it is easy to show that the fourth part is an infinitesimal $O(\varepsilon)$ as $\varepsilon \to 0^{+}$.

This completes the proof of Lemma 4.2.

We now consider the asymptotic decomposition of $(L^\varepsilon w^\varepsilon)(x, t)$ in $\varepsilon$, deal with the last three parts $\mathcal{M}_{0}(x, t), \mathcal{M}_{\varepsilon}(x, t)$ and $\phi_{\varepsilon}(x, t)$ and get more precisely asymptotic behavior.

1. Constructing auxiliary functions to guarantee the first part $\mathcal{M}_{0}(x, t)$ of $L^\varepsilon$ satisfies that $0 < r\leq 2, \mathcal{M}_{0} = 0$ and $r > 2, \varepsilon^{r-2}\mathcal{M}_{0} = 0$.

2. From the second part $\mathcal{M}_{\varepsilon}(x, t)$ of $L^\varepsilon$ we can get a second order differential operator $L^0$ such that $L^0v(x, t) = \Theta\cdot\nabla\nabla v$ as $\varepsilon \to 0^{+}$.

3. The third part $\phi_{\varepsilon}$ satisfies that

Finishing the above three steps, for $w^\varepsilon(x, t) = v(x, t)+\varepsilon u_1(x, t)+\varepsilon^2u_2(x, t),$ we can prove that the operator $L^\varepsilon$ has the following asymptotic representation

We now construct an auxiliary function in order to prove that $\mathcal{M}_{0} = 0$, where $\mathcal{M}_{0}(x, t)$ is defined by Eq (4.17). Because $v(x, t)$ and its derivatives are in $C^{\infty}((0, T) \times \mathcal{S}(\mathbb{R}^d)),$ we need not to deal with this part and only solve the theorem as follows.

Theorem 4.1. Assume that there exists a function $\chi_1(x, t, \xi, s)\in L^{\infty}(\mathbb{R}^d\times I; L^2_{per}(\mathbb{T}\times \mathbb{Y}))$ and $\varpi\in \mathbb{R}^d$ such that $\mathcal{M}_{0} = 0.$

Proof. We need to consider the solvability of the following equations due to the time scale $r$ and given $p\in(0, 2]$. For $r = 2$ and $0 < p\leq1,$ it is straightforward to see that $\chi_1(x, t, \xi, s) = \chi_1(\xi, s)$ when $p = 1$. In case that $p\neq1,$ we sometimes omit $x$ and $t$ for simplicity to write $\chi_1(x, t, \frac{x}{\varepsilon}, \frac{t}{\varepsilon^r})$ as $\chi_1(\frac{x}{\varepsilon}, \frac{t}{\varepsilon^r})$. For any $\varepsilon > 0,$ we have

Denote $\xi = \frac{x}{\varepsilon}$ and $s = \frac{t}{\varepsilon^r}$, which is a variable with the period $\xi, s\in \mathbb{T}^d = [0, 1]^d$, also $\nu(\xi), \chi_1(\xi, s)$ and $\chi_2(\xi, s)$ are functions on $\mathbb{T}^d$. We solve Eq (4.30) for the functions $\chi_1(\xi, s)$ and $\chi_2(\xi, s)$ on the torus. Let

For $(x, t)\in\mathbb{R}^d\times I$, $\psi_{\varepsilon}(x, t)\to 0$ as $\varepsilon\to 0,$ and from

we have

We consider that $X = L^{2}((0, 1)\times \mathbb{T}^d).$ Let $\mathrm{L}: X\supseteq D(L) \rightarrow X^{*}$ be defined by $\mathrm{L}u = u^{\prime}$, where $u^{\prime}$ is understood in the sense of distributions, i.e.,

with domain $Dom(L) = \Big\{u\in X: u^{\prime}\in X^{*}, u(0) = u(1)\Big\}$. We can see that

It is easy to obtain that $\mathrm{L}: X\supseteq D(\mathrm{L})\rightarrow X^{*}$ is densely defined maximal monotone. For details about the operator $\mathrm{L}$, the reader is referred to Zeidler [30, Prop. 32.10]. Let $\tilde{N}: X\rightarrow X^{*}$ be defined by

then, $-\tilde{N}$ is a monotone operator in $X$.

we know that $\aleph_{1}$ is bounded in $X\to X^*$ and $\aleph_{2}$ is a positive and invertible operator. Denote

We first introduce a proposition.

Proposition 1. ^[6] For $\breve{J}(\eta) = \sum\limits_{k\in\mathbb{Z}^{d}}J(\eta+k), \eta\in\mathbb{T}^{d}$, the operator

is a compact operator in $L^{2}(\mathbb{T}^{d})$.

From Proposition 1 and Lemma 2.1, we have

we know the $-\tilde{N}$ is coercive.

Lemma 4.3. There exists a function $\chi^\varepsilon_1(x, t, \xi, s)$ on $\mathbb{R}^d \times \mathbb{R}\times [0, 1]^d\times[0, 1]$ such that Eq (4.30) holds true.

Proof. We first rewrite Eq (4.31) as follows

where the operator $\psi_{\varepsilon}(x, t), \mathrm{L}$ and $\tilde{N}$ are defined above, $L: X\supseteq D(\mathrm{L})\rightarrow X^{*}$ is a densely defined maximal monotone operator in $X$ and $\tilde{N}$ is bounded pseudomonotone and coercive in $X\to X^*$ from the inequality (4.37); due to Eq (4.30) we fix an arbitrary $(x, t)\in \mathbb{R}^d\times I$. By applying Theorem 2.4, Eq (4.38) has a solution, that is, there exists a function $\chi^\varepsilon_1(x, t, \xi, s)$ on the torus $\mathbb{T}^d\times\mathbb{T}$ such that Eq (4.38) holds true. The proof is completed.

For $p > 1$ and $\tilde{\psi}_{\varepsilon} = \varepsilon^{2-r}|\frac{v}{w^\varepsilon_1}|^{\frac{p-1}{p}},$ we have

Then we have the following lemma.

Lemma 4.4. Fix $\varepsilon > 0;$ there exists a function $\natural^{\varepsilon}_1$ on $\mathbb{R}^d\times\mathbb{R}\times [0, 1]^d\times[0, 1]$ such that Eq (4.39) holds true.

The proof is similar to the case of $0 < p < 1$, so we omit the details.

For $p = 1, 0 < r\leq 2$ and $\psi_{\varepsilon} = \varepsilon^{2-r}$, so $\chi_1$ does not include $x$ and $t$ because time derivative term tends to zero when $\varepsilon \rightarrow 0$. We obtain the existence of $\chi_1$. Next, we also need to determine $\varpi$. Then, the solvability condition for Eq (4.31) is that $-\tilde{N}$ is the sum of a positive invertible operator $K$ and a compact operator $-G$. In ^[14] it shows that the dimension of space $Ker(K-G)^*$ is one and that

where $\pi_0(\xi)$ and $m(\xi)$ are positive and bounded.

According to the Fredholm theory, $dim(G-K) = dim(G-K)^*$, thus there exists $m(\xi)\in Ker(G-K)$ that satisfies $(G-K)m(\xi) = 0$ such that

Taking the normalized $m(\xi)$ with $\int_{\mathbb{T}^{d}}m(\xi)d\xi = 1,$ and choosing $\varpi$ as

We also need the following lemma in order to use symmetry of the integral; it is obviously right when the nonlocal structure is symmetric.

Lemma 4.5. The compact operator $(K^{-1}G)^{*}$ has a simple eigenvalue at $\lambda = 1.$ The corresponding eigenfunction $\eta_0$ satisfies the equation

and there exists a unique (up to an additive constant) function $m \in L^{2}\left(\mathbb{T}^{d}\right)$ satisfying

i.e., Span(m) = Ker$(K-G)^{*}$. This function obeys the following lower and upper bounds:

where $\kappa_{1}, \kappa_{2}, \tilde{\kappa}_{1}, \tilde{\kappa}_{2}$ are positive constants.

We can obtain from the Krein-Rutman theorem ^[40] that the operator $(K^{-1}G)^{*}$ has the maximal eigenvalue equal to $1$.

Since we find that $\chi^\varepsilon_1$ is related to $\varepsilon$, we also need to discuss strong measurability in $(x, t)$. This section is devoted to discussing the existence, uniqueness and regularity of solutions to cell problems at the critical ratio $r = 2.$ The cases $r < 2$ and $r > 2$ are similar to the case of $r = 2$ and $E$ and $\mathbb{T}^d$ correspond to the cell area of time and space respectively. We simply write $w(y, s)$ for the functions $w = w(x, t, y, s)$ by omitting the variables $x$ and $t$, unless any confusion may arise. We first explain $V = L^2_{per}(Y);$ the $\{\chi_1^k\}^{d}_{k = 1}$ in this section refers to $\chi_1$.

4.1.   $r=2$ and $p\neq 1$

Case I. For $r = 2$ and $0 < p < 1.$ For each $(x, t)\in\mathbb{R}^d\times(0, T)$, the cell problem reads that

such that $M_Y(\chi_1^{k}(\cdot, s)_{y}) = 0$ for $s\in\mathbb{T}$. It can be regarded as a constant to discuss the existence, uniqueness and regularity of solutions to Eq (4.41) in view of $v = v(x, t)$ depending only on $(x, t)$ for each $(x, t)$ that is fixed. In case that $v(x, t)\neq 0$, assuming

one can construct a unique weak solution $\chi_1^{k}(x, t, \cdot, \cdot)\in L^{2}(E; V)\cap H^{1}\left(E; L^2(V^{*})\right)$, where $V = L_{{per}}^{2}(Y)/\mathbb{R}, k\in \mathbb{N}$.

Lemma 4.6. (Strong measurability in $(x, t))$ Assume that $r = 2$ and $p\in(0, 1)$. For $k\in d$, the function:

is strongly measurable in $\mathbb{R}^d\times(0, T)$ with values in $L^{2}(E; V)$. Moreover,

Proof. Since $|v|^{(1-p)/p}$ lies in $L^{(p+1)/(1-p)}(\mathbb{R}^d\times I)$, one can take a sequence $(\psi_{\varepsilon})$ of step functions from $\mathbb{R}^d\times I$ into $\mathbb{R}$ such that $\psi_{\varepsilon}(x, t)\rightarrow (1/p)|v(x, t)|^{(1-p)/p}$ for $(x, t)\in M_0$, where $M_{0}$ is a measurable set in $\mathbb{R}^d\times I$ satisfying $|(\mathbb{R}^d\times I)\backslash M_{0}| = 0$, as $\varepsilon\rightarrow +\infty$. Fix $(x, t)\in M_{0}$ and let $\chi_1^{\varepsilon}(x, t, \cdot, \cdot)\in L^{2}(E; V)$ be the unique solution to

such that $M_Y(\chi_1^{\varepsilon}(\cdot, s)_{y}) = 0$. Moreover, we note that the vector-valued function $(x, t)\mapsto\chi^{\varepsilon}(x, t, \cdot, \cdot)$ is defined over $\mathbb{R}^d \times I$. Test Eq (4.42) by using $\chi_1^{\varepsilon}$ and with respect to the $\xi$ integral in $Y$. We observe by using the nonlocal Poincaré inequality that

Integrate both sides over $(0, 1)$ and employ the periodicity $\chi^{\varepsilon}(\cdot, 0) = \chi^{\varepsilon}(\cdot, 1)$ in $\mathbb{T}^{d}$. It then follows that

then, one can also get

Therefore we can select a subsequence and still note $\chi_1^\varepsilon$ as a limit $\chi_1(x, t, \cdot, \cdot)\in \; L^{2}(E; V)$ such that

and

Hence, $(x, t)\mapsto\chi_1(x, t, \cdot, \cdot)$ is weakly measurable in $\mathbb{R}^d \times I,$ with values in $L^{2}(E; V);$ therefore, due to Pettis' theorem, it is also strongly measurable. Moreover, the fact that the convergence $\psi_{\varepsilon}(x, t)\rightarrow (1/p)\left|v(x, t)\right|^{(1-p)/p}$ a.e. in $\mathbb{R}^d\times I$ as $\varepsilon\rightarrow 0$, it can be verified that the unique solution $\chi_1$ solves Eq (4.41) for a.e. $(x, t)\in \mathbb{R}^d\times I$.

Finally, it is easy to check that

In case that $0 < p < 1$, for a.e. $(x, t)\in\mathbb{R}^d\times I$ and all $l\in V$ and $l_1\in C_{{per}}^{\infty}(E)$, we observe that

Next we will show that

Actually let us define $\xi(x, t, \cdot, \cdot)\in L^{2}\left(E; V^{*}\right)$ by

for $\varsigma\in L^{2}(J; V)$. Then $\xi:\mathbb{R}^d\times I\rightarrow L^{2}\left(E; V^{*}\right)$ is weakly measurable, and actually it is strongly measurable by Pettis' theorem.

Since $\chi_1 \in L^{2}(\mathbb{R}^d\times I\times\mathbb{T}^d\times E)$, one can verify that $\xi\in L^{2}\left(\mathbb{R}^d\times I; L^{2}\left(E; V^{*}\right)\right)$. Furthermore, we deduce by Eq (4.45) that

which along with the arbitrariness of $t_1\in C_{\mathrm{per}}^{\infty}(E)$ in the distributional sense for a.e. $(x, t, s)\in\mathbb{R}^d\times I\times E$ implies that

This yields Eq (4.44). It is easy to check that

for a.e. $(x, t)\in\mathbb{R}^d\times I$. Case I is proved.

Case II. $r = 2$ and $1 < p\leq2$. It is enough to consider the case that $v(x, t)\neq 0$ only. For each $(x, t)\in\left[v\neq 0\right]: = \left\{(x, t)\in\mathbb{R}^d\times(0, T): v(x, t)\neq 0\right\}$, the existence and uniqueness of a weak solution $\natural_1^k(x, t, \cdot, \cdot)\in L^{\infty}[v\neq 0]\cap L^{2}(E; V)$ to the cell problem can be verified

such that $M_Y(\natural^{k}(\cdot, s)_{y}) = 0$ for $s\in\mathbb{T}$.

Moreover, we claim that

which implies that $\natural^k\in L^{\infty}\left(\left[v\neq 0\right]; L^2\left(E; V^{*}\right)\right)$.

The proof is similar to the case for $0 < p < 1.$

4.2.   $r\neq 2$ and $0 < p\leq2$

Case III. $0 < r < 2$ and $0 < p\leq1$. Let $\psi_{\varepsilon}(x, t) = \varepsilon^{2-r}\psi_{\varepsilon}\to 0$ for $(x, t)\in\mathbb{R}^d\times I$ as $\varepsilon \to 0, \; \chi_1$ satisfies the following equation

as $\varpi = 0;$ we found that $\chi_1$ does not include $x$ and $t$, and that $\chi_1\in L^2(E\times V);$ then, we have

Case IV. $0 < r < 2$ and $1 < p\leq2$. It is enough to just consider the case that $v(x, t)\neq 0$. For each $(x, t)\in\left[v\neq 0\right]: = \left\{(x, t)\in\mathbb{R}^d\times(0, T): v(x, t)\neq 0\right\}$, we can verify the existence and uniqueness of the solution $\natural_1^k(\cdot, \cdot)\in L^{2}(E; V)\cap H^{1}\left(E; L^2(V)\right)$ to the cell problem

where, actually, $\natural_1 = \frac{1}{p}\left|v\right|^{(1-p)/p}\chi_1,$ the situation is similar to Case III.

For $r > 2$ and $0 < p\leq2,$ we consider two cases.

Case V. $r > 2$ and $0 < p\leq1$. For any $\varepsilon > 0,$ we have

let $\varepsilon \to 0;$ we get

which implies that $\chi_1$ is in fact independent of $s$ and satisfies

Case VI. For $r > 2$ and $1 < p\leq2$. For any $\varepsilon > 0,$ we have

let $\varepsilon \to 0;$ we get

which means that $\Phi_1(y, s)$ does not depend on $s$ and satisfies Eq (4.53).

5.   Existence of $\chi_2$ and positive definiteness of $\Theta$

Actually the existence of $\chi_2$ is similar to $\chi_1;$ the proof steps are the same as before; next, we prove that the symmetric part of the matrix $\Theta$ defined in Theorem 3.2 is positive definite.

Case I. $r = 2$ and $0 < p\leq1:$

From Eq (4.18), we have

For $r = 2$,

Next, using the time periodicity of $J$, we consider

the last formula on the right side of Eq (5.4) is zero by using the periodicity of $\chi_{2}.$

Our aim is to show that the symmetric part of the right-hand side of Eq (5.4) is equal to $\mathfrak{B}$ such that

We also want to prove $\mathfrak{B}^{ij}$ is positive definite. For brevity, we write $\chi_1(x, t, \xi, s) = \chi_1(\xi, s)$. From Eq (5.5), we have

where

Obviously, we find that $\mathfrak{B}_{1}^{ij}$ is the first integral of Eq (5.5). Let us rearrange the integral in $\mathfrak{B}_{3}^{ij}$ as follows:

Then, $\iota_{2}^{ij}$ coincides with the second integral in Eq (5.5). Further, we rearrange the integral $\breve{\iota}_{2}^{ij}$ and recall the definition of the function $\emptyset$ in Eq (4.32):

The last two formulas on the right side of the above equation are zero by using the periodicity of $\chi_{1}.$ Denote

Then, $\Im_{2}^{ij}$ coincides with the third integral in Eq (5.5). We only need to prove that $\mathfrak{B}_{2}^{ij} = -\tilde{\Im}_{2}^{ij}$. We have

We rearrange $\iota_{3}^{ij}$:

Thus, $\mathfrak{B}_{2}^{i j} = -\tilde{\Im}_{2}^{ij}$ and the proof of Eq (5.4) is done by this relation. The structure of Eq (5.4) means that $(Ir, r)\geq 0$, for any $q\in\mathbb{R}^{d}$; moreover, $(Ir, r) > 0$ since $m > 0$ and $\chi_{1}(q, s)$ is the periodic function while $q$ is a linear function. Consequently, $\left\lfloor\left((\xi-q)+\left(\chi_{1}(\xi, s)-\chi_{1}(q, s)\right)\right)\cdot r\right\rfloor^{2}$ will not be identical to $0$ if $r\neq 0.$

Case II. $r > 2$ and $0 < p\leq 1:$

For $r > 2$, $\chi_1$ does not include $s,$ and

Case III. $r < 2$ and $0 < p\leq 1:$

there is one less item here than Case I and $\chi$ does not contain $x$ and $t$.

Case IV. $0 < r < \infty$ and $1 < p\leq2:$

The proof is similar to that in Case I, so it will not be described here.

6.   Estimation of the remainder and a priori estimates

The estimation of error is similar to the linear equation, so we do not provide a detailed description here; this gives the result of $p = 1$, and other situations can be obtained by analogous argument.

Proposition 2. Let $v\in C^{\infty}\left((0, T), \mathcal{S}\left(\mathbb{R}^{d}\right)\right)$. For the functions $\phi_{\varepsilon}^{(time)}$ and $\phi_{\varepsilon}^{(space)}$:

we have

where $\|\cdot\|_{2}$ is the norm in $L^{2}\left((0, T), L^{2}\left(\mathbb{R}^{d}\right)\right)$ and $x^\varepsilon = x-\frac{\varpi}{\varepsilon}t.$

Proof. The convergence for $\phi_{\varepsilon}^{(time)}$ immediately follows from the representation (6.1) for this function. For the function $\phi_{\varepsilon}^{(space)}$, the proof is completely analogous to the proof of [13, Proposition 5]. The proof of Proposition 2 is done.

Together with Proposition 2, we get Eq (4.28), that is, $\lim\limits_{\varepsilon \to 0^{+}}||\phi_{\varepsilon}||_{L^{2}(I, L^{2}(\mathbb{R}^d))} = 0$.

Let $u^{0}(x, t)$ be a solution of Eq (3.4) with $u^{0}(x, 0) = \varphi\in\mathcal{S}\left(\mathbb{R}^{d}\right).$ For any $T > 0$, then $v(x, t)\in C^{\infty}\left((0, T), \mathcal{S}\left(\mathbb{R}^{d}\right)\right)$ and we bring it into the equation satisfied by $u^{\varepsilon}$ by constructing the approximate auxiliary functions (4.4)–(4.6). It follows from Lemma 4.2 that $w^{\varepsilon}$ satisfies the following equation

where $x^{\varepsilon} = x-\frac{\varpi}{\varepsilon}t$ and

Consequently, the difference $\hat{v}^{\varepsilon}(x, t) = w^{\varepsilon}(x, t)-v^{\varepsilon}(x, t)$, where $v^{\varepsilon}$ is the solution of Eq (3.26), which satisfies the following problem:

Notice that, with Proposition 2, we have that $\left\|\psi^{\varepsilon}\right\|_{L^{2}\left(\mathbb{R}^{d}\right)} = O(\varepsilon)$ and $\left\|\Phi^{\varepsilon}\right\|_{2} = o(1)$ when $u(x, t)\neq 0$.

We will show that $({v}^{\varepsilon})^{1/p}-({w}^{\varepsilon})^{1/p}$ tends to zero in $L^{\infty}((0, T);L_{loc}^{2} (\mathbb{R}^d)))$ as $\varepsilon \rightarrow 0$. Denote

Proposition 3. Let $v^{\varepsilon}\in Z$ be the solution of Eq (6.4) with a small $\psi^{\varepsilon}$ and $\phi^{\varepsilon}$:

Then, we have

Proof. For $p = 1$, please refer to ^[14]; we mainly discuss the case that $p\neq 1.$ Let $(w^\varepsilon)^{1/p} = v_1,$ and let $(v^{\varepsilon})^{1/p} = u^\varepsilon = v_2$ satisfy the following equations

By subtraction, we have

$\hbar = (\delta I-L^{t})^{-1}(v_1^{1/p}-v_2^{1/p})$ and $X = L^2 (U)$. By multiplying both sides of Eq (6.6) with the test function $\hbar$ and integrate it, we obtain

Applying the Cauchy-Schwartz inequality and using $(\Phi^{\varepsilon}, \hbar\rangle_{X}\doteq o(\varepsilon)$, the monotonicity of $v\mapsto v^{1/p}$ yields

We denote $\hat{J}(\frac{x}{\varepsilon}, \frac{y}{\varepsilon}, \frac{t}{\varepsilon^r}) = J\left(\frac{x-y}{\varepsilon}, \frac{t}{\varepsilon^r}\right)\nu\left(\frac{x}{\varepsilon}, \frac{y}{\varepsilon}\right)m\left(\frac{x}{\varepsilon}\right)$ for any $U\subset\subset\mathbb{R}^d;$ the second term on the right-hand side of the inequality (6.7) is rewritten as

Combining the inequality (6.7) with Eq (6.8) and using the symmetry of $\nu\left(\frac{x}{\varepsilon}, \frac{y}{\varepsilon}\right)m\left(\frac{x}{\varepsilon}\right)$, we can derive

where $C_1 = 1/(\varrho\varepsilon^{r})$. Applying Gronwall's inequality to (6.9), for all $t\in\bar{I}$, we have

When $\varepsilon, \delta\to 0,$ then $v_{0, 1}-v_{0, 2} \to 0$; it follows that $v_{1}^{1/p}(t)-v_{2}^{1/p}(t) \to 0$ in $L_{loc}^2(\mathbb{R}^d)$ for all $t\in I$. The proof is done.

7.   Proof of Theorem 3.2

We now give the proof of Theorem 3.2. We have

Then, the inequality (6.10) immediately yields by Proposition 3:

Thus, we only prove Theorem 3.2 for a dense set in $L^{1}\left(\mathbb{R}^{d}\right)$ of initial data, when $\varphi\in \mathcal{S}\left(\mathbb{R}^{d}\right)$. For any $\varphi\in L^{1}\left(\mathbb{R}^{d}\right)$ and $\ell > 0$ there exists $\varphi_{\ell} \in \mathcal{S}\left(\mathbb{R}^{d}\right)$ such that $\left\|\varphi-\varphi_{\ell}\right\|_{L^{1}\left(\mathbb{R}^{d}\right)} < \delta.$ We denote by $u_{\ell}^{\varepsilon}$ and $u^{0}_{\ell}$ the solution of Eqs (3.2) and (3.4) with initial data $\varphi_{\ell}$. Because Eq (3.4) is the standard Cauchy problem for a parabolic operator with constant coefficients, the classical upper bound of its solution is given in [31, Theorem E] for any $T > 0:$

By the estimate in Proposition 3 we obtain

For an arbitrarily small $\delta > 0$, the upper bounds of the inequalities (7.1) and (7.2) are valid, and these imply that

This completes the proof of Theorem 3.2.

8.   Nonlocal porous medium equation for nonnegative initial values

We first give a framework for nonlocal nonlinear diffusion problems.

Lemma 8.1. [16, Corollary 1.6] For a given homogeneous jump kernel $\rho$, the operator $\mathscr{L}_{v}$ is defined by

For every initial condition $u_{0}\in L^{1}(\mathbb{R}^{d})\cap L^{\infty}(\mathbb{R}^{d})$, the nonlinear nonlocal initial value problem

has a very weak solution $u(x, t)$ such that

and the solution has the following properties:

(1) Mass is conserved: $\int_{\mathbb{R}^{d}}u(t, x)dx = \int_{\mathbb{R}^{d}}u_{0}(x)dx$ for all $t\geq 0$;

(2) $L^{p}-$norms are nonincreasing: $\|u(t)\|_{p}\leq\left\|u_{0}\right\|_{p}$ for all $p\in[1, \infty]$ and $t\geq 0$;

(3) If $u_{0}(x)\geq 0$ for a.e. $x\in \mathbb{R}^{d}$, then $u(t, x)\geq0$ for a.e. $x\in\mathbb{R}^{d}$ and $t\geq 0$.

Homogenization of the local porous medium equation for negative initial values can be seen in ^[6]. Here we consider the following nonlocal scaling operator with a time-dependent kernel:

where $p > 1$ and the Cauchy problem and its corresponding effective Cauchy problem

respectively, where $\varphi(x)\in L^{[1, \infty]}(\mathbb{R}^d): = L^{1}(\mathbb{R}^{d})\cap L^{\infty}(\mathbb{R}^{d})$,

and the matrix $\Theta(x, t)$ will be given below.

We now describe the main result and give a simple proof.

Theorem 8.1. Assume that the functions $J(z, s)$ and $\nu(x, y)$ satisfy the conditions (2.1)–(2.3). Let $u^{\varepsilon}(x, t)$ be a solution of the nonlocal evolutional Cauchy problem (8.4) and $u^{0}(x, t)$ be a solution of the local Cauchy problem (8.5). Then there exists a positive definite matrix-valued function $\Theta(x, t)$ such that for any $T > 0$,

Proof. Set

with

Denote

we have

Using the Taylor formula and symmetry of the integral, we directly give

Similar to the proofs in the above chapters, we can get the corresponding conclusion. That is, due to Eq (8.11), there are two functions $\chi_1$ and $\chi_2$ such that $\mathcal{M}_{0} = 0.$

For $0 < r\leq 2,$ we have that $\mathcal{M}_{\varepsilon}\to \Theta\cdot\nabla\nabla u^p(x, t)$ as $\varepsilon\rightarrow 0,$ where

For $r > 2,$ we can get a result that is similar to Eq (8.14), so we do not repeat the proof here.

9.   Stochastic homogenization

9.1.   Introduction and statement

The literature on the stochastic homogenization of parabolic equations of local equations can be found in ^[9,10]. In this section, we introduce how to deal with the nonlocal parabolic equation model with random statistically homogeneous coefficients, where the ideas and methods mainly come from ^[41], for which we need some additional measure ergodic theory.

$T$ is a $d-$dimensional dynamical system, $(\Omega, \digamma, P)$ has a standard probability space and we assume that $\mu(x, w) = \mu(T_{x}w), T_x:\Omega\to\Omega$ satisfy the following properties.

(1) $T_{y_1}T_{y_2} = T_{y_1+y_2}$ for all $y_1, y_2$ in $R^d, T_0 = Id$.

(2) $P(T_{y}A) = P(A)$ for all $A\in\mathcal{F}$ and all $y\in R^d$.

(3) $T_x$ is a measurable map from $R^d\times\Omega$ to $\Omega$, where $R^d$ is equipped with the Borel $\sigma-$algebra.

We consider the operator

where for $a.e.\; \omega_t$, we have

where $\omega_t$ and $\omega_s$ are random fields to $\mathbb{R}\times\mathbb{R}^d$ that are stationary with respect to time $t$ and space $x$, respectively. We fix an ergodic environment probability, that is, assume that

and we denote by $\mathbf{L}^{2}$ the set of stationary maps $u = u(x, t, \omega)$, meaning that

Notice that spatial variables can be $Z^d-$stationary in local equations, but they are not applied here and we will see them later. Define norm-$\mathbf{L}^{2}$

Note that, if $u\in\mathbf{L}^{2}$ and $U$ is a bounded measurable subset of $\mathbb{R}^{d}$, the stationarity in time implies that the limit

exists for any $t\in\mathbb{R}$ and is independent of $t$. Let $\mathcal{C}$ be the subset of $\mathbf{L}^{2}$ of maps with smooth and square integrable space and time derivatives of all order belonging to $\mathbf{L}^{\mathbf{2}}$. $\mathcal{C}$ is dense in $\mathbf{L}^{2}$ with respect to the norm in the inequality (9.5).

We denote by $\mathbf{H}^{1}, \mathbf{H}_{\mathbf{x}}^{\mathbf{1}}$ the closure of $\mathcal{C}$ with respect to the norm

and $\mathbf{H}_{\mathbf{x}}^{-\mathbf{1}}$ is the dual space of $\mathbf{H}_{\mathbf{x}}^{1}$. Moreover, $\mathbf{L}_{{pot}}^{2}$ is the closure with respect to the $\mathbf{L}^{2}$-norm of $\{Du: u\in \mathcal{C}\}$ in $\left(\mathbf{L}^{2}(\Omega)\right)^{d}$.

Set $v(x, t) = |u(x, t)|^{p-1}u(x, t)$, denote $L^\varepsilon v(x, t) = L^\varepsilon(|u|^{p-1}u): = \mathscr{L}_t^\varepsilon u(x, t)$. We now consider the Cauchy problem and its corresponding effective Cauchy problem

where $\varphi(x)\in L^{[1, \infty]}(\mathbb{R}^d): = L^{1}(\mathbb{R}^{d})\cap L^{\infty}(\mathbb{R}^{d})$,

and the matrix $\Theta(x, t)$ will be given below.

We also transform the problems (9.6) and (9.7) into the following Cauchy problems

9.2.   Main results

Theorem 9.1. Assume that the functions $J(z, s)$ and $\nu(x, y)$ satisfy the condition (9.2). Let $u^{\varepsilon}(x, t)$ be the solution of the evolution Cauchy problem (9.9) and $u^{0}(x, t)$ be the solution of the effective Cauchy problem (9.10). Then, there exists a positive definite constant matrix $\Theta$ such that for any $T > 0$, we have

The homogenized flux $\Theta(x, t)$ can be characterized as follows.

Case I. For $r = 2$ and $p = 1$, the homogenized constant matrix $\Theta$ is characterized by

where $\chi = \chi(y, s)$ and $(\xi, s)\in\mathbb{T}^{d}\times\mathbb{T}$ solves the cell problem

Case II. For $r = 2$ and $p\in(0, 1]$, the homogenized matrix $\Theta(x, t)$ is characterized by

where $\chi^{k} = \chi^{k}(y, s)$ solves the cell problem

Case III. For $r = 2$ and $p\in(1, 2]$, the homogenized matrix $\Theta$ is characterized by

where $\natural^{k} = \natural^{k}(x, t, y, s)$ solves the cell-problem for each $(x, t)\in[u_{0}\neq 0]$,

and the measurable set $\left[u^{0}\neq 0\right]: = \left\{(x, t)\in \mathbb{R}^d\times(0, T): u^{0}(x, t)\neq 0\right\}$.

We need to construct special axillary functions with the following structures.

(i) For $p = 1$,

(ii) For $0 < p < 1$,

(iii) For $1 < p\leq2$,

The functions $v_i^\varepsilon$ and $\breve{v}_i^\varepsilon$ are used to eliminate some extra parts that will be mentioned later when we consider some convergence.

Next, we need to bring in the auxiliary function $w_i^\varepsilon(x, t)$ to decompose according to the order of $\varepsilon.$

Case 1. For $p = 1,$ similar to the derivations in ^[13,14], we only need a new corrector $\chi(\frac{x}{\varepsilon}, \frac{t}{\varepsilon^r})$. Substituting the expression on the right-hand side of $H^\varepsilon$ for $w_0^\varepsilon$ in Eq (4.3), we get

as $\varepsilon \to 0^{+}$, where

Case 2. For $p\in(0, 1),$

Using the Taylor expansions we have

where

Case 3. For $p\in(1, 2],$ we have

and

where

Due to the order of $\varepsilon$, we put the terms with $O(\varepsilon)$ and the higher-order terms with $o(\varepsilon)$ into the remainder as the fourth part.

Next, we will prove the main conclusion. For the convenience of the proof, we first prove the linear case, and then point out some results of the nonlinearity that are different from linearity.

The proof of the linear equation is divided into three parts, where the first part is about the first-order random corrector, the second part is about the zero-order term and remainder, and the last part is the proof of Theorem 9.1.

For any $\delta > 0$, let us consider the equation

where

We set

Throughout the proof, to justify repeated integration by parts and to deal with the unbounded domain, we use the exponential weight $\widehat{\Gamma}_{\theta}$, which, for $\theta > 0$, is given by

The first lemma is about the existence of and some a priori bounds for the approximate corrector in a bounded domain.

Theorem 9.2. Assume that Eqs (9.2)–(9.4) are satisfied; there exists a unique map $\chi$: $\mathbb{R}^{d+1}\times\Omega \rightarrow \mathbb{R}$ such that

and for all $z\in\mathbb{R}^d, \; \zeta_{z}(\xi, t, \omega)\in\mathbf{L}^{\mathbf{2}}$ is a stationary field that satisfies

The positive definite constant matrix $\Theta$ is defined by

Moreover, $\mathbb{P}$-a.s. $\chi^{\varepsilon}(x, t, \omega) = \varepsilon\chi\Big(\frac{x}{\varepsilon}, \frac{t}{\varepsilon^{2}}, \omega\Big)$ is a function satisfying sub-linear growth, that is

The proof is long and technical, so we will follow the diagram step by step.

 

9.3.   Uniqueness, existence and sublinear growth of corrector

Denote

For a large enough $L$ and the bounded support sets of $u$ and $J$, we get

Step 1. Approximation sequence for constructing the solution.

Lemma 9.1. Assume Eqs (9.2)–(9.4) for any $\omega\in\Omega, \delta > 0$ and sufficiently large $L > 0$, and let $\mathfrak{u}_{L} \in H_{0}^{1}\left(\widetilde{Q}_{L}\right)$ be the solution of

Then, we have that $\theta_{m} > 0$, which depends on $\delta$ but not on $L$ or $\omega$, such that for any $\theta\in\left(0, \theta_{m}\right]$ and $\mathbb{P}$-a.s.,

Proof. Using $\widehat{\Gamma}_{\theta}u_{L}$ as a test function in Eq (9.37), $\widehat{\Gamma}_{\theta}$ satisfies $\left|D\widehat{\Gamma}_{\theta}\right|+\left|\partial_{t} \widehat{\Gamma}_{\theta}\right| \lesssim \theta \widehat{\Gamma}_{\theta}$; we find that

by the Cauchy-Schwartz inequality, we can finish the proof.

Step 2. Next we prove the existence of $\chi^{\delta}.$

Lemma 9.2. Assume that Eqs (9.2)–(9.4) are satisfied. For any $\delta > 0$ and $\theta\in(0, \theta_{m})$, in the sense of distributions, there exists a unique stationary solution $\chi^{\delta}\in \mathbf{H}_{\hat{\Gamma}_{\theta}}^{1} \subset \mathbf{H}^{\mathbf{1}}$ of

It is independent of $\theta\in\left(0, \theta_{m}\right)$. We also have the following estimate

Proof. This equation contains both local and nonlocal terms; our aim is to get an approximate equation in an unbounded domain, so we first show that $\mathfrak{u}_{L} \to \mathfrak{u}$. Then $\omega$ is arbitrarily fixed, and $\mathfrak{u}_{L}\in\mathbf{H}_{\widehat{\Gamma}_{\theta}}^{\mathbf{1}}$ for any $\theta\in\left(0, \theta_{m}\right], L\in(0, \infty)$ from Lemma 9.1. According to the rule of diagonals, this produces subsequences, which we still remember as the original notation, then, for some ${\mathfrak{u}\in\bigcap\limits_{\theta_1\in\left(0, \theta_{m}\right]} \mathbf{H}_{\widehat{\Gamma}_{\theta_1}}^{1}}$ and any $\theta\in\left(0, \theta_{m}\right.]$ we have $\mathfrak{u}_{L}\stackrel{L\rightarrow \infty}{\longrightarrow}\mathfrak{u}$ in $\mathbf{H}_{\widehat{\Gamma}_{\theta}}^{1}$. Here,

thus, for any $L > 0$ and $\theta\in(0, \theta_{m})$, $\mathfrak{u}_{L}\rightarrow \mathfrak{u}$ in $L^{2}(\widetilde{Q}_{L})$, taking norm in $L_{\widehat{\Gamma}_{\theta}}^{2}$ and dividing the integral area into two parts, we have

We know that $\mathfrak{A}_\omega$ is a bounded operator in $L^{2}(\tilde{Q}_{L})$ from [13, Proposition 6]; however,

can be obtained directly through a similar argument in the inequality (9.42).

Note that $V_1, V_2\rightarrow0$ uniformly as $L\rightarrow +\infty$ by using the definition of $\Gamma_{\theta}$. Therefore we can assume that, $\Delta \mathfrak{u}_{L}(x, t, \omega)\rightarrow \Delta \mathfrak{u} = \zeta, \mathfrak{A}_\omega \mathfrak{u}_{L}\to \mathfrak{A}_\omega\mathfrak{u} = \zeta_1,$ where $\zeta, \zeta_1 \in\bigcap_{\theta^{\prime}\in\left(0, \theta_{m}\right]}L^{2}_{\widehat{\Gamma}_{\theta^{\prime}}}$ as $L\rightarrow \infty$.

It can be seen that, in the sense of distribution, we have

and for all $\theta\in\left(0, \theta_{m}\right]$,

where $\partial_{t}\mathfrak{u}\in\mathbf{H}_{\mathbf{x}}^{-\mathbf{1}}, D\mathfrak{u}\in\left(\mathbf{L}^{2}(\Omega)\right)^{d}.$

Next, we check that $\mathfrak{u}\in\bigcap \limits_{\theta^{\prime}\in\left[0, \theta_{m}\right]}H_{\widehat{\Gamma}_{\theta^{\prime}}}^{1}$ is a solution of Eq (9.43) in the sense of distribution. Let $\phi\in C_{c}^{\infty}\left(\mathbb{R}^{d+1}\right)$. For a large enough $L$, we have

using $u_{L}\widehat{\Gamma}_{\theta}$ as a test function for the equation of $u_{L}$, we find that

thus, the above two identities subtract yield that

As $L\rightarrow \infty, \mathfrak{u}_{L}\rightarrow \mathfrak{u}, \nabla\mathfrak{u}_{L}\to\nabla\mathfrak{u}, \partial_{t}\mathfrak{u}_{L}\rightarrow \partial_{t}\mathfrak{u}$ and $(\zeta^\delta_{z})_L \rightarrow \zeta^\delta_{z}$ in $L_{\widehat{\Gamma}_{\theta}}^{2}$ and in the sense of $L_{l o c}^{2}$, we get

By integrating Eq (9.43) against $\phi\widehat{\Gamma}_{\theta}$, we obtain

Adding the above two equations gives

For every $\psi\in C_{c}^{\infty}(\mathbb{R}^{d+1})$, set $\phi = \mathfrak{u}+h\psi$, as $h\rightarrow 0^{+}$ we have

where $\mathfrak{u}$ and $D \mathfrak{u}$ are locally integrable, $\psi$ has a compact support, $D\widehat{\Gamma}_{\theta}, \partial_t\widehat{\Gamma}_{\theta}\stackrel{\theta\rightarrow 0}{\longrightarrow}0$ locally uniformly; thus, we have

For any $\psi\in C_{c}^{\infty}(\mathbb{R}^{d+1})$, Eq (9.47) implies that $\mathfrak{u}$ is a solution of Eq (9.43) in the sense of distributions. Finally $\mathfrak{u}$ is stationary from the uniqueness of Eq (9.43).

Step 3. Approximate the convergence of sequences $\chi^{\delta}$ in $\mathbf{L}^{\mathbf{2}}$.

We have known that from the inequality (9.41)

where the constant $C$ is independent of $\delta$. Letting $\delta \rightarrow 0$, for an arbitrarily fixed $\omega$, we have

Moreover, we have

Hence, for any measurable subset $E\subset Q\times Q\times Q_1\subset\mathbb{R}^{d}\times\mathbb{R}^{d}\times\mathbb{R}$, using the cauchy-Schwartz inequality we find that

Now, applying the Dunford-Pettis theorem, there exists $\vartheta(x, z, t)$ such that

weakly in $L^{1}(Q\times Q\times Q_1).$ Taking $\mathfrak{u} = \chi^\delta$ and $\psi = \chi$ in Eq (9.47), as $\delta \to 0$ we have

Therefore, to finish the proof we have to show that over $Q* = Q_1\times Q\times Q$

In fact, taking $\mathfrak{u} = \chi^{\delta}$ and $\psi = \chi^{\delta}$ in Eq (9.47), we have

thus,

Using the monotonicity of the nonlocal operator, for all $\Psi\in L^{\infty}(Q\times Q_1)$,

Passing to the limit as $\delta\rightarrow 0$, by using Eq (9.51), we have

Choosing $\Psi = \chi\pm\gamma \chi, \gamma > 0$, and letting $\gamma\rightarrow 0$, we get Eq (9.49), and the proof is finished.

From Eq (9.43) and the Cauchy-Schwartz inequality, for any $\psi\in L^{2}(Q\times Q_1)$ we get

Passing to the limit as $\delta\rightarrow 0$ in Eq (9.43), for a.e. $\omega$ the function $\chi\left(z, t, \omega\right)$ satisfies the equation

thus, we prove that $\chi(x, t, \omega)$ is a solution of Eq (9.34).

Denote $\zeta_{z}(\xi, t, \omega) = {\chi}(z+\xi, t, \omega)-{\chi}(\xi, t, \omega)$; then for $z\in\mathbb{R}^{d}$, we have

Step 4. Stationarity of $\zeta_{z}.$

For all $z\in\mathbb{R}^{d}$ and $t\in(0, T)$, the field $\zeta_{z}(x, t, \omega)$ is statistically homogeneous in $x$ and $t$, and

Thus, the random function $\chi(x, t, \omega)$ is not stationary, but its increments

form a stationary field for any given $z$.

We first prove the uniqueness of $\chi^\delta$. Let $u_{1}$ and $u_{2}$ be two solutions and set $\tilde{u} = u_{1}-u_{2}$. Using $\tilde{u}\widehat{\rho_{\theta}}$ as a test function in Eq (9.43) for $\tilde{u}$, we find that

Then a standard argument based on the Cauchy-Schwartz inequality implies that, for $\theta$ small enough, $\tilde{u}\equiv 0$.

Next, we will prove that $\zeta_{z}(x, t, \omega)$ is stationary in $x, t.$

Proposition 4. The function $\chi(z, t, \omega)$ can be extended to $\mathbb{R}^{d}\times\mathbb{R}\times\Omega$ in such a way that $\chi(z, t, \omega)$ satisfies the relation inequality (9.34), i.e., $\chi(x, t, \omega)$ has stationary increments:

Proof. The strong convergence $\left\{\chi^{\delta}\right\}$ implies that there exists a subsequence of $\left\{\chi^{\delta_{n_k}}\right\}$ that converges a.s. to the same limit $\chi(z, t, \omega)$:

Since $J$ and $\nu$ are stationary, according to the uniqueness of the stationary solution $\chi^{\delta}$, we get

Thus $\left\{\chi^{\delta_{n_k}}\right\}$ in Eq (9.43) and passing to the limit as $k\rightarrow \infty$ we obtain Eq (9.34) first only for $z_{1}$ and $z_{2}$ that $z_{1}, z_{2}$ and $z_{1}+z_{2}$ belong to supp $J(\cdot, t)$. Then, we extend the function $\chi(z, t, \omega)$ to a.e. $z\in\mathbb{R}^{d}$ due to Eq (9.55): $\chi(z_{1}+z_{2}, t, \omega) = \chi(z_{2}, t, \omega)+\chi(z_{1}, t, T_{z_{2}}\omega).$ The proof of the second formula is similar, so we omit the details. Therefore we get the stationarity of $\zeta_{z}.$

Step 5. Uniqueness of $\chi.$

We first establish an important lemma.

Let $\varphi = \varphi(x, R(t)) = \varphi(\frac{|x|}{R(t)})\in C^{1}\left(\mathbb{R}^{d}\times[0, +\infty)\right)$ be such that

Denote $\bar{\sigma}_{z} = \bar{\sigma}(x+z, t, \omega)-\bar{\sigma}(x, t, \omega)$ and

Lemma 9.3. We have the following estimates

and

where $c_2, c_d$ and $\alpha$ are small enough.

The proof is given in Appendix C.

Lemma 9.4. For a.e. $\omega$ and all $\xi\in\mathbb{R}^d$, we have

Proof. Because the map ${t\rightarrow \mathbf{E}\int_{\mathbb{R}^{d}}J(z, t)\mu\left(z, \omega\right)\mu(0, \omega)\bar{\sigma}_{z}^{2}dz}$ is well-defined, and for all $t\in \mathbb{R}$, in order to prove Eq (9.56) by using the contradiction, we have

Fix $R > 0$; in view of the stationarity of $\bar{\sigma}_{z}$, there exist $\varepsilon_{0} > 0$ and $0 < \kappa < \widehat{\kappa}$ such that, for all $t\in\mathbb{R}, \varepsilon\in\left(0, \varepsilon_{0}\right)$ and $R > 0$,

$T$ is large enough; let $R(t) = \left(T-\gamma_{1}t\right)^{1/4}$ satisfy $R^{'}(t)\leq 0$ for some $\gamma_{1} > 0$; then

thus,

According to Lemma 9.3, we have

the fact that the inequality $\partial_{R}\varphi(x, R(t)) = \frac{|x|}{R(t)^2}, \varphi(\frac{|x|}{R})\leq\frac{|x|}{R}$ when $R\leq|x|\leq 2R$, if $\alpha$ is small enough, we obtain the following from estimates in Lemma 9.3:

due to the facts that $\left|Q_{2R(t)}\backslash Q_{R(t)}\right|\lesssim C(R(t))^{d}$ and $R^{\prime}(t) = \gamma_{1}(R(t))^{-1}$, for some $C > 0$, we get

Choosing $\gamma_{1} > 1$ large enough and $c_2, c_s$ and $c_d$ small enough such that $\kappa-c_2-c_s-c_d-C\gamma_{1}^{-1}\geq\hat{\tau}/2$ and $t\leq t_{T} = (T- (4C\hat{\tau}^{-1})^2)\gamma_{1}^{-1}$, in order to have $\frac{C}{\sqrt{R(t)}}\leq\hat{\tau}/4$ on $[0, t_{T}]$, we have

Along with integration in time over $t\in[t_1, \gamma_{1}^{-1}T]$ for $t_1\in[0, \sqrt{T}]$, suppose that $\gamma_{1}^{-1}$ and $T$ are sufficiently large and satisfy $\gamma_{1}^{-1}T < t_{T}$; also, given the fact that $\varphi\geq 0$, we have

Integrating in time over $t_1\in[0, \sqrt{T}]$, since $R(t_1)\leq T^{1/4}$ and $\varphi(x, R(t_1))\leq1_{Q_{2T^{1/4}}}$, we get

Hence, we can apply Lemma B.1 in Appendix B which implies that, for any $\delta > 0$, there exists $R_{\delta}$ such that, for all $R\geq R_{\delta}$,

Here choosing $R = 2T^{1/4}$ and $T$ large enough, we obtain

as $\delta$ is small enough, which yields a contradiction. Hence we get

By combining the inequality (9.63) with the inequality (9.57), we get Eq (9.56); the proof is done.

Suppose that $u$ and $u_1$ are the solutions of the equation and set $\mathfrak{T}^{1} = \partial_t u^1$ and $\xi^{1} = A_\omega u^1$; then $\mathfrak{T}-\mathfrak{T}^{1}-(\xi-\xi^{1}) = 0;$ by applying Lemma 9.4 to the pair $(\mathfrak{T}-\mathfrak{T}^{1}, u-u^{1})$, we find that

which implies the uniqueness of $\chi$.

Step 6. Sublinear growth.

Lemma 9.5. The family of functions $\{\chi^{\varepsilon}(x, t, \omega) = \varepsilon\chi\left(\frac{x}{\varepsilon}, \frac{t}{\varepsilon^2}, \omega\right)\}_{\varepsilon > 0}$ is bounded and compact in $L_{loc}^{2}(\mathbb{R}^{d+1})$.

Proof. Assume that $\chi^{\varepsilon}(x, t, \omega) = \varepsilon\chi(\frac{x}{\varepsilon}, \frac{t}{\varepsilon^2}, \omega)$ satisfies the equation

Denote $\chi_z^{\varepsilon} (x, t) = z+\chi^{\varepsilon}(x+z, t, \omega)-\chi^{\varepsilon}(x, t, \omega)$, $\diamondsuit = J(z, s)\mu(x+z, \omega)\mu(x, \omega)$ and $j_\ell = 4\alpha_2^2 j_0$. Without loss of generality, we assume that $0 < j_\ell\leq 1$; we will show that there exists a universal constant $C_{0}$ such that, $\mathbb{P}$-a.s. and for any $R, T > 0$,

Fix $\xi\in C^{\infty}(\mathbb{R}; [0, 1])$ such that

Denote

where $||x||_{\infty} = \max\{|x_i|: i = 1, \cdots, d\}$. Since $1\leq\frac{3}{2}-\frac{s}{2t}\leq\frac{3}{2}$ for $s\in[0, t], \; \varphi(x, s, t) = 1$ in $Q_{R}$, while $\varphi(x, s, t) = 0$ in $\mathbb{R}^{d}\backslash Q_{2 R}.$

From Eq (9.64) and Young's inequality, fix $t > 0$ and for any $s\in(0, t)$, we have

where

Denote ${\tilde{\phi}({\eta}, s, \omega) = \int_{\mathbb{R}^d}|z|J(z, s)|\chi^{\varepsilon}_z(T_{\eta-z}\omega, s)|^2dz; }$ then we have

Finally, the penultimate inequality uses Appendix C. So we have

thus,

Since $\partial_{s}\varphi = -2\alpha_2^2 j_0 t^{-1}\xi^{\prime}$ while $|\varphi\left(x\right)-\varphi\left(y\right)|\leq R^{-1}\xi^{\prime}|x-y|$, we can absorb the last term on the right-hand side of Eq (9.66) into the first one to obtain

Integrating in time over $s\in[0, t]$ and using the definition of $\phi$ we get

Integrating in time over $t\in[0, T]$,

Let $\varepsilon\rightarrow 0$; from Appendix B and the ergodic theorem, we have $\mathbb{P}$-a.s.,

where

Lemma 9.4 gives that the first term on the right-hand side of the inequality (9.73) vanishes. Thus, using the inequality (9.74),

Due to the symmetric property we have, $\mathbb{P}$-a.s.,

Next we show that $\chi^{\varepsilon}(x, t)$ converges to $0$ as $\varepsilon\rightarrow 0^{+}$.

Let $\omega\in\Omega$ be such that the inequality (9.75) holds for any $T, R > 0$. The inequality (9.75) implies that the family $(\chi^{\varepsilon}(x, t))_{\varepsilon > 0}$ is bounded in $L_{loc}^{2}(\mathbb{R}^{d}\times\mathbb{R})$.

Note that $(\partial_{t}\chi^{\varepsilon}(x, t))_{\varepsilon > 0}$ is bounded in $L_{loc}^{2}(\mathbb{R}, L^{2})$, and $(\chi^{\varepsilon}(\cdot, t))_{\varepsilon > 0}$ is compact in $L^2_{loc}(\mathbb{R}^d)$ according to [41, Lemma 4.1]. Hence, with the help of the classical Lions-Aubin lemma, the family $(\chi^{\varepsilon}(x, t))_{\varepsilon > 0}$ is relatively compact in $L_{loc}^{2}(\mathbb{R}^{d+1})$.

Let $(\chi^{\varepsilon_{n}}(x, t))$ be any convergent subsequence with limit $\chi$ in $L_{ {loc }}^{2}(\mathbb{R}^{d}\times\mathbb{R})$. Since $\zeta_{z}$ is stationary in an ergodic environment, it converges weakly to a constant. Thus, owing to Eq (9.64), $\chi$ solves $\partial_{t}\chi = 0$ in $\mathbb{R}^{d}\times\mathbb{R}$. Letting $T\rightarrow 0$ in the inequality (9.75) yields that $\chi(\cdot, 0) = 0.$ Therefore, $\chi\equiv 0$, so $\chi^{\varepsilon_{n}}\rightarrow 0$ in $L_{loc}^{2}(\mathbb{R}^{d}\times\mathbb{R})$. Lemma 9.5 has been proved.

Proof of Theorem 9.2. Following the above Steps 1–6, we can finish the proof of the main Theorem 9.2 in this section.

10.   Additional terms of the asymptotic expansion

Remembering Eq (9.19), as $\varepsilon \to 0^{+}$, we have an asymptotic expansion for $w^\varepsilon(x, t) = v^{0}(x, t)+\varepsilon u_1(x, t)+\varepsilon^2u_2(x, t)$:

We now give a decomposition of the zero-order $\varepsilon^{0}$ term in the asymptotic expansion of $H^{\varepsilon}w_0^{\varepsilon}(x, t)$.

10.1.   Some lemmas in asymptotic analysis

Lemma 10.1. For the zero-order expansion term $\mathcal{M}_{\varepsilon}(x, t)$ we have

where $\Upsilon^{\varepsilon} = (\beta_\varepsilon, v_2^\varepsilon), \; \digamma(\frac{x}{\varepsilon}, \frac{t}{\varepsilon^2}, \omega) = \aleph_{1}(\frac{x}{\varepsilon}, \frac{t}{\varepsilon^2}, \omega)-\aleph_{2}(\frac{x}{\varepsilon}, \frac{t}{\varepsilon^2}, \omega),$ and the matrices $D_{1}$ and $D_{2}$ are

$\digamma(\frac{x}{\varepsilon}, \frac{t}{\varepsilon^2}, \omega)$, $\aleph_{1}(\frac{x}{\varepsilon}, \frac{t}{\varepsilon^2}, \omega)$ and $\aleph_{2}(\frac{x}{\varepsilon}, \frac{t}{\varepsilon^2}, \omega)$ are stationary fields with a zero mean which are given by

For the problems

we have that $||v^{\varepsilon}_i||_{L^{\infty}((0, T)\times\mathbb{R}^d)}\to 0\; (i = 2, 3)\; \mathbb{P}-a.s.$ as $\varepsilon\rightarrow 0^{+}.$

We need to prove the boundedness of the sequence $v^{\varepsilon}_i$ and then prove its compactness by using the Lions-Aubin lemma; we finally explain that $||v^{\varepsilon}_i||_{L^{\infty}((0, T)\times \mathbb{R}^d)}$ converges to $0$. The proof requires some technical estimates in [41, Section 5]; we provide the proof in the Appendix C.

Proposition 5. The matrix $\Theta = \mathbb{D}_{1}-\mathbb{D}_{2}$ is positive definite:

Proof. The procedure of deriving $\Theta$'s positive definiteness is basically similar to [41, Proposition 5.1].

10.2.   Remainder $\phi_{\varepsilon}$

We now consider the estimate of the remainder

in the asymptotic expansion Eq (9.19), where $\phi_{\varepsilon}^{(time)}$ and $\phi_{\varepsilon}^{(space)}$ are defined in Eqs (9.22) and (9.23) respectively.

Proposition 6. Let $v\in C^{\infty}\left((0, T), \mathcal{S}\left(\mathbb{R}^{d}\right)\right)$; then, for the functions $\phi_{\varepsilon}^{(time)}$ and $\phi_{\varepsilon}^{(space)}$ we have

where $\|\cdot\|_{2}$ is the norm in $L^{2}((0, T), L^{2}(\mathbb{R}^{d})).$

Proof. The convergence for $\phi_{\varepsilon}^{(time)}$ immediately follows from the representation Eq (9.22). For the function $\phi_{\varepsilon}^{(space)}$ given in Eq (9.23), the proof is completely analogous to that of [13, Proposition 5]. The proof of Proposition 6 is done.

10.3.   Asymptotic representation of zero-order term

We now give an asymptotic representation of the second term $\mathcal{M}_{0}(x, t)$ in Eq (9.19), that is,

where $\digamma(\frac{x}{\varepsilon}, \frac{t}{\varepsilon^2}, \omega)$ is a stationary matrix-field with a zero average and $\Upsilon^{\varepsilon}$ is a non-stationary term; they are defined in Lemma 10.1. Additionally, $u_{2}^{\varepsilon}$ and $u_{3}^{\varepsilon}$ satisfy

respectively, and

For the corrector $\chi$, from the sublinearity of $\chi^\varepsilon$, we have

This yields

With this choice of $\chi, u_{2}^{\varepsilon}$ and $u_{3}^{\varepsilon}$, the expression $(\partial_t-L^{\varepsilon})w^{\varepsilon}$ can be rearranged as follows:

From Proposition 6, $\|\phi_{\varepsilon}\|_{2}$ vanishes as $\varepsilon \rightarrow 0$. This implies that

10.4.   Proof of Theorem 9.1

Proof of Theorem 9.1. The proof is almost the same as that of Theorem 3.2 on the homogenization of nonlinear nonlocal parabolic equations with time dependent coefficients under a periodic and stationary structure that we have discussed in Sections 3–7; the difference is that we replace the periodic structure with the stationary structure in the nonlocal operator. Combining Eq (10.11) and using the triangle inequality and the fact that Schwartz space is dense in $L^2,$ Theorem 9.1 is proved.

11.   Nonlinear results for $p\neq 1$

In this section we just give some results of the corresponding equations with a nonlinear nonlocal operator for $p\neq1$. The proof is rather long and tedious so we omit the proof in details.

Case I. $0 < p < 1$.

We need to show that the nonlinear term will make the corrector $\chi$ depend on $v(x, t)$ and $\varepsilon$, and that $\chi^\varepsilon\to \chi$ as $\varepsilon \to 0.$

Theorem 11.1. Assume that the linear condition is satisfied; there exists a unique map $\chi$: $\mathbb{R}^{d+1}\times\Omega\rightarrow \mathbb{R}$ such that

and $\forall z\in\mathbb{R}^d$, $\zeta_{z}(x, t, y, s, \omega) = \chi(x, t, y+z, s, \omega)-\chi(x, t, y, s, \omega)\in L_{loc}^2(\mathbb{R}^{d+1}, \mathbf{L}^{\mathbf{2}})$, satisfying

We have the convergence

In addition, the positive definite matrix $\Theta$ is defined by

Case II. $1 < p\leq2$.

Theorem 11.2. Assume that the linear condition is satisfied, there exists a unique map $\chi$: $\mathbb{R}^{d+1}\times\Omega\rightarrow \mathbb{R}$ such that

where

We have the convergence

In addition, the positive definite matrix $\Theta$ is the same as $0 < p < 1.$

Results of non-self-similar scales are similar to those obtained above.

Remark 4. There are two parts of the proof here that are different from the equation with the linear operator. The first is that the random corrector depends on macroscopic and microscopic variables and the solution $u$ of the equation, which requires more approximations as in the periodic case to obtain the existence of the corrector. The second part is that the heterogeneous solution $u^\varepsilon$ converges to a homogeneous solution $u(x, t).$ Usually we can find a corrector $\chi$ depending on $u(x, t)$, but this will create the problem of not having enough information about the regularity of the map $u \mapsto \chi(\cdot, \cdot, u, \omega)$, and it requires us to develop some useful tools to overcome the difficulty. In 2022, Cardaliaguet, Dirr and Souganidis ^[42] dealt with the homogenization of a class of nonlinear parabolic equations and the corresponding random corrector

In order to circumvent this difficulty, they introduced a localization argument for the gradient of the corrector, which is based on a piecewise constant approximation of $\nabla u$. Whether a more general equation (like doubly nonlinear equations or fractional diffusion equations) can be used is the direction we will think about in the future.

Acknowledgments

The research was supported by the National Natural Science Foundation of China (No.12171442). The research of J. Chen is partially supported by the CSC under grant No. 202206160033.

Data availability statement

Data sharing is not applicable to this article as no new data were created or analyzed in this study.

Conflict of interest

The authors have no conflicts to disclose.

Authors' contributions

Junlong Chen carried out the homogenization theory of partial differential equations, and Yanbin Tang evaluated carried out the reaction diffusion equations and the perturbation theory of partial differential equations. All authors carried out the proofs and conceived the study. All authors read and approved the final manuscript.

Appendix A

Proof of Lemma 3.1. Let $u, v\in L^{[1, \infty]}(\mathbb{R}^{d})$ be such that

and let $\Lambda > 0$ be a given constant. Using the integrability condition and the local Lipschitz continuity with Lipschitz constant $L_{\Lambda}$ of $\Gamma^{\delta}(u(x), u(y), x, y, t)$. If we take $-\Lambda < a, b, c < \Lambda$ such that $|c-b|, |a-b|\geq \delta$, then for a given function $f$ we have

so that we can easily get the local Lipschitz-continuity of $\Gamma^{\delta}$ and we have

where $C_p$ and $M(p, \alpha_2, \Lambda)$ are constants and $L_{\Lambda} = \frac{2(p+1)}{\delta^2}\Lambda^p$.

Similarly, we have

thus,

This completes the proof of Lemma 3.1.

Appendix B

Lemma B.1. Let $(\Omega, \mathcal{F}, \mathbb{P})$ and $\mathfrak{U}: \mathbb{R}^{d+1}\times\Omega\rightarrow \mathbb{R}$ have the time derivative $\partial_t \mathfrak{U}$ and increments $\zeta_{z}(\xi, t, \omega) = \mathfrak{U}(z+\xi, t, w)-\mathfrak{U}(\xi, t, w)$. Then, $\mathbb{P}$-a.s.,

That is, given $\mathfrak{U}^{\varepsilon}(x, t, \omega) = \varepsilon\mathfrak{U}(x/\varepsilon, t/\varepsilon, \omega)$, for any fixed $R > 0$, we have

Proof. The result is not surprising, as this reflects the sublinear growth property of the corrector. This is the property of the oscillatory function and it can be seen in [41, Lemma 4.1]. We can apply [42, Lemma A.2] and [43, Theorem 5.3] and use the classical nonlocal Poincaré's inequality for any $\omega \in \Omega_{0} \subset \Omega$; the family $\left(\mathfrak{U}^{\varepsilon}\right)_{\varepsilon > 0}$ is relatively compact in $L_{loc}^{2}\left(\mathbb{R}^{d+1}\right)$, thus $\mathfrak{U}^{\varepsilon_{k}}\rightarrow 0$ in $L_{loc}^{2}\left(\mathbb{R}^{d+1}\right)$ as $k\rightarrow \infty$ and $\mathbb{P}$-a.s. Taking in expectation we have $\mathfrak{U}^{\varepsilon}\rightarrow 0$ as $\varepsilon\rightarrow 0$. $\mathfrak{U}^{\varepsilon}(\cdot, 0)$ also satisfies the assertion of [41, Lemma 4.1], so we omit it.

Appendix C

Proof of Lemma 9.3. The idea of the proof comes from [41, Proposition 4.5]; here, we mainly describe our ideas.

If $|\xi| > 3R$, then $\varphi\left(\frac{|\xi|}{R}\right) = 0$. Also $\varphi\left(\frac{|\xi+z|}{R}\right) = 0$ if $|\xi| > 3R$ and $|z| > R$. We obtain

where $\eta = \xi+z$ and

Due to the integrability of $\bar{\sigma}_{z}(\omega)$ with the weighted kernel function in probability, $\phi(\omega)\in L^{2}(\Omega)$, we have

Applying the Cauchy-Schwarz inequality, the boundedness of $\phi$ and the sublinear property of $\bar{\sigma}$ (Lemma 9.5 is proved) gives

where $c_d$ is sufficiently small.

The first term on the right-hand side of $\mathbb{A}_3$ satisfies

where we use the estimate of $I_2$ in [41, Proposition 4.5] and the sublinear property of $\bar{\sigma}$; and, $c_s$ is sufficiently small. Applying the inequality $\Big|\varphi\Big(\frac{|x|}{R}\Big)-\varphi\Big(\frac{|y|}{R}\Big)\Big|\leq\frac{|x-y|}{R}$, for $|\xi|\geq R,$ we get

$\mathbb{A}_{2 < }\leq\frac{C}{\sqrt{R(t)}}R(t)^d$ and $\mathbb{A}_{2 > }\leq c_2R(t)^d$ can be directly obtained in [41, Proposition 4.5]. This ends the proof of Lemma 9.3.

Proof of Lemma 10.1. For any $\varphi\in L^{2}((0, T)\times\mathbb{R}^{d})$, we can find that

is a bounded linear functional on $L^2(\mathbb{R}\times\mathbb{R}^d)$. Then, by the Riesz theorem for a.e. $\omega$, there exists a function $\beta_\varepsilon\in L^2(\mathbb{R}\times\mathbb{R}^d)$ such that $\Upsilon^{\varepsilon} = (\beta_\varepsilon, \varphi)$:

Since supp$v^{0}\subset B$ is a bounded subset of $\mathbb{R}^{d}$ and $\int_{\mathbb{R}^{d}}J_1(z)|z|\left|\zeta_{-z}(\omega)\right|dz\in L^{2}(\Omega),$ by the Birkhoff theorem $v_{3}^{\varepsilon}\in L^{2}((0, T)\times\mathbb{R}^{d})$.

Our goal is to prove that $\|v_{3}^{\varepsilon}\|_{L^{2}((0, T)\times\mathbb{R}^{d})}\rightarrow 0$ as $\varepsilon\rightarrow 0$. We first show that the family $\{v_{3}^{\varepsilon}\}$ is bounded in $L^{2}((0, T)\times\mathbb{R}^{d})$. Denote

We first give an important lemma.

Lemma C.1. [41, Lemma 5.1] For $v_2^\varepsilon$ in Eq (10.4) and $J_{2}^{\varepsilon}(\varphi)$ in Eq (C.5), we have

Lemma C.2. For $v_2^\varepsilon$ in Eq (10.4) and a.e. $\omega$, we have that $||v^{\varepsilon}_2||_{L^{2}((0, T)\times\mathbb{R}^d)}\to 0\; \mathit{\mbox{as}}\; \varepsilon\rightarrow 0.$

Proof. Multiply $v_{2}^{\varepsilon}$ on both sides in Eq (10.4); then, we have that $((\partial_t-L^{\varepsilon})v_{2}^{\varepsilon}, v_{2}^{\varepsilon}) = (-\Upsilon^{\varepsilon}, u_{2}^{\varepsilon}).$ Consider the second term on the left-hand side; we have

For any $s\in(0, T)$, and by integrating over $0$ to $s$,

using the Gronwall inequality, we get that $||v^{\varepsilon}_2||_{L^{2}((0, T)\times\mathbb{R}^d)}\to 0$ as $\varepsilon \to 0.$

We focus on $\{v_3^{\varepsilon}\}$ defined in Eq (10.5). Our goal is to prove that $||v^{\varepsilon}_3||_{L^{2}((0, T)\times\mathbb{R}^d)}\to 0.$ We first prove its compactness in $L^2$.

Lemma C.3. $\{v_3^{\varepsilon}\}$ is compact and $v_{3}^{\varepsilon}\to 0$ as $\varepsilon\to 0$ in ${L^{2}((0, T)\times\mathbb{R}^d)}.$

Proof. See details in [41, Lemmas 5.3,5.4].