Solvability of the Non-Linearly Viscous Polymer Solutions Motion Model

Abstract

In this paper we consider the initial–boundary value problem describing the motion of weakly concentrated aqueous polymer solutions. The model involves the regularized Jaumann’s derivative in the rheological relation. Also this model is considered with non-linear viscosity. On the basis of the topological approximation approach to the study of hydrodynamics problems the existence of weak solutions is proved. Also we consider an optimal feedback control problem for this initial–boundary value problem. The existence of an optimal solution minimizing a given performance functional is proved.

1. Introduction

In the fluid dynamics theory the motion of an incompressible fluid with a constant density can be described by the equations [1]:

$${\displaystyle \frac{\partial v}{\partial t}}+\sum _{i=1}^n{v}_i{\displaystyle \frac{\partial v}{\partial x_i}}+\mathrm{grad}p=\mathrm{Div}\sigma +f,$$

(1)

$$\mathrm{div}v=0,$$

(2)

where $v(x,t)=(v_1,\dots ,v_n)$ is an unknown velocity field of the fluid; $p=p(x,t)$ is an unknown pressure; $f=f(x,t)$ is the external force; $\sigma$ is an unknown deviator of the stress tensor. The divergence $\mathrm{Div}\sigma$ of the tensor $\sigma$ is the vector with coordinates

$$(\sum _{j=1}^n{\displaystyle \frac{\partial {\sigma }_{1j}}{\partial x_j}},\sum _{j=1}^n{\displaystyle \frac{\partial {\sigma }_{2j}}{\partial x_j}},\dots ,\sum _{j=1}^n{\displaystyle \frac{\partial {\sigma }_{nj}}{\partial x_j}}).$$

System (1) and (2) describes the motion of all kinds of incompressible fluids. However, it is incomplete. As a rule, the additional relation between the deviator of the stress tensor $\sigma$ and the strain rate tensor $\mathcal{E}\left(v\right)={\left({\mathcal{E}}_{ij}\left(v\right)\right)}_{j=1,\cdots ,n}^{i=1,\cdots ,n}$, ${\mathcal{E}}_{ij}\left(v\right)={\displaystyle \frac{1}{2}}({\displaystyle \frac{\partial v_i}{\partial x_j}}+{\displaystyle \frac{\partial v_j}{\partial x_i}})$. Such relations are known as constitutive or rheological laws. Choosing a rheological relation we specify a type of fluid (see [2]). Note that this relation should corresponds to the general requirements for a mathematical model. The main of which are the maximum proximity of the results obtained by this relation to the real fluid characteristics at the maximum simplicity of the relation itself.

This paper is devoted to the viscoelastic fluids. The rheological relation for such type of fluids is the following (see [3,4,5,6]):

$$\sigma =2\mu \mathcal{E}+2\varkappa \dot{\mathcal{E}}.$$

(3)

Here $\mu >0$ is the fluid viscosity and $\varkappa >0$ is the retardation time.

The rheological relation of viscoelastic fluids always contain the time parameter. From the mathematical point of view, it is possible to divide them into two groups: differential (coupling the instantaneous stress values with velocity gradient of the fluid) and integral (reflecting the dependence of the fluid stress from the prehistory of flow). In this paper the first group of rheological relations are considered.

Note that the relation (3) contains time derivative of the strain rate tensor. Mathematical studies of this model started with consideration in rheological relation (3) the partial derivative. This mathematical model (by analogy for the solid body model) received the name: Voigt model and have been studied in detail (see, for example [7,8]). Then one began consider the relation (3) with the total derivative. This model received the name of the Kelvin–Voigt model. The mathematical investigation of an initial–boundary value problem for this case is consider in many papers [9,10,11,12] and the solubility of the stationary case of the problem under consideration is proved in [13,14]. The next investigations of this model are connected with consideration in the relation (3) the objective derivative [15]. This leads to the fact that this rheological relation does not depend on the observer, i.e., this relation does not change under Galilean change of variables. The most general view of the objective derivative has the regularized Jaumann’s derivative (see [16]):

$$\begin{array}{c}\frac{DT(t,x)}{Dt}=\frac{dT(t,x)}{dt}+T(t,x)W_{\rho }(t,x)-W_{\rho }(t,x)T(t,x),\\ W_{\rho }\left(v\right)(t,x)=\underset{{\mathbb{R}}^n}{\int }\rho (x-y)W(t,y)dy,\end{array}$$

(4)

where $\rho :{\mathbb{R}}^n\to \mathbb{R}$ is a smooth function with compact support such that $\underset{{\mathbb{R}}^n}{\int }\rho \left(y\right)dy=1$ and $\rho \left(x\right)=\rho \left(y\right)$ for x and y with the same Euclidean norm; $W\left(v\right)={\left(W_{ij}\left(v\right)\right)}_{j=1,\cdots ,n}^{i=1,\cdots ,n}$, $W_{ij}\left(v\right)={\displaystyle \frac{1}{2}}({\displaystyle \frac{\partial v_i}{\partial x_j}}-{\displaystyle \frac{\partial v_j}{\partial x_i}})$ is the vorticity tensor. Note that the rheological law (3) with the regularized Jaumann’s derivative is similar to a particular case of second grade fluids (e.g., see [17,18,19] and the bibliography therein). The weak solvability for this model is proved in [20]. Trajectory, global and pullback attractors for this model are considered in [21]. And finally an optimal feedback control problem for this model is investigated in [22].

At the same time according to Stokes’ hypothesis the stress tensor at a point at a given time is completely determined by the strain rate at the same point and at the same time. However, this relationship does not imply any restrictions associated with linearity, but it is believed that deformation occurring at some other point or at some other point in time prior to the considered one does not affect the value of stresses. The latter circumstance is taken into account in models of nonlinear viscoelastic media. The study of models with nonlinear viscosity, on the one hand, makes it possible to significantly expand the class of studied media, on the other hand, it significantly complicates the mathematical research of such initial–boundary value problems (due to the complexity of the problem). Note that many functions of nonlinear viscosity have been proposed in the literature. At this paper we will consider some of the natural viscosity constraints for real fluids proposed by V.G. Litvinov [23]:

$$\mu =\mu \left(I_2\left(v\right)\right),$$

(5)

where the tensor $I_2\left(v\right)$ is defined by the relation $I_2{\left(v\right)}^2=\mathcal{E}\left(v\right):\mathcal{E}\left(v\right)$. Here we use the notation $A:B:={\displaystyle \sum _{i,j=1}^n}{a}_{ij}{b}_{ij}$ for arbitrary square matrices $A=\left(a_{ij}\right)$ and $B=\left(b_{ij}\right)$ of the same order.

Professor V.G. Litvinov gave examples of such fluids and natural restrictions on the viscosity of the fluid under consideration expressed via the properties of the function $\mu :{\mathbb{R}}^n\to \mathbb{R}$. This function $\mu \left(s\right)$ must be continuously differentiable and satisfy the inequalities

(μ₁)

$0<C_1\le \mu \left(s\right)\le C_2<\infty ;$

(μ₂)

$-s{\mu }^{\prime }\left(s\right)\le \mu \left(s\right)for{\mu }^{\prime }\left(s\right)<0;$

(μ₃)

$|s{\mu }^{\prime }\left(s\right)|\le C_3<\infty .$

Hereinafter, $C_i$ denotes various constants. Conditions $\left({\mu }_1\right)-\left({\mu }_3\right)$ have a clear physical meaning. Condition $\left({\mu }_1\right)$ is connected with the existence of limit “Newtonian” viscosities for real fluids; $\left({\mu }_2\right)-\left({\mu }_3\right)$ express the law that the shift stresses grow together with the deformation rates. Similar mathematical models with nonlinear viscosity have been considered in many papers (see, for example, Waele–Ostwald model, Norton–Hoff model, Sisko model et al.). In general, many types of function $\mu$ have been proposed in the literature, but most of them have been applied to the study of one–dimensional models. In the paper [23] it is shown that the given restrictions on the function $\mu$ are natural for real fluids and that the numerical results for this model is very close to the results of experimental studies.

Substituting the right–hand of (3) with nonlinear viscosity (5) and with the regularized Jaumann’s derivative (4) for $\sigma$ in Equations (1) and (2), we obtain

$$\begin{array}{c}{\displaystyle \frac{\partial v}{\partial t}}+\sum _{i=1}^n{v}_i{\displaystyle \frac{\partial v}{\partial x_i}}-2\mathrm{Div}\left[\mu \left(I_2\left(v\right)\right)\mathcal{E}\left(v\right)\right]-\varkappa {\displaystyle \frac{\partial \Delta v}{\partial t}}-2\varkappa \mathrm{Div}\left[v_k{\displaystyle \frac{\partial \mathcal{E}\left(v\right)}{\partial x_k}}\right]-\end{array}$$

$$\begin{array}{c}-2\varkappa \mathrm{Div}\left[\mathcal{E}\left(v\right)W_{\rho }\left(v\right)-W_{\rho }\left(v\right)\mathcal{E}\left(v\right)\right]+\mathrm{grad}p=f,(t,x)\in (0,T)\times \mathsf{\Omega },\end{array}$$

(6)

$$\begin{array}{c}\mathrm{div}v=0,(t,x)\in (0,T)\times \mathsf{\Omega }.\end{array}$$

(7)

For the system (6) and (7) we consider the initial–boundary value problem with the initial condition

$$v(x,0)=v_0\left(x\right),x\in \mathsf{\Omega },$$

(8)

and the boundary condition

$${v|}_{\partial \mathsf{\Omega }\times [0,T]}=0.$$

(9)

The obtained with such rheological relation mathematical model have to satisfy with the experimental data. The experimental data for this mathematical model have been also obtained. Obviously, if a small amount of polymer is added to the water, then the viscosity and the density of the resulting solution practically does not change and remain constant (in contrast to its rheological properties). It is fixed the reduction of friction resistance due to polymer additives. In such fluids the equilibrium state is not established immediately after a change in external conditions. It is established with some delay, which is characterized by the value of the retardation time. This delay explained by the processes of internal rearrangement. A group of scientists carried out experiments and proved that these mathematical model describes the flow of weakly concentrated water solutions of polymers, for example, solutions of polyethyleneoxide and polyacrylamid or solutions of polyacrylamide and guar gum [24,25]. Therefore, the model considered in this paper is also often called the model of aqueous polymers solutions motion.

Our aim is to investigate the weak solvability of this initial–boundary value problem (6)–(9) describing the motion of weakly concentrated aqueous polymer solutions with non-linear viscosity. Also we consider the existence of a feedback control problem for this model and prove the existence of an optimal solution of the problem under consideration minimizing a given bounded performance functional.

2. Preliminaries and Main Results

At the beginning we introduce some basic notations and auxiliary assertions.

Denote by $C_0^{\infty }\left(\mathsf{\Omega }\right)$ the space of smooth functions with compact supports in $\mathsf{\Omega }$ and values in ${\mathbb{R}}^n$. Let $\mathcal{V}$ be the set $\{v\in C_0^{\infty }\left(\mathsf{\Omega }\right),\mathrm{Div}v=0\}$ and let $V^0$ and $V^1$ be the closures of $\mathcal{V}$ in $L_2\left(\mathsf{\Omega }\right)$ and $W_2^1\left(\mathsf{\Omega }\right)$, respectively. We also use the space $V^2=W_2^2\left(\mathsf{\Omega }\right)\cap V^1.$

We introduce a scale of space $V^{\alpha },$$\alpha \in \mathbb{R}$ (see [26]). To do this, cosider the Leray projection $\pi :L_2\left(\mathsf{\Omega }\right)\to V^0$ and the operator $A=-\pi \Delta$ defined on $V^2$. This operator can be extended to a closed self–adjoint operator in $V^0$ (we denote the extension by the same letter). The extended operator A is positive and has a compact inverse. Let $0<{\lambda }_1⩽{\lambda }_2⩽{\lambda }_3⩽\dots ⩽{\lambda }_k⩽\dots$ be the eigenvalues of $A.$ By Hilbert’s theorem on the spectral decomposition of compact operators, the eigenfunctions $\left\{e_j\right\}$ of A form an orthonormal basis in $V^0$. Put

$$E_{\infty }=\left\{v=\sum _{j=1}^n{v}_j{e}_j:v_j\in \mathbb{R},n\in \mathbb{N}\right\}$$

for the set of finite linear combinations of the vectors $e_j$ and define $V^{\alpha },\alpha \in \mathbb{R},$ by the completion of $E_{\infty }$ with respect to the norm

$${\parallel v\parallel }_{V^{\alpha }}={\left(\sum _{k=1}^{\infty }{\lambda }_k^{\alpha }{\left|v_k\right|}^2\right)}^{1/2}.$$

Note that this norm for $\alpha >-\frac{1}{2}$ is equivalent to the norm of space $W_2^{\alpha }\left(\mathsf{\Omega }\right)$ (see [26]) and in the case of $\alpha$ equals 0,1,3 is equivalent to following norms

$${\parallel v\parallel }_{V^0}=(\underset{\mathsf{\Omega }}{\int }{v}^2\left(x\right)dx{)}^{1/2};{\parallel v\parallel }_{V^1}=(\underset{\mathsf{\Omega }}{\int }(\nabla v\left(x\right)):(\nabla v\left(x\right))dx{)}^{1/2};$$

$${\parallel v\parallel }_{V^3}=\left(\underset{\mathsf{\Omega }}{\int }\right(\Delta \nabla v\left(x\right)):(\Delta \nabla v\left(x\right))dx{)}^{1/2}.$$

By $\langle f,v\rangle$ we denote the value of a functional $f\in V^{-\alpha }$ on a function $v\in V^{\alpha }$. We will need following two functional spaces $E_1$ and $E_2$:

$$E_1=\{v:v\in L_{\infty }(0,T;V^1),v^{\prime }\in L_2(0,T;V^{-1})\}\mathrm{with}\mathrm{norm}$$

$${\parallel v\parallel }_{E_1}={\parallel v\parallel }_{L_{\infty }(0,T;V^1)}+{\parallel v^{\prime }\parallel }_{L_2(0,T;V^{-1})}\mathrm{and}$$

$$E_2=\{v:v\in C([0,T],V^3),v^{\prime }\in L_2(0,T;V^3)\}\mathrm{with}\mathrm{norm}$$

$${\parallel v\parallel }_{E_2}={\parallel v\parallel }_{C([0,T],V^3)}+{\parallel v^{\prime }\parallel }_{L_2(0,T;V^3)}.$$

Weak solutions of the original initial–boundary value problem will be belong to the space $E_1$ and weak solutions of the approximation problem will be belong to the space $E_2$. Now we ready to define weak solutions to the problem (6)–(9). Assume that $f\in L_2(0,T;V^{-1})$ and $v_0\in V^1.$

Definition 1.

A function v from the space $E_1$ is called a weak solution to problem (6)–(9) if for any $\phi \in V^3$ and almost all $t\in (0,T)$ it satisfies the equality

$$\underset{\mathsf{\Omega }}{\int }{\displaystyle \frac{\partial v}{\partial t}}\phi dx-\underset{\mathsf{\Omega }}{\int }\sum _{i,j=1}^n{v}_i{v}_j{\displaystyle \frac{\partial {\phi }_j}{\partial x_i}}dx+2\underset{\mathsf{\Omega }}{\int }\mu \left(I_2\left(v\right)\right)\mathcal{E}\left(v\right):\mathcal{E}\left(\phi \right)dx+\varkappa \underset{\mathsf{\Omega }}{\int }\nabla \left({\displaystyle \frac{\partial v}{\partial t}}\right):\nabla \phi dx-$$

$$-\varkappa \underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k{\displaystyle \frac{\partial v_i}{\partial x_j}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx-\varkappa \underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k{\displaystyle \frac{\partial v_j}{\partial x_i}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx+$$

$$+2\varkappa \underset{\mathsf{\Omega }}{\int }(\mathcal{E}\left(v\right)W_{\rho }\left(v\right)-W_{\rho }\left(v\right)\mathcal{E}\left(v\right)):\nabla \phi dx=\langle f,\phi \rangle$$

and the initial condition $v\left(0\right)=v_0.$

Our main result provides existence of weak solutions.

Theorem 1.

Let $\mathsf{\Omega }\subset {\mathbb{R}}^n$, $n=2,3,$ be bounded domain with smooth boundary. Then for any external force $f\in L_2(0,T;V^{-1})$ and initial condition $v_0\in V^1$ there exists a weak solution of problem (6)–(9).

Proof of this Theorem is based on the topological approximation approach used for studying mathematical problems of hydrodynamics (see [27,28]). First, we introduce a family of auxiliary problems which depend on a small parameter $\epsilon >0$, obtain a priori estimates for solutions, and on the base of the theory of topological degree for maps of the Leray–Schauder type prove the existence of weak solutions to the auxiliary problem. Then, we pass to the limit using appropriate estimates.

3. Approximating Problem

Assume that external force $f\in L_2(0,T;V^{-1})$ and initial condition $v_0\in V^3.$ We consider the following auxiliary problem: find a function $v\in E_2$ satisfies the initial condition $v\left(0\right)=v_0$, such that for any $\phi \in V^3$ and a.a. $t\in (0,T)$ the equality holds

$$\begin{array}{c}\epsilon \underset{\mathsf{\Omega }}{\int }\nabla \left(\Delta \left({\displaystyle \frac{\partial v}{\partial t}}\right)\right):\nabla \left(\Delta \phi \right)dx+\underset{\mathsf{\Omega }}{\int }{\displaystyle \frac{\partial v}{\partial t}}\phi dx-\underset{\mathsf{\Omega }}{\int }\sum _{i,j=1}^n{v}_i{v}_j{\displaystyle \frac{\partial {\phi }_j}{\partial x_i}}dx+\\ +2\underset{\mathsf{\Omega }}{\int }\mu \left(I_2\left(v\right)\right)\mathcal{E}\left(v\right):\mathcal{E}\left(\phi \right)dx+\varkappa \underset{\mathsf{\Omega }}{\int }\nabla \left({\displaystyle \frac{\partial v}{\partial t}}\right):\nabla \phi dx-\varkappa \underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k{\displaystyle \frac{\partial v_i}{\partial x_j}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx-\\ -\varkappa \underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k{\displaystyle \frac{\partial v_j}{\partial x_i}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx+2\varkappa \underset{\mathsf{\Omega }}{\int }(\mathcal{E}\left(v\right)W_{\rho }\left(v\right)-W_{\rho }\left(v\right)\mathcal{E}\left(v\right)):\nabla \phi dx=\langle f,\phi \rangle .\end{array}$$

(10)

Let us first give an operator statement of the problem under consideration. Consider the following operators:

$$J:V^3\to V^{-3},\langle Jv,\phi \rangle =\underset{\mathsf{\Omega }}{\int }v\phi dx,v,\phi \in V^3;$$

$$A:V^1\to V^{-1},\langle Av,\phi \rangle =\underset{\mathsf{\Omega }}{\int }\nabla v:\nabla \phi dx,v,\phi \in V^1;$$

$$B_1:L_4{\left(\mathsf{\Omega }\right)}^n\to V^{-1},\langle B_1\left(v\right),\phi \rangle =\underset{\mathsf{\Omega }}{\int }\sum _{i,j=1}^n{v}_i{v}_j{\displaystyle \frac{\partial {\phi }_j}{\partial x_i}}dx,v\in L_4{\left(\mathsf{\Omega }\right)}^n,\phi \in V^1;$$

$$B_2:V^1\to V^{-3},\langle B_2\left(v\right),\phi \rangle =\underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k{\displaystyle \frac{\partial v_i}{\partial x_j}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx,v\in V^1,\phi \in V^3;$$

$$B_3:V^1\to V^{-3},\langle B_3\left(v\right),\phi \rangle =\underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k{\displaystyle \frac{\partial v_j}{\partial x_i}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx,v\in V^1,\phi \in V^3;$$

$$B_4:V^1\to V^{-3},\langle B_4\left(v\right),\phi \rangle =\underset{\mathsf{\Omega }}{\int }(\mathcal{E}\left(v\right)W_{\rho }\left(v\right)-W_{\rho }\left(v\right)\mathcal{E}\left(v\right)):\nabla \phi dx,v\in V^1,\phi \in V^3;$$

$$N:V^1\to V^{-1},\langle N\left(v\right),\phi \rangle =2\underset{\mathsf{\Omega }}{\int }\mu \left(I_2\left(v\right)\right)\mathcal{E}\left(v\right):\mathcal{E}\left(\phi \right)dx,v,\phi \in V^1;$$

$$D:V^3\to V^{-3},\langle Dv,\phi \rangle =\underset{\mathsf{\Omega }}{\int }\nabla (\Delta v):\nabla (\Delta \phi )dx,v,\phi \in V^3.$$

Since $\phi \in V^3$ is arbitrary in (3), this equality is equivalent to the following operator equation:

$$J{v}^{\prime }+\varkappa A{v}^{\prime }+\epsilon D{v}^{\prime }+N\left(v\right)-B_1\left(v\right)-\varkappa B_2\left(v\right)-\varkappa B_3\left(v\right)+2\varkappa B_4\left(v\right)=f.$$

(11)

Thus a weak solution of the approximating problem is a solution $v\in E_2$ of operator Equation (11) satisfying the initial condition $v\left(0\right)=v_0$.

We also define the following operators:

$$\begin{array}{c}L:E_2\to L_2(0,T;V^{-3})\times V^3,L\left(v\right)=\left((J+\varkappa A+\epsilon D)v^{\prime }{+N\left(v\right),v|}_{t=0}\right);\\ K:E_2\to L_2(0,T;V^{-3})\times V^3,\\ K\left(v\right)=\left(-B_1\left(v\right)-\varkappa B_2\left(v\right)-\varkappa B_3\left(v\right)+2\varkappa B_4\left(v\right),0\right).\end{array}$$

Thus our auxiliary problem can be rewritten in the following way: find a function $v\in E_2$ satisfying the following operator equation:

$$L\left(v\right)+K\left(v\right)=(f,v_0).$$

(12)

Now we need following properties of the operators

Lemma 1.

The function $Av$ belongs to $L_2(0,T;$$V^{-3})$ for any function $v\in E_2$. Also the operator $A:E_2\to L_2(0,T;V^{-3})$ is compact and obeys the estimate:

$${\parallel Av\parallel }_{L_2(0,T;V^{-3})}⩽C_4{\parallel v\parallel }_{C([0,T],V^1)}.$$

Lemma 2.

For any function $v\in L_2(0,T;V^3)$ the function $Dv$ belongs to $L_2(0,T;V^{-3}),$ the operator $D:L_2(0,T;V^3)\to L_2(0,T;V^{-3})$ is continuous and obeys the estimate:

$${\parallel Dv\parallel }_{L_2(0,T;V^{-3})}⩽{\parallel v\parallel }_{L_2(0,T;V^3)}.$$

Lemma 3.

For any function $v\in L_2(0,T;V^3)$ the function $(J+\varkappa A+\epsilon D)v$ belongs to $L_2(0,T;V^{-3})$, the operator $(J+\varkappa A+\epsilon D):L_2(0,T;V^3)\to L_2(0,T;V^{-3})$ is continuous, invertible, and obeys the estimate

$${\epsilon \parallel v\parallel }_{L_2(0,T;V^3)}⩽{\parallel (J+\varkappa A+\epsilon D)v\parallel }_{L_2(0,T;V^{-3})}⩽\left(C_5+\epsilon +\varkappa C_6\right){\parallel v\parallel }_{L_2(0,T;V^3)}.$$

(13)

Moreover, the inverse operator ${(J+\varkappa A+\epsilon D)}^{-1}:L_2(0,T;V^{-3})\to L_2(0,T;V^3)$ is continuous.

Lemma 4.

For any function $v\in L_2(0,T;V^{-1})$ the function $(J+\varkappa A)v$ belongs to $L_2(0,T;V^{-3})$, the operator $(J+\varkappa A):L_2(0,T;V^{-1})\to L_2(0,T;V^{-3})$ is continuous and obeys the estimate:

$$\begin{array}{c}{C}_7{\parallel v\parallel }_{L_2(0,T;V^{-1})}⩽{\parallel (J+\varkappa A)v\parallel }_{L_2(0,T;V^{-3})}.\end{array}$$

(14)

Lemma 5.

For any function $v\in E_2$ the function $B_1\left(v\right)$ belongs to $L_2(0,T;$$V^{-3})$, the mapping $B_1:E_2\to L_2(0,T;V^{-3})$ is compact and obeys the estimate:

$$\parallel B_1{\left(v\right)\parallel }_{L_2(0,T;V^{-3})}⩽C_8{\parallel v\parallel }_{C([0,T],V^1)}^2.$$

(15)

Lemma 6.

For any function $v\in E_2$ the function $B_i\left(v\right)$ belongs to $L_2(0,T;$$V^{-3})$, $B_i:E_2\to L_2(0,T;V^{-3})$, $i=2,3$, is compact and obeys the estimate:

$$\parallel B_i{\left(v\right)\parallel }_{L_2(0,T;V^{-3})}⩽C_9{\parallel v\parallel }_{C([0,T],V^1)}^2.$$

(16)

Proofs of Lemmas 1–6 can be found, for example, in [10].

Lemma 7.

The operator $B_4$ has the following properties:

1. 

The operator $B_4:V^1\to V^{-3}$ is continuous and for any $v\in V^1$ obeys the estimate:

$$\parallel B_4{\left(v\right)\parallel }_{V^{-3}}⩽C_{10}{\parallel v\parallel }_{V^1}^2.$$

(17)

2. 

For any function $v\in L_4(0,T;V^1)$ we have $B_4\left(v\right)\in L_2(0,T;V^{-3})$ and the mapping $B_4:L_4(0,T;V^1)\to L_2(0,T;V^{-3})$ is continuous.

3. 

For any function $v\in E_2$ we have $B_4\left(v\right)\in L_2(0,T;V^{-3})$ and the mapping $B_4:E_2\to L_2(0,T;V^{-3})$ is compact and obeys the estimate:

$$\parallel B_4{\left(v\right)\parallel }_{L_2(0,T;V^{-3})}⩽C_{11}{\parallel v\parallel }_{C([0,T],V^1)}^2.$$

(18)

Proof. 

(1) We start by estimating $\mathcal{E}$ and $W_{\rho }$.

$${\parallel \mathcal{E}\left(v\right)\parallel }_{L_2\left(\mathsf{\Omega }\right)}^2=\sum _{i,j=1}^n{\parallel {\mathcal{E}}_{ij}\left(v\right)\parallel }_{L_2\left(\mathsf{\Omega }\right)}^2⩽C_{12}\sum _{i,j=1}^n\underset{\mathsf{\Omega }}{\int }{({\displaystyle \frac{\partial v_i}{\partial x_j}}+{\displaystyle \frac{\partial v_j}{\partial x_i}})}^{2}dx=$$

$$=C_{12}\sum _{i,j=1}^n\underset{\mathsf{\Omega }}{\int }({\displaystyle \frac{\partial v_i}{\partial x_j}}{\displaystyle \frac{\partial v_i}{\partial x_j}}+2{\displaystyle \frac{\partial v_i}{\partial x_j}}{\displaystyle \frac{\partial v_j}{\partial x_i}}+{\displaystyle \frac{\partial v_j}{\partial x_i}}{\displaystyle \frac{\partial v_j}{\partial x_i}})dx=$$

$$=C_{12}\sum _{i,j=1}^n[\underset{\mathsf{\Omega }}{\int }{\displaystyle \frac{\partial v_i}{\partial x_j}}{\displaystyle \frac{\partial v_i}{\partial x_j}}dx-2\underset{\mathsf{\Omega }}{\int }{v}_i{\displaystyle \frac{{\partial }^2{v}_j}{\partial x_i\partial x_j}}dx+\underset{\mathsf{\Omega }}{\int }{\displaystyle \frac{\partial v_j}{\partial x_i}}{\displaystyle \frac{\partial v_j}{\partial x_i}}dx]=$$

$$=C_{12}[\underset{\mathsf{\Omega }}{\int }\nabla v:\nabla vdx+\underset{\mathsf{\Omega }}{\int }\nabla v:\nabla vdx]⩽2C_{12}{\parallel v\parallel }_{V^1}^2.$$

Therefore, ${\parallel \mathcal{E}\left(v\right)\parallel }_{L_2\left(\mathsf{\Omega }\right)}⩽C_{13}{\parallel v\parallel }_{V^1}$.

$$\begin{array}{c}\parallel {\left(W_{\rho }\right)}_{ij}\left(v\right){\parallel }_{L_2\left(\mathsf{\Omega }\right)}⩽{\parallel {\left(W_{\rho }\right)}_{ij}\left(v\right)\parallel }_{L_{\infty }\left(\mathsf{\Omega }\right)}⩽\\ ⩽\frac{1}{2}\underset{x\in \mathsf{\Omega }}{sup}|\underset{\mathsf{\Omega }}{\int }\rho (x-y)(\frac{\partial v_i(t,y)}{\partial y_j}-\frac{\partial v_j(t,y)}{\partial y_i})dx|⩽\\ ⩽\frac{1}{2}\underset{x\in \mathsf{\Omega }}{sup}|\underset{\mathsf{\Omega }}{\int }-\frac{\partial \rho (x-y)}{\partial y_j}{v}_i(t,y)+\frac{\partial \rho (x-y)}{\partial y_i}{v}_j{(t,y)dx|⩽\parallel grad\rho \parallel }_{L_2\left(\mathsf{\Omega }\right)}{\parallel v\left(t\right)\parallel }_{L_2\left(\mathsf{\Omega }\right)}.\end{array}$$

By definition, for any $v\in V^1,\phi \in V^3$ we have

$$\begin{array}{c}\left|\langle B_4\left(v\right),\phi \rangle \right|=\left|\underset{\mathsf{\Omega }}{\int }(\mathcal{E}\left(v\right)W_{\rho }\left(v\right)-W_{\rho }\left(v\right)\mathcal{E}\left(v\right)):\nabla \phi dx\right|⩽\\ ⩽C_{14}{[\parallel \mathcal{E}\left(v\right)\parallel }_{L_2\left(\mathsf{\Omega }\right)}\parallel W_{\rho }{\left(v\right)\parallel }_{L_2\left(\mathsf{\Omega }\right)}+\parallel W_{\rho }{\left(v\right)\parallel }_{L_2\left(\mathsf{\Omega }\right)}{\parallel \mathcal{E}\left(v\right)\parallel }_{L_2\left(\mathsf{\Omega }\right)}]{\parallel \nabla \phi \parallel }_{C{\left(\mathsf{\Omega }\right)}^n}⩽\\ C_{15}{\parallel v\parallel }_{V^1}^2{\parallel \phi \parallel }_{V^3}.\end{array}$$

This yields the estimate (17).

Now prove that the operator $B_4$ continuous. For any $v^m,v^0\in V^1$ we have:

$$\begin{array}{c}|\langle B_4\left(v^m\right),\phi \rangle -\langle B_4\left(v^0\right),\phi \rangle |=\left|\underset{\mathsf{\Omega }}{\int }\right(\mathcal{E}\left(v^m\right)W_{\rho }\left(v^m\right)-W_{\rho }\left(v^m\right)\mathcal{E}\left(v^m\right)):\nabla \phi dx-\\ -\underset{\mathsf{\Omega }}{\int }(\mathcal{E}\left(v^0\right)W_{\rho }\left(v^0\right)-W_{\rho }\left(v^0\right)\mathcal{E}\left(v^0\right)):\nabla \phi dx|⩽C_{16}|\underset{\mathsf{\Omega }}{\int }\mathcal{E}\left(v^m\right)W_{\rho }\left(v^m\right)-\\ -W_{\rho }\left(v^m\right)\mathcal{E}\left(v^m\right)-\mathcal{E}\left(v^0\right)W_{\rho }\left(v^0\right)+W_{\rho }\left(v^0\right)\mathcal{E}\left(v^0\right)dx|{\parallel \phi \parallel }_{V^3}⩽\\ ⩽C_{16}\left|\underset{\mathsf{\Omega }}{\int }\mathcal{E}\left(v^m\right)\right(W_{\rho }\left(v^m\right)-W_{\rho }\left(v^0\right))+(\mathcal{E}\left(v^m\right)-\mathcal{E}\left(v^0\right))W_{\rho }\left(v^0\right)-\\ -W_{\rho }\left(v^m\right)(\mathcal{E}\left(v^m\right)-\mathcal{E}\left(v^0\right))-(W_{\rho }\left(v^m\right)-W_{\rho }\left(v^0\right))\mathcal{E}\left(v^0\right)dx|{\parallel \phi \parallel }_{V^3}⩽\\ ⩽C_{16}[\parallel \mathcal{E}\left(v^m\right){\parallel }_{L_2\left(\mathsf{\Omega }\right)}\parallel W_{\rho }(v^m-v^0){\parallel }_{L_2\left(\mathsf{\Omega }\right)}+{\parallel \mathcal{E}(v^m-v^0)\parallel }_{L_2\left(\mathsf{\Omega }\right)}\times \\ \times \parallel W_{\rho }\left(v^0\right){\parallel }_{L_2\left(\mathsf{\Omega }\right)}+\parallel W_{\rho }\left(v^m\right){\parallel }_{L_2\left(\mathsf{\Omega }\right)}\parallel \mathcal{E}(v^m-v^0){\parallel }_{L_2\left(\mathsf{\Omega }\right)}+{\parallel W_{\rho }(v^m-v^0)\parallel }_{L_2\left(\mathsf{\Omega }\right)}\times \\ \times \parallel \mathcal{E}\left(v^0\right){\parallel }_{L_2\left(\mathsf{\Omega }\right)}{]\parallel \phi \parallel }_{V^3}⩽C_{17}[\parallel v^m{\parallel }_{V^1}\parallel v^m-v^0{\parallel }_{V^1}+\parallel v^m-v^0{\parallel }_{V^1}{\parallel v^0\parallel }_{V^1}+\\ +\parallel v^m{\parallel }_{V^1}\parallel v^m-v^0{\parallel }_{V^1}+\parallel v^m-v^0{\parallel }_{V^1}\parallel v^0{\parallel }_{V^1}]{\parallel \phi \parallel }_{V^3}⩽\\ ⩽C_{18}(\parallel v^m{\parallel }_{V^1}+\parallel v^0{\parallel }_{V^1})\parallel v^m-v^0{\parallel }_{V^1}{\parallel \phi \parallel }_{V^3}.\end{array}$$

Thus we get

$${∥B_4\left(v^m\right)-B_4\left(v^0\right)∥}_{V^{-3}}⩽C_{18}\left({∥v^m∥}_{V^1}+{∥v^0∥}_{V^1}\right){∥v^m-v^0∥}_{V^1}.$$

(19)

Let the sequence $\left\{v^m\right\}\subset V^1$ converge to some limiting function $v^0\in V^1.$ Then the continuity of the mapping $B_4:V^1\to V^{-3}$ follows from the previous inequality.

(2) Let $v\in L_4(0,T;V^1).$ Then from (17) for almost all $t\in (0,T)$ we get the estimate

$$\parallel B_4{\left(v\right)\left(t\right)\parallel }_{V^{-3}}⩽C_{10}{\parallel v\left(t\right)\parallel }_{V^1}^2.$$

Squaring this estimate and integrating with respect to t from 0 to T, we get

$$\underset{0}{\overset{T}{\int }}\parallel B_4{\left(v\right)\left(t\right)\parallel }_{V^{-3}}^{2}dt⩽C_{10}^2\underset{0}{\overset{T}{\int }}{\parallel v\left(t\right)\parallel }_{V^1}^{4}dt=C_{10}^2{\parallel v\parallel }_{L_4(0,T;V^1)}^4.$$

This yields $B_4\left(v\right)\in L_2(0,T;V^{-3}).$

Now prove that the continuity of the mapping $B_4:L_4(0,T;V^1)\to L_2(0,T;$$V^{-3}).$

Let the sequence $\left\{v^m\right\}\subset L_4(0,T;V^1)$ converge to some limit $v^0\in L_4(0,T;$$V^1).$ Square the inequality (19) and integrate with respect to t from 0 to $T.$ Using the Hölder inequality, we obtain

$$\begin{array}{c}{∥B_4\left(v^m\right)-B_4\left(v^0\right)∥}_{L_2(0,T;V^{-3})}⩽C_{18}^2{\parallel v^m-v^0\parallel }_{L_4(0,T;V^1)}\times \hfill \\ \hfill \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\times {\left(\sum _{i=0}^4\frac{4!}{i!(4-i)!}{∥v^m∥}_{L_4(0,T;V^1)}^i{∥v^0∥}_{L_4(0,T;V^1)}^{4-i}\right)}^{\frac{1}{4}}.\end{array}$$

We get that the left–hand side tends to zero. So we prove that $B_4:L_4(0,T;V^1)\to L_2(0,T;V^{-3})$ is continuous.

(3) Finally, to prove (3) part we use the following Theorem

Theorem 2

(Simon, [29]).  Let $X\subset E\subset Y$ be Banach spaces, the embedding $X\subset E$ be compact, and the embedding $E\subset Y$ be continuous. Let $F\subset L_p(0,T;X),1⩽p⩽\infty .$ Suppose that for any $f\in F$ its generalized derivative in the space $D^{\prime }(0,T;Y)$ belongs to $L_r(0,T;Y),1⩽r⩽\infty .$ Then, let

1. 

the set F be bounded in $L_p(0,T;X),$

2. 

the set $\{f^{\prime }:f\in F\}$ be bounded in $L_r(0,T;Y).$

Then the set F is relatively compact in $L_p(0,T;E)$ for $p<\infty$, and the set F is relatively compact in $C\left(\right[0,T],E)$ for $p=\infty$ and $r>1$.

In our case let

$$\begin{array}{c}X=V^3,E=V^1,Y=V^0,\\ F=\{v:v\in L_4(0,T;V^3);v^{\prime }\in L_2(0,T;V^0)\}.\end{array}$$

We have the compact embedding $V^3\subset V^1$. So why F is embedded into $L_4(0,T;V^1)$ compactly. Also we have

$$C([0,T],V^3)\subset L_4(0,T;V^3),L_2(0,T;V^3)\subset L_2(0,T;V^0).$$

that gives us that $E_2\subset F$. Finally, we have

$$E_2\subset F\subset L_4(0,T;V^1)\stackrel{B_4}{\to }{L}_2(0,T;V^{-3}).$$

Here the first embedding is continuous, the second embedding is compact and the mapping $B_4$ is continuous. Thus, for any function $v\in E_2$ we see that the function $B_4\left(v\right)\in L_2(0,T;V^{-3}),$ and the mapping $B_4:E_2\to L_2(0,T;V^{-3})$ is compact.

Now prove the estimate (18). By (17), the estimate

$$\parallel B_4{\left(v\right)\left(t\right)\parallel }_{V^{-3}}⩽C_{10}{\parallel v\left(t\right)\parallel }_{V^1}^2.$$

holds for all $t\in [0,T]$. Squaring it and integrating with respect to t from 0 to T, we get

$$\underset{0}{\overset{T}{\int }}\parallel B_4{\left(v\right)\left(t\right)\parallel }_{V^{-3}}^{2}dt⩽C_{10}^2\underset{0}{\overset{T}{\int }}{\parallel v\left(t\right)\parallel }_{V^1}^{4}dt⩽C_{10}^{2}T{\parallel v\parallel }_{C([0,T],V^1)}^4.$$

This yields the required estimate (18). □

Lemma 8.

If the function μ satisfies conditions $\left({\mu }_1\right)-\left({\mu }_3\right)$ for any function v from $C([0,T],V^3)$ the function $N\left(v\right)$ belongs to $L_2(0,T;V^{-3})$. The map $N:C([0,T],V^3)\to L_2(0,T;V^{-3})$ is bounded, continuous, monotone and the following inequality holds:

$$\langle N\left(v\right),v\rangle \le C_{19}{\parallel v\parallel }_{C([0,T],V^3)}^4-C_{20},$$

(20)

with constants $C_{19}$ and $C_{20}$ independent of v.

The proof of this Lemma can be found in [30].

Lemma 9.

The operators L and K have the following properties

1. 

The operator $L:E_2\to L_2(0,T;V^{-3})\times V^3$ is invertible and the inverse operator is continuous.

2. 

The operator $K:E_2\to L_2(0,T;V^{-3})\times V^3$ is compact.

Proof. 

(1) To prove that the operator L is invertible it is sufficient to use Theorem 1.1 from [31] (Chapter 4). Since $N:V^1\to V^{-1}$ is continuous and monotone then all conditions of this Theorem 1.1 are hold. Applying this Theorem 1.1 shows that for each $(f,v_0)$ there exists solution $v\in L_2(0,T;V^3)$ and, hence, $v\in E_2$. Thus, the operator L is inverse.

(2) The complete continuity of the operator

$$\begin{array}{c}K:E_2\to L_2(0,T;V^{-3})\times V^3,\\ K\left(v\right)=\left(-B_1\left(v\right)-\varkappa B_2\left(v\right)-\varkappa B_3\left(v\right)+2\varkappa B_4\left(v\right),0\right)\end{array}$$

follows from the compactness of the operators $A:E_2\to L_2(0,T;V^{-3})$ Lemma 1; $B_1:E_2\to L_2(0,T;V^{-3})$ Lemma 5; $B_2:E_2\to L_2(0,T;V^{-3})$ Lemma 6; $B_3:E_2\to L_2(0,T;V^{-3})$ Lemma 6; $B_4:E_2\to L_2(0,T;V^{-3})$ Lemma 7. □

4. A Priori Estimate

Along with Equation (12) consider the following family of operator equations:

$$L\left(v\right)+\lambda K\left(v\right)=\lambda (f,v_0),\lambda \in [0,1],$$

(21)

which coincides with the Equation (12) for $\lambda =1.$

Theorem 3.

If $v\in E_2$ is a solution of operator Equation (21) for some $\lambda \in [0,1],$ then the following estimate holds:

$$\begin{array}{c}{\epsilon \parallel v\parallel }_{C([0,T],V^3)}^2⩽C_{21}+2\epsilon {\parallel v_0\parallel }_{V^3}^2,\end{array}$$

(22)

$$\begin{array}{c}{\varkappa \parallel v\parallel }_{C([0,T],V^1)}^2⩽C_{21}+2\epsilon {\parallel v_0\parallel }_{V^3}^2,\end{array}$$

(23)

where

$$C_{21}={\displaystyle \frac{4T}{\varkappa }}{\parallel f\parallel }_{L_2(0,T;V^{-1})}^2+2\parallel v_0{\parallel }_{V^0}^2+2\varkappa {\parallel v_0\parallel }_{V^1}^2.$$

Proof. 

Let $v\in E_2$ be a solution of (21). Then for any $\phi \in V^3$ and almost all $t\in (0,T)$ the following equation holds:

$$\begin{array}{c}\underset{\mathsf{\Omega }}{\int }{v}^{\prime }\left(t\right)\phi dx-\lambda \underset{\mathsf{\Omega }}{\int }\sum _{i,j=1}^n{v}_i\left(t\right)v_j\left(t\right){\displaystyle \frac{\partial {\phi }_j}{\partial x_i}}dx+2\lambda \underset{\mathsf{\Omega }}{\int }\mu \left(I_2\left(v\left(t\right)\right)\right)\mathcal{E}\left(v\left(t\right)\right):\mathcal{E}\left(\phi \right)dx+\\ +\epsilon \underset{\mathsf{\Omega }}{\int }\nabla \left(\Delta v^{\prime }\left(t\right)\right):\nabla \left(\Delta \phi \right)dx+\varkappa \underset{\mathsf{\Omega }}{\int }\nabla \left(v^{\prime }\left(t\right)\right):\nabla \phi dx-\\ -\lambda \varkappa \underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k\left(t\right){\displaystyle \frac{\partial v_i\left(t\right)}{\partial x_j}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx-\lambda \varkappa \underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k\left(t\right){\displaystyle \frac{\partial v_j\left(t\right)}{\partial x_i}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx+\\ +2\lambda \varkappa \underset{\mathsf{\Omega }}{\int }(\mathcal{E}\left(v\right)W_{\rho }\left(v\right)-W_{\rho }\left(v\right)\mathcal{E}\left(v\right)):\nabla \phi dx=\lambda \langle f\left(t\right),\phi \rangle \end{array}$$

(24)

Note that

$$\underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k\left(t\right){\displaystyle \frac{\partial v_i\left(t\right)}{\partial x_j}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx+\underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k\left(t\right){\displaystyle \frac{\partial v_j\left(t\right)}{\partial x_i}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx=$$

$$=2\underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k\left(t\right){\mathcal{E}}_{ij}\left(v\right)\left(t\right){\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx=-2\underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k\left(t\right){\displaystyle \frac{\partial {\mathcal{E}}_{ij}\left(v\right)\left(t\right)}{\partial x_k}}{\displaystyle \frac{\partial {\phi }_j}{\partial x_i}}dx-$$

$$-2\underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{\displaystyle \frac{\partial v_k\left(t\right)}{\partial x_k}}{\mathcal{E}}_{ij}\left(v\right)\left(t\right){\displaystyle \frac{\partial {\phi }_j}{\partial x_i}}dx=-2\underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k\left(t\right){\displaystyle \frac{\partial {\mathcal{E}}_{ij}\left(v\right)\left(t\right)}{\partial x_k}}{\displaystyle \frac{\partial {\phi }_j}{\partial x_i}}dx-$$

$$-2\underset{\mathsf{\Omega }}{\int }\mathrm{div}v\left(t\right)\sum _{i,j=1}^n{\mathcal{E}}_{ij}\left(v\right)\left(t\right){\displaystyle \frac{\partial {\phi }_j}{\partial x_i}}dx=-2\underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k\left(t\right){\displaystyle \frac{\partial {\mathcal{E}}_{ij}\left(v\right)\left(t\right)}{\partial x_k}}{\displaystyle \frac{\partial {\phi }_j}{\partial x_i}}dx.$$

Then (24) can be rewritten in the form

$$\underset{\mathsf{\Omega }}{\int }{v}^{\prime }\left(t\right)\phi dx-\lambda \underset{\mathsf{\Omega }}{\int }\sum _{i,j=1}^n{v}_i\left(t\right)v_j\left(t\right){\displaystyle \frac{\partial {\phi }_j}{\partial x_i}}dx+2\lambda \underset{\mathsf{\Omega }}{\int }\mu \left(I_2\left(v\left(t\right)\right)\right)\mathcal{E}\left(v\left(t\right)\right):\mathcal{E}\left(\phi \right)dx+$$

$$+\epsilon \underset{\mathsf{\Omega }}{\int }\nabla \left(\Delta v^{\prime }\left(t\right)\right):\nabla \left(\Delta \phi \right)dx+\varkappa \underset{\mathsf{\Omega }}{\int }\nabla \left(v^{\prime }\left(t\right)\right):\nabla \phi dx+$$

$$+2\lambda \varkappa \underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k\left(t\right){\displaystyle \frac{\partial {\mathcal{E}}_{ij}\left(v\right)\left(t\right)}{\partial x_k}}{\displaystyle \frac{\partial {\phi }_j}{\partial x_i}}dx+2\lambda \varkappa \underset{\mathsf{\Omega }}{\int }(\mathcal{E}\left(v\right)W_{\rho }\left(v\right)-W_{\rho }\left(v\right)\mathcal{E}\left(v\right)):\nabla \phi dx=$$

$$=\lambda \langle f\left(t\right),\phi \rangle .$$

Since the last equation holds for all $\phi \in V^3,$ it holds for $\phi =v$ as well:

$$\begin{array}{c}\underset{\mathsf{\Omega }}{\int }{v}^{\prime }\left(t\right)v\left(t\right)dx-\lambda \underset{\mathsf{\Omega }}{\int }\sum _{i,j=1}^n{v}_i\left(t\right)v_j\left(t\right){\displaystyle \frac{\partial v_j\left(t\right)}{\partial x_i}}dx+2\lambda \underset{\mathsf{\Omega }}{\int }\mu \left(I_2\left(v\left(t\right)\right)\right)\mathcal{E}\left(v\left(t\right)\right):\mathcal{E}\left(v\left(t\right)\right)dx+\\ +\epsilon \underset{\mathsf{\Omega }}{\int }\nabla \left(\Delta v^{\prime }\left(t\right)\right):\nabla \left(\Delta v\left(t\right)\right)dx+\varkappa \underset{\mathsf{\Omega }}{\int }\nabla \left(v^{\prime }\left(t\right)\right):\nabla v\left(t\right)dx+\\ +2\lambda \varkappa \underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k\left(t\right){\displaystyle \frac{\partial {\mathcal{E}}_{ij}\left(v\right)\left(t\right)}{\partial x_k}}{\displaystyle \frac{\partial v_j\left(t\right)}{\partial x_i}}dx+\\ +2\lambda \varkappa \underset{\mathsf{\Omega }}{\int }(\mathcal{E}\left(v\right)W_{\rho }\left(v\right)-W_{\rho }\left(v\right)\mathcal{E}\left(v\right)):\nabla vdx=\lambda \langle f\left(t\right),v\rangle .\end{array}$$

(25)

We reduce the terms on the left-hand side of the Equation (25) in the following way:

$$\underset{\mathsf{\Omega }}{\int }{v}^{\prime }\left(t\right)v\left(t\right)dx={\displaystyle \frac{1}{2}}\underset{\mathsf{\Omega }}{\int }{\displaystyle \frac{\partial \left(v\left(t\right)v\left(t\right)\right)}{\partial t}}dx={\displaystyle \frac{1}{2}}{\displaystyle \frac{d}{dt}}\underset{\mathsf{\Omega }}{\int }v\left(t\right)v\left(t\right)dx={\displaystyle \frac{1}{2}}{\displaystyle \frac{d}{dt}}{\parallel v\left(t\right)\parallel }_{V^0}^2;$$

$$\langle N\left(v\right),v\left(t\right)\rangle =2\underset{\mathsf{\Omega }}{\int }\mu \left(I_2\left(v\right)\right)\mathcal{E}\left(v\right):\mathcal{E}\left(v\right)dx\ge C_{22}\underset{\mathsf{\Omega }}{\int }\mathcal{E}\left(v\right):\mathcal{E}\left(v\right)dx\ge C_{22}{\parallel v\parallel }_{V^1}^2;$$

$$\epsilon \underset{\mathsf{\Omega }}{\int }\nabla \left(\Delta v^{\prime }\left(t\right)\right):\nabla \left(\Delta v\left(t\right)\right)dx={\displaystyle \frac{\epsilon }{2}}\underset{\mathsf{\Omega }}{\int }{\displaystyle \frac{\partial }{\partial t}}(\nabla (\Delta v\left(t\right)):\nabla \left(\Delta v\left(t\right)\right))dx=$$

$$={\displaystyle \frac{\epsilon }{2}}{\displaystyle \frac{d}{dt}}\underset{\mathsf{\Omega }}{\int }\nabla (\Delta v\left(t\right)):\nabla \left(\Delta v\left(t\right)\right)dx={\displaystyle \frac{\epsilon }{2}}{\displaystyle \frac{d}{dt}}{\parallel v\left(t\right)\parallel }_{V^3}^2;$$

$$\varkappa \underset{\mathsf{\Omega }}{\int }\nabla \left(v^{\prime }\left(t\right)\right):\nabla v\left(t\right)dx={\displaystyle \frac{\varkappa }{2}}\underset{\mathsf{\Omega }}{\int }{\displaystyle \frac{\partial }{\partial t}}(\nabla v\left(t\right):\nabla v\left(t\right))dx={\displaystyle \frac{\varkappa }{2}}{\displaystyle \frac{d}{dt}}{\parallel v\left(t\right)\parallel }_{V^1}^2;$$

$$\underset{\mathsf{\Omega }}{\int }\sum _{i,j=1}^n{v}_i\left(t\right)v_j\left(t\right){\displaystyle \frac{\partial v_j\left(t\right)}{\partial x_i}}dx={\displaystyle \frac{1}{2}}\underset{\mathsf{\Omega }}{\int }\sum _{i,j=1}^n{v}_i\left(t\right){\displaystyle \frac{\partial \left(v_j\left(t\right)v_j\left(t\right)\right)}{\partial x_i}}dx=$$

$$=-{\displaystyle \frac{1}{2}}\underset{\mathsf{\Omega }}{\int }\sum _{i,j=1}^n{\displaystyle \frac{\partial v_i\left(t\right)}{\partial x_i}}{v}_j\left(t\right)v_j\left(t\right)dx=-{\displaystyle \frac{1}{2}}\underset{\mathsf{\Omega }}{\int }\mathrm{div}v\left(t\right)\sum _{j=1}^n{v}_j\left(t\right)v_j\left(t\right)dx=0;$$

$$\underset{\mathsf{\Omega }}{\int }(\mathcal{E}\left(v\right)W_{\rho }\left(v\right)-W_{\rho }\left(v\right)\mathcal{E}\left(v\right)):\nabla vdx={\displaystyle \frac{1}{2}}\underset{\mathsf{\Omega }}{\int }(\mathcal{E}\left(v\right)W_{\rho }\left(v\right)-W_{\rho }\left(v\right)\mathcal{E}\left(v\right)):$$

$$:(\mathcal{E}\left(v\right)+W\left(v\right))dx={\displaystyle \frac{1}{2}}\underset{\mathsf{\Omega }}{\int }(\mathcal{E}\left(v\right)W_{\rho }\left(v\right)-W_{\rho }\left(v\right)\mathcal{E}\left(v\right)):\mathcal{E}\left(v\right)dx+$$

$$+{\displaystyle \frac{1}{2}}\underset{\mathsf{\Omega }}{\int }(\mathcal{E}\left(v\right)W_{\rho }\left(v\right)-W_{\rho }\left(v\right)\mathcal{E}\left(v\right)):W\left(v\right)dx={\displaystyle \frac{1}{2}}\sum _{i,j,k=1}^n\underset{\mathsf{\Omega }}{\int }({\mathcal{E}}_{ij}{\left(W_{\rho }\right)}_{jk}{\mathcal{E}}_{ik}-$$

$$-{\left(W_{\rho }\right)}_{jk}{\mathcal{E}}_{ki}{\mathcal{E}}_{ji})dx+{\displaystyle \frac{1}{2}}\sum _{i,j,k=1}^n\underset{\mathsf{\Omega }}{\int }({\mathcal{E}}_{ij}{\left(W_{\rho }\right)}_{jk}{W}_{ik}-{\left(W_{\rho }\right)}_{kj}{\mathcal{E}}_{ji}{W}_{ki})dx=$$

$$={\displaystyle \frac{1}{2}}\sum _{i,j,k=1}^n\underset{\mathsf{\Omega }}{\int }{\mathcal{E}}_{ij}{\left(W_{\rho }\right)}_{jk}{\mathcal{E}}_{ik}-{\mathcal{E}}_{ij}{\left(W_{\rho }\right)}_{jk}{\mathcal{E}}_{ik}dx+{\displaystyle \frac{1}{2}}\sum _{i,j,k=1}^n\underset{\mathsf{\Omega }}{\int }{\mathcal{E}}_{ij}{\left(W_{\rho }\right)}_{jk}{W}_{ik}-$$

$$-{\mathcal{E}}_{ij}{\left(W_{\rho }\right)}_{jk}{W}_{ik}dx=0;$$

$$2\underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k\left(t\right){\displaystyle \frac{\partial {\mathcal{E}}_{ij}\left(v\right)\left(t\right)}{\partial x_k}}{\displaystyle \frac{\partial v_j\left(t\right)}{\partial x_i}}dx=\underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k\left(t\right){\displaystyle \frac{\partial {\mathcal{E}}_{ij}\left(v\right)\left(t\right)}{\partial x_k}}{\displaystyle \frac{\partial v_j\left(t\right)}{\partial x_i}}dx+$$

$$+\underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k\left(t\right){\displaystyle \frac{\partial {\mathcal{E}}_{ij}\left(v\right)\left(t\right)}{\partial x_k}}{\displaystyle \frac{\partial v_i\left(t\right)}{\partial x_j}}dx=2\underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k\left(t\right){\displaystyle \frac{\partial {\mathcal{E}}_{ij}\left(v\right)\left(t\right)}{\partial x_k}}{\mathcal{E}}_{ij}\left(v\right)\left(t\right)dx=$$

$$=\underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k\left(t\right){\displaystyle \frac{\partial \left({\mathcal{E}}_{ij}\left(v\right)\left(t\right){\mathcal{E}}_{ij}\left(v\right)\left(t\right)\right)}{\partial x_k}}dx=-\underset{\mathsf{\Omega }}{\int }\sum _{k=1}^n{\displaystyle \frac{\partial v_k\left(t\right)}{\partial x_k}}\sum _{i,j=1}^n{\mathcal{E}}_{ij}\left(v\right)\left(t\right)\times {\mathcal{E}}_{ij}\left(v\right)\left(t\right)dx=$$

$$=-\underset{\mathsf{\Omega }}{\int }\mathrm{div}v\left(t\right)\sum _{i,j=1}^n{\mathcal{E}}_{ij}\left(v\right)\left(t\right){\mathcal{E}}_{ij}\left(v\right)\left(t\right)dx=0.$$

Here we take into account that the strain-rate tensor $\mathcal{E}\left(v\right)$ is symmetric and tensors $W_{\rho }\left(v\right)$ and $W\left(v\right)$ are skew-symmetric. Hence the Equation (25) can be rewritten in the following form:

$${\displaystyle \frac{1}{2}}{\displaystyle \frac{d}{dt}}{\parallel v\left(t\right)\parallel }_{V^0}^2+{\displaystyle \frac{\epsilon }{2}}{\displaystyle \frac{d}{dt}}{\parallel v\left(t\right)\parallel }_{V^3}^2+{\displaystyle \frac{\varkappa }{2}}{\displaystyle \frac{d}{dt}}{\parallel v\left(t\right)\parallel }_{V^1}^2+\lambda C_{22}{\parallel v\left(t\right)\parallel }_{V^1}^2\le \lambda \langle f\left(t\right),v\left(t\right)\rangle .$$

Estimating of the right-hand side of the last equation from above as follows

$$\lambda \langle f\left(t\right),v\left(t\right)\rangle ⩽\lambda \left|\langle f\left(t\right),v\left(t\right)\rangle \right|⩽{\lambda \parallel f\left(t\right)\parallel }_{V^{-1}}{\parallel v\left(t\right)\parallel }_{V^1}⩽{\parallel f\left(t\right)\parallel }_{V^{-1}}{\parallel v\left(t\right)\parallel }_{V^1},$$

and the left-hand side from below as follows

$${\displaystyle \frac{1}{2}}{\displaystyle \frac{d}{dt}}{\parallel v\left(t\right)\parallel }_{V^0}^2+{\displaystyle \frac{\epsilon }{2}}{\displaystyle \frac{d}{dt}}{\parallel v\left(t\right)\parallel }_{V^3}^2+{\displaystyle \frac{\varkappa }{2}}{\displaystyle \frac{d}{dt}}{\parallel v\left(t\right)\parallel }_{V^1}^2⩽$$

$$⩽{\displaystyle \frac{1}{2}}{\displaystyle \frac{d}{dt}}{\parallel v\left(t\right)\parallel }_{V^0}^2+{\displaystyle \frac{\epsilon }{2}}{\displaystyle \frac{d}{dt}}{\parallel v\left(t\right)\parallel }_{V^3}^2+{\displaystyle \frac{\varkappa }{2}}{\displaystyle \frac{d}{dt}}{\parallel v\left(t\right)\parallel }_{V^1}^2+\lambda C_{22}{\parallel v\left(t\right)\parallel }_{V^1}^2,$$

we see that

$${\displaystyle \frac{1}{2}}{\displaystyle \frac{d}{dt}}{\parallel v\left(t\right)\parallel }_{V^0}^2+{\displaystyle \frac{\epsilon }{2}}{\displaystyle \frac{d}{dt}}{\parallel v\left(t\right)\parallel }_{V^3}^2+{\displaystyle \frac{\varkappa }{2}}{\displaystyle \frac{d}{dt}}{\parallel v\left(t\right)\parallel }_{V^1}^2⩽{\parallel f\left(t\right)\parallel }_{V^{-1}}{\parallel v\left(t\right)\parallel }_{V^1}.$$

Integrating the last inequality with respect to t from 0 to $\tau ,$ where $\tau \in [0,T],$ we obtain

$${\displaystyle \frac{1}{2}}{\parallel v\left(\tau \right)\parallel }_{V^0}^2-{\displaystyle \frac{1}{2}}\parallel v_0{\parallel }_{V^0}^2+{\displaystyle \frac{\epsilon }{2}}{\parallel v\left(\tau \right)\parallel }_{V^3}^2-{\displaystyle \frac{\epsilon }{2}}\parallel v_0{\parallel }_{V^3}^2+{\displaystyle \frac{\varkappa }{2}}{\parallel v\left(\tau \right)\parallel }_{V^1}^2-$$

$$-{\displaystyle \frac{{\varkappa }^2}{2}}\parallel v_0{\parallel }_{V^1}^2⩽\underset{0}{\overset{\tau }{\int }}{\parallel f\left(t\right)\parallel }_{V^{-1}}{\parallel v\left(t\right)\parallel }_{V^1}dt.$$

The right-hand side of the last inequality can be estimated in the following way:

$$\underset{0}{\overset{\tau }{\int }}{\parallel f\left(t\right)\parallel }_{V^{-1}}{\parallel v\left(t\right)\parallel }_{V^1}dt⩽\underset{t\in [0,\tau ]}{max}{\parallel v\left(t\right)\parallel }_{V^1}\underset{0}{\overset{\tau }{\int }}{\parallel f\left(t\right)\parallel }_{V^{-1}}dt⩽$$

$$⩽\underset{t\in [0,T]}{max}{\parallel v\left(t\right)\parallel }_{V^1}\underset{0}{\overset{T}{\int }}{\parallel f\left(t\right)\parallel }_{V^{-1}}dt⩽\sqrt{T}\underset{t\in [0,T]}{max}{\parallel v\left(t\right)\parallel }_{V^1}{\left(\underset{0}{\overset{T}{\int }}{\parallel f\left(t\right)\parallel }_{V^{-1}}^{2}dt\right)}^{\frac{1}{2}}=$$

$$=\sqrt{T}{\parallel v\parallel }_{C([0,T],V^1)}{\parallel f\parallel }_{L_2(0,T;V^{-1})}⩽{\displaystyle \frac{\varkappa }{4}}{\parallel v\parallel }_{C([0,T],V^1)}^2+{\displaystyle \frac{T}{\varkappa }}{\parallel f\parallel }_{L_2(0,T;V^{-1})}^2.$$

Here we used the Hölder inequality and the Cauchy inequality:

$$bc⩽{\displaystyle \frac{\delta b^2}{2}}+{\displaystyle \frac{c^2}{2\delta }}$$

for $\delta =\frac{\varkappa }{2}.$ Thus, we get

$$\begin{array}{c}{\displaystyle \frac{1}{2}}{\parallel v\left(\tau \right)\parallel }_{V^0}^2+{\displaystyle \frac{\epsilon }{2}}{\parallel v\left(\tau \right)\parallel }_{V^3}^2+{\displaystyle \frac{\varkappa }{2}}{\parallel v\left(\tau \right)\parallel }_{V^1}^2⩽\\ ⩽{\displaystyle \frac{T}{\varkappa }}{\parallel f\parallel }_{L_2(0,T;V^{-1})}^2+{\displaystyle \frac{\varkappa }{4}}{\parallel v\parallel }_{C([0,T],V^1)}^2+{\displaystyle \frac{1}{2}}\parallel v_0{\parallel }_{V^0}^2+{\displaystyle \frac{\epsilon }{2}}\parallel v_0{\parallel }_{V^3}^2+{\displaystyle \frac{\varkappa }{2}}{\parallel v_0\parallel }_{V^1}^2.\end{array}$$

Taking into account that ${\displaystyle \frac{1}{2}}{\parallel v\left(\tau \right)\parallel }_{V^0}^2⩾0,$ we have

$$\begin{array}{c}{\displaystyle \frac{\epsilon }{2}}{\parallel v\left(\tau \right)\parallel }_{V^3}^2+{\displaystyle \frac{\varkappa }{2}}{\parallel v\left(\tau \right)\parallel }_{V^1}^2⩽\\ ⩽{\displaystyle \frac{T}{\varkappa }}{\parallel f\parallel }_{L_2(0,T;V^{-1})}^2+{\displaystyle \frac{\varkappa }{4}}{\parallel v\parallel }_{C([0,T],V^1)}^2+{\displaystyle \frac{1}{2}}\parallel v_0{\parallel }_{V^0}^2+{\displaystyle \frac{\epsilon }{2}}\parallel v_0{\parallel }_{V^3}^2+{\displaystyle \frac{\varkappa }{2}}{\parallel v_0\parallel }_{V^1}^2.\end{array}$$

Hence, since ${\parallel v\left(\tau \right)\parallel }_{V^3}^2$ and ${\parallel v\left(\tau \right)\parallel }_{V^1}^2$ are positive we get the estimates

$$\begin{array}{c}{\displaystyle \frac{\epsilon }{2}}{\parallel v\left(\tau \right)\parallel }_{V^3}^2⩽{\displaystyle \frac{T}{\varkappa }}{\parallel f\parallel }_{L_2(0,T;V^{-1})}^2+{\displaystyle \frac{\varkappa }{4}}{\parallel v\parallel }_{C([0,T],V^1)}^2+{\displaystyle \frac{1}{2}}\parallel v_0{\parallel }_{V^0}^2+{\displaystyle \frac{\epsilon }{2}}\parallel v_0{\parallel }_{V^3}^2+{\displaystyle \frac{\varkappa }{2}}{\parallel v_0\parallel }_{V^1}^2;\\ {\displaystyle \frac{\varkappa }{2}}{\parallel v\left(\tau \right)\parallel }_{V^1}^2⩽{\displaystyle \frac{T}{\varkappa }}{\parallel f\parallel }_{L_2(0,T;V^{-1})}^2+{\displaystyle \frac{\varkappa }{4}}{\parallel v\parallel }_{C([0,T],V^1)}^2+{\displaystyle \frac{1}{2}}\parallel v_0{\parallel }_{V^0}^2+{\displaystyle \frac{\epsilon }{2}}\parallel v_0{\parallel }_{V^3}^2+{\displaystyle \frac{\varkappa }{2}}{\parallel v_0\parallel }_{V^1}^2.\end{array}$$

The right-hand side of the last two inequalities does not depend on $\tau .$ Therefore, we can take the maximum with respect to $\tau \in [0,T]$ on the left-hand side:

$$\begin{array}{c}{\displaystyle \frac{\epsilon }{2}}{\parallel v\parallel }_{C([0,T],V^3)}^2⩽{\displaystyle \frac{T}{\varkappa }}{\parallel f\parallel }_{L_2(0,T;V^{-1})}^2+{\displaystyle \frac{\varkappa }{4}}{\parallel v\parallel }_{C([0,T],V^1)}^2+{\displaystyle \frac{1}{2}}\parallel v_0{\parallel }_{V^0}^2+{\displaystyle \frac{\epsilon }{2}}\parallel v_0{\parallel }_{V^3}^2+{\displaystyle \frac{\varkappa }{2}}{\parallel v_0\parallel }_{V^1}^2;\\ {\displaystyle \frac{\varkappa }{2}}{\parallel v\parallel }_{C([0,T],V^1)}^2⩽{\displaystyle \frac{T}{\varkappa }}{\parallel f\parallel }_{L_2(0,T;V^{-1})}^2+{\displaystyle \frac{\varkappa }{4}}{\parallel v\parallel }_{C([0,T],V^1)}^2+{\displaystyle \frac{1}{2}}\parallel v_0{\parallel }_{V^0}^2+{\displaystyle \frac{\epsilon }{2}}\parallel v_0{\parallel }_{V^3}^2+{\displaystyle \frac{\varkappa }{2}}{\parallel v_0\parallel }_{V^1}^2.\end{array}$$

This proves (22) and (23). □

Theorem 4.

If $v\in E_2$ is a solution of operator Equation (21) for some $\lambda \in [0,1],$ it satisfies the following estimates:

$$\epsilon \parallel v^{\prime }{\parallel }_{L_2(0,T;V^3)}⩽C_{23},$$

(26)

$$\parallel v^{\prime }{\parallel }_{L_2(0,T;V^{-1})}⩽{\displaystyle \frac{2C_{23}}{C_8}}.$$

(27)

where

$$C_{23}=C_{24}{\parallel f\parallel }_{L_2(0,T;V^{-1})}+C_{29}\left({\displaystyle \frac{C_{21}+2\epsilon {\parallel v_0\parallel }_{V^3}^2}{\varkappa }}\right)+\nu C_{30}\sqrt{{\displaystyle \frac{C_{21}+2\epsilon {\parallel v_0\parallel }_{V^3}^2}{\varkappa }}}.$$

Proof. 

Let $v\in E_2$ be a solution of the problem (21). Then it satisfies the following operator equation

$$v^{\prime }+\varkappa A{v}^{\prime }+\epsilon D{v}^{\prime }+\lambda N\left(v\right)-\lambda B_1\left(v\right)-\lambda \varkappa B_2\left(v\right)-\lambda \varkappa B_3\left(v\right)+2\lambda \varkappa B_4\left(v\right)=\lambda f.$$

(28)

Therefore,

$$\begin{array}{c}{∥v^{\prime }+\varkappa A{v}^{\prime }+\epsilon D{v}^{\prime }∥}_{L_2(0,T;V^{-3})}=\\ ={∥\lambda f+\lambda B_1\left(v\right)-\lambda N\left(v\right)+\lambda \varkappa B_2\left(v\right)+\lambda \varkappa B_3\left(v\right)-2\lambda \varkappa B_4\left(v\right)∥}_{L_2(0,T;V^{-3})}.\end{array}$$

(29)

The right-hand side of the inequality can be estimated in the following way:

$${∥\lambda f-\lambda N\left(v\right)+\lambda B_1\left(v\right)+\lambda \varkappa B_2\left(v\right)+\lambda \varkappa B_3\left(v\right)-2\lambda \varkappa B_4\left(v\right)∥}_{L_2(0,T;V^{-3})}⩽$$

$$⩽{\lambda \parallel f\parallel }_{L_2(0,T;V^{-3})}+{\lambda \parallel N\left(v\right)\parallel }_{L_2(0,T;V^{-3})}+\lambda {\parallel B_1\left(v\right)\parallel }_{L_2(0,T;V^{-3})}+$$

$$+\lambda \varkappa \parallel B_2{\left(v\right)\parallel }_{L_2(0,T;V^{-3})}+\lambda \varkappa \parallel B_3{\left(v\right)\parallel }_{L_2(0,T;V^{-3})}+2\lambda \varkappa {\parallel B_4\left(v\right)\parallel }_{L_2(0,T;V^{-3})}⩽$$

$$\le {\parallel f\parallel }_{L_2(0,T;V^{-3})}+{\parallel N\left(v\right)\parallel }_{L_2(0,T;V^{-3})}+{\parallel B_1\left(v\right)\parallel }_{L_2(0,T;V^{-3})}+$$

$$+\varkappa \parallel B_2{\left(v\right)\parallel }_{L_2(0,T;V^{-3})}+\varkappa \parallel B_3{\left(v\right)\parallel }_{L_2(0,T;V^{-3})}+2\varkappa {\parallel B_4\left(v\right)\parallel }_{L_2(0,T;V^{-3})}⩽$$

using the continuous embedding $L_2(0,T;V^{-1})\subset L_2(0,T;V^{-3})$ and estimates (15), (16), (18) and (20) we have

$$⩽C_{24}{\parallel f\parallel }_{L_2(0,T;V^{-1})}+C_{25}{\parallel v\parallel }_{C([0,T],V^1)}^2+C_{26}{\parallel v\parallel }_{C([0,T],V^1)}+$$

$$+2\varkappa C_{27}{\parallel v\parallel }_{C([0,T],V^1)}^2+C_{28}{\parallel v\parallel }_{C([0,T],V^1)}^2=$$

$$=C_{24}{\parallel f\parallel }_{L_2(0,T;V^{-1})}+C_{29}{\parallel v\parallel }_{C([0,T],V^1)}^2+C_{30}{\parallel v\parallel }_{C([0,T],V^1)}⩽$$

in view of a priori estimate (23)

$$\begin{array}{c}⩽C_{24}{\parallel f\parallel }_{L_2(0,T;V^{-1})}+C_{29}\left({\displaystyle \frac{C_{21}+2\epsilon {\parallel v_0\parallel }_{V^3}^2}{\varkappa }}\right)+C_{30}\sqrt{{\displaystyle \frac{C_{21}+2\epsilon {\parallel v_0\parallel }_{V^3}^2}{\varkappa }}}.\end{array}$$

Now using the estimate (13):

$$\begin{array}{c}\epsilon \parallel v^{\prime }{\parallel }_{L_2(0,T;V^3)}⩽{\parallel v^{\prime }+\varkappa A{v}^{\prime }+\epsilon D{v}^{\prime }\parallel }_{L_2(0,T;V^{-3})}\end{array}$$

on the left-hand side of (29), we get the required inequality (26).

The estimate (27) is obtained in the following way. As above, v satisfies the Equation (28), and, therefore,

$$\begin{array}{c}\parallel v^{\prime }+\varkappa A{v}^{\prime }{\parallel }_{L_2(0,T;V^{-3})}=\\ =\parallel -\epsilon D{v}^{\prime }+\lambda f+\lambda B_1\left(v\right)-\lambda N\left(v\right)+\lambda \varkappa B_2\left(v\right)+\lambda \varkappa B_3\left(v\right)-2\lambda \varkappa B_4{\left(v\right)\parallel }_{L_2(0,T;V^{-3})}⩽\\ ⩽\epsilon {∥D{v}^{\prime }∥}_{L_2(0,T;V^{-3})}+\parallel \lambda f+\lambda B_1\left(v\right)-\lambda N\left(v\right)+\lambda \varkappa B_2\left(v\right)+\lambda \varkappa B_3\left(v\right)-\\ -2\lambda \varkappa B_4{\left(v\right)\parallel }_{L_2(0,T;V^{-3})}⩽\epsilon {\parallel v^{\prime }\parallel }_{L_2(0,T;V^3)}+C_{23}⩽2C_{23}.\end{array}$$

Thus, we get the estimate

$$\parallel v^{\prime }+\varkappa A{v}^{\prime }{\parallel }_{L_2(0,T;V^{-3})}⩽2C_{23}.$$

From this inequality and from estimate (14):

$$C_8\parallel v^{\prime }{\parallel }_{L_2(0,T;V^{-1})}⩽{\parallel (J+\varkappa A)v^{\prime }\parallel }_{L_2(0,T;V^{-3})}$$

(27) follows. □

Theorems 3 and 4 imply the following Theorem:

Theorem 5.

If v is a solution of the operator Equation (21) it satisfies the following a priory estimate:

$$\begin{array}{c}{\parallel v\parallel }_{E_2}⩽C_{26}=\sqrt{{\displaystyle \frac{C_{21}}{\epsilon }}+2{\parallel v_0\parallel }_{V^3}^2}+{\displaystyle \frac{C_{23}}{\epsilon }}.\end{array}$$

(30)

5. Existence Theorem for the Auxiliary Problem

Theorem 6.

Let $\mathsf{\Omega }\subset {\mathbb{R}}^n$, $n=2,3,$ be bounded domain with smooth boundary and $v_0\in V^3$, $f\in L_2(0,T;V^{-1})$. Then there is a weak solution $v\in E_2$ of the operator Equation (12).

Proof. 

The prove of this Theorem is based on the Leray–Schauder topological degree theory for compact vector fields. If we consider the ball $B_R\subset E_2$ of radius $R=C_{26}+1$ then all solutions of the family of Equation (21) will be in this ball by virtue of a priori estimate (30).

We have the continuous operator $L^{-1}:L_2(0,T;V^{-3})\times V^3\to E_2$ and compact mapping

$$[-K(·)+(f,v_0)]:E_2\to L_2(0,T;V^{-3})\times V^3$$

(see Lemma 9). Thus, the mapping

$$G:[0,1]\times E_2\to E_2,G(\lambda ,v)=\lambda L^{-1}\left[-K\left(v\right)+(f,v_0)\right]$$

is compact in $(\lambda ,v)$ (jointly in $\lambda$ and v). In other word we have the compact vector field

$$\mathsf{\Phi }(\lambda ,v)=v-G(\lambda ,v).$$

Therefore, the Leray–Schauder topological degree ${\mathrm{deg}}_{LS}(\mathsf{\Phi },B_R,0)$ is defined. By the homotopy invariance and normalization condition of the degree we get

$${\mathrm{deg}}_{LS}(\mathsf{\Phi }(0,·),B_R,0)={deg}_{LS}(\mathsf{\Phi }(1,·),B_R,0)=1.$$

So why, the equation

$$v-L^{-1}\left[-K\left(v\right)+(f,v_0)\right]=0$$

and, therefore, the Equation (12), and, therefore, the auxiliary problem, have a solution $v\in E_2$. □

6. Proof of Theorem 1

Proof. 

Since the space $V^3$ is dense in $V^1,$ there is a sequence ${\left(v_0\right)}_m\in V^3$ converging to ${\left(v_0\right)}_{*}\in V^1.$ If ${\left(v_0\right)}_{*}\equiv 0,$ then put

$${\left(v_0\right)}_m\equiv 0,{\epsilon }_m={\displaystyle \frac{1}{m}}.$$

But if $\parallel {\left(v_0\right)}_{*}{\parallel }_{V^1}\ne 0,$ then $\parallel {\left(v_0\right)}_m{\parallel }_{V^3}\ne 0$ if m is sufficiently large. Then we set ${\epsilon }_m={\displaystyle \frac{1}{m\parallel {\left(v_0\right)}_m{\parallel }_{V^3}^2}}.$

Then the sequence $\left\{{\epsilon }_m\right\}$ converges to zero as $m\to +\infty .$ The following estimate holds:

$${\epsilon }_m{\parallel {\left(v_0\right)}_m\parallel }_{V^3}^2⩽1.$$

(31)

By Theorem 6 for any ${\epsilon }_m$ and ${\left(v_0\right)}_m$ there exists a weak solution $v_m\in E_2\subset E_1$ of the approximation problem. Thus, each $v_m$ satisfies the equation

$$\begin{array}{c}\underset{\mathsf{\Omega }}{\int }{v}_m^{\prime }\phi dx-\underset{\mathsf{\Omega }}{\int }\sum _{i,j=1}^n{\left(v_m\right)}_i{\left(v_m\right)}_j{\displaystyle \frac{\partial {\phi }_j}{\partial x_i}}dx+2\underset{\mathsf{\Omega }}{\int }\mu (I_2\left(v_m\right)\mathcal{E}\left(v_m\right):\mathcal{E}\left(\phi \right)dx+\\ +{\epsilon }_m\underset{\mathsf{\Omega }}{\int }\nabla \left(\Delta v_m^{\prime }\right):\nabla \left(\Delta \phi \right)dx+\varkappa \underset{\mathsf{\Omega }}{\int }\nabla v_m^{\prime }:\nabla \phi dx-\\ -\varkappa \underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{\left(v_m\right)}_k{\displaystyle \frac{\partial {\left(v_m\right)}_i}{\partial x_j}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx-\varkappa \underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{\left(v_m\right)}_k{\displaystyle \frac{\partial {\left(v_m\right)}_j}{\partial x_i}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx+\\ +2\varkappa \underset{\mathsf{\Omega }}{\int }(\mathcal{E}\left(v_m\right)W_{\rho }\left(v_m\right)-W_{\rho }\left(v_m\right)\mathcal{E}\left(v_m\right)):\nabla \phi dx=\langle f,\phi \rangle .\end{array}$$

(32)

and the initial condition

$$\begin{array}{c}{v}_m{|}_{t=0}\left(x\right)={\left(v_0\right)}_m\left(x\right),x\in \mathsf{\Omega }.\end{array}$$

(33)

Since the sequence $\left\{{\left(v_0\right)}_m\right\}$ converges in $V^1,$ it is bouned in the norm of $V^1.$ Therefore,

$$\begin{array}{c}2\parallel {\left(v_0\right)}_m{\parallel }_{V^0}^2+2\varkappa {\parallel {\left(v_0\right)}_m\parallel }_{V^1}^2⩽C_{27},\end{array}$$

(34)

where $C_{27}$ is a constant which doesn’t depend on $m.$

Recall that the constant $C_{21}$ from the inequality (23) depends on $m:$

$$C_{21}={\displaystyle \frac{4T}{\varkappa }}{\parallel f\parallel }_{L_2(0,T;V^{-1})}^2+2\parallel {\left(v_0\right)}_m{\parallel }_{V^0}^2+2\varkappa {\parallel {\left(v_0\right)}_m\parallel }_{V^1}^2.$$

Hence, with the help of (34), it can be estimated in the following way:

$$C_{21}⩽{\displaystyle \frac{4T}{\varkappa }}{\parallel f\parallel }_{L_2(0,T;V^{-1})}^2+C_{27}=C_{28}.$$

(35)

Thus, in view of inequalities (31) and (35) from (23) we get that

$$\varkappa \parallel v_m{\parallel }_{C([0,T],V^1)}^2⩽C_{28}+2.$$

(36)

Similarly from (31) and (35) with the help of inequalities (26) and (27) we get:

$$\epsilon \parallel v_m^{\prime }{\parallel }_{L_2(0,T;V^3)}⩽C_{24}{\parallel f\parallel }_{L_2(0,T;V^{-1})}+C_{29}\left({\displaystyle \frac{C_{28}+2}{\varkappa }}\right)+C_{30}\sqrt{{\displaystyle \frac{C_{28}+2}{\varkappa }}},$$

(37)

$$\parallel v_m^{\prime }{\parallel }_{L_2(0,T;V^{-1})}⩽\frac{2C_{24}}{C_8}{\parallel f\parallel }_{L_2(0,T;V^{-1})}+2C_{29}\left({\displaystyle \frac{C_{28}+2}{\varkappa C_8}}\right)+\frac{2C_{30}}{C_8}\sqrt{{\displaystyle \frac{C_{28}+2}{\varkappa }}}.$$

(38)

Since the embeddings

$$C([0,T],V^1)\subset L_2(0,T;V^1)\mathrm{and}C([0,T],V^1)\subset L_{\infty }(0,T;V^1)$$

are continuous, it follows from (36) and (38) that without loss of generality (passing to a subsequence if needed) we have

$$\begin{array}{c}{v}_m\rightharpoonup v_{*}\mathrm{weakly}\mathrm{in}{L}_2(0,T;V^1)\mathrm{as}m\to +\infty ;\\ v_m\rightharpoonup v_{*}*-\mathrm{weakly}\mathrm{in}{L}_{\infty }(0,T;V^1)\mathrm{as}m\to +\infty ;\\ v_m^{\prime }\rightharpoonup v_{*}^{\prime }\mathrm{weakly}\mathrm{in}{L}_2(0,T;V^{-1})\mathrm{as}m\to +\infty .\end{array}$$

Then by definition of weak convergence

$$\begin{array}{c}\underset{\mathsf{\Omega }}{\int }\mu \left(I_2\left(v_m\right)\right)\mathcal{E}\left(v_m\right):\mathcal{E}\left(\phi \right)dx\to \underset{\mathsf{\Omega }}{\int }\mu \left(I_2\left(v_{*}\right)\right)\mathcal{E}\left(v_{*}\right):\mathcal{E}\left(\phi \right)dx\mathrm{as}m\to +\infty ,\phi \in V^3;\\ \underset{\mathsf{\Omega }}{\int }{v}_m^{\prime }\phi dx+\varkappa \underset{\mathsf{\Omega }}{\int }\nabla v_m^{\prime }:\nabla \phi dx=〈(J+\varkappa A)v_m^{\prime },\phi 〉\to 〈(J+\varkappa A)v_{*}^{\prime },\phi 〉.\end{array}$$

as $m\to +\infty$.

In view of the estimate (37) we have that ${\epsilon }_m{v}_m^{\prime }\rightharpoonup u$ converges weakly in $L_2(0,T;V^3)$. On the other hand, for any $\chi \in \mathfrak{D}\left([0,T]\right),\phi \in V^5$ we have

$$\begin{array}{c}\underset{m\to \infty }{lim}\left|{\epsilon }_m\underset{0}{\overset{T}{\int }}\underset{\mathsf{\Omega }}{\int }\nabla \left(\Delta v_m^{\prime }\left(t\right)\right):\nabla \left(\Delta \phi \right)dx\chi \left(t\right)dt\right|=\underset{m\to \infty }{lim}{\epsilon }_m\left|\underset{0}{\overset{T}{\int }}\underset{\mathsf{\Omega }}{\int }\Delta v_m^{\prime }\left(t\right){\Delta }^2\phi dx\chi \left(t\right)dt\right|=\\ =\underset{m\to \infty }{lim}{\epsilon }_m\left|\underset{0}{\overset{T}{\int }}\underset{\mathsf{\Omega }}{\int }\nabla \left(v_m^{\prime }\left(t\right)\right):\nabla \left({\Delta }^2\phi \right)dx\chi \left(t\right)dt\right|=\\ =\underset{m\to \infty }{lim}{\epsilon }_m\underset{m\to \infty }{lim}\left|\underset{0}{\overset{T}{\int }}\underset{\mathsf{\Omega }}{\int }\nabla \left(v_m^{\prime }\left(t\right)\right):\nabla \left({\Delta }^2\phi \right)dx\chi \left(t\right)dt\right|=\\ =\underset{m\to \infty }{lim}{\epsilon }_m\underset{m\to \infty }{lim}\left|\underset{\mathsf{\Omega }}{\int }\left(\underset{0}{\overset{T}{\int }}\nabla \left(v_m^{\prime }\left(t\right)\right)\chi \left(t\right)dt\right):\nabla \left({\Delta }^2\phi \right)dx\right|=\\ =\underset{m\to \infty }{lim}{\epsilon }_m\underset{m\to \infty }{lim}\left|\underset{\mathsf{\Omega }}{\int }\left(\underset{0}{\overset{T}{\int }}\nabla v_m\left(t\right){\displaystyle \frac{\partial \chi \left(t\right)}{\partial t}}dt\right):\nabla \left({\Delta }^2\phi \right)dx\right|=\\ =\underset{m\to \infty }{lim}{\epsilon }_m\underset{m\to \infty }{lim}\left|\underset{0}{\overset{T}{\int }}\underset{\mathsf{\Omega }}{\int }\nabla v_m\left(t\right):\nabla \left({\Delta }^2\phi \right)dx{\displaystyle \frac{\partial \chi \left(t\right)}{\partial t}}dt\right|=\end{array}$$

Since $v_m$ weakly converges to $v_{*}$ in $L_2(0,T;V^1)$ (and, therefore, converges to $v_{*}$ in the sense of distributions) the latter expression equals

$$\begin{array}{c}=\left|\underset{0}{\overset{T}{\int }}\underset{\mathsf{\Omega }}{\int }\nabla v_{*}\left(t\right):\nabla \left({\Delta }^2\phi \right)dx{\displaystyle \frac{\partial \chi \left(t\right)}{\partial t}}dt\right|\underset{m\to \infty }{lim}{\epsilon }_m=0.\end{array}$$

Thus, by uniqueness of the weak limit we get

$${\epsilon }_m\underset{\mathsf{\Omega }}{\int }\nabla \left(\Delta v_m^{\prime }\right):\nabla \left(\Delta \phi \right)dx\to 0\mathrm{as}m\to +\infty .$$

Using Theorem 2 we have the compact embedding

$$F=\{v:v\in C([0,T],V^1);v^{\prime }\in L_2(0,T;V^{-1})\}\subset C([0,T],L_4{\left(\mathsf{\Omega }\right)}^n).$$

Hence, taking into account estimates (36) and (38), we obtain

$$\begin{array}{c}{v}_m\to v_{*},\mathrm{strongly}\mathrm{in}C([0,T],L_4{\left(\mathsf{\Omega }\right)}^n)\mathrm{as}m\to +\infty .\end{array}$$

(39)

Thus, we get

$$\begin{array}{c}\underset{\mathsf{\Omega }}{\int }\sum _{i,j=1}^n{\left(v_m\right)}_i{\left(v_m\right)}_j{\displaystyle \frac{\partial {\phi }_j}{\partial x_i}}dx\to \underset{\mathsf{\Omega }}{\int }\sum _{i,j=1}^n{\left(v_{*}\right)}_i{\left(v_{*}\right)}_j{\displaystyle \frac{\partial {\phi }_j}{\partial x_i}}dx\mathrm{as}m\to +\infty .\end{array}$$

For the remaining integrals we have

$$\underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{\left(v_m\right)}_k{\displaystyle \frac{\partial {\left(v_m\right)}_i}{\partial x_j}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx\to \underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{\left(v_{*}\right)}_k{\displaystyle \frac{\partial {\left(v_{*}\right)}_i}{\partial x_j}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx;$$

$$\underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{\left(v_m\right)}_k{\displaystyle \frac{\partial {\left(v_m\right)}_j}{\partial x_i}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx\to \underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{\left(v_{*}\right)}_k{\displaystyle \frac{\partial {\left(v_{*}\right)}_j}{\partial x_i}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx,$$

as $m\to +\infty$. Indeed, here the sequence $v_m$ converges to $v_{*}$ strongly in $C([0,T],L_4\left(\mathsf{\Omega }\right))$ and $\nabla \left(v_m\right)$ converges to $\nabla v_{*}$ weakly in $L_4(0,T;L_2\left(\mathsf{\Omega }\right)).$ Thus, their product converges to the product of their limits.

In the last term we have

$$|\underset{\mathsf{\Omega }}{\int }\left(\mathcal{E}\left(v_m\right)W_{\rho }\left(v_m\right)-\mathcal{E}\left(v_{*}\right)W_{\rho }\left(v_{*}\right)\right):\nabla \phi dx|=$$

$$=|\underset{\mathsf{\Omega }}{\int }(\mathcal{E}\left(v_m\right)(W_{\rho }\left(v_m\right)-W_{\rho }\left(v_{*}\right))+(\mathcal{E}\left(v_m\right)-\mathcal{E}\left(v_{*}\right))W_{\rho }\left(v_{*}\right)):\nabla \phi dx|\le$$

$$\le \parallel \mathcal{E}\left(v_m\right){\parallel }_{L_2{\left(\mathsf{\Omega }\right)}^{n^2}}{\parallel \nabla \phi \parallel }_{L_2{\left(\mathsf{\Omega }\right)}^{n^2}}{\parallel W_{\rho }(v_m-v_{*})\parallel }_{L_{\infty }{\left(\mathsf{\Omega }\right)}^{n^2}}+$$

$$+\parallel W_{\rho }\left(v_{*}\right){\parallel }_{L_{\infty }{\left(\mathsf{\Omega }\right)}^{n^2}}|\underset{\mathsf{\Omega }}{\int }\mathcal{E}(v_m-v_{*}):\nabla \phi dx|\le$$

$$\le C_{31}(\parallel \mathcal{E}\left(v_m\right){\parallel }_{L_2{\left(\mathsf{\Omega }\right)}^{n^2}}{\parallel \nabla \phi \parallel }_{L_2{\left(\mathsf{\Omega }\right)}^{n^2}}{\parallel v_m-v_{*}\parallel }_{L_2{\left(\mathsf{\Omega }\right)}^n}+$$

$$+\parallel W_{\rho }\left(v_{*}\right){\parallel }_{L_{\infty }{\left(\mathsf{\Omega }\right)}^{n^2}}|\underset{\mathsf{\Omega }}{\int }\mathcal{E}(v_m-v_{*}):\nabla \phi dx|)\le$$

$$\le C_{32}(\parallel \mathcal{E}\left(v_m\right){\parallel }_{L_2{\left(\mathsf{\Omega }\right)}^{n^2}}{\parallel \nabla \phi \parallel }_{L_2{\left(\mathsf{\Omega }\right)}^{n^2}}{\parallel v_m-v_{*}\parallel }_{L_4{\left(\mathsf{\Omega }\right)}^n}+$$

$$+\parallel W_{\rho }\left(v_{*}\right){\parallel }_{L_{\infty }{\left(\mathsf{\Omega }\right)}^{n^2}}|\underset{\mathsf{\Omega }}{\int }\mathcal{E}(v_m-v_{*}):\nabla \phi dx|).$$

As above we get that $v_m\to v_{*}$ strongly in $C([0,T],L_4\left(\mathsf{\Omega }\right))$ and $\nabla \left(v_m\right)\rightharpoonup \nabla v_{*}$ weakly in $L_4(0,T;L_2\left(\mathsf{\Omega }\right)),$ we obtain

$$\begin{array}{c}\underset{\mathsf{\Omega }}{\int }\mathcal{E}\left(v_m\right)W_{\rho }\left(v_m\right):\nabla \phi dx\to \underset{\mathsf{\Omega }}{\int }\mathcal{E}\left(v_{*}\right)W_{\rho }\left(v_{*}\right):\nabla \phi dx\mathrm{as}m\to +\infty .\\ \underset{\mathsf{\Omega }}{\int }{W}_{\rho }\left(v_m\right)\mathcal{E}\left(v_m\right):\nabla \phi dx\to \underset{\mathsf{\Omega }}{\int }{W}_{\rho }\left(v_{*}\right)\mathcal{E}\left(v_{*}\right):\nabla \phi dx\mathrm{as}m\to +\infty .\end{array}$$

Pass to limit in (32) as $m\to +\infty$. We get a function $v_{*}$ satisfying

$$\begin{array}{c}〈(J+\varkappa A){\displaystyle \frac{\partial v_{*}}{\partial t}},\phi 〉-\underset{\mathsf{\Omega }}{\int }\sum _{i,j=1}^n{\left(v_{*}\right)}_i{\left(v_{*}\right)}_j{\displaystyle \frac{\partial {\phi }_j}{\partial x_i}}dx+2\underset{\mathsf{\Omega }}{\int }\mu \left(I_2\left(v_{*}\right)\right)\mathcal{E}\left(v_{*}\right):\mathcal{E}\left(\phi \right)dx-\\ -\varkappa \underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{\left(v_{*}\right)}_k{\displaystyle \frac{\partial {\left(v_{*}\right)}_i}{\partial x_j}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx-\varkappa \underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{\left(v_{*}\right)}_k{\displaystyle \frac{\partial {\left(v_{*}\right)}_j}{\partial x_i}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx+\\ +2\varkappa \underset{\mathsf{\Omega }}{\int }(\mathcal{E}\left(v_{*}\right)W_{\rho }\left(v_{*}\right)-W_{\rho }\left(v_{*}\right)\mathcal{E}\left(v_{*}\right)):\nabla \phi dx=\langle f,\phi \rangle .\end{array}$$

As we have a strong convergence (39) then we get that this obtained function $v_{*}$ satisfies the initial condition $v_{*}{|}_{t=0}={\left(v_0\right)}_{*}$. So, we prove Theorem 1. □

7. Optimal Feedback Control Problem

In this section based on the topological approximation approach to mathematical hydrodynamics problems we prove the existence of an optimal feedback control for the (6)–(9) problem. First, we formulate the notion of a solution to the problem under consideration and the main result of this section.

Consider the multi-valued mapping $\mathsf{\Psi }:E_1⊸L_2(0,T;V^{-1})$ as a control function. We will assume that $\mathsf{\Psi }$ satisfies the following conditions:

(Ψ1)

The mapping $\mathsf{\Psi }$ is defined on the space $E_1$ and has non-empty, compact, convex values;

(Ψ2)

The mapping $\mathsf{\Psi }$ is upper semicontinuous and compact;

(Ψ3)

The mapping $\mathsf{\Psi }$ is globally bounded, that is, there exists a constant $M>0$ such that

$${∥\mathsf{\Psi }\left(v\right)∥}_{L_2(0,T;V^{-1})}:=sup\left\{{∥u∥}_{L_2(0,T;V^{-1})}:u\in \mathsf{\Psi }\left(v\right)\right\}\le M\mathrm{for}\mathrm{all}v\in E_1;$$

(Ψ4)

$\mathsf{\Psi }$ is weakly closed in the following sense: if ${\left\{v_l\right\}}_{l=1}^{\infty }\subset E_1,v_l\rightharpoonup v_0,u_l\in \mathsf{\Psi }\left(v_l\right)$ and $u_l\to u_0$ in $L_2(0,T;V^{-1})$ then $u_0\in \mathsf{\Psi }\left(v_0\right)$.

For completeness, we give an example of such a multi-valued mapping. Let continuous mappings $f_i:E_1\to L_2(0,T;V^{-1}),i=1,2,\dots m$ satisfy the following conditions:

1.

$f_i$ is globally bounded and makes a bounded set relatively compact;

2.

$f_i$—weakly closed, i.e., ${\left\{v_l\right\}}_{l=1}^{\infty }\subset E_1,v_l\rightharpoonup v_0,f_i\left(v_l\right)\to u_0$ follows $u_0=f_i\left(v_0\right).$

We define a multimap with feedback $U:E_1\to L_2(0,T;V^{-1})$ as:

$$U\left(v\right)=\{u=\sum _{i=1}^m{\lambda }_i{f}_i\left(v\right):\sum _{i=1}^m{\lambda }_i=1\}.$$

It is easy to see that U satisfies all the conditions of the multi-valued mapping $\mathsf{\Psi }.$

We will consider a weak formulation of the optimal feedback control problem for the initial–boundary value problem (6)–(9). By feedback, we mean the following condition:

$$f\in \mathsf{\Psi }\left(v\right).$$

(40)

We will assume that the initial condition $v_0$ belongs to the space $V^1.$

Definition 2.

A pair of functions $(v,f)\in E_1\times L_2(0,T;V^{-1})$ is called a weak solution to the feedback control problem (6)–(9), (40) if it is for any $\phi \in V^3$ and almost all $t\in (0,T)$ satisfies the feedback condition (40), the identity

$$\begin{array}{c}{\displaystyle \frac{d}{dt}}\underset{\mathsf{\Omega }}{\int }v\phi dx-\underset{\mathsf{\Omega }}{\int }\sum _{i,j=1}^n{v}_i{v}_j{\displaystyle \frac{\partial {\phi }_j}{\partial x_i}}dx+2\underset{\mathsf{\Omega }}{\int }\mu \left(I_2\left(v\right)\right)\mathcal{E}\left(v\right):\mathcal{E}\left(\phi \right)dx+\varkappa {\displaystyle \frac{d}{dt}}\underset{\mathsf{\Omega }}{\int }\nabla v:\nabla \phi dx-\\ -\varkappa \underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k{\displaystyle \frac{\partial v_i}{\partial x_j}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx-\varkappa \underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k{\displaystyle \frac{\partial v_j}{\partial x_i}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx+\\ +2\varkappa \underset{\mathsf{\Omega }}{\int }(\mathcal{E}\left(v\right)W_{\rho }\left(v\right)-W_{\rho }\left(v\right)\mathcal{E}\left(v\right)):\nabla \phi dx=\langle f,\phi \rangle \end{array}$$

(41)

as well as the initial condition

$$v\left(0\right)=v_0.$$

(42)

The first result of this section is the following Theorem:

Theorem 7.

Let the mapping Ψ satisfy the conditions $\left(\mathsf{\Psi }1\right)$–$\left(\mathsf{\Psi }4\right)$. Then there exists at least one weak solution to the feedback control problem (6)–(9), (40).

Denote by $\Sigma \subset E_1\times L_2(0,T;V^{-1})$ the set of all weak solutions of the problem (6)–(9), (40). Consider an arbitrary functional $\mathsf{\Phi }:\Sigma \to \mathbb{R},$ satisfying the following conditions:

(Φ1)

There exists a number $\gamma$ such that $\mathsf{\Phi }(v,f)⩾\gamma$ for all $(v,f)\in \Sigma .$

(Φ2)

If $v_m\rightharpoonup v_{*}$ in $E_1$ and $f_m\to f_{*}$ in $L_2(0,T;V^{-1}),$ then $\mathsf{\Phi }(v_{*},f_{*})⩽\underset{m\to \infty }{\underline{lim}}\mathsf{\Phi }(v_m,f_m).$

As an example of such a quality functional, consider:

$$\begin{array}{c}\mathsf{\Phi }(v,f)=\underset{0}{\overset{T}{\int }}{(\parallel v(t,·)-U(t,·)\parallel }_{V^1}^2{+\parallel f(t,·)-F(t,·)\parallel }_{V^{-1}}^2)dt.\end{array}$$

Here U and F are given speed and external force.

The main result of this section is the following Theorem.

Theorem 8.

If the mapping Ψ satisfies the conditions $\left(\mathsf{\Psi }1\right)$–$\left(\mathsf{\Psi }4\right)$ and the functional Φ satisfies the conditions $\left(\mathsf{\Phi }1\right)$–$\left(\mathsf{\Phi }2\right)$, then the problem of optimal control with feedback (6)–(9), (40) has at least one weak solution $(v_{*},f_{*})$ such that $\mathsf{\Phi }(v_{*},f_{*})=\underset{(v,f)\in \Sigma }{inf}\mathsf{\Phi }(v,f).$

To prove these Theorems we at first consider the auxiliary problem with some small parameter $\epsilon >0$: We need to find a pair of functions $(v,f)\in E_2\times L_2(0,T;V^{-1}),$ satisfying for any $\phi \in V^3$ and almost all $t\in (0,T)$ the feedback condition (40), identity

$$\underset{\mathsf{\Omega }}{\int }{\displaystyle \frac{\partial v}{\partial t}}\phi dx-\underset{\mathsf{\Omega }}{\int }\sum _{i,j=1}^n{v}_i{v}_j{\displaystyle \frac{\partial {\phi }_j}{\partial x_i}}dx+2\underset{\mathsf{\Omega }}{\int }\mu \left(I_2\left(v\right)\right)\mathcal{E}\left(v\right):\mathcal{E}\left(\phi \right)dx+\varkappa \underset{\mathsf{\Omega }}{\int }\nabla \left({\displaystyle \frac{\partial v}{\partial t}}\right):\nabla \phi dx+$$

$$\begin{array}{c}+\epsilon \underset{\mathsf{\Omega }}{\int }\nabla \left(\Delta \left({\displaystyle \frac{\partial v}{\partial t}}\right)\right):\nabla \left(\Delta \phi \right)dx-\varkappa \underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k{\displaystyle \frac{\partial v_i}{\partial x_j}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx-\\ --\varkappa \underset{\mathsf{\Omega }}{\int }\sum _{i,j,k=1}^n{v}_k{\displaystyle \frac{\partial v_j}{\partial x_i}}{\displaystyle \frac{{\partial }^2{\phi }_j}{\partial x_i\partial x_k}}dx+2\varkappa \underset{\mathsf{\Omega }}{\int }(\mathcal{E}\left(v\right)W_{\rho }\left(v\right)-W_{\rho }\left(v\right)\mathcal{E}\left(v\right)):\nabla \phi dx=\langle f,\phi \rangle \end{array}$$

(43)

and the initial condition

$$v\left(0\right)=v_0.$$

(44)

Using the operator treatment (12) we can reformulate our auxiliary problem in the operator form. Thus, the problem of the existence of a feedback control for the approximation problem is equivalent to the problem of the existence of a solution $v\in E_2$ satisfying the initial condition (44) of the following operator inclusion:

$$L\left(v\right)+K\left(v\right)\in (\mathsf{\Psi }\left(v\right),v_0).$$

Let’s introduce the following operator: $\mathcal{Y}:E_1\to L_2(0,T;V^{-1})\times V^3$; $\mathcal{Y}\left(v\right)=(\mathsf{\Psi }\left(v\right),v_0).$ Then the problem of the existence of a solution $(v,f)\in E_2\times L_2(0,T;V^{-1})$ of the approximation problem is equivalent to the problem of the existence of a solution $v\in E_2$ for next inclusion

$$v\in \mathcal{M}\left(v\right),\mathrm{where}\mathcal{M}\left(v\right)=L^{-1}(\mathcal{Y}\left(v\right)-K\left(v\right)).$$

(45)

Since the operator $L^{-1}$ is linear and continuous, and the operator K is compact, using the conditions $\left(\mathsf{\Psi }1\right)$–$\left(\mathsf{\Psi }2\right)$ we obtain that the multi-valued mapping $\mathcal{M}:E_2⊸E_2$ is compact and has non-empty, convex and compact values.

Consider also the following family of inclusions

$$v\in \lambda \mathcal{M}\left(v\right),$$

(46)

where $0\le \lambda \le 1$.

Remark 1.

Note that the left side of the operator inclusion (46) is exactly the same as the left side of (21). Therefore, the following Theorem hold for operator inclusion:

Theorem 9.

If v is a solution (46) for some $\lambda \in [0,1],$ then the following estimate holds for it:

$$\begin{array}{c}{\parallel v\parallel }_{E_2}⩽C_{26}=\sqrt{{\displaystyle \frac{C_{21}}{\epsilon }}+2{\parallel v_0\parallel }_{V^3}^2}+{\displaystyle \frac{C_{23}}{\epsilon }}.\end{array}$$

(47)

Theorem 10.

The operator inclusion (45) has at least one solution $v\in E_2.$

Proof. 

To prove this Theorem we use topological degree theory for multivalued vector fields (see, for example, [32]). By virtue of the a priori estimate (47), all solutions of the family of operator inclusions (46) lie in the ball $B_R\subset E_2$ of radius $R=C_{26}+1$ centered at zero. Hence $v\notin \lambda \mathcal{M}\left(v\right)$ for all $(v,\lambda )\in \partial B_R\times [0,1]$. Using the degree homotopy invariance property and the degree normalization property, we obtain

$$deg(I-\mathcal{M},{\overline{B}}_R,0)=deg(I,{\overline{B}}_R,0)=1.$$

Since this degree is nonzero, there exists at least one solution $v\in E_2$ of the operator inclusion (45). □

Since there exists a solution $v\in E_2$ of the inclusion (45), it follows from the above reasoning that the approximation problem has at least one solution $v\in E_2.$

Using the results of Theorem 10, we completely repeat the proof of Theorem 1 with a small change related with the right-hand side. Taking into account the a priori estimates (36), (38) and the conditions $\left(\mathsf{\Psi }1\right)-\left(\mathsf{\Psi }4\right)$, we can assume without loss of generality that there exists $f_{*}\in L_2(0,T;V^{-1})$ such that $f_m\to f_{*}\in \mathsf{\Psi }\left(v_{*}\right)$ as $m\to \infty$. From this we obtain that there exists $v_{*}\in E_1$ and $f_{*}\in L_2(0,T;V^{-1})$ satisfying (40), (2) and (42) which completes the proof of the Theorem 7.

From the Theorem 7 we get that the solution set $\Sigma$ is not empty. Therefore, there exists a minimizing sequence $(v_l,f_l)\in \Sigma$ such that

$$\underset{l\to \infty }{lim}\mathsf{\Phi }(v_l,f_l)=\underset{(v,f,)\in \Sigma }{inf}\mathsf{\Phi }(v,f).$$

As before, using the estimate (47), without loss of generality and passing to a subsequence if necessary, we can assume that $v_l\rightharpoonup v_{*}$ *-weakly in $L_{\infty }(0,T;V^1)$; $v_l\to v_{*}$ is strong in $L_2(0,T;L_4\left(\mathsf{\Omega }\right))$; $v_l\rightharpoonup v_{*}$ is weak in $L_2(0,T;V^{-1})$; $f_l\to f_{*}\in \mathsf{\Psi }\left(v^{*}\right)$ is strong in $L_2(0,T;V^{-1})$ for $m\to +\infty$.

Whence, just as in the previous proof, we get $N\left(v_l\right)\rightharpoonup N\left(v_{*}\right)$ weakly in $L_2(0,T;V^{-1})$; $(I+\varkappa A)v_l^{\prime }\rightharpoonup (I+\varkappa A)v_{*}^{\prime }$ weakly in $L_2(0,T;V^{-3})$; $B_1\left(v_l\right)\to B_1\left(v_{*}\right)$ strongly in $L_2(0,T;V^{-1})$; $B_2\left(v_l\right)\rightharpoonup B_2\left(v_{*}\right)$ weakly in $L_2(0,T;V^{-3})$; $B_3\left(v_l\right)\rightharpoonup B_3\left(v_{*}\right)$ weakly in $L_2(0,T;V^{-3})$; $B_4\left(v_l\right)\rightharpoonup B_4\left(v_{*}\right)$ weakly in $L_2(0,T;V^{-3})$ for $m\to +\infty$.

Passing to the limit in the relation

$$\begin{array}{c}(J+\varkappa A)v_l^{\prime }+N\left(v_l\right)-B_1\left(v_l\right)+\epsilon N{v}_l^{\prime }-\varkappa B_2\left(v_l\right)-\varkappa B_3\left(v_l\right)+2\varkappa B_4\left(v_l\right)=f_l\in \mathsf{\Psi }\left(v_l\right),\end{array}$$

we get that $(v^{*},f^{*})\in \Sigma$. Since the functional $\mathsf{\Phi }$ is lower semicontinuous with respect to the weak topology, we have

$$\mathsf{\Phi }(v^{*},f^{*})\le \underset{(v,f)\in \Sigma }{inf}\mathsf{\Phi }(v,f),$$

which proves that $(v^{*},f^{*})$ is the required solution. This completes the proof of Theorem 8.

8. Conclusions

To summarize all calculations and proofs in this paper the mathematical model describing the motion of weakly concentrated water polymer solutions is investigated. This model contained the objective Jaumann derivative in the reological relation. Also this model is considered in the case on non-linear viscosity.

The main result of this paper is the solutions existence to initial–boundary value problem and to the feedback control problem for the mathematical model under consideration. Also the existence of an optimal solution to the problem under consideration that gives a minimum to a given bounded quality functional is proved. Results of this paper provide an opportunity for the future investigation of this model. Author proposes the following future research directions for the model under consideration—(1) the numerical analysis of the obtained solutions; (2) the consideration of a turbulence case of this problem; (3) the investigation of alpha-models for this problem and so forth.