Interpolation inequalities for weak solutions of nonlinear parabolic systems

Giuseppe Floridia; Maria Alessandra Ragusa

doi:10.1186/1029-242X-2011-42

Research
Open Access

Interpolation inequalities for weak solutions of nonlinear parabolic systems

Giuseppe Floridia¹ and
Maria Alessandra Ragusa¹Email author

Journal of Inequalities and Applications20112011:42

https://doi.org/10.1186/1029-242X-2011-42

Received: 13 January 2011
Accepted: 31 August 2011
Published: 31 August 2011

Abstract

The authors investigate differentiability of the solutions of nonlinear parabolic systems of order 2 m in divergence form of the following type

\sum_{| α | \leq m} {(- 1)}^{| α |} D^{α} a^{α} (X, D u) + \frac{\partial u}{\partial t} = 0 .

The achieved results are inspired by the paper of Marino and Maugeri 2008, and the methods there applied.

This note can be viewed as a continuation of the study of regularity properties for solutions of systems started in Ragusa 2002, continued in Ragusa 2003 and Floridia and Ragusa 2012 and also as a generalization of the paper by Capanato and Cannarsa 1981, where regularity properties of the solutions of nonlinear elliptic systems with quadratic growth are reached.

Mathematics Subject Classification (2000)

Primary 35K41, 35K55. Secondary 35B65, 35B45, 35D10

Keywords

Higher order nonlinear parabolic systems
Divergence form
Interpolation theory
Besov spaces
Local differentiability

1 Introduction

The study of regularity for solutions of partial differential equations and systems has received considerable attention over the last thirty years. On the other hand, little is known concerning parabolic systems in divergence form of order 2m with quadratic growth and the corresponding analytic properties of solutions. To such classes of systems, our attention is devoted.

This note is a natural continuation of the study, carried out in the last decade and a half, of embedding results of Gagliardo-Nirenberg type from which we deduce local differentiability theorems, making use of interpolation theory in Besov spaces (see e.g. [1–6] and [7]).

In this respect, we mention at first the note [8] where the author proves that, let Ω ⊂ ℝⁿ an open set, 0 < T < ∞ and Q = Ω × (-T, 0),

x^{0} = (x_{1}^{0}, x_{2}^{0}, \dots, x_{n}^{0}) \in Ω

ρ > 0 and

B (ρ) = B (x^{0}, ρ) = {x = (x_{1}, x_{2}, \dots, x_{n}) : | x_{i} - x_{i}^{0} | < ρ, i = 1, 2, \dots, n}

, if

u \in L^{2} (- T, 0, H^{1} (Ω, ℝ^{N})) \cap C^{0, λ} (Q, ℝ^{N})), \forall 0 < λ < 1

(1.1)

is a solution of a second order nonlinear parabolic system of variational type and under the assumptions that the coefficients a^α(x, Du) have quadratic growth is obtained that

u \in L^{2} (- a, 0, H^{1 + θ} (B (σ), ℝ^{N})),

for every $a \in (0, \frac{T}{2})$ , ∀θ ∈ (0, 1) and for each cube B(2σ) ⊂⊂ Ω.

In the same paper, Fattorusso stressed that it is not possible to improve this result in such a way to achieve, for each solution u to the above system, the differentiability

u \in L^{2} (- a, 0, H^{2} (B (σ), ℝ^{N})),

(1.2)

if, preliminarily, is not ensured the regularity

D_{i} u \in L^{4} (- a, 0, L^{4} (B (σ), ℝ^{N})), i = 1, \dots, n

(1.3)

for every a ∈ (0, T), and for every B(2σ) ⊂⊂ Ω,

The technique used in [8] allows the author to achieve, instead of (1.3), the condition

D_{i} u \in L^{2 (1 + θ)} (- a, 0, L^{4} (B (σ), ℝ^{N})), i = 1, \dots, n,

for every a ∈ (0, T), ∀B(σ) ⊂⊂ Ω and every $θ \in (\frac{n}{n + 4 λ}, 1)$ , which is not enough to ensure that is true (1.2)

In [9], under the same assumptions of the previous result [8], the differentiability result (1.2) is proved, for u satisfying (1.1).

Key of this note is the use of interpolation theorems of Gagliardo-Nirenberg type.

The use of interpolation theory, made in [9] and in [1] with montonicity assumption and quadratic growth, as illustrated in [10], has recently allowed Fattorusso and Marino to obtain differentiability also for weak solutions of nonlinear parabolic systems of second order having nonlinearity 1 < q < 2 (see for details [11]).

Inspired by the note mentioned above by Marino and Maugeri, in the present note, the authors extend differentiability properties to the case of parabolic systems of order 2m. More precisely, let Ω be an open subset of ℝⁿ, n > 2, and 0 < T < ∞, aim of this note is to study, in the cylinder Q = Ω × (-T, 0), the problem of interior local differentiability for solutions

u \in L^{2} (- T, 0, H^{m} (Ω, ℝ^{N})) \cap C^{m - 1, λ} (Q, ℝ^{N}), 0 < λ < 1

of the nonlinear parabolic systems of order 2m of variational type

\sum_{| α | \leq m} {(- 1)}^{| α |} D^{α} a^{α} (X, D u) + \frac{\partial u}{\partial t} = 0 .

Using the above explained idea is proved the following local differentiability with respect to the spatial derivatives

u \in L^{2} (- a, 0, H^{m + 1} (B (σ), ℝ^{N})) \cap H^{1} (- a, 0, L^{2} (B (σ), ℝ^{N})), \forall a \in (0, T), \forall B (σ) \subset \subset Ω .

Let us also mention the considerable note by [1] where the authors prove that a solution u of nonlinear parabolic systems of order 2 with natural growth and coefficients uniformly monotone in D u belongs to

L^{2} (- a, 0, H^{2} (B (σ), ℝ^{N})) \cap H^{1} (- a, 0, L^{2} (B (σ), ℝ^{N}))

Results similar to those obtained by Marino and Maugeri in [9], with stronger assumptions, are obtained by Naumann in [12] and by Naumann and Wolf in [13]. Let us also bear in mind the study made by Campanato in [14] on parabolic systems in divergence form.

We want to finish this historical overview, concerning interior differentiability of weak solutions, recalling the recent note [4] where similar results are achieved for elliptic systems of order 2m.

2 Useful assumptions and results

Let Ω be an bounded open set in ℝⁿ, n > 2, x = (x₁, x₂, ..., x_n) denotes a generic point therein, 0 < T < ∞ and Q the cylinder Ω × (-T, 0), let N be a positive integer. In Q, we consider the following parabolic metric

d (X, Y) = max {| | x - y | |_{n}, | t - τ |^{\frac{1}{2}}}, X = (x, t), Y = (y, τ) .

Let us set k a positive integer greater than 1, (·|·)_k and ||·||_k respectively the scalar product and the norm in ℝ^k. If there is no ambiguity, we omit the index k.

Let k be a nonnegative integer and λ ∈]0, 1]. We denote by

C^{k, λ} (\bar{Q}, ℝ^{N})

the subspace of

C^{k} (\bar{Q}, ℝ^{N})

of functions

u : \bar{Q} \to ℝ^{N}

that satisfy a Hölder condition of exponent λ, together with all their derivatives D^αu, |α| ≤ k. If

u \in C^{k, λ} (\bar{Q}, ℝ^{N})

, then we set

| | u | |_{C^{k, λ} (\bar{Q}, ℝ^{N})} = \sum_{| α | \leq k} sup_{\bar{Q}} | | D^{α} u | |_{N} + \sum_{| α | = k} {[D^{α} u]}_{λ, \bar{Q}}

where

{[D^{α} u]}_{λ, \bar{Q}} = sup_{\begin{matrix} X, Y \in \bar{Q} \\ X \neq Y \end{matrix}} \frac{| | D^{α} u (X) - D^{α} u (Y) | |_{N}}{d^{λ} (X, Y)} < + \infty, \forall α : |α| = k .

The space

C^{k, λ} (\bar{Q}, ℝ^{N})

is a Banach space, provided with the norm

| | u | |_{C^{k, λ} (\bar{Q}, ℝ^{N})} = | | u | |_{C^{k} (\bar{Q}, ℝ^{N})} + \sum_{|α| = k} {[D^{α} u]}_{λ, \bar{Q}} .

Definition 2.1 (see e.g. [15, 16]). Let Ω be an bounded open set in ℝⁿ, let k and j be two positive integers, k ≥ j. If p ∈ [1, +∞ [and

u \in C^{\infty} (\bar{Ω}, ℝ^{N})

, so we set

| u |_{j, p, Ω} = {(\int_{Ω} \sum_{|α| = j} | | D^{α} u | |_{N}^{p} d x)}^{\frac{1}{p}}, | | u | |_{k, p, Ω} = {(\sum_{j = 0}^{k} | u |_{j, p, Ω}^{p})}^{\frac{1}{p}}

(2.1)

and denote respectively by H^{k, p}(Ω, ℝ^N) and $H_{0}^{k, p} (Ω, ℝ^{N})$ the spaces obtained as closure of $C^{\infty} (\bar{Ω}, ℝ^{N})$ and $C_{0}^{\infty} (Ω, ℝ^{N})$ regarding the norm ||u||_{k, p,Ω}. The spaces H^{k, p}(Ω, ℝ^N) and $H_{0}^{k, p} (Ω, ℝ^{N})$ are known in literature as Sobolev Spaces.

We remark that H^0,p(Ω, ℝ^N) = L^p(Ω, ℝ^N), 1 ≤ p < +∞.

If p = 2, then we shall simply write H^k(Ω, ℝ^N), $H_{0}^{k} (Ω, ℝ^{N})$ , |u|_j,Ω, ||u||_k,Ω.

Let Ω be an bounded open set in ℝⁿ, let us set ϑ ∈ (0, 1), p ∈ [1, +∞ [.

Definition 2.2. We say that a function u defined in Ω having values in ℝ^N belongs to H^{ϑ, p}(Ω, ℝ^N) if u ∈ L^p(Ω, ℝ^N) and is finite

| u |_{ϑ, p, Ω}^{p} = \int_{Ω} d x \int_{Ω} \frac{| | u (x) - u (y) | |_{N}^{p}}{| | x - y | |_{n}^{n + ϑ p}} d y .

Definition 2.3. If k is a nonnegative integer, we mean for H^{k+ϑ, p}(Ω, ℝ^N) the subspace of H^{k, p}(Ω, ℝ^N) of functions u ∈ H^k,p(Ω, ℝ^N) such that

D^{α} u \in H^{ϑ, p} (Ω, ℝ^{N}), \forall α : | α | = k .

We stress that H^{k+ϑ, p}(Ω, ℝ^N) is a Banach space equipped with the following norm

| | u | |_{k + ϑ, p, Ω} = {(| | u | |_{k, p, Ω}^{p} + \sum_{| α | = k} | D^{α} u |_{ϑ, p, Ω}^{p})}^{\frac{1}{p}} .

If p = 2, then we shall simply write H^k+ϑ(Ω, ℝ^N) and ||u||_k+ϑ,Ω.

Let k a positive integer, p ∈ [1, +∞ [, ϑ ∈ (0, 1), in the following, we will consider the spaces

\begin{gathered} L^{p} (- T, 0, H^{k, p} (Ω, ℝ^{N})) \\ = \{u (x, t) | u (\cdot, t) \in H^{k, p} (Ω, ℝ^{N}) for a .e . t \in (- T, 0) and \int_{- T}^{0} {∥u (\cdot, t)∥}_{k, p, Ω}^{p} d t < \infty\} \end{gathered}

and

\begin{gathered} L^{p} (- T, 0, H^{k + θ, p} (Ω, ℝ^{N})) \\ = \{u (x, t) | u (\cdot, t) \in H^{k + θ, p} (Ω, ℝ^{N}) for a .e . t \in (- T, 0) and \int_{- T}^{0} | | u (\cdot, t) | |_{k + θ, p, Ω}^{p} d t < \infty\} . \end{gathered}

We say a function u ∈ L²(-T, 0, H^m(Ω, ℝ^N) ∩ C^m-1,λ(Q, ℝ^N), N positive integer and 0 < λ < 1, weak solution in Q to the nonlinear parabolic system of order 2m

\sum_{| α | \leq m} {(- 1)}^{| α |} D^{α} a^{α} (X, D u) + \frac{\partial u}{\partial t} = 0

if

\int_{Q} \{\sum_{| α | \leq m} (a^{α} (X, D u) | D^{α} φ) - (u | \frac{\partial φ}{\partial t})\} d X = 0, \forall φ \in C_{0}^{\infty} (Q, ℝ^{N}) .

(2.2)

Let us now state some properties useful in the sequel.

Let τ ∈]0, 1[, ρ and a two positive numbers and h ∈ ℝ\{0}, where |h| < (1 - τ)ρ.

If u is a function from B(ρ) × (-a, 0) in ℝ^N and X = (x, t) ∈ B(τρ) × (-a, 0), we set

τ_{i, h} u (X) = u (x + h e^{i}, t) - u (X), i = 1, 2, \dots, n,

(2.3)

where {eⁱ}_i=1,2,...,nis the canonic basis of ℝⁿ.

Let us now state the following results, proved in [17, 18] and [19], useful to achieve the main result of the note.

Theorem 2.1. If u ∈ L^p(-a, 0, L^p(B(2ρ), ℝ^N)), a, ρ > 0, 1 < p < +∞, N is a positive integer and exists M > 0 such that

\int_{- a}^{0} d t \int_{B (ρ)} | | τ_{i, h} u | |^{p} d x \leq | h |^{p} M, \forall | h | < (1 - τ) ρ, \forall i = 1, \dots, n,

then u ∈ L^p(-a, 0, H^1,p(B(ρ), ℝ^N)) and

\int_{- a}^{0} d t \int_{B (ρ)} | | D_{i} u | |^{p} d x \leq M, \forall i = 1, \dots, n .

Theorem 2.2. Let u ∈ H^1,p(B(ρ), ℝ^N) for a, ρ > 0, 1 ≤ p < +∞ and N be a positive integer. Then, for every τ ∈ (0, 1) and every h ∈ ℝ, |h| < (1 - τ)ρ, we have

| | τ_{i, h} u | |_{0, p, B (τ ρ)} \leq | h | | | D_{i} u | |_{0, p, B (ρ)}, i = 1, 2, \dots, n .

Theorem 2.3 (see [18, 20]). Let N be a positive integer and Ω a cube of ℝⁿ. If

u \in W^{m, r} (Ω, ℝ^{N}) \cap C^{s, λ} (Ω, ℝ^{N}),

with m ≥ 2, m integer, 1 < r < ∞, s ≥ 0, s integer, 0 < λ < 1, s < m - 1, then, for each integer j with s +λ < j < m, there exists two constants c₁ and c₂ (depending on Ω, m, r, s, λ, j) such that

max_{| α | = j} | D^{α} u |_{0, p, Ω} \leq c_{1} {(max_{| α | = m} | D^{α} u |_{0, r, Ω})}^{δ} \cdot {(max_{| α | = s} {[D^{α} u]}_{λ, Ω})}^{1 - δ} + c_{2} max_{| α | = s} {[D^{α} u]}_{λ, Ω}

where $\frac{1}{p} = \frac{j}{n} + δ (\frac{1}{r} - \frac{m}{n}) - (1 - δ) \frac{s + λ}{n}$ , $\forall δ \in [\frac{j - s - λ}{m - s - λ}, 1[$ .

Theorem 2.4 (see [9]). Let N be a positive integer and Ω a cube of ℝⁿ. If

u \in W^{m + θ, r} (Ω, ℝ^{N}) \cap C^{s, λ} (Ω, ℝ^{N}),

with m ≥ 1, m integer, 0 < θ < 1, 1 < r < ∞, s ≥ 0, s integer, 0 < λ < 1, s < m, then, for each integer j with

max (s + λ, m + θ - \frac{n}{r}) < j < m + θ

, it results

u \in W^{j, p} (Ω, ℝ^{N})

and there exists a constant c (depending on Ω, m, θ, r, s, λ, j, n, δ) such that

| | u | |_{j, p, Ω} \leq c | | u | |_{m + θ, r, Ω}^{δ}, | | u | |_{C^{s, λ} (Ω, ℝ^{N})}^{1 - δ},

where $\frac{1}{p} = \frac{j}{n} + δ (\frac{1}{r} - \frac{1 m + θ}{n}) - (1 - δ) \frac{s + λ}{n}$ , $\forall δ \in [\frac{j - s - λ}{m + θ - s - λ}$ , 1[with (1 - δ)(s + λ) + δ(m + θ) noninteger.

3 Interior differentiability of the solutions

Let us set m, N positive integers, α = (α₁, ..., α_n) a multi-index and |α| = α₁ + · · · + α_n the order of α. We denote by

ℛ

the Cartesian product

ℛ = \prod_{| α | \leq m} ℝ_{α}^{N}

and

p = {p^{α}}_{| α | \leq m}

, p^α ∈ ℝ^N, the generic point of

ℛ

. If

p \in ℛ

, we set p = (p', p") where

p^{'} = {p^{α}}_{| α | < m} \in ℛ^{'} = \prod_{| α | < m} ℝ_{α}^{N}

,

p^{″} = {p^{α}}_{| α | = m} \in ℛ^{″} = \prod_{| α | = m} ℝ_{α}^{N}

, and

| | p | |^{2} = \sum_{| α | \leq m} | | p^{α} | |_{N}^{2}, | | p^{'} | |^{2} = \sum_{| α | < m} | | p^{α} | |_{N}^{2}, | | p^{″} | |^{2} = \sum_{| α | = m} | | p^{α} | |_{N}^{2} .

We consider, as usual,

\begin{align} D_{i} & = \frac{\partial}{\partial x_{i}}, i = 1, \dots, n; D^{α} = D_{1}^{α_{1}} D_{2}^{α_{2}} \dots D_{n}^{α_{n}}; \\ D u & = {D^{α} u}_{| α | \leq m}, D^{'} u = {D^{α} u}_{| α | < m}, D^{″} u = {D^{α} u}_{| α | = m} . \end{align}

Let us consider the following differential nonlinear variational parabolic system of order 2m :

\sum_{| α | \leq m} {(- 1)}^{| α |} D^{α} a^{α} (X, D u) + \frac{\partial u}{\partial t} = 0

(3.1)

where a^α(X, p) = a^α(X, p', p") are functions of $Λ = Q \times ℛ$ in ℝ^N, satisfying the following conditions:

(3.2) for every α : |α| < m and every $p \in ℛ$ , the function X → a^α(X, p), defined in Q having values in ℝ^N, is measurable in X;

(3.3) for every α : |α| < m and every X ∈ Q, the function p → a^α(X, p), defined in $ℛ$ having values in ℝ^N, is continuous in p;

(3.4) for every α : |α| < m and every (X, p) ∈ Λ, such that ||p'|| ≤ K, we have

| | a^{α} (X, p) | | \leq M (K) (| f^{α} (X) | + | | p^{″} | |^{2}),

where f^α ∈ L²(Q);

(3.5) for every α : |α| = m, the function a^α(X, p', p"), defined in

Q \times ℛ

having values in ℝ^N, are of class C¹ in

Q \times ℛ

and, for every

(X, p^{'}, p^{″}) \in Q \times ℛ

with ||p'|| ≤ K, we have

\begin{align} | | a^{α} | | + & \sum_{r = 1}^{n} ∥\frac{\partial a^{α}}{\partial x_{r}}∥ + \sum_{k = 1}^{N} \sum_{| β | < m} ∥\frac{\partial a^{α}}{\partial p_{k}^{β}}∥ \leq M (K) (1 + | | p^{″} | |), \\ \sum_{k = 1}^{N} \sum_{| β | = m} ∥\frac{\partial a^{α}}{\partial p_{k}^{β}}∥ \leq M (K); \end{align}

(3.6) ∃ ν = ν(K) > 0 such that:

\sum_{h, k = 1}^{N} \sum_{| α | = | β | = m} \frac{\partial a_{h}^{α} (X, p)}{\partial p_{k}^{β}} ξ_{h}^{α} ξ_{k}^{β} \geq ν (K) \sum_{| β | = m} | | ξ^{β} | |_{N}^{2} = ν | | ξ | |^{2},

for every ξ = (ξ^α) ∈ R" and for every $(X, p) \in Q \times ℛ$ , with ||p'|| ≤ K. If the coefficients a^α satisfy condition (3.6) we say that the system (3.1) is strictly elliptic in Ω.

Theorem 3.1. If u ∈ L²(-T, 0, H^m(Ω, ℝ^N)) ∩ C^m-1,λ(Q, ℝ^N), 0 < λ < 1, is a weak solution of the system (3.1) and if the assumptions (3.2)-(3.6) hold, then ∀B(3σ) = B(x⁰, 3σ) ⊂⊂ Ω, ∀a, b ∈ (0, T), a < b, it results

u \in L^{4} (- a, 0, H^{m, 4} (B (σ), ℝ^{N}))

(3.7)

and the following estimate holds

\int_{- a}^{0} | | u | |_{m, 4, B (σ)}^{4} d t \leq c (ν, K, U, λ, σ, a, b, m, n) \{1 + \sum_{| α | < m} {(\int_{- b}^{0} | | f^{α} | |_{0, B (3 σ)} d t)}^{\frac{1 + ϑ}{2}} + \int_{- b}^{0} | u |_{m, B (3 σ)}^{2} d t\}

(3.8)

where K = sup_Q ||D' u|| and $U = | | u | |_{C^{m - 1, λ} (\bar{Q}, ℝ^{N})}$ .

Proof Let us observe that, using Theorem 2.III in [21], for every 0 < ϑ < 1 and

b^{*} = \frac{a + b}{2}

, we have

u \in L^{2} (- b^{*}, 0, H^{m + ϑ} (B (\frac{5}{2} σ), ℝ^{N})),

and

\begin{gathered} \int_{- b^{*}}^{0} | D^{″} u |_{ϑ, B (\frac{5}{2} σ)}^{2} d t \\ \leq c (ν, K, U, ϑ, λ, σ, a, b, m, n) \{1 + \sum_{| α | < m} {(\int_{- b}^{0} | | f^{α} | |_{0, B (3 σ)} d t)}^{\frac{1 + ϑ}{2}} + \int_{- b^{*}}^{0} | u |_{m, B (3 σ)}^{2} d t\} . \end{gathered}

(3.9)

Hence, we remark that

u \in C^{m - 1, λ} (\bar{Ω}, ℝ^{N})

, then, it results, for a. e. t ∈ (-b*, 0),

u (x, t) \in H^{m + ϑ} (B (\frac{5}{2} σ), ℝ^{N}) \cap C^{m - 1, λ} (\bar{B (\frac{5}{2} σ)}, ℝ^{N}), \forall 0 < ϑ < 1, \forall B (3 σ) \subset \subset Ω .

Then, from Theorem 2.4 with

Ω = B (\frac{5}{2} σ)

, 1 - λ < θ < 1, for

δ = \frac{1}{2}

, and for a.e. t ∈ (-b*, 0):

u (x, t) \in H^{m, p} (B (\frac{5}{2} σ), ℝ^{N}),

and there exists a constant c = c(θ, λ, σ, m, n) such that

| | u | |_{m, p, B (\frac{5}{2} σ)} \leq c | | u | |_{m + θ, B (\frac{5}{2} σ)}^{\frac{1}{2}} | | u | |_{C^{m - 1, λ} (B (\frac{5}{2} σ), ℝ^{N})}^{\frac{1}{2}},

where $p = 4 + \frac{8 (θ + λ - 1)}{n - 2 (θ + λ - 1)} > 4$ .

The choice

θ = 1 - \frac{λ}{2} (> 1 - λ)

ensures that for a. e. t ∈ (-b*, 0) we have

u (x, t) \in H^{m, p} (B (\frac{5}{2} σ), ℝ^{N}), with p = 4 + \frac{4 λ}{n - λ}, \forall B (3 σ) \subset \subset Ω .

(3.10)

and

| | u | |_{m, p, B (\frac{5}{2} σ)} \leq c (θ, λ, σ, m, n) | | u | |_{m + 1 - \frac{λ}{2}, B (\frac{5}{2} σ)}^{\frac{1}{2}} | | u | |_{C^{m - 1, λ} (B (\frac{5}{2} σ), ℝ^{N})}^{\frac{1}{2}},

(3.11)

where $p = 4 + \frac{4 λ}{n - λ} > 4$ .

Then we have, for a. e. t ∈ (-b*, 0), the following inclusion between Sobolev spaces

u (x, t) \in H^{m, p} (B (\frac{5}{2} σ), ℝ^{N}) \subset \subset H^{m, 4} (B (\frac{5}{2} σ), ℝ^{N})

(3.12)

then, using (3.9), written with

θ = 1 - \frac{λ}{2}

, and (3.10)-(3.12), we have

\begin{gathered} \int_{- b^{*}}^{0} | | u | |_{m, 4, B (\frac{5}{2} σ)}^{4} d t \leq c (σ) \int_{- b^{*}}^{0} | | u | |_{m, 4 + \frac{4 λ}{n - λ}, B (\frac{5}{2} σ)}^{4} d t \\ \leq c (θ, λ, σ, m, n) \int_{- b^{*}}^{0} | | D^{″} u | |_{1 - \frac{λ}{2}, B (\frac{5}{2} σ)}^{2} | | u | |_{C^{m - 1, λ} (B (\frac{5}{2} σ), ℝ^{N})}^{2} d t \\ \leq c (ν, K, U, λ, σ, m, n) \{1 + \sum_{| α | < m} {(\int_{- b}^{0} | | f^{α} | |_{0, B (3 σ)} d t)}^{\frac{1 + ϑ}{2}} + \int_{- b}^{0} | u |_{m, B (3 σ)}^{2} d t\}, \end{gathered}

(3.13)

then it follows the requested inequality (3.8). ■

Theorem 3.2 (main result). If u ∈ L²(-T, 0, H^m(Ω, ℝ^N)) ∩ C^m-1,λ(Q, ℝ^N), 0< λ < 1, is a weak solution of the system (3.1) and if the assumptions (3.2)-(3.6) hold, then ∀B(3σ) = B(x⁰, 3σ) ⊂⊂ Ω, ∀a, b ∈ (0, T), a < b it results

u \in L^{2} (- a, 0, H^{m + 1} (B (σ), ℝ^{N})) \cap H^{1} (- a, 0, L^{2} (B (σ), ℝ^{N}))

(3.14)

and the following estimate holds

\begin{gathered} \int_{- a}^{0} \{| u |_{m + 1, B (σ)}^{2} + {|\frac{\partial u}{\partial t}|}_{0, B (σ)}^{2}\} d t \\ \leq c (ν, K, U, λ, σ, a, b, m, n) \{1 + \sum_{| α | < m} {(\int_{- b}^{0} | | f^{α} | |_{0, B (3 σ)} d t)}^{2} + \int_{- b}^{0} | u |_{m, B (3 σ)}^{2} d t\} \end{gathered}

(3.15)

where K = sup_Q ||D' u|| and $U = | | u | |_{C^{m - 1, λ} (\bar{Q}, ℝ^{N})}$ .

Proof Let us fix B(3σ) = B(x⁰, 3σ) ⊂⊂ Ω, a, b ∈ (0, T) with a < b and h ∈ ℝ such that $| h | < \frac{σ}{2}$ , set $b^{*} = \frac{a + b}{2}$ , and let $ψ (x) \in C_{0}^{\infty} (ℝ^{n})$ a real function satisfying the following properties 0 ≤ ψ ≤ 1 in ℝⁿ, ψ = 1 in B(σ), ψ = 0 in ℝⁿ\B(2σ), $| | D ψ | | \leq \frac{c}{σ}$ in ℝⁿ.

Let us also define the function ρ_μ(t), for

μ > \frac{2}{a}

, μ integer, the following real function

ρ_{μ} (t) = \{\begin{matrix} 1 & if - a \leq t \leq - \frac{2}{μ} \\ 0 & if t \leq - b and t \geq - \frac{1}{μ} \\ \frac{t + b}{b - a} & if - b < t < - a \\ - (μ t + 1) & if - \frac{2}{μ} < t < - \frac{1}{μ} . \end{matrix}

(3.16)

Moreover set {g_s(t)} the sequence of symmetric regularizing functions such that

\begin{gathered} g_{s} (t) \in C_{0}^{\infty} (ℝ), g_{s} (t) \geq 0, g_{s} (t) = g_{s} (- t), \\ supp g_{s} \subset [- \frac{1}{s}, \frac{1}{s}], \int_{ℝ} g_{s} (t) d t = 1 . \end{gathered}

Let i be a positive integer, i ≤ n, and h a real number such that

| h | < \frac{σ}{2}

. For every

μ > \frac{2}{a}

and for every

s > max {μ, \frac{1}{T - b}}

, let us define the following "test function"

φ (X) = τ_{i, - h} \{ψ^{2 m} ρ_{μ} [(ρ_{μ} τ_{i, h} u) * g_{s}]\}, \forall X = (x, t) \in Q .

(3.17)

Substituting in (2.2) the above defined function φ, we have

\begin{gathered} \int_{Q} \sum_{| α | = m} (τ_{i, h} a^{α} (X, D u) | D^{α} (ψ^{2 m} ρ_{μ} [(ρ_{μ} τ_{i, h} u) * g_{s}])) d X \\ = \int_{Q} (τ_{i, h} u | ψ^{2 m} {ρ_{μ} [(ρ_{μ} τ_{i, h} u) * g_{s}]}^{'}) d X - \\ - \sum_{| α | < m} \int_{Q} (a^{α} (X, D u) | τ_{i, - h} D^{α} {ψ^{2 m} ρ_{μ} [(ρ_{μ} τ_{i, h} u) * g_{s}]}) d X . \end{gathered}

(3.18)

For every α : |α| = m and a. e. X = (x, t) ∈ Q, we have

\begin{gathered} τ_{i, h} a^{α} (X, D u (X)) = a^{α} (x + h e^{i}, t, D u (x + h e^{i}, t)) - a^{α} (X, D u (X)) \\ = \int_{0}^{1} \frac{d}{d η} a^{α} (x + η h e^{i}, t, D u (X) + η τ_{i, h} D u (X)) d η \\ = h \int_{0}^{1} \frac{\partial}{\partial x_{i}} a^{α} (x + η h e^{i}, t, D u (X) + η τ_{i, h} D u (X)) d η \\ + \sum_{| β | \leq m} \sum_{k = 1}^{N} (τ_{i, h} D^{β} u_{k} (X)) \int_{0}^{1} \frac{\partial}{\partial p_{k}^{β}} a^{α} (x + η h e^{i}, t, D u (X) + η τ_{i, h} D u (X)) d η \\ = h \frac{\tilde{\partial a^{α}}}{\partial x_{i}} + \sum_{| β | \leq m} \sum_{k = 1}^{N} (τ_{i, h} D^{β} u_{k} (X)) \frac{\tilde{\partial a^{α}}}{\partial p_{k}^{β}}, \end{gathered}

where, if b = b(X, p), for simplicity of notation, we set

\tilde{b} (X) = \int_{0}^{1} b (x + η h e^{i}, t, D u (X) + η τ_{i, h} D u (X)) d η .

Then, equality (3.18) becomes

\begin{gathered} \int_{Q} \sum_{| α | = m} (h \frac{\tilde{\partial a^{α}}}{\partial x_{i}} + \sum_{| β | \leq m} \sum_{k = 1}^{N} (τ_{i, h} D^{β} u_{k} (X)) \frac{\tilde{\partial a^{α}}}{\partial p_{k}^{β}}| D^{α} (ψ^{2 m} ρ_{μ} [(ρ_{μ} τ_{i, h} u) * g_{s}])) d X \\ = \int_{Q} ψ^{2 m} ρ^{'} μ (τ_{i, h} u | (ρ_{μ} τ_{i, h} u) * g_{s}) d X + \int_{Q} (τ_{i, h} u | ψ^{2 m} ρ_{μ} {[(ρ_{μ} τ_{i, h} u) * g_{s}]}^{'}) d X - \\ \sum_{| α | < m} \int_{Q} (a^{α} (X, D u) | τ_{i, - h} D^{α} \{ψ^{2 m} ρ_{μ} [(ρ_{μ} τ_{i, h} u) * g_{s}]\}) d X . \end{gathered}

Taking into account, for α : |α| = m, that

D^{α} (ψ^{2 m} ρ_{μ} [(ρ_{μ} τ_{i, h} u) * g_{s}]) = ψ^{2 m} ρ_{μ} [(ρ_{μ} τ_{i, h} D^{α} u) * g_{s}] + ψ^{m} ρ_{μ} \sum_{γ < α} c_{α γ} (ψ) [(ρ_{μ} τ_{i, h} D^{γ} u) * g_{s}]

where

| c_{α γ} (ψ) | \leq \frac{c (m, n)}{σ^{m - | γ |}},

we obtain

\begin{gathered} \int_{Q} ψ^{2 m} ρ_{μ} \sum_{| α | = | β | = m} \sum_{k = 1}^{N} ((τ_{i, h} D^{β} u_{k} (X)) \frac{\tilde{\partial a^{α}}}{\partial p_{k}^{β}}| (ρ_{μ} τ_{i, h} D^{α} u) * g_{s}) d X \\ = - \sum_{| α | = | β | = m} \sum_{γ < α} \sum_{k = 1}^{N} \int_{Q} ((τ_{i, h} D^{β} u_{k} (X)) \frac{\tilde{\partial a^{α}}}{\partial p_{k}^{β}}| ψ^{m} ρ_{μ} c_{α γ} (ψ) [(ρ_{μ} τ_{i, h} D^{γ} u) * g_{s}]) d X \\ - \sum_{| α | = m} \sum_{| β | < m} \sum_{k = 1}^{N} \int_{Q} ((τ_{i, h} D^{β} u_{k} (X)) \frac{\tilde{\partial a^{α}}}{\partial p_{k}^{β}}| D^{α} (ψ^{2 m} ρ_{μ} [(ρ_{μ} τ_{i, h} u) * g_{s}])) d X \\ - h \sum_{| α | = m} \int_{Q} (\frac{\tilde{\partial a^{α}}}{\partial x_{i}}| D^{α} (ψ^{2 m} ρ_{μ} [(ρ_{μ} τ_{i, h} u) * g_{s}])) d X + \int_{Q} ψ^{2 m} ρ^{'} μ (τ_{i, h} u | (ρ_{μ} τ_{i, h} u) * g_{s}) d X \\ + \int_{Q} (τ_{i, h} u | ψ^{2 m} ρ_{μ} [(ρ_{μ} τ_{i, h} u) * g^{'} s]) d X - \sum_{| α | < m} \int_{Q} (a^{α} (X, D u) | τ_{i, - h} D^{α} {ψ^{2 m} ρ_{μ} [(ρ_{μ} τ_{i, h} u) * g_{s}]}) d X . \end{gathered}

For s → +∞, using ellipticity condition (3.6), symmetry hypothesis, convolution property of g_s and that

lim_{s \to + \infty} \int_{Q} (τ_{i, h} u | ψ^{2 m} ρ_{μ} [(ρ_{μ} τ_{i, h} u) * g^{'} s]) d X = 0,

we have

\begin{gathered} ν \int_{- b}^{- \frac{1}{μ}} d t \int_{B (2 σ)} ψ^{2 m} ρ_{μ}^{2} | | τ_{i, h} D^{″} u | |^{2} d x = ν \int_{- b}^{- \frac{1}{μ}} d t \int_{B (2 σ)} ψ^{2 m} ρ_{μ}^{2} \sum_{| α | = m} | | τ_{i, h} D^{α} u | |^{2} d x \\ \leq \int_{Q} ψ^{2 m} ρ_{μ} \sum_{| α | = | β | = m} \sum_{k = 1}^{N} ((τ_{i, h} D^{β} u_{k} (X)) \frac{\tilde{\partial a^{α}}}{\partial p_{k}^{β}}| ρ_{μ} τ_{i, h} D^{α} u) d X \\ \leq A + B + C + D + E, \end{gathered}

(3.19)

where

A = - \sum_{| α | = | β | = m} \sum_{γ < α} \sum_{k = 1}^{N} \int_{Q} c_{α γ} (ψ) ψ^{m} ρ_{μ}^{2} ((τ_{i, h} D^{β} u_{k} (X)) \frac{\tilde{\partial a^{α}}}{\partial p_{k}^{β}}| (τ_{i, h} D^{γ} u) (X)) d X,

(3.20)

B = - \sum_{| α | = m} \sum_{| β | < m} \sum_{k = 1}^{N} \int_{Q} ((τ_{i, h} D^{β} u_{k} (X)) \frac{\tilde{\partial a^{α}}}{\partial p_{k}^{β}}| D^{α} (ψ^{2 m} ρ_{μ}^{2} τ_{i, h} u (X))) d X,

(3.21)

C = - h \sum_{| α | = m} \int_{Q} (\frac{\tilde{\partial a^{α}}}{\partial x_{i}} | D^{α} (ψ^{2 m} ρ_{μ}^{2} τ_{i, h} u) (X))) d X,

(3.22)

D = \int_{Q} ψ^{2 m} ρ^{'} μ ρ_{μ} | | τ_{i, h} u | |^{2} d X,

(3.23)

E = - \sum_{| α | < m} \int_{Q} (a^{α} (X, D u) | τ_{i, - h} D^{α} (ψ^{2 m} ρ_{μ}^{2} τ_{i, h} u)) d X .

(3.24)

We observe that, for every ε > 0, we have

| A | \leq ε \int_{- b}^{- \frac{1}{μ}} d t \int_{B (2 σ)} ψ^{2 m} ρ_{μ}^{2} | | τ_{i, h} D^{″} u | |^{2} d x + c (K, σ, m, n, ε) h^{2} \int_{- b}^{- \frac{1}{μ}} d t \int_{B (3 σ)} (1 + | | D^{″} u | |^{2}) d x .

(3.25)

The term B can be estimated, for every ε > 0, as follows

\begin{gathered} | B | \leq \{ε + c (K, U, m, n) (| h |^{λ} + | h |^{2 λ})\} \int_{- b}^{- \frac{1}{μ}} d t \int_{B (2 σ)} ψ^{2 m} ρ_{μ}^{2} | | τ_{i, h} D^{″} u | |^{2} d x \\ + c (K, σ, m, n, ε) h^{2} \int_{- b}^{- \frac{1}{μ}} d t \int_{B (3 σ)} | | D^{″} u | |^{2} d x \\ + c (K, m, n, ε) \int_{- b}^{- \frac{1}{μ}} d t \int_{B (2 σ)} ψ^{2 m} ρ_{μ}^{2} | | τ_{i, h} D^{'} u | |^{2} | | D^{″} u | |^{2} d x . \end{gathered}

(3.26)

Let us consider the term C, for every ε > 0, we have

\begin{gathered} | C | \leq \{ε + c (K, m, n) (h^{2} + | h |)\} \int_{- b}^{- \frac{1}{μ}} d t \int_{B (2 σ)} ψ^{2 m} ρ_{μ}^{2} | | τ_{i, h} D^{″} u | |^{2} d x \\ + c (K, σ, m, n, ε) h^{2} \int_{- b}^{- \frac{1}{μ}} d t \int_{B (3 σ)} (1 + | | D^{″} u | |^{2}) d x . \end{gathered}

To estimate the term D, we firstly observe that

(ρ^{'} μ ρ_{μ}) (t) \{\begin{matrix} = 0 & if t \leq - b, - a \leq t \leq - \frac{2}{μ}, t \geq - \frac{1}{μ} \\ \leq \frac{1}{b - a} & if - b \leq t \leq - a \\ \leq 0 & if - \frac{2}{μ} \leq t \leq - \frac{1}{μ} \end{matrix}

(3.27)

then, using Theorem 2.2, we obtain

\begin{gathered} D = \int_{Q} ψ^{2 m} ρ^{'} μ ρ_{μ} | | τ_{i, h} u | |^{2} d X \\ = \int_{- b}^{- a} d t \int_{B_{(2 σ)}} ψ^{2 m} ρ^{'} μ ρ_{μ} | | τ_{i, h} u | |^{2} d x + \int_{- \frac{2}{μ}}^{- \frac{1}{μ}} d t \int_{B_{(2 σ)}} ψ^{2 m} ρ^{'} μ ρ_{μ} | | τ_{i, h} u | |^{2} d x \\ \leq \frac{1}{b -, a} \int_{- b}^{- a} d t \int_{B_{(2 σ)}} | | τ_{i, h} u | |^{2} d x \leq \frac{h^{2}}{b - a} \int_{- b}^{- a} d t \int_{B_{(3 σ)}} | | D_{i} u | |^{2} d x . \end{gathered}

(3.28)

Finally, using (3.4) condition, the term E can be expressed as follows

| E | \leq c (K, m, n) \sum_{| α | < m} \int_{- b}^{- \frac{1}{μ}} ρ_{μ}^{2} d t \int_{B (\frac{5}{2} σ)} (| f^{α} | + | | D^{″} u | |^{2}) | | τ_{i, - h} D^{α} (ψ^{2 m} τ_{i, h} u) | | d x .

(3.29)

Then, from (3.19) estimating the terms A, B, C, D, and E, for every ε > 0, we have

\begin{gathered} ν \int_{- b^{*}}^{- \frac{1}{μ}} d t \int_{B (2 σ)} ψ^{2 m} ρ_{μ}^{2} | | τ_{i, h} D^{″} u | |^{2} d x \\ \leq \{3 ε + c (K, U, m, n) (| h | + h^{2} + | h |^{λ} + | h |^{2 λ})\} \int_{- b^{*}}^{- \frac{1}{μ}} d t \int_{B (2 σ)} ψ^{2 m} ρ_{μ}^{2} | | τ_{i, h} D^{″} u | |^{2} d x \\ + c (K, σ, a, b, m, n, ε) h^{2} \int_{- b^{*}}^{- \frac{1}{μ}} d t \int_{B (3 σ)} (1 + | | D^{″} u | |^{2}) d x + c (σ, a, b, n,) K h^{2} \\ + c (K, σ, m, n, ε) \int_{- b^{*}}^{- \frac{1}{μ}} d t \int_{B (2 σ)} ψ^{2 m} ρ_{μ}^{2} | | τ_{i, h} D^{'} u | |^{2} | | D^{″} u | |^{2} d x \\ + c (K, m, n) \sum_{| α | < m} \int_{- b^{*}}^{- \frac{1}{μ}} ρ_{μ}^{2} d t \int_{B (\frac{5}{2} σ)} (| f^{α} | + | | D^{″} u | |^{2}) | | τ_{i, - h} D^{α} (ψ^{2 m} τ_{i, h} u) | | d x . \end{gathered}

(3.30)

We observe that the function

h \to c (K, U, σ, m, n) (| h | + h^{2} + | h |^{λ} + | h |^{2 λ})

is continuous in the origin, then ∃h₀(ν, K, U, λ, σ, m, n),

0 < h_{0} < min {1, \frac{σ}{2}}

, such that for every |h| < h₀, we have

c (K, U, σ, m, n) (| h | + h^{2} + | h |^{λ} + | h |^{2 λ}) < \frac{ν}{4} .

For each integer i = 1, ..., n, for

ε = \frac{ν}{12}

and every h such that |h| < h₀(< 1), it follows

\begin{gathered} \frac{ν}{2} \int_{- b^{*}}^{- \frac{1}{μ}} d t \int_{B (2 σ)} ψ^{2 m} ρ_{μ}^{2} | | τ_{i, h} D^{″} u | |^{2} d x \\ \leq c (ν, K, σ, a, b, m, n) | h |^{2} \int_{- b^{*}}^{- \frac{1}{μ}} d t \int_{B (3 σ)} (1 + | | D^{″} u | |^{2}) d x \\ + c (ν, K, σ, m, n) \int_{- b^{*}}^{- \frac{1}{μ}} d t \int_{B (2 σ)} ψ^{2 m} ρ_{μ}^{2} | | τ_{i, h} D^{'} u | |^{2} | | D^{″} u | |^{2} d x \\ + c (K, m, n) \sum_{| α | < m} \int_{- b^{*}}^{- \frac{1}{μ}} ρ_{μ}^{2} d t \int_{B (\frac{5}{2} σ)} (| f^{α} | + | | D^{″} u | |^{2}) | | τ_{i, - h} D^{α} (ψ^{2 m} τ_{i, h} u) | | d x . \end{gathered}

(3.31)

Let us focus our attention on the last term, taking into account that from (3.12), for a. e. t ∈ (-b*, 0), we have

u (\cdot, t) \in H^{m, 4} (B (\frac{5}{2} σ), ℝ^{N})

then using Hölder and Young inequalities, for every α such that |α| < m, for every ε > 0, it follows

\begin{gathered} \int_{B (\frac{5}{2} σ)} (| f^{α} | + | | D^{″} u | |^{2}) | | τ_{i, - h} D^{α} (ψ^{2 m} τ_{i, h} u) | | d x \\ \leq {(\int_{B (3 σ)} | h |^{- 2} | | τ_{i, - h} D^{α} (ψ^{2 m} τ_{i, h} u) | |^{2} d x)}^{\frac{1}{2}} {(\int_{B (\frac{5}{2} σ)} h^{2} {(| f^{α} | + | | D^{″} u | |^{2})}^{2} d x)}^{\frac{1}{2}} \\ \leq \frac{ε}{2} | h |^{- 2} \int_{B (3 σ)} | | τ_{i, - h} D^{α} (ψ^{2 m} τ_{i, h} u) | |^{2} d x + c (ε) h^{2} \int_{B (\frac{5}{2} σ)} (| f^{α} |^{2} + | | D^{″} u | |^{4}) d x . \end{gathered}

Furthermore, for every α such that |α| < m, from Theorem 2.2 for every h ∈ ℝ with |h| < h₀ and for every ε > 0, we have

\begin{gathered} \frac{ε}{2} {|h|}^{- 2} \int_{B (3 σ)} | | τ_{i, - h} D^{α} (ψ^{2 m} τ_{i, h} u) | |^{2} d x \leq \frac{ε}{2} \int_{B (\frac{7}{2} σ)} | | D^{″} (ψ^{2 m} τ_{i, h} u) | |^{2} d x \\ \leq ε \int_{B (2 σ)} ψ^{2 m} | | τ_{i, h} D^{″} u | |^{2} d x + c (σ, ε) \int_{B (2 σ)} | | τ_{i, h} D^{'} u | |^{2} d x \\ \leq ε \int_{B (2 σ)} ψ^{2 m} | | τ_{i, h} D^{″} u | |^{2} d x + c (σ, ε) h^{2} \int_{B (3 σ)} | | D^{″} u | |^{2} d x \end{gathered}

the last inequality follows, as before, applying Theorem 2.2 for p = 2.

Let us now choose

ε = \frac{ν}{4 c (K, m, n)}

, it ensures

\begin{gathered} \int_{B (\frac{5}{2} σ)} (| f^{α} | + | | D^{″} u | |^{2}) | | τ_{i, - h} D^{α} (ψ^{2 m} τ_{i, h} u) | | d x \\ \leq \frac{ν}{4 c (K, m, n)} \int_{B (2 σ)} ψ^{2 m} | | τ_{i, h} D^{″} u | |^{2} d x + c (ν, K, σ, m, n) h^{2} \{\int_{B (3 σ)} | f^{α} |^{2} d x + | u |_{m, B (3 σ)}^{2} + | u |_{m, 4, B (\frac{5}{2} σ)}^{4}\} . \end{gathered}

Multiplying each term for

ρ_{μ}^{2}

and integrating respect to

(- b^{*}, - \frac{1}{μ})

and applying (3.13), we achieve

\begin{gathered} \int_{- b^{*}}^{- \frac{1}{μ}} ρ_{μ}^{2} d t \int_{B (\frac{5}{2} σ)} (| f^{α} | + | | D^{″} u | |^{2}) | | τ_{i, - h} D^{α} (ψ^{2 m} τ_{i, h} u) | | d x \\ \leq \frac{ν}{4 c (K, m, n)} \int_{- b^{*}}^{- \frac{1}{μ}} ρ_{μ}^{2} d t \int_{B (2 σ)} ψ^{2 m} | | τ_{i, h} D^{″} u | |^{2} d x \\ + c (ν, K, U, λ, σ, a, b, m, n) h^{2} \{1 + \sum_{| α | < m} {(\int_{- b}^{0} | | f^{α} | |_{0, B (3 σ)} d t)}^{\frac{1 + ϑ}{2}} + \int_{- b^{*}}^{- \frac{1}{μ}} | u |_{m, B (3 σ)}^{2} d t\} . \end{gathered}

Taking into consideration the last inequality and the properties of the function ψ, from (3.31) we deduce

\begin{gathered} \int_{- a}^{- \frac{2}{μ}} d t \int_{B (σ)} | | τ_{i, h} D^{″} u | |^{2} d x \\ \leq c (ν, K, U, λ, σ, a, b, m, n) h^{2} \{1 + \sum_{| α | < m} {(\int_{- b}^{0} | | f^{α} | |_{0, B (3 σ)} d t)}^{\frac{1 + ϑ}{2}} + \int_{- b^{*}}^{- \frac{1}{μ}} | u |_{m, B (3 σ)}^{2} d t\} \\ + c (ν, K, σ, m, n) \int_{- b^{*}}^{- \frac{1}{μ}} d t \int_{B (2 σ)} ψ^{2 m} ρ_{μ}^{2} | | τ_{i, h} D^{'} u | |^{2} | | D^{″} u | |^{2} d x . \end{gathered}

From which, passing the limit μ → ∞, we get

\begin{gathered} \int_{- a}^{0} d t \int_{B (σ)} | | τ_{i, h} D^{″} u | |^{2} d x \\ \leq c (ν, K, λ, σ, m, n) h^{2} \{1 + \sum_{| α | < m} {(\int_{- b}^{0} | | f^{α} | |_{0, B (3 σ)} d t)}^{\frac{1 + ϑ}{2}} + \int_{- b^{*}}^{0} | u |_{m, B (3 σ)}^{2} d t\} \\ + c (ν, K, σ, m, n) \int_{- b^{*}}^{0} d t \int_{B (2 σ)} ψ^{2 m} ρ_{μ}^{2} | | τ_{i, h} D^{'} u | |^{2} | | D^{″} u | |^{2} d x . \end{gathered}

(3.32)

Let us now estimate the last term in (3.32). Using Hölder inequality, applying Theorem 2.2 (for p = 4,

B (\frac{5}{2} σ)

instead of B(σ) and

t = \frac{4}{5}

) and formula (3.13), for every |h| < h₀, it follows

\begin{gathered} \int_{B (2 σ)} | | τ_{i, h} D^{'} u | |^{2} | | D^{″} u | |^{2} d x \leq {(\int_{B (2 σ)} | | τ_{i, h} D^{'} u | |^{4} d x)}^{\frac{1}{2}} {(\int_{B (2 σ)} | | D^{″} u | |^{4} d x)}^{\frac{1}{2}} \\ \leq | h |^{2} | | D^{″} u | |_{0, 4, B (\frac{5}{2} σ)}^{2} | | D^{″} u | |_{0, 4, B (2 σ)}^{2} \leq | h |^{2} {|u|}_{m, 4, B (\frac{5}{2} σ)}^{4} . \end{gathered}

Integrating in (-b*, 0), from (3.32), it follows

\begin{gathered} \int_{- a}^{0} d t \int_{B (σ)} | | τ_{i, h} D^{″} u | |^{2} d x \\ \leq c (ν, K, U, λ, σ, a, b, m, n) | h |^{2} \{1 + \sum_{| α | < m} {(\int_{- b}^{0} | | f^{α} | |_{0, B (3 σ)} d t)}^{\frac{1 + ϑ}{2}} + \int_{- b}^{0} | u |_{m, B (3 σ)}^{2} d t\} . \end{gathered}

(3.33)

If

h_{0} \leq | h | < \frac{σ}{2}

, for every i = 1, 2, ..., n we easily obtain

\begin{array}{l} \int_{- a}^{0} d t \int_{B σ)} | | τ_{i, h} D^{″} u | |^{2} d x \leq 4 \int_{- a}^{0} d t \int_{B (3 σ)} | | D^{″} u | |^{2} d x \leq 4 \frac{h^{2}}{h_{0}^{2}} \int_{- a}^{0} d t \int_{B (3 σ)} | | D^{″} u | |^{2} d x \\ \leq c (ν, K, U, λ, σ, a, b, m, n) h^{2} \int_{- b}^{0} | u |_{m, B (3 σ)}^{2} d t \\ \leq c (ν, K, U, λ, σ, a, b, m, n) | h |^{2} {1 + \sum_{| α | < m} {(\int_{- b}^{0} | | f^{α} | |_{0, B (3 σ)} d t)}^{\frac{1 + ϑ}{2}} + \int_{- b}^{0} | u |_{m, B (3 σ)}^{2} d t} . \end{array}

It is then proved, for every

| h | < \frac{σ}{2}

and every i ∈ {1, 2, ..., n}, that

\begin{gathered} \int_{- a}^{0} d t \int_{B (σ)} | | τ_{i, h} D^{″} u | |^{2} d x \\ \leq c (ν, K, U, λ, σ, a, b, m, n) | h |^{2} \{1 + \sum_{| α | < m} {(\int_{- b}^{0} | | f^{α} | |_{0, B (3 σ)} d t)}^{\frac{1 + ϑ}{2}} + \int_{- b}^{0} | u |_{m, B (3 σ)}^{2} d t\}, \end{gathered}

applying Theorem 2.1, it follows

u \in L^{2} (- a, 0, H^{m + 1} (B (σ), ℝ^{N}))

and

\begin{gathered} \int_{- a}^{0} | u |_{m + 1, B (σ)}^{2} d t \\ \leq c (ν, K, U, λ, σ, a, b, m, n) \{1 + \sum_{| α | < m} {(\int_{- b}^{0} | | f^{α} | |_{0, B (3 σ)} d t)}^{\frac{1 + ϑ}{2}} + \int_{- b}^{0} | u |_{m, B (3 σ)}^{2} d t\} . \end{gathered}

(3.34)

Finally we have to prove that u ∈ H¹(-a, 0, L²(B(σ), ℝ^N)) and inequality (3.15).

From inequality (3.8), we have

\begin{gathered} \int_{- a}^{0} d t \int_{B (σ)} | | D^{″} u | |^{4} d x \\ \leq c (ν, K, U, λ, σ, a, b, m, n) \{1 + \sum_{| α | < m} {(\int_{- b}^{0} | | f^{α} | |_{0, B (3 σ)} d t)}^{\frac{1 + ϑ}{2}} + \int_{- b}^{0} | u |_{m, B (3 σ)}^{2} d t\} \end{gathered}

(3.35)

then we have

D^{″} u \in L^{4} (B (σ) \times (- a, 0), ℛ^{″})