On Weak Solutions to Parabolic Problem Involving the Fractional p-Laplacian via Young Measures

Talibi, Ihya; Balaadich, Farah; El Boukari, Brahim; El Ghordaf, Jalila

doi:10.2478/amsil-2024-0021

Full Article

1.

Introduction

Recently, there has been a lot of interest in the systematic study of problems involving non-local operators due to their frequency in practical real-world applications, such as finance, optimization, soft thin films, stratified materials, and phase transitions. We refer the reader to see [32]. The elliptic theory for linear and quasilinear nonlocal operators has seen extensive research over the past few decades, particularly in the works of Caffarelli and collaborators [4, 5, 14]. Additionally, research on nonlocal nonlinear problems has been extensively explored in [30], we also refer to [9, 10, 11, 15, 22, 24, 25, 26, 31] on related existence results for the problems of elliptic and parabolic type involving non-local fractional Laplacian (p-Laplacian) operators.

In this paper, suppose that Ω is a bounded open domain of ℝⁿ and T is a real positive number. We deal with the following initial boundary value problem: (1.1) ${\begin{array}{l} \frac{\partial u}{\partial t} + {(- Δ)}_{p}^{s} u = f (x, t, u) & in Q_{T} = Ω \times (0, T), \\ u = 0 & in (ℝ^{n} \ Ω) \times (0, T), \\ u (x, 0) = u (x) & in Ω, \end{array}$ \left\{{\matrix{{{{\partial u} \over {\partial t}} + (- \Delta)_p^su = f(x,t,u)} \hfill & {{\rm{in}}\,{Q_T} = \Omega \times (0,T),} \hfill \cr {u = 0} \hfill & {{\rm{in}}\,({{\mathbb R}^n}\backslash \Omega) \times (0,T),} \hfill \cr {u(x,0) = u(x)} \hfill & {{\rm{in}}\,\Omega,} \hfill \cr}} \right. where 0 < s < 1 and 2 < p are real numbers, u: Ω × (0, T) → ℝ^m, m ∈ {0, 1, 2, . . .} is a vector-valued function and the function f satisfies the following hypothesis:

(H1)
f : Ω × (0, T) × ℝ^m → ℝ^m is a Carathéodory function satisfying $\begin{matrix} | f (x, t, r) | \leq α_{0} (1 + | r |^{q - 1}), \\ F_{t} (x, t, r) \geq α_{1} (- 1 - | r |^{q}), \end{matrix}$ \matrix{{\left| {f(x,t,r)} \right| \le {\alpha_0}(1 + |r{|^{q - 1}}),} \cr {{F_t}(x,t,r) \ge {\alpha_1}(- 1 - |r{|^q}),} \cr} for all (x, t, r) ∈ Ω × (0, T) × ℝ^m, where α₀, α₁ are positive constants, $F (x, t, r) = \int_{0}^{r} f (x, t, l) dl$ F(x,t,r) = \mathop \smallint \nolimits_0^r f(x,t,l)dl and $F_{t} = \frac{d}{dt} F$ {F_t} = {d \over {dt}}F .

The fractional p-Laplacian operator ${(- Δ)}_{p}^{s} u$ (- \Delta)_p^su is defined as follows: ${(- Δ)}_{p}^{s} u (x, t) = P . V \int_{ℝ^{n}} \begin{matrix} \frac{| u (x, t) - u (y, t) |^{p - 2} (u (x, t) - u (y, t))}{| x - y |^{n + p s}} d y, & x \in ℝ^{n}, \end{matrix}$ (- \Delta)_p^su(x,t) = P.V \int_{{\mathbb R}^n} {\matrix{{{{|u(x,t) - u(y,t){|^{p - 2}}(u(x,t) - u(y,t))} \over {|x - y{|^{n + ps}}}}dy,} & {x \in {{\mathbb R}^n},} \cr}} where P.V stands for “in the principal value sense” and is a frequently used abbreviation. For more information on this operator, see [13].

Concerning the fractional Laplacian (p = 2), a famous model for anomalous diffusion is the following equation: $\frac{\partial u}{\partial t} + {(- Δ)}^{s} u = 0$ {{\partial u} \over {\partial t}} + {(- \Delta)^s}u = 0 , which comes asymptotically from basic random walk models (see [33, 34]). Also in [17], de Pablo et al. proposed the nonlinear anomalous diffusion equation $\frac{\partial u}{\partial t} + {(- Δ)}^{s} (u^{m}) = 0$ {{\partial u} \over {\partial t}} + {(- \Delta)^s}({u^m}) = 0 , the fractional porous medium equation with 0 < s < 1 and m > 0. We also refer to [34] for more details on this type of equation.

On the other hand, in the case p ≠ 2 and f = 0, Vázquez in [35] proved the existence and uniqueness of strong nonnegative solutions for (1.1). If u₀ ∈ L²(Ω), the existence results of energy solution were studied in [29].

When it comes to the problem (1.1), the existence results are treated in several works, for example, the different issues of the existence and the regularity of energy-weak solutions to the problem same to (1.1) were investigated by Giacomoni et al. in [21]. In [1], the authors have studied the problem (1.1) with f depending only on x and t and proved the existence results with suitable regularity if (f, u₀) ∈ L¹ (Ω_T) × L¹(Ω) and has a nonnegative entropy solution if f₀, u₀ are nonnegative. The same author in [2] proved the asymptotic behavior result of entropy solutions when the right-hand side does not depend on time.

The idea of this work, motivated by all of the results above, is to study the existence of weak solutions to the problem (1.1) by using the Galerkin method combined with the theory of Young measures. To the best of our knowledge, the parabolic problem (1.1) has never been studied by the theory of Young measure. We suggest to the readers to consult [6, 7, 19] which treat some elliptic and parabolic systems by such a theory. In [8], the authors proved the existence of weak solutions to the elliptic case of (1.1) employing the Young measures theory and the Galerkin method.

This article is organized into four sections. In Section 2 we give some background information on fractional Sobolev spaces and a review of the Young measures theory. Later, under some assumptions, we obtain the existence of weak solutions using the Galerkin approximation and the Young measures. The final part is devoted to illustrating the feasibility of the hypotheses with an example.

2.

Preliminaries and notations

In this section, we first recall some necessary results which will be used in the next section. Let 1 < p < ∞, s ∈ (0, 1), we define $p_{s}^{*}$ p_s^* the fractional critical exponent by: $p_{s}^{*} = {\begin{array}{l} \infty & if p s \geq n, \\ n p / (n - p s) & if p s < n . \end{array}$ p_s^* = \left\{{\matrix{\infty \hfill & {{\rm{if}}\,ps \ge n,} \hfill \cr {np/(n - ps)} \hfill & {{\rm{if}}\,ps < n.} \hfill \cr}} \right. Let Ω ⊂ ℝⁿ be an open set, Q_Ω = (ℝⁿ × ℝⁿ) \(𝒞Ω × 𝒞Ω), Q_τ = Ω × (0, τ) for all τ ∈ (0, T ] and 𝒞Ω = ℝⁿ\Ω. It is clear that Ω × Ω is strictly contained in Q_Ω. W is a linear space of Lebesgue measurable functions from ℝⁿ to ℝ^m such that the restriction to Ω of any function u in W belongs to L^p(Ω; ℝ^m) and $\iint_{Q_{Ω}} \frac{| u (x) - u (y) |^{p}}{| x - y |^{n + p s}} dydx < \infty .$ \int\!\!\!\int_{{Q_\Omega}} {{{|u(x) - u(y){|^p}} \over {|x - y{|^{n + ps}}}}dydx < \infty.} The space W is equipped with the norm ${‖ u ‖}_{W} = {‖ u ‖}_{L^{p} (Ω; ℝ^{m})} + {(\iint_{Q_{Ω}} \frac{| u (x) - u (y) |^{p}}{| x - y |^{n + p s}} dydx)}^{1 / p} .$ {\left\| u \right\|_W} = {\left\| u \right\|_{{L^p}(\Omega ;{{\mathbb R}^m})}} + {\left({\int\!\!\!\int_{{Q_\Omega}} {{{|u(x) - u(y){|^p}} \over {|x - y{|^{n + ps}}}}dydx}} \right)^{1/p}}. Let us consider the closed linear subspace $W_{0} = {u \in W : u = 0 a . e . in 𝒞 Ω} .$ {W_0} = \left\{{u \in W:u = 0\,{\rm{a}}.{\rm{e}}.\,{\rm{in}}\,{\cal C}\Omega} \right\}. In W₀, we may also use the norm ${‖ u ‖}_{W_{0}} = {(\iint_{Q_{Ω}} \frac{| u (x) - u (y) |^{p}}{| x - y |^{n + p s}} dydx)}^{1 / p} .$ {\left\| u \right\|_{{W_0}}} = {\left({\int\!\!\!\int_{{Q_\Omega}} {{{|u(x) - u(y){|^p}} \over {|x - y{|^{n + ps}}}}dydx}} \right)^{1/p}}. It is known that (W₀, ∥ · ∥_W₀) is a uniformly convex reflexive Banach space (see [36]). The following Poincare’s inequality from [12] will be used below: there exists C_r > 0 such that (2.1) $\begin{matrix} {‖ ϕ ‖}_{L^{r} (Ω, ℝ^{m})} \leq C_{r} {‖ ϕ ‖}_{W_{0}} & for all & ϕ \in W_{0} & and & r \in [1, p_{s}^{*}] \end{matrix} .$ \matrix{{{{\left\| \phi \right\|}_{{L^r}\left({\Omega,{{\mathbb R}^m}} \right)}} \le {C_r}{{\left\| \phi \right\|}_{{W_0}}}} & {{\rm{for}}\,{\rm{all}}} & {\phi \in {W_0}} & {{\rm{and}}} & {r \in [1,p_s^*]} \cr}. In the sequel, let $p < \frac{n}{s}$ p < {n \over s} and C_i, i = 1, 2, . . . be positive constants that vary from line to line, and are independent of the terms involved in any limit process. We note the following functional space L^p(0, T; W₀), which is a separable and reflexive Banach space endowed with the norm ${‖ u ‖}_{L^{p} (0, T; W_{0})} = {(\int_{0}^{T} {‖ u ‖}_{W_{0}}^{p} dt)}^{1 / p} .$ {\left\| u \right\|_{{L^p}\left({0,T;{W_0}} \right)}} = {\left({\mathop \smallint \nolimits_0^T \left\| u \right\|_{{W_0}}^pdt} \right)^{1/p}}.

Lemma 2.1. ([20])

The space $𝒞_{0}^{\infty} (Ω; ℝ^{m})$ {\cal C}_0^\infty \,(\Omega ;{{\mathbb R}^m}) of infinitely differentiable functions with compact support on Ω is dense in W₀.

Lemma 2.2. ([18])

The following embedding W₀ ↪ L^r (Ω; ℝ^m) is compact for all $r \in [1, p_{s}^{*})$ r \in [1,p_s^*) , and continuous for all $r \in [1, p_{s}^{*}]$ r \in [1,p_s^*] .

In the following, 𝒞₀ (ℝ^m) stands for the space of continuous functions on ℝ^m with compact support with regards to the ∥·∥_∞-norm. The space of signed Radon measures with finite mass is noted ℳ (ℝ^m). The corresponding duality is given by ${μ, ρ 〉 = \int_{ℝ^{m}} ρ (λ) d μ (λ) .$ \{\mu,\rho \rangle = \int_{{{\mathbb R}^m}} {\rho (\lambda)d\mu (\lambda)}.

Definition 2.3. ([8])

Let {z_j}_j≥1 be a bounded sequence in L^∞ (Ω; ℝ^m). Then there exist a subsequence {z_k} ⊂ {z_j} and a Borel probability measure µ_x on ℝ^m for almost every x ∈ Ω, such that for a.e. ρ ∈ 𝒞 (ℝ^m) we have $ρ (z_{k}) ⇀ * \bar{ρ}$ \rho ({z_k}) \rightharpoonup *\bar \rho weakly in L^∞(Ω), where $\bar{ρ} (x) = {μ_{x}, ρ 〉 = \int_{ℝ^{m}} ρ (λ) d μ_{x} (λ)$ \bar \rho (x) = \{{\mu_x},\rho \rangle = \int_{{{\mathbb R}^m}} {\rho (\lambda)d{\mu_x}(\lambda)} for a.e. x ∈ Ω.

Lemma 2.4. ([23])

Let Ω ⊂ ℝⁿ be Lebesgue measurable (not necessarily bounded) and z_j from Ω to ℝ^m, for j ∈ ℕ, be a sequence of Lebesgue measurable functions. Then there exist a subsequence z_k and a family {µ_x}_x∈Ω of non-negative Radon measures on ℝ^m, such that

(i)
∥µ_x∥_ℳ(ℝ^m) := ∫_ℝ^m dµ_x(λ) ≤ 1 for almost every x ∈ Ω.
(ii)
$ρ (z_{k}) ⇀ * \bar{ρ}$ \rho ({z_k}) \rightharpoonup *\bar \rho weakly in L^∞(Ω) for all 𝒞₀ (ℝ^m), where $\bar{ρ} (x) = 〈 μ_{x}, ρ 〉$ \bar \rho (x) = \left\langle {{\mu_x},\rho} \right\rangle .
(iii)
If for all M > 0 (2.2) $lim_{N \to \infty} sup_{k \in ℕ} | {x \in Ω \cap B_{M} (0) : | z_{k} (x) | \geq N} | = 0,$ \mathop {\lim}\limits_{N \to \infty} \mathop {\sup}\limits_{k \in {\mathbb N}} |\{x \in \Omega \cap {B_M}(0):\left| {{z_k}(x)} \right| \ge N\} | = 0, then ∥µ_x∥ = 1 for a.e. x ∈ Ω, and for any measurable Ω′ ⊂ Ω we have $ρ (z_{k}) ⇀ \bar{ρ} = 〈 μ_{x}, ρ 〉$ \rho ({z_k}) \rightharpoonup \bar \rho = \left\langle {{\mu_x},\rho} \right\rangle weakly in L¹ (Ω′) for continuous function ρ provided the sequence ρ (z_k) is weakly precompact in L¹ (Ω′).

3.

Local existence of weak solutions

In this section, we define a weak solution to the problem (1.1) and prove the main result (Theorem 3.2 below). We start with the following definition:

Definition 3.1

A function u ∈ L^p(0, T; W₀) is called a weak solution of (1.1), if $\frac{\partial u}{\partial t} \in L^{2} (Q_{T}; ℝ^{m})$ {{\partial u} \over {\partial t}} \in {L^2}({Q_T};{{\mathbb R}^m}) and $\begin{array}{l} \int_{Q_{T}} \frac{\partial u}{\partial t} ϕ dxdt \\ + \int_{0}^{T} \iint_{Q_{Ω}} \frac{| u (x, t) - u (y, t) |^{p - 2} (u (x, t) - u (y, t))}{| x - y |^{n + p s}} (ϕ (x, t) - ϕ (y, t)) dxdydt \\ = \int_{Q_{T}} f (x, t, u) ϕ dxdt, \end{array}$ \matrix{{\int_{{Q_T}} {{{\partial u} \over {\partial t}}\phi dxdt}} \hfill \cr {+ \mathop \smallint \nolimits_0^T \int\!\!\!\int_{{Q_\Omega}} {{{|u(x,t) - u(y,t){|^{p - 2}}(u(x,t) - u(y,t))} \over {|x - y{|^{n + ps}}}}(\phi (x,t) - \phi (y,t))dxdydt}} \hfill \cr \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,{= \int_{{Q_T}} {f(x,t,u)\phi dxdt},} \hfill \cr} holds for all $ϕ \in C^{1} (0, T; C_{0}^{\infty} (Ω))$ \phi \in {C^1}\,(0,T;C_0^\infty (\Omega)) .

Theorem 3.2

If u₀ ∈ W₀, $2 < q < \frac{(2 + p) p_{s}^{*} - 2 p}{p_{s}^{*}} < p_{s}^{*}$ 2 < q < {{(2 + p)p_s^* - 2p} \over {p_s^*}} < p_s^* and (H1) is satisfied, then there exists a constant T₀ > 0 such that problem (1.1) has at least one weak solution as T < T₀.

Proof

The proof is divided into three assertions.

Assertion 1: Galerkin approximation

Similar to that in [27], we take a sequence ${w_{j}}_{j \geq 1} \subset C_{0}^{\infty} (Ω; ℝ^{m})$ {\{{w_j}\}_{j \ge 1}} \subset C_0^\infty \,(\Omega ;\,{{\mathbb R}^m}) , such that $C_{0}^{\infty} (Ω; ℝ^{m}) \subset {\bar{\cup_{k \geq 1} U_{k}}}^{C_{1} (\bar{Ω})}$ C_0^\infty \,(\Omega ;\,{{\mathbb R}^m}) \subset {\overline {\bigcup\nolimits_{k \ge 1} {{U_k}}}^{{C_1}(\overline \Omega)}} , where {w_j}_j≥1 is an orthonormal basis in L² (Ω; ℝ^m) and U_k = span {w₁, . . . , w_k}.

Lemma 3.3

For the function u₀ ∈ W₀, there exists a subsequence ξ_k ∈ U_k such that ξ_k → u₀ in W₀ as k → ∞.

Proof

Since u₀ ∈ W₀, we can find a sequence {v_k} in $C_{0}^{\infty} (Ω; ℝ^{m})$ C_0^\infty \,(\Omega ;\,{\rm{@}}{{\rm{R}}^m}) such that v_k → u₀ in W₀. Since ${v_{k}} \subset C_{0}^{\infty} (Ω; ℝ^{m}) \subset {\cup_{M \geq 1} \bar{U_{M}}}^{C^{1} (\bar{Ω}; ℝ^{m})}$ \{{v_k}\} \subset C_0^\infty \,(\Omega ;\,{{\mathbb R}^m}) \subset {\bigcup\nolimits_{M \ge 1} {\overline {{U_M}}}^{{C^1}(\overline \Omega ;{{\mathbb R}^m})}} , there exists a sequence ${v_{k}^{i}} \subset \cup_{M \geq 1} U_{M}$ \{v_k^i\} \subset \bigcup\nolimits_{M \ge 1} {{U_M}} such that $v_{k}^{i} \to v_{k}$ v_k^i \to {v_k} in $C^{1} (\bar{Ω}; ℝ^{m})$ {C^1}\left({\bar \Omega ;{{\mathbb R}^m}} \right) as i tends to ∞. For $\frac{1}{2^{k}}$ {1 \over {{2^k}}} , there exists i_k ≥ 1 such that ${‖ v_{k}^{i_{k}} - v_{k} ‖}_{C^{1} (\bar{Ω})} - \leq \frac{1}{2^{k}}$ {\left\| {v_k^{{i_k}} - {v_k}} \right\|_{{C^1}(\overline \Omega)}} - \le {1 \over {{2^k}}} . Therefore ${‖ v_{k}^{i_{k}} - u_{0} ‖}_{W_{0}} \leq C_{1} {‖ v_{k}^{i_{k}} - v_{k} ‖}_{C^{1} (\bar{Ω})} + {‖ v_{k} - u_{0} ‖}_{W_{0}} .$ {\left\| {v_k^{{i_k}} - {u_0}} \right\|_{{W_0}}} \le {C_1}{\left\| {v_k^{{i_k}} - {v_k}} \right\|_{{C^1}\left({\overline \Omega} \right)}} + {\left\| {{v_k} - {u_0}} \right\|_{{W_0}}}. Hence $v_{k}^{i_{k}} \to u_{0}$ v_k^{{i_k}} \to {u_0} in W₀ as k tends to ∞. We denote $u_{k} = v_{k}^{i_{k}}$ {u_k} = v_k^{{i_k}} . Since u_k ∈ U_M≥1 U_M, there exists U_{M_k} such that u_k ∈ U_{M_k}, without loss of generality, we assume that U_M₁ ⊂ U_M₂ as M₁ ≤ M₂. We suppose that M₁ > 1 and define ξ_k as follows: ${\begin{array}{l} ξ_{k} (x) = 0, & for k = 1, \dots, M_{1} - 1, \\ ξ_{k} (x) = u_{1}, & for k = M_{1}, \dots, M_{2} - 1, \\ ξ_{k} (x) = u_{2}, & for k = M_{2}, \dots, M_{3} - 1, \\ ⋮ & ⋮ \end{array}$ \left\{{\matrix{{{\xi_k}(x) = 0,} \hfill & {{\rm{for}}\,k = 1, \ldots,{M_1} - 1,} \hfill \cr {{\xi_k}(x) = {u_1},} \hfill & {{\rm{for}}\,k = {M_1}, \ldots,{M_2} - 1,} \hfill \cr {{\xi_k}(x) = {u_2},} \hfill & {{\rm{for}}\,k = {M_2}, \ldots,{M_3} - 1,} \hfill \cr \vdots \hfill & \vdots \hfill \cr}} \right. Then {ξ_k} is the desired sequence such that ξ_k → u₀ in W₀ as k → ∞.

We define the function R_k : [0, T) × ℝ^k → ℝ^k where k is fixed: $\begin{array}{l} {(R (t, ς))}_{i} & = \iint_{Q_{Ω}} \frac{{| \sum_{j = 1}^{k} {(ς_{j} (t))}_{j} w_{j} (x) - \sum_{j = 1}^{k} {(ς_{j} (t))}_{j} w_{j} (y) |}^{p - 2}}{x - y |^{n + p s}} \\ \times (\sum_{j = 1}^{k} {(ς_{j} (t))}_{j} w_{j} (x) - \sum_{j = 1}^{k} {(ς_{j} (t))}_{j} w_{j} (y)) (w_{i} (x) - w_{i} (y)) dxdy, \end{array}$ \matrix{{{{(R(t,\varsigma))}_i}} \hfill & {= \int\!\!\!\int_{{Q_\Omega}} {{{{{\left| {\sum\nolimits_{j = 1}^k {{{({\varsigma_j}(t))}_j}{w_j}(x)} - \sum\nolimits_{j = 1}^k {{{({\varsigma_j}(t))}_j}{w_j}(y)}} \right|}^{p - 2}}} \over {x - y{|^{n + ps}}}}}} \hfill \cr {} \hfill & {\times \left({\sum\limits_{j = 1}^k {{{({\varsigma_j}(t))}_j}{w_j}(x)} - \sum\limits_{j = 1}^k {{{({\varsigma_j}(t))}_j}{w_j}(y)}} \right)({w_i}(x) - {w_i}(y))dxdy,}\hfill } for ς ∈ ℝ^k and i = 1, . . . , k. The function R(t, ς) is continuous in t and ς.

Now, we shall construct the approximating solutions for (1.1) as follows: $u_{k} (x, t) = \sum_{j = 1}^{k} {(b_{j} (t))}_{j} w_{j} (x),$ {u_k}(x,t) = \sum\limits_{j = 1}^k {{{({b_j}(t))}_j}{w_j}(x)}, where unknown functions (b(t))_j are determined by the following system of ODE: (3.1) ${\begin{array}{l} b^{'} (t) + R_{k} (t, b (t)) = S_{k} (t, b (t)), & 0 < t < T, \\ b (0) = ψ_{k} (0), \end{array}$ \left\{{\matrix{{b^{'}(t) + {R_k}(t,b(t)) = {S_k}(t,b(t)),} \hfill & {0 < t < T,} \hfill \cr {b(0) = {\psi_k}(0),} \hfill & {} \hfill \cr}} \right. where ${(S_{k} (t, b))}_{i} = \int_{Ω} \begin{matrix} f (x, t, \sum_{j = 1}^{k} b_{j} w_{j}) w_{i} dx, & {(ψ_{k} (0))}_{i} = \int_{Ω} ξ_{k} (x) w_{i} dx \end{matrix},$ {({S_k}(t,b))_i} = \int_\Omega {\matrix{{f(x,t,\sum\limits_{j = 1}^k {{b_j}{w_j}}){w_i}dx,} & {{{({\psi_k}(0))}_i} = \int_\Omega {{\xi_k}(x){w_i}dx}} \cr}}, and $\begin{matrix} ξ_{k} (x) \to u_{0} & in W_{0} & as k \end{matrix} \to \infty where ξ_{k} (x) \in U_{k} .$ \matrix{{{\xi_k}(x) \to {u_0}} & {{\rm{in}}\,{W_0}} & {{\rm{as}}\,k} \cr} \to \infty \,{\rm{where}}\,{\xi_k}(x) \in {U_k}. Multiplying (3.1) by b(t), we get (3.2) $b^{'} b + R_{k} (t, b) b = S_{k} (t, b) b .$ b^{'}b + {R_k}(t,b)b = {S_k}(t,b)b. According to (H1), the following inequalities hold (3.3) $\begin{array}{l} S_{k} (t, b) b & \leq α_{0} \int_{Ω} ({| \sum_{j = 1}^{k} b_{j} w_{j} |}^{q} + | \sum_{j = 1}^{k} b_{j} w_{j} |) dx \\ \leq α_{0} \int_{Ω} {| \sum_{j = 1}^{k} b_{j} w_{j} |}^{q} d x + α_{0} C_{2} \int_{Ω} {| \sum_{j = 1}^{k} b_{j} w_{j} |}^{2} dx . \end{array}$ \matrix{{{S_k}(t,b)b} \hfill & {\le {\alpha_0}\int_\Omega {\left( {{{\left| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right|}^q} + \left| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right|} \right)} dx} \hfill \cr {} \hfill & {\le {\alpha_0}\int_\Omega {{{\left| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right|}^q}dx} + {\alpha_0}{C_2}\int_\Omega {{{\left| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right|}^2}dx} .} \hfill \cr} Since $2 < q < p_{s}^{*}$ 2 < q < p_s^* , using the interpolation inequality (see [3, Theorem 2.11]) and (2.1), we get (3.4) $\begin{array}{l} \int_{Ω} {| \sum_{j = 1}^{k} b_{j} w_{j} |}^{q} dx & \leq {‖ \sum_{j = 1}^{k} b_{j} w_{j} ‖}_{L^{2} (Ω; ℝ^{m})}^{θ q} {‖ \sum_{j = 1}^{k} b_{j} w_{j} ‖}_{L^{p_{s}^{*}} (Ω; ℝ^{m})}^{(1 - θ) q} \\ \leq C_{p_{s}^{*}} {‖ \sum_{j = 1}^{k} b_{j} w_{j} ‖}_{L^{2} (Ω; ℝ^{m})}^{θ q} {‖ \sum_{j = 1}^{k} b_{j} w_{j} ‖}_{W_{0}}^{(1 - θ) q}, \end{array}$ \matrix{{\int_\Omega {{{\left| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right|}^q}dx}} \hfill & {\le \left\| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right\|_{{L^2}(\Omega ;{{\mathbb R}^m})}^{\theta q}\left\| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right\|_{{L^{p_s^*}}(\Omega ;{{\mathbb R}^m})}^{(1 - \theta)q}} \hfill \cr {} \hfill & {\le {C_{p_s^*}}\left\| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right\|_{{L^2}(\Omega ;{{\mathbb R}^m})}^{\theta q}\left\| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right\|_{{W_0}}^{(1 - \theta)q},} \hfill \cr} where θ ∈ (0, 1) satisfies $\frac{1}{q} = \frac{θ}{2} + \frac{1 - θ}{p_{s}^{*}} \cdot$ {1 \over q} = {\theta \over 2} + {{1 - \theta} \over {p_s^*}} \cdot We observe that $(1 - θ) q = \frac{p_{s}^{*} (q - 2)}{p_{s}^{*} - 2} < p_{s}^{*}$ (1 - \theta)q = {{p_s^*\left({q - 2} \right)} \over {p_s^* - 2}} < p_s^* and $λ : = \frac{p θ q}{p - (1 - θ) q} = \frac{2 p (p_{s}^{*} - q)}{p_{s}^{*} (p - q + 2) - 2 p} > 2 .$ \lambda : = {{p\theta q} \over {p - (1 - \theta)q}} = {{2p(p_s^* - q)} \over {p_s^*(p - q + 2) - 2p}} > 2. For any ϵ ∈ (0, 1), the Young inequality implies (3.5) $\begin{array}{l} {‖ \sum_{j = 1}^{k} b_{j} w_{j} ‖}_{L^{2} (Ω; ℝ^{m})}^{θ q} {‖ \sum_{j = 1}^{k} b_{j} w_{j} ‖}_{W_{0}}^{(1 - θ) q} \\ \leq ɛ {‖ \sum_{j = 1}^{k} b_{j} w_{j} ‖}_{W_{0}}^{p} + C (ɛ) {‖ \sum_{j = 1}^{k} b_{j} w_{j} ‖}_{L^{2} (Ω; ℝ^{m})}^{λ} . \end{array}$ \matrix{{\left\| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right\|_{{L^2}(\Omega ;{{\mathbb R}^m})}^{\theta q}\left\| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right\|_{{W_0}}^{(1 - \theta)q}} \hfill \cr {\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, \le \epsilon \left\| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right\|_{{W_0}}^p + C(\epsilon)\left\| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right\|_{{L^2}(\Omega ;{{\mathbb R}^m})}^\lambda.} \hfill \cr} Then, (3.4) is transformed into the following inequality (3.6) ${\int_{Ω} | \sum_{j = 1}^{k} b_{j} w_{j} |}^{q} dx \leq C_{p_{s}^{*}} ɛ {‖ \sum_{j = 1}^{k} b_{j} w_{j} ‖}_{W_{0}}^{p} + C (ɛ) {‖ \sum_{j = 1}^{k} b_{j} w_{j} ‖}_{L^{2} (Ω; ℝ^{m})}^{λ} .$ {\int_\Omega {\left| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right|}^q}dx \le {C_{p_s^*}}\epsilon \left\| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right\|_{{W_0}}^p + C(\epsilon)\left\| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right\|_{{L^2}(\Omega ;{{\mathbb R}^m})}^\lambda. Plugging inequalities (3.3), (3.4) and (3.6) into (3.2), we deduce that $\begin{array}{l} \frac{1}{2} \frac{d | b (t) |^{2}}{dt} + {‖ \sum_{j = 1}^{k} b_{j} w_{j} ‖}_{W_{0}}^{p} \leq C_{p_{s}^{*}} α_{0} ɛ {‖ \sum_{j = 1}^{k} b_{j} w_{j} ‖}_{W_{0}}^{p} \\ + α_{0} C (ɛ) {‖ \sum_{j = 1}^{k} b_{j} w_{j} ‖}_{L^{2} (Ω; ℝ^{m})}^{λ} + α_{0} {‖ \sum_{j = 1}^{k} b_{j} w_{j} ‖}_{L^{2} (Ω; ℝ^{m})}^{2} . \end{array}$ \matrix{{{1 \over 2}{{d|b(t){|^2}} \over {dt}} + \left\| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right\|_{{W_0}}^p \le {C_{p_s^*}}{\alpha_0}\epsilon \left\| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right\|_{{W_0}}^p} \hfill \cr {\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, + {\alpha_0}C(\epsilon)\left\| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right\|_{{L^2}(\Omega ;{{\mathbb R}^m})}^\lambda + {\alpha_0}\left\| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right\|_{{L^2}(\Omega ;{{\mathbb R}^m})}^2.} \hfill \cr} By choosing $ɛ = \frac{1}{2 α_{0} C_{p_{s}^{*}}}$ \epsilon = {1 \over {2{\alpha_0}{C_{p_s^*}}}} , we get (3.7) $\begin{array}{l} \frac{1}{2} \frac{d | b (t) |^{2}}{dt} + \frac{1}{2} {‖ \sum_{j = 1}^{k} b_{j} w_{j} ‖}_{W_{0}}^{p} \leq α_{0} C (ɛ) {‖ \sum_{j = 1}^{k} b_{j} w_{j} ‖}_{L^{2} (Ω; ℝ^{m})}^{λ} \\ + α_{0} {‖ \sum_{j = 1}^{k} b_{j} w_{j} ‖}_{L^{2} (Ω; ℝ^{m})}^{2} . \end{array}$ \matrix{{{1 \over 2}{{d|b(t){|^2}} \over {dt}} + {1 \over 2}\left\| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right\|_{{W_0}}^p \le {\alpha_0}C(\epsilon)\left\| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right\|_{{L^2}(\Omega ;{{\mathbb R}^m})}^\lambda} \hfill \cr {\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, + {\alpha_0}\left\| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right\|_{{L^2}(\Omega ;{{\mathbb R}^m})}^2.} \hfill \cr} It follows that $\frac{d | b (t) |^{2}}{dt} \leq 2 C_{3} ({‖ \sum_{j = 1}^{k} b_{j} w_{j} ‖}_{L^{2} (Ω; ℝ^{m})}^{λ} + {‖ \sum_{j = 1}^{k} b_{j} w_{j} ‖}_{L^{2} (Ω; ℝ^{m})}^{2}) .$ {{d|b(t){|^2}} \over {dt}} \le 2{C_3}\left({\left\| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right\|_{{L^2}(\Omega ;{{\mathbb R}^m})}^\lambda + \left\| {\sum\limits_{j = 1}^k {{b_j}{w_j}}} \right\|_{{L^2}(\Omega ;{{\mathbb R}^m})}^2} \right). Denote z(t) = |b(t)|², then (3.8) $\frac{dz (t)}{dt} \leq 2 C_{3} (z {(t)}^{\frac{λ}{2}} + z (t)) .$ {{dz(t)} \over {dt}} \le 2{C_3}\left({z{{(t)}^{{\lambda \over 2}}} + z(t)} \right). Integrating (3.8) from 0 to t, and using the property $z (0) = | b (0) |^{2} = \int_{Ω} ξ_{k}^{2} (x) d x \leq C_{4},$ z(0) = |b(0){|^2} = \int_\Omega {\xi_k^2(x)dx \le {C_4}}, we can conclude that $\begin{matrix} z (t) \leq exp (2 C_{3} t) {(C_{4}^{1 - \frac{λ}{2}} - exp (C_{3} (λ - 2) t))}^{\frac{2}{2 - λ}}, & as t < \frac{ln (C_{4}^{1 - \frac{λ}{2}})}{C_{3} (λ - 2)} . \end{matrix}$ \matrix{{z(t) \le {\rm{exp}}(2{C_3}t){{\left({C_4^{1 - {\lambda \over 2}} - {\rm{exp}}({C_3}(\lambda - 2)t)} \right)}^{{2 \over {2 - \lambda}}}},} & {{\rm{as}}\,t < {{{\rm{ln(}}C_4^{1 - {\lambda \over 2}}{\rm{)}}} \over {{C_3}(\lambda - 2)}}.} \cr} For $0 < T < T_{0} = \frac{ln (C_{4}^{1 - \frac{λ}{2}})}{C_{3} (λ - 2)}$ 0 < T < {T_0} = {{\ln (C_4^{1 - {\lambda \over 2}})} \over {{C_3}(\lambda - 2)}} , we obtain that |b(t)| ≤ C(T) ∀t ∈ [0, T ], where $C (T) = exp (2 C_{3} T) {(C_{4}^{1 - \frac{λ}{2}} - exp (C_{3} (λ - 2) T))}^{\frac{2}{2 - λ}} .$ C(T) = \exp (2{C_3}T){(C_4^{1 - {\lambda \over 2}} - \exp ({C_3}(\lambda - 2)T))^{{2 \over {2 - \lambda}}}} Put $\begin{matrix} J_{k} = max_{(t, b) \in [0, T] \times B (b (0), 2 C (T))} | S_{k} - R_{k} (t, b) | & and & β_{k} = min {T, \frac{2 C (T)}{J_{k}}} \end{matrix},$ \matrix{{{{\cal J}_k} = \mathop {\max}\limits_{(t,b) \in [0,T] \times B(b(0),2C(T))} \left| {{S_k} - {R_k}(t,b)} \right|} & {{\rm{and}}} & {{\beta_k} = \min \left\{{T,{{2C(T)} \over {{{\cal J}_k}}}} \right\}} \cr}, where B(b(0), 2C(T)) is the ball of center b(0) and radius 2C(T). By [16, Peano theorem], we know that problem (3.1) has a C¹ solution on [0, β_k]. Let b (β_k) be an initial value, then we can repeat the above process and get a C¹ solution on [β_k, 2β_k]. Without loss of generality, we assume that $\begin{matrix} T = [\frac{T}{β_{k}}] β_{k} + (\frac{T}{β_{k}}) β_{k}, & 0 < (\frac{T}{β_{k}}) < 1, \end{matrix}$ \matrix{{T = \left[ {{T \over {{\beta_k}}}} \right]{\beta_k} + \left({{T \over {{\beta_k}}}} \right){\beta_k},} & {0 < \left({{T \over {{\beta_k}}}} \right) < 1,} \cr} where $[\frac{T}{β_{k}}]$ \left[ {{T \over {{\beta_k}}}} \right] is the integer part of $\frac{T}{β_{k}}$ {T \over {{\beta_k}}} and $(\frac{T}{β_{k}})$ \left({{T \over {{\beta_k}}}} \right) is the decimal part of $\frac{T}{β_{k}}$ {T \over {{\beta_k}}} . We can divide [0, T ] into [(i − 1)β_k, iβ_k], i = 1, . . . , N and [Nβ_k, T ] where $N = [\frac{T}{β_{k}}]$ N = \left[ {{T \over {{\beta_k}}}} \right] , then there exist C¹ solution $b_{k}^{i} (t)$ b_k^i(t) in [(i − 1)β_k, iβ_k], i = 1, . . . , N and $b_{k}^{N + 1} (t)$ b_k^{N + 1}(t) in [Nβ_k, T ]. Therefore, we get a solution b_k(t) ∈ C¹([0, T ]) defined by $b_{k} (t) = {\begin{array}{l} b_{k}^{1} (t), & if t \in [0, β_{k}], \\ b_{k}^{2} (t), & if t \in (β_{k}, 2 β_{k}], \\ ⋮ & ⋮ \\ b_{k}^{N} (t), & if t \in ((N - 1) β_{k}, N β_{k}], \\ b_{k}^{N + 1} (t), & if t \in (N β_{k}, T] . \end{array}$ {b_k}(t) = \left\{{\matrix{{b_k^1(t),} \hfill & {{\rm{if}}\,t \in \left[ {0,{\beta_k}} \right],} \hfill \cr {b_k^2(t),} \hfill & {{\rm{if}}\,t \in \left({{\beta_k},2{\beta_k}} \right],} \hfill \cr \vdots \hfill & \vdots \hfill \cr {b_k^N(t),} \hfill & {{\rm{if}}\,t \in \left({(N - 1){\beta_k},N{\beta_k}} \right],} \hfill \cr {b_k^{N + 1}(t),} \hfill & {{\rm{if}}\,t \in \left({N{\beta_k},T} \right].} \hfill \cr}} \right. As a result, we get the desired Galerkin approximation solution.

Assertion 2: A priori estimates

By (3.1), we have (3.9) $\begin{array}{l} \int_{Ω} \frac{\partial u_{k}}{\partial t} w_{i} dx \\ + \iint_{Q_{Ω}} \frac{| u_{k} (x, t) - u_{k} (y, t) |^{p - 2} (u_{k} (x, t) - u_{k} (y, t))}{| x - y |^{n + p s}} (w_{i} (x) - w_{i} (y)) dxdy \\ = \int_{Ω} f (x, t, u_{k}) w_{i} dx, \end{array}$ \matrix{{\int_\Omega {{{\partial {u_k}} \over {\partial t}}{w_i}dx}} \hfill \cr {+ \int\!\!\!\int_{{Q_\Omega}} {{{|{u_k}(x,t) - {u_k}(y,t){|^{p - 2}}({u_k}(x,t) - {u_k}(y,t))} \over {|x - y{|^{n + ps}}}}({w_i}(x) - {w_i}(y))dxdy}} \hfill \cr {\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, = \int_\Omega {f(x,t,{u_k}){w_i}dx,}} \hfill \cr} where 1 ≤ i ≤ k and t ∈ [0, T ] (T < T₀).

Multiplying (3.9) by (b(t))_i (resp. by $\frac{d}{dt} {(b (t))}_{i}$ {d \over {dt}}{(b(t))_i} ) and summing with respect to i from 1 to k, we arrive at (integrating with respect to t from 0 to τ (τ ∈ (0, T ])) (3.10) $\begin{array}{l} \int_{Q_{τ}} \frac{\partial u_{k}}{\partial t} u_{k} dxdt + \int_{0}^{τ} {‖ u_{k} (x, t) ‖}_{W_{0}}^{p} dt = \int_{Q_{τ}} f (x, t, u_{k}) u_{x} dxdt, \\ \int_{Ω} {| \frac{\partial u_{k}}{\partial t} |}^{2} dx \\ + \iint_{Q_{Ω}} \frac{| u_{k} (x, t) - u_{k} (y, t) |^{p - 2} (u_{k} (x, t) - u_{k} (y, t))}{| x - y |^{n + p s}} (\frac{\partial u_{k} (x, t)}{\partial t} - \frac{\partial u_{k} (y, t)}{\partial t}) dxdy \\ = \int_{Ω} f (x, t, u_{k}) \frac{\partial u_{k}}{\partial t} dx . \end{array}$ \matrix{\,\,\,\,\,\,\,\,\,\,{\int_{{Q_\tau}} {{{\partial {u_k}} \over {\partial t}}{u_k}dxdt} + \int_0^\tau {\left\| {{u_k}(x,t)} \right\|_{{W_0}}^pdt} = \int_{{Q_\tau}} {f(x,t,{u_k}){u_x}dxdt},} \hfill \cr \,\,\,\,\,\,\,\,\,\,{\int_\Omega {{{\left| {{{\partial {u_k}} \over {\partial t}}} \right|}^2}dx}} \hfill \cr {+ \int\!\!\!\int_{{Q_\Omega}} {{{|{u_k}(x,t) - {u_k}(y,t){|^{p - 2}}({u_k}(x,t) - {u_k}(y,t))} \over {|x - y{|^{n + ps}}}}\left({{{\partial {u_k}(x,t)} \over {\partial t}} - {{\partial {u_k}(y,t)} \over {\partial t}}} \right)dxdy}} \hfill \cr {\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, = \int_\Omega {f(x,t,{u_k}){{\partial {u_k}} \over {\partial t}}dx}.} \hfill \cr}

According to (3.7), we have $\frac{1}{2} \frac{d}{dt} \int_{Ω} u_{k} {(x, t)}^{2} dx + \frac{1}{2} {‖ u_{k} (x, t) ‖}_{W_{0}}^{p} \leq C_{5} ({(\int_{Ω} {| u_{k} |}^{2} dx)}^{λ / 2} + \int_{Ω} {| u_{k} |}^{2} dx) .$ {1 \over 2}{d \over {dt}}\int_\Omega {{u_k}{{(x,t)}^2}dx + {1 \over 2}\left\| {{u_k}(x,t)} \right\|_{{W_0}}^p} \le {C_5}\left({{{\left({\int_\Omega {{{\left| {{u_k}} \right|}^2}dx}} \right)}^{\lambda /2}} + \int_\Omega {{{\left| {{u_k}} \right|}^2}dx}} \right). Similar to the estimation of b(t), we have (3.11) $\begin{matrix} {\int_{Ω} | u_{k} (x, t) |}^{2} dx \leq C (T) & \forall t \in [0, T] & (T < T_{0}) \end{matrix} .$ \matrix{{{{\int_\Omega {\left| {{u_k}(x,t)} \right|}}^2}dx \le C(T)\,} & {\forall t \in [0,T]} & {(T < {T_0})} \cr}. Moreover (3.12) ${‖ u_{k} ‖}_{L^{p} (0, T; W_{0})} \leq C_{6} .$ {\left\| {{u_k}} \right\|_{{L^p}\left({0,T;{W_0}} \right)}} \le {C_6}. Hence, we get (3.13) ${‖ u_{k} ‖}_{L^{\infty} (0, T; L^{2} (Ω; ℝ^{m}))} \leq C_{7} .$ {\left\| {{u_k}} \right\|_{{L^\infty}(0,T;{L^2}(\Omega ;{{\mathbb R}^m}))}} \le {C_7}. According to (3.10) and (H1), we get (3.14) $\begin{array}{l} \int_{Ω} {| \frac{\partial u_{k}}{\partial t} |}^{2} dx \\ + \iint_{Q_{Ω}} \frac{| u_{k} (x, t) - u_{k} (y, t) |^{p - 2} (u_{k} (x, t) - u_{k} (y, t))}{| x - y |^{n + p s}} (\frac{\partial u_{k} (x, t)}{\partial t} - \frac{\partial u_{k} (y, t)}{\partial t}) dxdy \\ - \frac{d}{dt} \int_{Ω} F (x, t, u_{k}) dx \leq \int_{Ω} F_{t} (x, t, u_{k}) dx \leq α_{1} \int_{Ω} | u_{k} |^{q} dx + α_{1} . \end{array}$ \matrix{{\int_\Omega {{{\left| {{{\partial {u_k}} \over {\partial t}}} \right|}^2}dx}} \hfill \cr {+ \int\!\!\!\int_{{Q_\Omega}} {{{|{u_k}\left({x,t} \right) - {u_k}\left({y,t} \right){|^{p - 2}}\left({{u_k}\left({x,t} \right) - {u_k}\left({y,t} \right)} \right)} \over {|x - y{|^{n + ps}}}}\left({{{\partial {u_k}\left({x,t} \right)} \over {\partial t}} - {{\partial {u_k}\left({y,t} \right)} \over {\partial t}}} \right)dxdy}} \hfill \cr {\,\,\,\,\,\,\,\,\,\,\,\,\,\, - {d \over {dt}}\int_\Omega {F\left({x,t,{u_k}} \right)dx} \le \int_\Omega {{F_t}(x,t,{u_k})dx} \le {\alpha_1}\int_\Omega {|{u_k}{|^q}dx + {\alpha_1}.}} \hfill \cr} From the fact $\begin{array}{l} \frac{1}{p} \frac{d}{dt} {‖ u_{k} (x, t) ‖}_{W_{0}}^{p} \\ = \iint_{Q_{Ω}} \frac{| u_{k} (x, t) - u_{k} (y, t) |^{p - 2} (u_{k} (x, t) - u_{k} (y, t))}{| x - y |^{n + p s}} (\frac{\partial u_{k} (x, t)}{\partial t} - \frac{\partial u_{k} (y, t)}{\partial t}) dxdy, \end{array}$ \matrix{{{1 \over p}{d \over {dt}}\left\| {{u_k}\left({x,t} \right)} \right\|_{{W_0}}^p} \hfill \cr {= \int\!\!\!\int_{{Q_\Omega}} {{{|{u_k}\left({x,t} \right) - {u_k}\left({y,t} \right){|^{p - 2}}\left({{u_k}\left({x,t} \right) - {u_k}\left({y,t} \right)} \right)} \over {|x - y{|^{n + ps}}}}\left({{{\partial {u_k}\left({x,t} \right)} \over {\partial t}} - {{\partial {u_k}\left({y,t} \right)} \over {\partial t}}} \right)dxdy,}} \hfill \cr} applied to (3.14), we deduce (3.15) $\begin{array}{l} \int_{Ω} {| \frac{\partial u_{k}}{\partial t} |}^{2} dx + \frac{d}{dt} (\frac{1}{p} {‖ u_{k} (x, t) ‖}_{W_{0}}^{p} - \int_{Ω} F (x, t, u_{k}) dx) \\ \leq α_{1} (\int_{Ω} | u_{k} |^{q} dx + 1) . \end{array}$ \matrix{{\int_\Omega {{{\left| {{{\partial {u_k}} \over {\partial t}}} \right|}^2}dx} + {d \over {dt}}\left({{1 \over p}\left\| {{u_k}(x,t)} \right\|_{{W_0}}^p - \int_\Omega {F(x,t,{u_k})dx}} \right)} \hfill \cr {\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, \le {\alpha_1}\left({\int_\Omega {|{u_k}{|^q}dx + 1}} \right).} \hfill \cr} By using the same technique in (3.5) and using (3.11) to the term in the right-hand side of (3.15), we get (3.16) $\begin{array}{l} \int_{Ω} {| \frac{\partial u_{k}}{\partial t} |}^{2} dx & + \frac{d}{dt} (\frac{1}{p} {‖ u_{k} (x, t) ‖}_{W_{0}}^{p} - \int_{Ω} F (x, t, u_{k}) dx) \\ \leq α_{1} ɛ C_{p_{s}^{*}} {‖ u_{k} (x, t) ‖}_{W_{0}}^{p} + α_{1} C (ɛ) {(\int_{Ω} u_{k} |^{2} dx)}^{λ / 2} + α_{1} \\ \leq C_{8} ({‖ u_{k} (x, t) ‖}_{W_{0}}^{p} + 1) . \end{array}$ \matrix{{\int_\Omega {{{\left| {{{\partial {u_k}} \over {\partial t}}} \right|}^2}dx}} \hfill & {+ {d \over {dt}}\left({{1 \over p}\left\| {{u_k}(x,t)} \right\|_{{W_0}}^p - \int_\Omega {F(x,t,{u_k})dx}} \right)} \hfill \cr {} \hfill & {\le {\alpha_1}\epsilon {C_{p_s^*}}\left\| {{u_k}\left({x,t} \right)} \right\|_{{W_0}}^p + {\alpha_1}C(\epsilon){{\left({\int_\Omega {{u_k}{|^2}dx}} \right)}^{\lambda /2}} + {\alpha_1}} \hfill \cr {} \hfill & {\le {C_8}\left({\left\| {{u_k}\left({x,t} \right)} \right\|_{{W_0}}^p + 1} \right).} \hfill \cr} Integrating (3.16) with respect to t from 0 to τ (τ ∈ (0, T ]) and using the strong convergence in u_k(x, 0) → u₀(x) in W₀, we get (3.17) $\begin{array}{l} \int_{Q_{τ}} {| \frac{\partial u_{k}}{\partial t} |}^{2} dxdt + \frac{1}{p} {‖ u_{k} (x, τ) ‖}_{W_{0}}^{p} & \leq C_{9} (\int_{0}^{τ} {‖ u_{k} (x, t) ‖}_{W_{0}}^{p} dt + 1) \\ + \int_{Ω} F (x, τ, u_{k}) dx . \end{array}$ \matrix{{\int_{{Q_\tau}} {{{\left| {{{\partial {u_k}} \over {\partial t}}} \right|}^2}dxdt + {1 \over p}\left\| {{u_k}\left({x,\tau} \right)} \right\|_{{W_0}}^p}} \hfill & {\le {C_9}\left({\int_0^\tau {\left\| {{u_k}(x,t)} \right\|_{{W_0}}^pdt + 1}} \right)} \hfill \cr {} \hfill & {+ \int_\Omega {F\left({x,\tau,{u_k}} \right)dx.}} \hfill \cr} By assumption (H1) and interpolation inequality used in (3.5), we get (3.18) $\int_{Ω} F (x, τ, u_{k}) dx \leq α_{1} ɛ C_{p_{s}^{*}} {‖ u_{k} (x, τ) ‖}_{W_{0}}^{p} + α_{1} C (ɛ) {(\int_{Ω} {| u_{k} |}^{2} dx)}^{λ / 2} .$ \int_\Omega {F(x,\tau,{u_k})dx \le {\alpha_1}\epsilon {C_{p_s^*}}\left\| {{u_k}(x,\tau)} \right\|_{{W_0}}^p + {\alpha_1}C(\epsilon){{\left({\int_\Omega {{{\left| {{u_k}} \right|}^2}dx}} \right)}^{\lambda /2}}}. Plugging (3.18) in (3.17), we arrive at $\begin{array}{l} \int_{Q_{τ}} {| \frac{\partial u_{k}}{\partial t} |}^{2} dxdt + \frac{1}{p} {‖ u_{k} (x, τ) ‖}_{W_{0}}^{p} \leq C_{9} (\int_{0}^{τ} {‖ u_{k} (x, t) ‖}_{W_{0}}^{p} dt + 1) \\ + α_{1} ɛ C_{p_{s}^{*}} {‖ u_{k} (x, τ) ‖}_{W_{0}}^{p} + α_{1} C (ɛ) {(\int_{Ω} | u_{k} (x, τ) |^{2} dx)}^{λ / 2} . \end{array}$ \matrix{{\int_{{Q_\tau}} {{{\left| {{{\partial {u_k}} \over {\partial t}}} \right|}^2}dxdt + {1 \over p}\left\| {{u_k}\left({x,\tau} \right)} \right\|_{{W_0}}^p \le {C_9}\left({\int_0^\tau {\left\| {{u_k}(x,t)} \right\|_{{W_0}}^pdt + 1}} \right)}} \hfill \cr {\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, + {\alpha_1}\epsilon {C_{p_s^*}}\left\| {{u_k}(x,\tau)} \right\|_{{W_0}}^p + {\alpha_1}C(\epsilon){{\left({\int_\Omega {|{u_k}(x,\tau){|^2}dx}} \right)}^{\lambda /2}}.} \hfill \cr} By choosing $ɛ = \frac{1}{2 α_{1} p C_{p_{s}^{*}}}$ \epsilon = {1 \over {2{\alpha_1}p{C_{p_s^*}}}} , we get $\int_{Q_{τ}} {| \frac{\partial u_{k}}{\partial t} |}^{2} dxdt + \frac{1}{2 p} {‖ u_{k} (x, τ) ‖}_{W_{0}}^{p} \leq C_{10} (\int_{0}^{τ} {‖ u_{k} (x, τ) ‖}_{W_{0}}^{p} dt + 1) .$ \int_{{Q_\tau}} {{{\left| {{{\partial {u_k}} \over {\partial t}}} \right|}^2}dxdt + {1 \over {2p}}\left\| {{u_k}(x,\tau)} \right\|_{{W_0}}^p} \le {C_{10}}\left({\int_0^\tau {\left\| {{u_k}(x,\tau)} \right\|_{{W_0}}^pdt + 1}} \right). The Gronwall inequality implies that $\int_{0}^{τ} {‖ u_{k} (x, t) ‖}_{W_{0}}^{p} dt \leq C_{11}$ \int_0^\tau {\left\| {{u_k}(x,t)} \right\|_{{W_0}}^pdt \le {C_{11}}} for each τ ∈ [0, T ]. Therefore $\int_{Q_{τ}} {| \frac{\partial u_{k}}{\partial t} |}^{2} dxdt + \frac{1}{2 p} {‖ u_{k} (x, τ) ‖}_{W_{0}}^{p} \leq C_{12} .$ \int_{{Q_\tau}} {{{\left| {{{\partial {u_k}} \over {\partial t}}} \right|}^2}dxdt + {1 \over {2p}}\left\| {{u_k}(x,\tau)} \right\|_{{W_0}}^p} \le {C_{12}}. We finally get (3.19) ${\frac{\partial u_{k}}{\partial t}‖}_{L^{2} (Q_{T})} + {u_{k}‖}_{L^{\infty} (0, T; W_{0})} \leq C_{13} .$ {\left\| {\frac{{\partial {u_k}}}{{\partial t}}} \right\|_{{L^2}\left( {{Q_T}} \right)}} + {\left\| {{u_k}} \right\|_{{L^\infty }\left( {0,T;{W_0}} \right)}} \le {C_{13}}. The assumption (H1) implies that (3.20) ${f (x, t, u_{k})‖}_{L^{q^{'}} (Q_{T})} \leq C_{14} .$ {\left\| {f\left( {x,\;t,\;{u_k}} \right)} \right\|_{{L^{q'}}\left( {{Q_T}} \right)}} \le {C_{14}}.

Assertion 3: Passage to the limit

By virtue of (3.12), (3.13), (3.19), and (3.20), we get the existence of a subsequence of (u_k) still denoted by (u_k) such that (3.21) $\begin{array}{l} u_{k} ⇀ * u in L^{\infty} (0, T; L^{2} (Ω; ℝ^{m})) \cap L^{\infty} (0, T; W_{0}), \\ u_{k} ⇀ u in L^{p} (0, T; W_{0}), \\ \frac{\partial u_{k}}{\partial t} ⇀ \frac{\partial u}{\partial t} in L^{2} (Q_{T}; ℝ^{m}), \\ f (x, t, u_{k}) ⇀ χ in L^{q^{'}} (Q_{T}, ℝ^{m}) . \end{array}$ \left\{ {\begin{array}{*{20}{l}}{{u_k} \rightharpoonup *\;u\;\;{\rm{in}}\;{L^\infty }\left( {0,\;T;{L^2}\left( {\Omega ;{\mathbb{R}^m}} \right)} \right) \cap {L^\infty }\left( {0,\;T;{W_0}} \right)\;,}\\{{u_k} \rightharpoonup \;u\;\;{\rm{in}}\;{L^p}\left( {0,\;T;{W_0}} \right)\;,}\\{\frac{{\partial {u_k}}}{{\partial t}} \rightharpoonup \frac{{\partial u}}{{\partial t}}\;\;{\rm{in}}\;{L^2}\left( {{Q_T};{\mathbb{R}^m}} \right)\;,}\\{f\left( {x,\;t,\;{u_k}} \right) \rightharpoonup \;\chi \;{\rm{in}}\;{L^{q'}}\left( {{Q_T},\;{\mathbb{R}^m}} \right)\;.}\end{array}} \right. [28, Theorem 5.1] and (3.21) imply that u_k → u in L^p(0, T, L²(Ω; ℝ^m)) and a.e. on Q_T (for a subsequence), and [28, Lemma 1.3] implies that f(x, t, u) = χ. We can conclude from the continuity in (H1), $f (x, t, u_{k}) u_{k} \to f (x, t, u) u a . e . in Q_{T} .$ f\left( {x,\;t,\;{u_k}} \right){u_k} \to f\left( {x,\;t,\;u} \right)u\;\;\;{\rm{a}}{\rm{.e}}{\rm{.}}\;\;{\rm{in}}\;{Q_T}. Using the Vitali Theorem, we get $lim_{k \to \infty} \int_{Q_{T}} f (x, t, u_{k}) u_{k} dxdt = \int_{Q_{T}} f (x, t, u) u dxdt .$ \mathop {\lim }\limits_{k \to \infty } \int_{{Q_T}} {f\left( {x,\;t,\;{u_k}} \right){u_k}dxdt} = \int_{{Q_T}} {f\left( {x,\;t,\;u} \right)udxdt} . By $\int_{Ω} u_{k} {(x, T)}^{2} dx \leq C_{15}$ \int_\Omega {{u_k}{{(x,\;T)}^2}dx \le {C_{15}}} , we get the existence of a subsequence of (u_k) still denoted by (u_k) and a function û in L² (Ω; ℝ^m) such that u_k(x, T) → û in L² (Ω; ℝ^m). Then, for any b(t) ∈ C¹([0, T ]) and $ϕ \in C_{0}^{\infty} (Ω)$ \phi \in C_0^\infty \left( \Omega \right) , $\int_{Q} \frac{\partial u_{k}}{\partial t} b ϕ dxdt = \int_{Ω} u_{k} (x, T) b (T) ϕ dx - \int_{Ω} u_{k} (x, 0) b (0) ϕ dx - \int_{Q} u_{k} \frac{\partial b}{\partial t} ϕ dxdt .$ \int_Q {\frac{{\partial {u_k}}}{{\partial t}}b\phi dxdt} = \int_\Omega {{u_k}\left( {x,\;T} \right)b\left( T \right)\phi dx} - \int_\Omega {{u_k}\left( {x,\;0} \right)b\left( 0 \right)\phi dx} - \int_Q {{u_k}\frac{{\partial b}}{{\partial t}}\phi dxdt} .

Tending k to ∞, we get $\int_{Ω} (\hat{u} - u (x, T)) b (T) ϕ dx - \int_{Ω} (u_{0} (x) - u (x, 0)) b (0) ϕ dx = 0 .$ \int_\Omega {\left( {\hat u - u\left( {x,\;T} \right)} \right)b\left( T \right)\phi dx} - \int_\Omega {\left( {{u_0}\left( x \right) - u\left( {x,\;0} \right)} \right)b\left( 0 \right)\phi dx} = 0. Choosing b(T) = 1, b(0) = 0 or b(T) = 0, b(0) = 1, we have û = u(x, T) and u₀(x) = u(x, 0).

As stated in the introduction, Young measure is the tool we use to prove the existence of a weak solution. To identify the weak limit, we consider the following lemma:

Lemma 3.4

Suppose that (3.12) holds. Then, the Young measure µ_(x,y,t) generated by $\frac{u_{k} (x, t) - u_{k} (y, t)}{{x - y|}^{\frac{n}{p} + s}} \in L^{p} (Q_{Ω} \times (0, T); ℝ^{m})$ \frac{{{u_k}\left( {x,t} \right) - {u_k}\left( {y,t} \right)}}{{{{\left| {x - y} \right|}^{\frac{n}{p} + s}}}} \in {L^p}\left( {{Q_\Omega } \times \left( {0,\;T} \right);{\mathbb{R}^m}} \right) has the following properties:

(a)
∥µ_(x,y,t)∥_ℳℝ^m= 1 for a.e. (x, y, t) ∈ Q_Ω × (0, T), i.e. µ_(x,y,t) is a probability measure.
(b)
$μ_{(x, y, t)}, i d〉 = \int_{ℝ^{m}} λ d μ_{(x, y, t)} (λ)$ \left\langle {{\mu _{\left( {x,y,t} \right)}},id} \right\rangle = \int_{{\mathbb{R}^m}} {\lambda d{\mu _{\left( {x,y,t} \right)}}\left( \lambda \right)} is the weak L¹-limit of $\frac{u_{k} (x, t) - u_{k} (y, t)}{{x - y|}^{\frac{n}{p} + s}}$ \frac{{{u_k}\left( {x,t} \right) - {u_k}\left( {y,t} \right)}}{{{{\left| {x - y} \right|}^{\frac{n}{p} + s}}}} .
(c)
$μ_{(x, y, t)}, i d〉 = \frac{u (x, t) - u (y, t)}{{x - y|}^{\frac{n}{p} + s}}$ \left\langle {{\mu _{\left( {x,y,t} \right)}},id} \right\rangle = \frac{{u\left( {x,t} \right) - u\left( {y,t} \right)}}{{{{\left| {x - y} \right|}^{\frac{n}{p} + s}}}} for a.e. (x, y, t) ∈ Q_Ω × (0, T).

Proof

(a)
For simplicity reasons, we consider (3.22) $v_{k} (x, y, t) = \frac{u_{k} (x, t) - u_{k} (y, t)}{{x - y|}^{\frac{n}{p} + s}} \in L^{p} (Q_{Ω} \times (0, T); ℝ^{m}) .$ {v_k}\left( {x,\;y,\;t} \right) = \frac{{{u_k}\left( {x,t} \right) - {u_k}\left( {y,t} \right)}}{{{{\left| {x - y} \right|}^{\frac{n}{p} + s}}}} \in {L^p}\left( {{Q_\Omega } \times \left( {0,\;T} \right);{\mathbb{R}^m}} \right). We know that for any M > 0, (Ω ∩ B_M)² ⊆ Ω × Ω ⫅̸ Q_Ω, where B_M is the ball centered in 0 with radius M. Let N ∈ ℝ be such that $Q_{N} \equiv (x, y, t) \in Ω \cap B_{M} \times Ω \cap B_{M} \times (0, T) : v_{k} (x, y, t)| \geq N\} .$ {Q_N} \equiv \left\{ {\left( {x,\;y,\;t} \right) \in \Omega \cap {B_M} \times \Omega \cap {B_M} \times \left( {0,\;T} \right)\;:\;\left| {{v_k}\left( {x,\;y,\;t} \right)} \right| \ge N} \right\}. Using (3.12), we get $\begin{array}{l} {v_{k}‖}_{L^{p} (Q_{Ω} \times (0, T); ℝ^{m})} & = {(\int_{0}^{T} \iint_{Q_{Ω}} \frac{{u_{k} (x, t) - u_{k} (y, t)|}^{p}}{{x - y|}^{n + p s}} dxdydt)}^{1 / p} \\ = {u_{k}‖}_{L^{p} (0, T; W_{0})} \leq M . \end{array}$ \begin{array}{*{35}{l}} {{\left\| {{v}_{k}} \right\|}_{{{L}^{p}}\left( {{Q}_{\Omega }}\times \left( 0,T \right);{{\mathbb{R}}^{m}} \right)}} & ={{\left( \int_{0}^{T}{\iint_{{{Q}_{\Omega }}}{\frac{{{\left| {{u}_{k}}\left( x,t \right)-{{u}_{k}}\left( y,t \right) \right|}^{p}}}{{{\left| x-y \right|}^{n+ps}}}}dxdydt} \right)}^{1/p}} \\ {} & ={{\left\| {{u}_{k}} \right\|}_{{{L}^{p}}\left( 0,T;{{W}_{0}} \right)}}\le M. \\ \end{array} Consequently, there exists C₁₆ ≥ 0 such that (3.23) $C_{16} \geq \iint_{Q_{Ω} \times (0, T)} {v_{k} (x, y, t)|}^{p} dxdy \geq \iint_{Q_{N}} {v_{k} (x, y, t)|}^{p} dxdy \geq N^{p} Q_{N}|,$ {{C}_{16}}\ge \iint_{{{Q}_{\Omega }}\times \left( 0,T \right)}{{{\left| {{v}_{k}}\left( x,~y,~t \right) \right|}^{p}}dxdy}\ge \iint_{{{Q}_{N}}}{{{\left| {{v}_{k}}\left( x,~y,~t \right) \right|}^{p}}dxdy\ge {{N}^{p}}\left| {{Q}_{N}} \right|}, where |Q_N | is the Lebesgue measure of Q_N. According to (3.23), the sequence (v_k) satisfies (2.2). Hence, a Young measure noted by µ_{(x, y, t)} is generated by v_k such that ∥µ_{(x, y, t)}∥_ℳ(ℝ^m) = 1 for a.e. (x, y, t) ∈ Q_Ω × (0, T).
(b)
By (3.12), there exists a subsequence still denoted by (v_k) that converges in L^p (Q_Ω × (0, T); ℝ^m). Since L^p (Q_Ω × (0, T); ℝ^m) is reflexive, then v_k is weakly convergent in L¹ (Q_Ω × (0, T); ℝ^m). By the third assertion in Lemma 2.4, we replace the function ρ by the identity function, to obtain $v_{k} ⇀ μ_{(x, y, t)}, i d〉 = \int_{ℝ^{m}} λ d μ_{(x, y, t)} (λ) weakly in L^{1} (Q_{Ω} \times (0, T); ℝ^{m}) .$ {v_k}\; \rightharpoonup \;\left\langle {{\mu _{\left( {x,y,t} \right)}},id} \right\rangle = \int_{{\mathbb{R}^m}} {\lambda d{\mu _{\left( {x,y,t} \right)}}\left( \lambda \right)\;\;\;{\rm{weakly}}\;{\rm{in}}\;} {L^1}\left( {{Q_\Omega } \times \left( {0,\;T} \right);{\mathbb{R}^m}} \right).
(c)
According to (3.12), v_k is bounded in L^p (Q_Ω × (0, T); ℝ^m), then there exists a subsequence such that v_k ⇀ v in L^p (Q_Ω × (0, T); ℝ^m). Owing to the previous arguments, we get from the uniqueness of limits that $μ_{(x, y, t)}, i d〉 = v (x, y, t) = \frac{u (x, t) - u (y, t)}{{x - y|}^{\frac{n}{p} + s}} for a . e . (x, y, t) \in Q_{Ω} \times (0, T) .$ \left\langle {{\mu _{\left( {x,y,t} \right)}},id} \right\rangle = v\left( {x,\;y,\;t} \right) = \frac{{u\left( {x,t} \right) - u\left( {y,t} \right)}}{{{{\left| {x - y} \right|}^{\frac{n}{p} + s}}}}\;\;\;{\rm{for}}\;{\rm{a}}{\rm{.e}}{\rm{.}}\;\;\left( {x,\;y,\;t} \right) \in {Q_\Omega } \times \left( {0,\;T} \right).

Now, let {v_k} be the sequence given in (3.22), i.e. $v_{k} (x, y, t) = \frac{u_{k} (x, t) - u_{k} (y, t)}{{x - y|}^{\frac{n + p s}{p}}} .$ {v_k}\left( {x,\;y,\;t} \right) = \frac{{{u_k}\left( {x,t} \right) - {u_k}\left( {y,t} \right)}}{{{{\left| {x - y} \right|}^{\frac{{n + ps}}{p}}}}}. The weak convergence given in Lemma 3.4 shows that (3.24) $\begin{array}{l} {v_{k} (x, y, t)|}^{p - 2} v_{k} (x, y, t) & ⇀ \int_{ℝ^{m}} {λ|}^{p - 2} λ d μ_{(x, y, t)} (λ) \\ = {v (x, y, t)|}^{p - 2} v (x, y, t) \\ = \frac{{u (x, t) - u (y, t)|}^{p - 2} (u (x, t) - u (y, t))}{{x - y|}^{\frac{n + p s}{p^{'}}}} \end{array}$ \begin{array}{*{20}{l}}{{{\left| {{v_k}\left( {x,\;y,\;t} \right)} \right|}^{p - 2}}{v_k}\left( {x,\;y,\;t} \right)}&{ \rightharpoonup \;\int_{{\mathbb{R}^m}} {{{\left| \lambda \right|}^{p - 2}}\lambda d{\mu _{\left( {x,y,t} \right)}}\left( \lambda \right)} }\\{}&{ = {{\left| {v\left( {x,\;y,\;t} \right)} \right|}^{p - 2}}v\left( {x,\;y,\;t} \right)}\\{}&{ = \frac{{{{\left| {u\left( {x,t} \right) - u\left( {y,t} \right)} \right|}^{p - 2}}\left( {u\left( {x,t} \right) - u\left( {y,t} \right)} \right)}}{{{{\left| {x - y} \right|}^{\frac{{n + ps}}{{p'}}}}}}}\end{array} weakly in L¹ (Q_Ω × (0, T); ℝ^m). Since the space L^p is reflexive and |v_k(x, y, t)|^p−²v_k(x, y, t) is bounded in L^p′(Q_Ω × (0, T); ℝ^m), the sequence |v_k(x, y, t)|^p−²v_k(x, y, t) converges in L^p′ (Q_Ω × (0, T); ℝ^m). Hence its weak L^p′-limit is also |v(x, y, t)|^p−²v(x, y, t). Thus, for any φ ∈ L^p(0, T; W₀) we have $\frac{φ (x, t) - φ (y, t)}{{x - y|}^{\frac{n + p s}{p}}} \in L^{p} (Q_{Ω} \times (0, T); ℝ^{m}) .$ \frac{{\varphi \left( {x,t} \right) - \varphi \left( {y,t} \right)}}{{{{\left| {x - y} \right|}^{\frac{{n + ps}}{p}}}}} \in {L^p}\left( {{Q_\Omega } \times \left( {0,\;T} \right);{\mathbb{R}^m}} \right). According to the weak limit in (3.24), we get $\begin{array}{l} lim_{k \to \infty} \int_{0}^{T} \iint_{Q_{Ω}} \frac{{u_{k} (x, t) - u_{k} (y, t)|}^{p - 2} (u_{k} (x, t) - u_{k} (y, t))}{{x - y|}^{n + p s}} (φ (x, t) - φ (y, t)) dxdydt \\ = \int_{0}^{T} \iint_{Q_{Ω}} \frac{{u (x, t) - u (y, t)|}^{p - 2} (u (x, t) - u (y, t))}{{x - y|}^{n + p s}} (φ (x, t) - φ (y, t)) dxdydt \end{array}$ \begin{array}{*{35}{l}} \underset{k\to \infty }{\mathop{\lim }}\,\int_{0}^{T}{\iint_{{{Q}_{\Omega }}}{\frac{{{\left| {{u}_{k}}\left( x,t \right)-{{u}_{k}}\left( y,t \right) \right|}^{p-2}}\left( {{u}_{k}}\left( x,t \right)-{{u}_{k}}\left( y,t \right) \right)}{{{\left| x-y \right|}^{n+ps}}}\left( \varphi \left( x,~t \right)-\varphi \left( y,~t \right) \right)dxdydt}} \\ =\int_{0}^{T}{\iint_{{{Q}_{\Omega }}}{\frac{{{\left| u\left( x,t \right)-u\left( y,t \right) \right|}^{p-2}}\left( u\left( x,t \right)-u\left( y,t \right) \right)}{{{\left| x-y \right|}^{n+ps}}}\left( \varphi \left( x,~t \right)-\varphi \left( y,~t \right) \right)dxdydt}} \\ \end{array} for every φ ∈ L^p(0, T; W₀).

From (3.9), for ϕ ∈ C¹ (0, T; U_M), M ≤ k, we have $\begin{array}{l} \int_{Q_{T}} \frac{\partial u_{k}}{\partial t} ϕ dxdt \\ + \int_{0}^{T} \iint_{Q_{Ω}} \frac{{u_{k} (x, t) - u_{k} (y, t)|}^{p - 2} (u_{k} (x, t) - u_{k} (y, t))}{{x - y|}^{n + p s}} (ϕ (x, t) - ϕ (y, t)) dxdydt \\ = \int_{Q_{T}} f (x, t, u_{k}) ϕ dxdt . \end{array}$ \begin{array}{*{35}{l}} \int_{{{Q}_{T}}}{\frac{\partial {{u}_{k}}}{\partial t}\phi dxdt} \\ +\ \int_{0}^{T}{\iint_{{{Q}_{\Omega }}}{\frac{{{\left| {{u}_{k}}\left( x,t \right)-{{u}_{k}}\left( y,t \right) \right|}^{p-2}}\left( {{u}_{k}}\left( x,t \right)-{{u}_{k}}\left( y,t \right) \right)}{{{\left| x-y \right|}^{n+ps}}}\left( \phi \left( x,~t \right)-\phi \left( y,~t \right) \right)dxdydt}} \\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ =\int_{{{Q}_{T}}}{f\left( x,~t,~{{u}_{k}} \right)\phi dxdt}. \\ \end{array} For k tending to ∞, it follows from the above results, that (3.25) $\begin{array}{l} \int_{Q_{T}} \frac{\partial u}{\partial t} ϕ dxdt \\ + \int_{0}^{T} \iint_{Q_{Ω}} \frac{{u (x, t) - u (y, t)|}^{p - 2} (u (x, t) - u (y, t))}{{x - y|}^{n + p s}} (ϕ (x, t) - ϕ (y, t)) dxdydt \\ = \int_{Q_{T}} f (x, t, u) ϕ dxdt . \end{array}$ \begin{array}{*{35}{l}} \int_{{{Q}_{T}}}{\frac{\partial u}{\partial t}\phi dxdt} \\ +\ \int_{0}^{T}{\iint_{{{Q}_{\Omega }}}{\frac{{{\left| u\left( x,t \right)-u\left( y,t \right) \right|}^{p-2}}\left( u\left( x,t \right)-u\left( y,t \right) \right)}{{{\left| x-y \right|}^{n+ps}}}\left( \phi \left( x,~t \right)-\phi \left( y,~t \right) \right)dxdydt}} \\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ =\int_{{{Q}_{T}}}{f\left( x,~t,~u \right)\phi dxdt}. \\ \end{array} for all $ϕ \in C^{1} (0, T; \underset{M \geq 1}{\cup} U_{M})$ \phi \in {C^1}\left( {0,\;T;\bigcup\limits_{M \ge 1} {{U_M}} } \right) . Letting M goes to infnity, consequently, (3.25) holds for all $ϕ \in C^{1} (0, T; C_{0}^{\infty} (Ω))$ \phi \in {C^1}\left( {0,\;T;C_0^\infty \left( \Omega \right)} \right) .

4.

An example

We consider the following problem $\begin{array}{l} \frac{\partial u}{\partial t} + {(- Δ)}_{p}^{s} u = a (x, t) | u |^{q - 2} u & in Q_{T} = Ω \times (0, T), \\ u = 0 & in Cscr Ω \times (0, T), \\ u (x, 0) = u_{0} (x) & in Ω, \end{array}$ \left\{ {\begin{array}{*{20}{l}}{\frac{{\partial u}}{{\partial t}} + ( - \Delta )_p^su = a\left( {x,\;t} \right)|u{|^{q - 2}}u}&{{\rm{in}}\;{Q_T} = \Omega \times \left( {0,\;T} \right)\;,}\\{u = 0}&{{\rm{in}}\;{\mathcal{C}}\Omega \times \left( {0,\;T} \right)\;,}\\{u\left( {x,\;0} \right) = {u_0}\left( x \right)}&{{\rm{in}}\;\;\Omega ,}\end{array}} \right. comparing it with problem (1.1) where f(x, t, u) = a(x, t) |u|^q−2u, $F (x, t, u) = \frac{a (x, t)}{q} {u|}^{q}$ F\left( {x,\;t,\;u} \right) = \frac{{a\left( {x,t} \right)}}{q}{\left| u \right|^q} , and F_t(x, t, u) ⩾ C(−|r|^q − 1). If $2 < q < p_{s}^{*}$ 2 < q < p_s^* , then by Theorem 3.2, there exists a constant T₀ > 0 such tha the problem (1.1) has a weak solutions as T < T₀.

On Weak Solutions to Parabolic Problem Involving the Fractional p-Laplacian via Young Measures

Full Article

Paradigm

My account