Skip to content

Advertisement

  • Research
  • Open Access

Navier-Stokes equations with variable viscosity in variable exponent spaces of Clifford-valued functions

Boundary Value Problems20152015:30

https://doi.org/10.1186/s13661-015-0291-y

  • Received: 17 October 2014
  • Accepted: 21 January 2015
  • Published:

Abstract

In this paper we study the stationary generalized Navier-Stokes equations when the viscosity is not only a constant but also a function which depends on the position and the shear-velocity. For this we establish an improved decomposition of variable exponent Lebesgue spaces of Clifford-valued functions. Using this decomposition together with Clifford operator calculus, we obtain the existence, uniqueness and representation of solutions for the generalized Stokes equations and the generalized Navier-Stokes equations with variable viscosity in the setting of variable exponent spaces of Clifford-valued functions. Furthermore, the equivalences of solutions and weak solutions for the aforementioned equations are justified.

Keywords

  • Clifford analysis
  • variable exponent
  • variable viscosity
  • Stokes equations
  • Navier-Stokes equations

MSC

  • 30G35
  • 35J60
  • 35Q30
  • 46E30
  • 76D03

1 Introduction

In this paper we are concerned with the stationary generalized Navier-Stokes equations:
$$\begin{aligned}& -\operatorname{div} ( A\nabla u )+\rho(u\cdot\nabla)u + \nabla q = \rho f \quad \mbox{in } \Omega, \end{aligned}$$
(1.1)
$$\begin{aligned}& \operatorname{div}u=0 \quad \mbox{in } \Omega, \end{aligned}$$
(1.2)
$$\begin{aligned}& u=0 \quad \mbox{on } \partial\Omega, \end{aligned}$$
(1.3)
where the operator A is defined by \(Au=au\) with \(a(x, u): \overline {\Omega} \times\mathbb{R}^{n}\rightarrow\mathbb{R}^{+}\) and \(a\in C^{\infty}(\overline{\Omega} \times\mathbb{R}^{n})\) and \(\Omega\subset\mathbb{R}^{n}\) (\(n\geq2\)) is a bounded domain with sufficiently smooth boundary Ω, u is the velocity, q the hydrostatic pressure, ρ the density, f the vector of the external forces. Notice that (1.1) may be written
$$ -\frac{1}{\rho}\operatorname{div} \bigl( A(x, u)\mathrm{D}u \bigr)+(u\cdot \nabla)u + \nabla\pi= f \quad \mbox{in } \Omega, $$
(1.4)
where \(\pi:=q/\rho\). If the relation \(A(x, u):=\mu(\alpha+|\mathrm {D}u|^{2})^{\frac{p-2}{2}}\) with \(\mu, \alpha>0\), where μ is the shear viscosity, \(\mathrm{D}u:=(1/2)(\nabla u+(\nabla u)^{\top})\) is the symmetric gradient, then the fluid is called non-Newtonian fluid with p-structure; see, for example, Acerbi and Mingione [1] for related discussions in this direction. Clearly, the fluid in the case \(p=2\) is a Newtonian fluid, and then (1.4) becomes
$$ -\nu\Delta u+(u\cdot\nabla)u + \nabla\pi= f \quad \mbox{in } \Omega, $$
(1.5)
where \(\nu:=\mu/\rho\) is the kinematic viscosity. Here (1.5) is the famous Navier-Stokes equation, for the detailed account about the Navier-Stokes equations we refer to [2, 3]. In this paper we will consider the Navier-Stokes equations in a Clifford language under the assumption that the viscosity depends on the position and velocity, i.e., \(\nu=\nu(x, u)\in\mathbb {R}^{+}\). It is easy to see that the viscous term \(-\nu\Delta u\) can be replaced by the Clifford expression \(D\nu Du\), where \(D=\sum_{j=1}^{n}\mathrm{e}_{j}\partial_{j}\) denotes the Dirac operator of a massless field, u is a Clifford-valued function; for the details as regards the Clifford algebra we refer to the next section.

In order to study the time-dependent motion of a viscous, incompressible fluid we need velocity fields u of the particles of the fluid along with their first spatial derivatives to be summable to the \(p(k)\)th power (\(p_{-}\geq1\), \(k\in \mathbb{N}\)) at each time and each position. Additionally, u has to be solenoidal and vanishes at the boundary of the domain where the motion happens. Thus this gives rise to the introduction of spaces of divergence free functions in a generalized sense. Furthermore, the models of electrorheological fluids, which were introduced by Rajagopal and Růžička [4, 5], can be described by the boundary value problems for the generalized Navier-Stokes equations. This leads naturally to the establishment of function spaces with variable exponents. On the other hand, Clifford algebras have important applications in a variety of fields including geometry, theoretical physics and digital image processing. They are named after the English geometer William Kingdon Clifford. We have a generalization of the complex numbers, the quaternions, and the exterior algebras; see [6]. As an active branch of mathematics over the past 40 years, Clifford analysis usually studies the solutions of the Dirac equation for functions defined on domains in Euclidean space and taking value in Clifford algebras; see, for example, [7]. In [8] the authors gave an overview of applications of Clifford analysis in mathematical physics. Hence, it makes sense to study the stationary Navier-Stokes equations in the setting of Clifford algebras.

It is worth pointing out that our attempt is to give a unified approach to deal with physical problems modeled by the generalized Navier-Stokes equations, which is quite different from the approaches of some authors, for example, we refer the reader to the monograph [9]. Based on the above consideration, we should study the generalized Navier-Stokes equations in variable exponent spaces of Clifford-valued functions. Of course, the study of variable exponent spaces has been driven by various problems in elastic mechanics, calculus of variations and differential equations with variable growth; see [1020] and the references therein.

Evidently, we should primarily be concerned with the study of the first term \(DA(Du)\) in (1.1). In [21, 22], Nolder first introduced the general nonlinear A-Dirac equations \(DA(x, Du)=0\) which arise in the study of many phenomena in the physical sciences. In particular, he developed some tools for the study of weak solutions to nonlinear A-Dirac equations in the space \(W^{1,p}_{0}(\Omega,\mathrm{C}\ell_{n})\). Inspired by his works, Fu and Zhang in [23, 24] were interested in the existence of weak solutions for the general nonlinear A-Dirac equations with variable growth. For this purpose, the authors established a theory of variable exponent spaces of Clifford-valued functions with applications to homogeneous and nonhomogeneous A-Dirac equations; see also [25, 26]. Very recently, Fu et al. in [27, 28] established a Hodge-type decomposition of variable exponent Lebesgue spaces of Clifford-valued functions with applications to the Stokes equations, the Navier-Stokes equations and the A-Dirac equations \(DA(Du)=0\). By using the Hodge-type decomposition and variational methods, Molica Bisci et al. in [29] studied the properties of weak solutions to the homogeneous and nonhomogeneous A-Dirac equations with variable growth. For an overview for the nonlinear A-Dirac equations with variable growth, we refer the reader to [30].

It is worth mentioning that Diening et al. in [31] studied the following model introduced in [4, 5] to describe the motions of electrorheological fluids:
$$ \begin{cases} -\operatorname{div}\mathcal{M}(\mathrm{D}u)+(u\cdot\nabla)u + \nabla\pi = f, &x\in\Omega, \\ \operatorname{div}u=0, &x\in\Omega, \\ u=0, &x\in\partial\Omega, \end{cases} $$
(1.6)
where \(f\in(W^{1,p(x)}_{0}(\Omega))^{*}=W^{-1,p'(x)}(\Omega)\), \(2n/(n+2)< p_{-}\leq p_{+}<\infty\) and the operator A satisfies certain natural variable growth conditions. The authors obtained the existence of weak solutions in \((W^{1,p(x)}_{0}(\Omega))^{n}\times L^{s}_{0}(\Omega)\), here \(s:=\min \{(p_{+})', np_{-}/2(n-p_{-}) \}\) if \(p_{-}< n\) and \(s:=(p_{+})'\) otherwise, \(L^{s}_{0}(\Omega):=\{\pi\in L^{s}(\Omega): \int_{\Omega}\pi\, dx=0\} \). From a practical point of view, we have to investigate the representation of solutions to system (1.6) besides existence and uniqueness. Based on the method developed by Sprößig in [2], it is possible to obtain the desired results if we consider system (1.6) as \(\mathcal {M}(\mathrm{D}u)=a(x,u)\mathrm{D}u\) under the assumption \(f\in W^{-1,p(x)}(\Omega, \mathbb{R}^{n})\), here \(a(x,u)\) is a positive function.
Motivated by their works, our goal in this article is to give a generalization of related results in Sprößig [2] to the variable exponent setting. More precisely, we investigate properties of solutions for the following Navier-Stokes equations in variable exponent spaces of Clifford-valued functions:
$$ \begin{cases} DADu + [uD ]_{0} u + D\pi= f, &x\in\Omega, \\ {[Du ]_{0}}=0, &x\in\Omega, \\ u=0, &x\in\partial\Omega. \end{cases} $$
(1.7)
Throughout the paper, the operator A is defined by \(Au=au\) with \(a(x, u): \overline{\Omega} \times\mathbb{R}^{n}\rightarrow\mathbb{R}^{+}\) and \(a\in C^{\infty}(\overline{\Omega} \times\mathbb{R}^{n})\). The outline for this study is to first establish a modified decomposition of variable exponent Lebesgue spaces. Then the classic results about the Stokes equations and the Navier-Stokes equations obtained by Gürlebeck and Sprößig [32, 33] are extended to the variable exponent setting. In particular, we would like to point out the equivalences of solutions and weak solutions for the above-mentioned equations, which has not been clearly stated by the previous works in [28].

This paper is organized as follows. In Section 2, we start with a brief summary of Clifford algebra and variable exponent spaces of Clifford-valued functions. In Section 3, we establish a modified decomposition of variable exponent Lebesgue spaces, and then discuss its some applications, which will be needed later. In Section 4, we obtain the existence and uniqueness of the generalized Stokes equations in the context of variable exponent spaces. Moreover, the equivalence of solutions and weak solutions for the above-mentioned equations are showed. In Section 5, using similar methods to [28], we prove the existence and uniqueness of solutions to the generalized Navier-Stokes equations in \(W^{1,p(x)}_{0}(\Omega, \mathrm {C}\ell _{n})\times L^{p(x)}(\Omega, \mathbb{R})\) under certain hypotheses. Moreover, the equivalence of solutions and weak solutions for the above-mentioned equations are presented.

2 Preliminaries

First we recall some related definitions and results concerning Clifford algebra and variable exponent spaces of Clifford-valued functions. For a detailed account we refer to [6, 34, 35].

Let \(\mathrm{C}\ell_{n}\) be the real universal Clifford algebra over \(\mathbb{R}^{n}\). Denote \(\mathrm{C}\ell_{n}\) by
$$\mathrm{C}\ell_{n} =\operatorname{span} \{\mathrm{e}_{0}, \mathrm {e}_{1},\mathrm{e}_{2},\ldots,\mathrm{e}_{n}, \mathrm{e}_{1}\mathrm {e}_{2},\ldots,\mathrm{e}_{n-1} \mathrm{e}_{n},\ldots,\mathrm {e}_{1}\mathrm{e}_{2} \cdots\mathrm{e}_{n}\}, $$
where \(\mathrm{e}_{0}=1\) (the identity element in \(\mathbb{R}^{n}\)), \(\{\mathrm{e}_{1},\mathrm{e}_{2},\ldots,\mathrm{e}_{n}\}\) is an orthonormal basis of \(\mathbb{R}^{n}\) with the relation \(\mathrm{e}_{i}\mathrm{e}_{j}+\mathrm{e}_{j}\mathrm{e}_{i}=-2\delta _{ij}\mathrm{e}_{0}\). Thus the dimension of \(\mathrm{C}\ell_{n}\) is \(2^{n}\). For \(I=\{i_{1},\ldots,i_{r}\}\subset\{1,\ldots,n\}\) with \(1\leq i_{1}< i_{2}<\cdots<i_{n}\leq n\), put \(\mathrm {e}_{I}=\mathrm{e}_{i_{1}}\mathrm{e}_{i_{2}}\cdots\mathrm {e}_{i_{r}}\), while for \(I=\emptyset\), \(\mathrm{e}_{\emptyset }=\mathrm{e}_{0}\). For \(0\leq r\leq n\) fixed, the space \(\mathrm{C}\ell_{n}^{r}\) is defined by
$$\mathrm{C}\ell_{n}^{r}=\operatorname{span}\bigl\{ \mathrm{e}_{I}:\vert I\vert =r\bigr\} , $$
where \(|I|\) denotes cardinal number of the set I. The Clifford algebra \(\mathrm{C}\ell_{n}\) is a graded algebra as
$$\mathrm{C}\ell_{n}=\bigoplus_{r} \mathrm{C}\ell_{n}^{r}. $$
Any element \(a\in\mathrm{C}\ell_{n}\) may thus be written in a unique way as
$$a=[a]_{0}+[a]_{1}+\cdots+[a]_{n}, $$
where \([\ ]_{r}:\mathrm{C}\ell_{n}\rightarrow\mathrm{C}\ell _{n}^{r}\) denotes the projection of \(\mathrm{C}\ell_{n}\) onto \(\mathrm{C}\ell_{n}^{r}\). In particular, by \(\mathrm{C}\ell_{n}^{2}=\mathbb{H}\) we denote the algebra of real quaternions. It is customary to identify with \(\mathrm{C}\ell _{n}^{0}\) and identify \(\mathbb{R}^{n}\) with \(\mathrm{C}\ell _{n}^{1}\), respectively. This means that each element x of \(\mathbb{R}^{n}\) may be represented by
$$x=\sum_{i=1}^{n}x_{i} \mathrm{e}_{i}. $$
For \(u\in\mathrm{C}\ell_{n}\), we denote by \([u]_{0}\) the scalar part of u, that is, the coefficient of the element \(\mathrm{e}_{0}\). We define the Clifford conjugation as follows:
$$\overline{\mathrm{e}_{i_{1}}\mathrm{e}_{i_{2}}\cdots\mathrm {e}_{i_{r}}}=(-1)^{\frac{r(r+1)}{2}}\mathrm{e}_{i_{1}}\mathrm {e}_{i_{2}}\cdots\mathrm{e}_{i_{r}}. $$
We denote
$$(A,B)= [\overline{A}B ]_{0}. $$
Then an inner product is thus obtained, giving rise to the norm \(|\cdot|\) on \(\mathrm{C}\ell_{n}\) given by
$$|A|^{2}= [\overline{A}A ]_{0}. $$

A Clifford-valued function \(u:\Omega\rightarrow\mathrm{C}\ell_{n}\) can be written as \(u=\sum_{I}u_{I}\mathrm{e}_{I}\), where the coefficients \(u_{I}:\Omega\rightarrow\mathbb{R}\) are real-valued functions.

The Dirac operator on Euclidean space used here is introduced by
$$D=\sum_{j=1}^{n}\mathrm{e}_{j} \partial_{j}. $$
This is a special case of the Atiyah-Singer-Dirac operator acting on sections of a spinor bundle. Note that the most famous Dirac operator describes the propagation of a free fermion in three dimensions.
If u is a real-valued function defined on a domain Ω in \(\mathbb{R}^{n}\), then \(Du=\nabla u=(\partial_{1}u,\partial_{2}u, \ldots,\partial_{n}u)\). Moreover, \(D^{2}=DD=-\Delta\), where Δ is the Laplace operator which operates only on coefficients. A function is left monogenic if it satisfies the equation \(Du(x)=0\) for each \(x\in\Omega\). A similar definition can be given for right monogenic function. An important example of a left monogenic function is the generalized Cauchy kernel
$$G(x)=\frac{1}{\omega_{n}}\frac{\overline{x}}{|x|^{n}}, $$
where \(\omega_{n}\) denotes the surface area of the unit ball in \(\mathbb{R}^{n}\). This function is a fundamental solution of the Dirac operator.
Next we recall some basic properties of variable exponent spaces of Clifford-valued functions. Note that in what follows, we use the short notation \(L^{p(x)}(\Omega)\), \(W^{1,p(x)}(\Omega)\), etc., instead of \(L^{p(x)}(\Omega, \mathbb{R})\), \(W^{1,p(x)}(\Omega,\mathbb{R})\), etc. Throughout this paper we always assume (unless declare specially)
$$ p \in\mathcal{P}^{\mathrm{log}}(\Omega) \quad \mbox{and} \quad 1 < p_{-}:= \inf_{x \in\overline{\Omega}}p(x) \leq p(x) \leq\sup _{x \in\overline{\Omega}}p(x) =:p_{+} < \infty, $$
(2.1)
where \(\mathcal{P}^{\mathrm{log}}(\Omega)\) is the set of exponent p satisfying the so-called log-Hölder continuity, i.e.,
$$\bigl\vert p(x) - p(y)\bigr\vert \leq\frac{C}{\log(\mathrm{e} + |x-y|^{-1})} $$
holds for all \(x,y \in\Omega\); see [36]. Let \(\mathcal {P}(\Omega)\) be the set of all Lebesgue measurable functions \(p: \Omega\rightarrow (1,\infty)\). Given \(p \in\mathcal{P}(\Omega)\) we define the conjugate function \(p'(x)\in\mathcal{P}(\Omega)\) by
$$p'(x)=\frac{p(x)}{p(x)-1}, \quad \forall x\in\Omega. $$
The variable exponent Lebesgue space \(L^{p(x)}(\Omega)\) is defined by
$$L^{p(x)}(\Omega)= \biggl\{ u\in\mathcal{P}(\Omega):\int _{\Omega }\bigl\vert u(x)\bigr\vert ^{p(x)}\, dx < \infty \biggr\} , $$
with the norm
$$\|u\|_{L^{p(x)}(\Omega)}=\mathrm{inf} \biggl\{ t>0:\int_{\Omega} \biggl\vert \frac{u(x)}{t}\biggr\vert ^{p(x)}\, dx \leq1 \biggr\} . $$
The variable exponent Sobolev space \(W^{1,p(x)}(\Omega)\) is defined by
$$W^{1,p(x)}(\Omega)= \bigl\{ u\in L^{p(x)}(\Omega): |\nabla u| \in L^{p(x)}(\Omega) \bigr\} , $$
with the norm
$$ \|u\|_{W^{1,p(x)}(\Omega)}=\|\nabla u\|_{L^{p(x)}(\Omega)} + \|u\|_{L^{p(x)}(\Omega)}. $$
(2.2)
Denote \(W_{0}^{1,p(x)}(\Omega)\) by the completion of \(C_{0}^{\infty}(\Omega)\) in \(W^{1,p(x)}(\Omega)\) with respect to the norm (2.2). The space \(W^{-1,p(x)}(\Omega)\) is defined as the dual of the space \(W_{0}^{1,p'(x)}(\Omega)\). For more details we refer to [9] and references therein.
In what follows, we say that \(u\in L^{p(x)}(\Omega,\mathrm{C}\ell _{n})\) can be understood coordinate wisely. For example, \(u\in L^{p(x)}(\Omega,\mathrm{C}\ell_{n})\) means that \(\{u_{I}\} \subset L^{p(x)}(\Omega)\) for \(u=\sum_{I}u_{I}e_{I}\in\mathrm{C}\ell_{n}\) with the norm \(\|u\|_{L^{p(x)}(\Omega, \mathrm{C}\ell_{n})}= \sum_{I}\|u_{I}\|_{L^{p(x)}(\Omega)}\). In this way, spaces \(W^{1,p(x)}(\Omega,\mathrm{C}\ell_{n})\), \(W_{0}^{1,p(x)}(\Omega,\mathrm{C}\ell_{n})\), \(C_{0}^{\infty}(\Omega ,\mathrm{C}\ell_{n})\), etc. can be understood similarly. In particular, the space \(L^{2}(\Omega,\mathrm{C}\ell_{n})\) can be converted into a right Hilbert \(\mathrm{C}\ell_{n}\)-module by defining the following Clifford-valued inner product (see [32, Definition 3.74]):
$$ (f,g )_{\mathrm{C}\ell_{n}}=\int_{\Omega}{\overline {f(x)}g(x)}\,dx. $$
(2.3)

Remark 2.1

A simple calculation leads to the claim that the norm \(\|u\|_{L^{p(x)}(\Omega, \mathrm{C}\ell_{n})}\) is equivalent to the norm \(\| |u| \|_{L^{p(x)}(\Omega)}\). Furthermore, \(\|Du\|_{L^{p(x)}(\Omega,\mathrm{C}\ell_{n})}\) is an equivalent norm of \(\|u\|_{W^{1,p(x)}_{0}(\Omega,\mathrm{C}\ell_{n})}\) for every \(u \in W^{1,p(x)}_{0}(\Omega,\mathrm{C}\ell _{n})\); for the details we refer to [24, 25].

Lemma 2.1

(see [23, 24])

If \(p(x) \in\mathcal{P}(\Omega)\), then \(L^{p(x)}(\Omega,\mathrm{C}\ell_{n})\) and \(W^{1,p(x)}(\Omega,\mathrm{C}\ell_{n})\) are reflexive Banach spaces.

Definition 2.1

(see [32])

Let \(u \in C(\Omega, \mathrm{C}\ell _{n})\). The Teodorescu operator is defined by
$$Tu(x) = \int_{\Omega}G(x-y)u(y)\,dy, $$
where \(G(x)\) is the generalized Cauchy kernel mentioned above.

Lemma 2.2

(see [28])

The following operators are bounded linear operators:
  1. (i)

    \(T: L^{p(x)}(\Omega,\mathrm{C}\ell_{n}) \rightarrow W^{1,p(x)}(\Omega,\mathrm{C}\ell_{n})\).

     
  2. (ii)

    \(\widetilde{T}: W^{-1,p(x)}(\Omega,\mathrm{C}\ell_{n}) \rightarrow L^{p(x)}(\Omega,\mathrm{C}\ell_{n})\), where the operator \(\widetilde {T}\) can be considered as a unique bounded linear extension of the Teodorescu operator.

     

Lemma 2.3

(see [28])

The following operators are bounded linear operators:
  1. (i)

    \(D: W^{1,p(x)}(\Omega,\mathrm{C}\ell_{n}) \rightarrow L^{p(x)}(\Omega,\mathrm{C}\ell_{n})\).

     
  2. (ii)

    \(\widetilde{D}:L^{p(x)}(\Omega,\mathrm{C}\ell_{n}) \rightarrow W^{-1,p(x)}(\Omega,\mathrm{C}\ell_{n})\), where the operator \(\widetilde{D}\) can be considered as a unique bounded linear extension of the Dirac operator.

     

Lemma 2.4

(see [28])

Let \(p(x) \in\mathcal{P}(\Omega)\).
  1. (i)

    If \(u \in W^{1,p(x)}_{0}(\Omega,\mathrm{C}\ell_{n})\), then the equation \(TDu(x) = u(x)\) holds for all \(x \in\Omega\).

     
  2. (ii)

    If \(u \in L^{p(x)}(\Omega,\mathrm{C}\ell_{n})\), then the equation \(DTu(x) = u(x)\) holds for all \(x \in\Omega\).

     

Lemma 2.5

(see [28])

Let \(p(x)\) satisfies (2.1).
  1. (i)

    If \(u \in L^{p(x)}(\Omega,\mathrm{C}\ell_{n})\), then the equation \(\widetilde{T}\widetilde{D}u(x) = u(x)\) holds for all \(x \in \Omega\).

     
  2. (ii)

    If \(u \in W^{-1,p(x)}(\Omega,\mathrm{C}\ell_{n})\), then the equation \(\widetilde{D}\widetilde{T}u(x) = u(x)\) holds for all \(x \in\Omega\).

     

3 A modified decomposition of spaces

Gürlebeck and Sprößig [32, 33] showed that the orthogonal decomposition of the space \(L^{2}(\Omega)\) holds in the hyper-complex function theory:
$$ L^{2}(\Omega,\mathrm{C}\ell_{n}) = \bigl(\operatorname{ker}D \cap L^{2}(\Omega ,\mathrm{C}\ell_{n})\bigr) \oplus DW^{1,2}_{0}(\Omega,\mathrm{C}\ell _{n}) $$
(3.1)
with respect to the Clifford-valued product (2.3). Kähler [37] extended the orthogonal decomposition (3.1) to the spaces \(L^{p}(\Omega, \mathrm{C}\ell_{n})\) in form of a direct decomposition in a bounded domain. In [38], Cerejeiras and Kähler investigated a direct decomposition of \(L^{p}(\Omega, \mathrm{C}\ell_{n})\) in an unbounded domain. In [28], Zhang et al. generalized (3.1) to the setting of \(L^{p(x)}(\Omega, \mathrm{C}\ell_{n})\) in a bounded domain.
In [36], Diening et al. showed that the Dirichlet problem of the Poisson equation with homogeneous boundary data
$$ \begin{cases} -\Delta u = f &\mbox{in } \Omega, \\ u = 0 &\mbox{on } \partial\Omega, \end{cases} $$
(3.2)
has a unique weak solution \(u\in W^{1,p(x)}(\Omega)\) for each \(f \in W^{-1,p(x)}(\Omega)\). Moreover, the following estimate holds:
$$\|u\|_{W^{1,p(x)}(\Omega)} \leq C(n,p,\Omega )\|f\|_{W^{-1,p(x)}(\Omega)}. $$
Here u is called a weak solution of problem (3.2) provided that
$$\langle f,\varphi\rangle=\int_{\Omega}\nabla u\cdot\nabla\varphi \,dx , \quad \forall \varphi\in W^{1,p'(x)}_{0}(\Omega). $$
Then it is easy to see that for all \(f \in W^{-1,p(x)}(\Omega,\mathrm{C}\ell_{n})\) the problem (3.2) still has a unique weak solution \(u\in W^{1,p(x)}(\Omega,\mathrm {C}\ell_{n})\). We denote by \(\Delta^{-1}_{0}\) the solution operator.

Now we are in a position to prove a decomposition of the variable exponent Lebesgue spaces equipped with the modified inner product.

Theorem 3.1

The space \(L^{p(x)}(\Omega,\mathrm{C}\ell_{n})\) allows the Hodge-type decomposition
$$ L^{p(x)}(\Omega,\mathrm{C}\ell_{n}) = \bigl(B \operatorname{ker}\widetilde {D} \cap L^{p(x)}(\Omega,\mathrm{C} \ell_{n}) \bigr) \oplus DW^{1,p(x)}_{0}(\Omega, \mathrm{C}\ell_{n}) $$
(3.3)
with respect to the inner product
$$(f,g )_{A}=\int_{\Omega}{\overline{Af(x)}Ag(x)}\,dx, $$
where \(AB=BA=I\) and \(Bu:=b(x, u)u\) with \(ab=1\).

Proof

Similar to the proof of Theorem 6 in [37], we first show the intersection of spaces \(B\operatorname{ker}\widetilde{D} \cap L^{p(x)}(\Omega,\mathrm {C}\ell_{n})\) and spaces \(DW^{1,p(x)}_{0}(\Omega,\mathrm{C}\ell_{n})\) contains one and only one zero element. Indeed, suppose \(f \in (B\operatorname{ker}\widetilde{D} \cap L^{p(x)}(\Omega,\mathrm{C}\ell_{n}) ) \cap DW^{1,p(x)}_{0}(\Omega,\mathrm{C}\ell_{n})\), then \(\widetilde{D}Af = 0\). Moreover, \(f \in L^{p(x)}(\Omega,\mathrm{C}\ell_{n})\) shows that there exists a function \(w=TAf \in W^{1,p(x)}(\Omega,\mathrm{C}\ell_{n})\) because of Lemma 2.2; then \(f=BDw \in DW^{1,p(x)}_{0}(\Omega,\mathrm{C}\ell_{n})\) due to Lemma 2.4. It follows that \(w \in W^{1,p(x)}_{0}(\Omega,\mathrm{C}\ell_{n})\). Therefore, we have \(\widetilde{D}D w = 0\) in Ω and \(w = 0\) on Ω. From the uniqueness of \(\Delta^{-1}_{0}\) we obtain \(w = 0\). Consequently, \(f = 0\). Therefore, the sum of the two subspaces is a direct one.

Now let \(u \in L^{p(x)}(\Omega,\mathrm{C}\ell_{n})\). If we take \(u_{2} = BD\Delta^{-1}_{0}\widetilde{D}Au\), then using the same arguments as the first part, we deduce that \(u_{2} \in DW^{1,p(x)}_{0}(\Omega,\mathrm{C}\ell_{n})\). Let \(u_{1} = u - u_{2}\). Then \(u_{1} \in L^{p(x)}(\Omega,\mathrm {C}\ell_{n})\). Furthermore, we take \(u_{k}\in W^{1,p(x)}_{0}(\Omega,\mathrm{C}\ell _{n})\) such that \(u_{k} \rightarrow u \) in \(L^{p(x)}(\Omega, \mathrm{C}\ell _{n})\), then by the density of \(W^{1,p(x)}_{0}(\Omega,\mathrm{C}\ell_{n})\) in \(L^{p(x)}(\Omega, \mathrm{C}\ell_{n})\) and Lemma 2.3, we have for any \(\varphi\in W^{1,p'(x)}_{0}(\Omega,\mathrm{C}\ell_{n})\),
$$(u_{1},BD\varphi )_{A}=\int_{\Omega} \overline{A(u - u_{2})} D\varphi \,dx =\lim_{k \rightarrow\infty}\int _{\Omega}\overline{\bigl(DAu_{k} - DABD \Delta^{-1}_{0}DAu_{k}\bigr)}\varphi \,dx=0. $$
Thus, we obtain \(u_{1} \in B\operatorname{ker}\widetilde{D}\). Since \(u \in L^{p(x)}(\Omega,\mathrm{C}\ell_{n})\) is arbitrary, the desired result follows. □
From this decomposition we can get the following projections:
$$\begin{aligned}& P_{a}: L^{p(x)}(\Omega,\mathrm{C}\ell_{n}) \rightarrow B\operatorname {ker}\widetilde{D}\cap L^{p(x)}(\Omega, \mathrm{C}\ell_{n}), \\& Q_{a}: L^{p(x)}(\Omega,\mathrm{C}\ell_{n}) \rightarrow DW^{1,p(x)}_{0}(\Omega,\mathrm{C}\ell_{n}). \end{aligned}$$
Moreover, we have
$$ Q _{a}= BD\Delta^{-1}_{0}\widetilde{D}A, \qquad P_{a} = I - Q_{a}. $$
(3.4)

Corollary 3.1

Let \(f \in L^{p(x)}(\Omega,\mathrm{C}\ell_{n})\). Then the following equations with homogeneous boundary data:
$$ \begin{cases} DAD u = f &\textit{in } \Omega, \\ u = 0 &\textit{on } \partial\Omega \end{cases} $$
(3.5)
has a unique solution \(u \in W^{2,p(x)}_{0}(\Omega,\mathrm{C}\ell _{n})\) which may be represented by the formula \(u=TQ_{a}BTf\).

Proof

For existence of solution, Theorem 3.1 implies that there exists a function \(u \in W^{1,p(x)}_{0}(\Omega,\mathrm{C}\ell_{n})\) such that \(Q_{a}BTf=Du\). Lemma 2.2 gives \(Tf \in W^{1,p(x)}(\Omega ,\mathrm{C}\ell_{n})\) and \(Q_{a}BTf \in W^{2,p(x)}_{0}(\Omega ,\mathrm{C}\ell_{n})\). Then from Lemma 2.4 it follows that \(TQ_{a}BTf=TDu=u\). Hence \(u \in W^{2,p(x)}_{0}(\Omega,\mathrm{C}\ell _{n})\). Further, we have
$$DAD u= DAQ_{a}BTf= DABTf-DAP_{a}Bf=f, $$
which implies \(DAD u = f\).

For the uniqueness of solution, consider the boundary value problems: \(DAD u=0\) in Ω and \(u=0\) on Ω. It is easy to see that \(Du \in\operatorname{im}P_{a} \cap\operatorname{im}Q_{a}=\{0\}\). Then \(Du=0\). Hence \(u=TDu=0\) because of Lemma 2.4. □

Remark 3.1

Gürlebeck and Sprößig [33] pointed out that the equations of linear elasticity and time-independent Maxwell equations over a three-dimensional domain with zero boundary condition could be transformed into problem (3.5) in a quaternionic language; see Section 4.3 and Section 4.4 in [33] for more details.

Corollary 3.2

The space \(L^{p(x)}(\Omega,\mathrm{C}\ell_{n}) \cap\operatorname{im}Q_{a}\) is a closed subspace of \(L^{p(x)}(\Omega,\mathrm{C}\ell_{n})\).

Proof

The proof follows that of Lemma 6 in [28] almost word by word, we thus omit the details. □

Corollary 3.3

\((L^{p(x)}(\Omega,\mathrm{C}\ell_{n}) \cap\operatorname{im}Q_{a} )^{\ast} = L^{p'(x)}(\Omega,\mathrm {C}\ell_{n}) \cap \operatorname{im}Q_{a}\). In other words, the linear operator
$$\Phi: DW^{1,p'(x)}_{0}(\Omega,\mathrm{C}\ell_{n}) \rightarrow \bigl(DW^{1,p(x)}_{0}(\Omega,\mathrm{C} \ell_{n}) \bigr)^{\ast} $$
given by
$$\Phi(Du) (D\varphi) = [D\varphi, Du]_{A}:= \int_{\Omega} [\overline{AD\varphi}ADu ]_{0}\,dx $$
is a Banach space isomorphism.

Proof

Similar to the proof of Lemma 2.7 in [28], for the reader’s convenience, we will give a detailed treatment of the proof. In view of Corollary 3.2, \(DW^{1,p(x)}_{0}(\Omega,\mathrm{C}\ell_{n})\) and \(DW^{1,p'(x)}_{0}(\Omega,\mathrm{C}\ell_{n})\) are reflexive Banach spaces since they are closed in \(L^{p(x)}(\Omega,\mathrm{C}\ell_{n})\) and \(L^{p'(x)}(\Omega,\mathrm{C}\ell_{n})\), respectively. Linearity of Φ is clear. For injectivity, suppose
$$ \Phi(Du) (D\varphi) = [D\varphi, Du]_{A} = 0 $$
(3.6)
for all \(\varphi\in W^{1,p(x)}_{0}(\Omega,\mathrm{C}\ell_{n})\) and some \(u \in W^{1,p'(x)}_{0}(\Omega,\mathrm{C}\ell_{n})\). For any \(\omega\in L^{p(x)}(\Omega,\mathrm{C}\ell_{n})\), according to (3.4), we may write \(\omega= \alpha+ \beta\) with \(\alpha\in B\operatorname{ker}\widetilde{D} \cap L^{p(x)}(\Omega,\mathrm{C}\ell_{n})\) and \(\beta\in DW^{1,p(x)}_{0}(\Omega,\mathrm{C}\ell_{n})\). Thus we obtain
$$[\omega, Du]_{A} = [\alpha+ \beta, Du]_{A} = [\alpha, Du]_{A} + [\beta, Du]_{A}. $$
Taking a similar argument to the first part of the proof in Theorem 3.1, we may write \(\alpha=B\zeta\) with \(\zeta\in\operatorname{ker}\widetilde{D} \cap L^{p(x)}(\Omega,\mathrm{C}\ell_{n})\) and \(Du=BD\eta\) with \(\eta\in W^{1,p(x)}_{0}(\Omega,\mathrm{C}\ell_{n})\), then it is easy to see that \((\alpha, Du)_{\mathrm{Sc}}=0 \). This together with (3.6) gives \((\omega, Du)_{\mathrm{Sc}} = 0\). This leads to \(Du = 0\). It follows that Φ is injective. To get surjectivity, let \(f \in (DW^{1,p(x)}_{0}(\Omega,\mathrm{C}\ell_{n}) )^{\ast}\). By the Hahn-Banach theorem, there is \(F \in (L^{p(x)}(\Omega,\mathrm{C}\ell _{n}) )^{\ast}\) with \(\|F\| = \|f\|\) and \(F|_{DW^{1,p(x)}_{0}(\Omega,\mathrm{C}\ell _{n})} = f\). Moreover, there exists \(\varphi\in L^{p'(x)}(\Omega,\mathrm{C}\ell_{n})\) such that \(F(u) = (u, \varphi )_{\mathrm{Sc}}\) for any \(u \in L^{p(x)}(\Omega,\mathrm{C}\ell_{n})\). According to (3.4), we can write \(\varphi=\xi+ D\alpha\), where \(\xi\in B\operatorname{ker}\widetilde{D} \cap L^{p'(x)}(\Omega,\mathrm{C}\ell _{n})\), \(D\alpha \in DW^{1,p'(x)}_{0}(\Omega,\mathrm{C}\ell_{n})\). For any \(Du \in DW^{1,p(x)}_{0}(\Omega,\mathrm{C}\ell_{n})\), we have
$$ f(Du)= [Du, \varphi]_{A} = [Du, \xi]_{A} + [Du, D \alpha]_{A}= [Du, D\alpha]_{A} = \Phi(D\alpha) (Du). $$
Consequently, \(\Phi(D\alpha) = f\). It follows that Φ is surjective. By Theorem 3.1 in [23] we have
$$\bigl\vert \Phi(Du) (D\varphi)\bigr\vert = \bigl\vert [D\varphi, Du]_{A}\bigr\vert \leq C\|D\varphi\|_{L^{p(x)}(\Omega,\mathrm{C}\ell _{n})}\|Du \|_{L^{p'(x)}(\Omega,\mathrm{C}\ell_{n})}. $$
This means that Φ is continuous. Furthermore, it is immediate that \(\Phi^{-1}\) is continuous from the inverse function theorem. The proof of Corollary 3.3 is thus finished. □

4 Stokes equations with variable viscosity

In the study of the stationary Navier-Stokes equations, the corresponding Stokes equations play an important role. It can be said that any open question about the Navier-Stokes equations, such as global existence of strong solutions, uniqueness and regularity of weak solutions, and asymptotic behavior, is closely related with the qualitative and quantitative properties of the solutions of Stokes equations; see, for example, [38] for related discussions. To be precise, it is crucial to investigate the properties of solutions \((u,\pi)\) to the following Stokes system:
$$\begin{aligned}& -\nu\Delta u + \nabla\pi= f \quad \mbox{in } \Omega, \end{aligned}$$
(4.1)
$$\begin{aligned}& \operatorname{div} u = f_{0} \quad \mbox{in } \Omega, \end{aligned}$$
(4.2)
$$\begin{aligned}& u = v_{0} \quad \mbox{on } \partial\Omega. \end{aligned}$$
(4.3)

With \(\int_{\Omega}f_{0}\,dx=\int_{\partial\Omega}n\cdot v_{0}\,dx\), the necessary condition for the solvability is given. The scalar function \(f_{0}\) is a measure of the compressibility of fluid. The boundary condition (4.3) describes the adhesion at the boundary of the domain Ω for \(v_{0} = 0\). This system describes the stationary flow of a homogeneous viscous fluid for small Reynold’s numbers. For more details we refer to [3, 33].

For \(f=\sum_{i=1}^{n}f_{i}\mathrm{e}_{i}\) and \(u=\sum_{i=1}^{n}u_{i}\mathrm{e}_{i}\), let us consider the following Stokes system in the hyper-complex formulation:
$$\begin{aligned}& \widetilde{D}ADu + D\pi= f \quad \mbox{in } \Omega, \end{aligned}$$
(4.4)
$$\begin{aligned}& {[Du]_{0}} = 0 \quad \mbox{in } \Omega, \end{aligned}$$
(4.5)
$$\begin{aligned}& u = 0 \quad \mbox{on } \partial\Omega. \end{aligned}$$
(4.6)

Definition 4.1

We say that \((u,\pi) \in W^{1,p(x)}_{0}(\Omega, \mathrm{C}\ell_{n}) \times L^{p(x)}(\Omega)\) a solution of (4.4)-(4.6) provided that it satisfies the system (4.4)-(4.6) for every \(f\in W^{-1,p(x)}(\Omega, \mathrm{C}\ell_{n})\).

Definition 4.2

The operator \(\widetilde{\nabla}:L^{p(x)}(\Omega)\rightarrow (W^{-1,p(x)}(\Omega))^{n}\) is defined by
$$\langle\widetilde{\nabla} f,\varphi\rangle=-\langle f,\operatorname{div} \varphi \rangle:=-\int_{\Omega}{f \operatorname{div} \varphi}\,dx $$
for all \(f \in L^{p(x)}(\Omega)\) and \(\varphi\in(C^{\infty}_{0}(\Omega))^{n}\).

Lemma 4.1

(see [28])

Let Ω be a bounded Lipschitz domain of \(\mathbb{R}^{n}\). Let \(f\in(W^{-1,p(x)}(\Omega))^{n}\) satisfy
$$\langle f,\varphi\rangle=\int_{\Omega}{f\cdot\varphi}\,dx=0 $$
for any φ M ( Ω ) : = { v ( W 0 1 , p ( x ) ( Ω ) ) n : div v = 0 } . Then there exists \(q\in L^{p(x)}(\Omega)\) such that \(f=\widetilde{\nabla} q\).

Theorem 4.1

Let \(f \in W^{-1,p(x)}(\Omega, \mathrm{C}\ell_{n})\). Then the Stokes system (4.4)-(4.6) has a unique solution \((u,\pi) \in W^{1,p(x)}_{0}(\Omega, \mathrm{C}\ell_{n}) \times L^{p(x)}(\Omega)\) in the form
$$u + TQ_{a}B\pi= TQ_{a}B\widetilde{T}f, $$
with respect to the estimate
$$\|Du\|_{L^{p(x)}(\Omega, \mathrm{C}\ell_{n})} +\|Q_{a}B\pi \|_{L^{p(x)}(\Omega)} \leq C \|Q_{a}B\widetilde{T}f\|_{L^{p(x)}(\Omega ,\mathrm{C}\ell_{n})}. $$
Here, \(C\geq1\) is a constant and the hydrostatic pressure π is unique up to a constant.

Proof

We first show that the following representation is valid for each \(f \in W^{-1,p(x)}(\Omega, \mathrm{C}\ell_{n})\):
$$TQ_{a}B\widetilde{T}f= u + TQ_{a}B\pi. $$
Indeed, let \(\varphi_{n} \in W^{1,p(x)}_{0}(\Omega, \mathrm{C}\ell_{n})\) with \(\varphi_{n} \rightarrow\varphi\) in \(L^{p(x)}(\Omega, \mathrm{C}\ell_{n})\). By Lemma 2.4, we have
$$TQBT(D\varphi_{n}) = TQ_{a}B\varphi_{n}. $$
Since \(W^{1,p(x)}_{0}(\Omega, \mathrm{C}\ell_{n})\) is dense in \(L^{p(x)}(\Omega, \mathrm{C}\ell_{n})\), it follows that \(TQ_{a}B\widetilde {T}\widetilde{D}\varphi= TQ_{a}B\varphi\). Thus, for \(u \in W^{1,p(x)}_{0}(\Omega, \mathrm {C}\ell_{n})\) and \(\pi\in L^{p(x)}(\Omega)\), Lemma 2.4 yields
$$TQ_{a}B\widetilde{T}f= TQ_{a}B\widetilde{T} ( \widetilde{D}ADu + \widetilde{D}\pi ) = u + TQ_{a}B\pi. $$
This implies that our system (4.4)-(4.6) is equivalent to the system
$$\begin{aligned}& u + TQ_{a}B\pi= TQ_{a}B\widetilde{T}f, \end{aligned}$$
(4.7)
$$\begin{aligned}& {[Q_{a}B\pi]_{0}} = [Q_{a}B \widetilde{T}f]_{0}. \end{aligned}$$
(4.8)
Clearly, the equality (4.7) is equivalent to the following equality:
$$ Du + Q_{a}B\pi= Q_{a}B\widetilde{T}f. $$
(4.9)

Now we need to show that for each \(f\in W^{-1,p(x)}(\Omega, \mathrm{C}\ell_{n}^{1})\), the function \(Q_{a}BTf\) can be decomposed into two functions Du and \(Q_{a}B\pi\). Suppose \(Du + Q_{a}B\pi=0\) for \(u \in W^{1,p(x)}_{0}(\Omega, \mathrm{C}\ell _{n}^{1}) \cap \operatorname{ker} \operatorname{div}\) and \(\pi\in L^{p(x)}(\Omega)\). Then (4.5) gives \([Q_{a}B\pi]_{0} = 0\). Thus, \(Q_{a}B\pi= 0\). Hence, \(Du = Q_{a}B\pi= 0\). This means that \(Du + Q_{a}B\pi\) is a direct sum, which is a subset of \(\operatorname{im}Q_{a}\).

Next we have to consider the existence of a functional \(\mathcal {F}\in(L^{p(x)}(\Omega, \mathrm{C}\ell_{n}^{1}) \cap\operatorname {im}Q_{a})^{\ast}\) with \(\mathcal{F}(Du)=0\) and \(\mathcal{F}(Q_{a}B\pi)=0\) but \(\mathcal {F}(Q_{a}B\widetilde{T}f)\neq0\). This is equivalent to asking if there exists \(g \in W^{-1,p'(x)}(\Omega, \mathrm{C}\ell_{n}^{1})\), such that for all \(u \in W^{1,p(x)}_{0}(\Omega, \mathrm{C}\ell_{n}^{1}) \cap\operatorname{ker} \operatorname{div}\) and \(\pi\in L^{p(x)}(\Omega)\),
$$\begin{aligned}& {[Du, Q_{a}B\widetilde{T}g]_{A}} = 0, \end{aligned}$$
(4.10)
$$\begin{aligned}& {[Q_{a}B\pi, Q_{a}B\widetilde{T}g]_{A}} = 0, \end{aligned}$$
(4.11)
but \([Q_{a}B\widetilde{T}f, Q_{a}B\widetilde{T}g]_{A} \neq0\). Here, Corollary 3.3 is applied.
Thus, let us consider the system (4.10) and (4.11) with \(g \in W^{-1,p'(x)}(\Omega, \mathrm{C}\ell_{n}^{1})\). Taking the arguments as the first part of the proof in Theorem 3.1, we may write \(Du=BDw\) with \(w \in W^{1,p(x)}_{0}(\Omega, \mathrm {C}\ell_{n}^{1})\). Then \(\operatorname{div}u=\operatorname{div}w=0\) because of \(b(x)>0\). According to Lemma 2.5, (4.10) yields
$$\begin{aligned} 0&= [Du, Q_{a}B\widetilde{T}g ]_{A} =\int _{\Omega }\overline{ADu}AQ_{a}B\widetilde{T}g \,dx \\ &=\int_{\Omega}\overline{w}\widetilde{D}AQ_{a}B \widetilde{T}g \,dx= \int_{\Omega}\overline{w}g \,dx-\int _{\Omega}\overline{w}\widetilde {D}AP_{a}B \widetilde{T}g \,dx=\int_{\Omega}\overline{w}g \,dx, \end{aligned}$$
which implies \(g = \widetilde{\nabla} h = \widetilde{D}h\) with \(h \in L^{p'(x)}(\Omega)\) because of Lemma 4.1. Thus we obtain from (4.11) and Lemma 2.4
$$[Q_{a}B\pi, Q_{a}B\widetilde{T}g]_{A}=[Q_{a}B \pi, Q_{a}B\widetilde {T}\widetilde{D}h]_{A} =[Q_{a}B\pi,Q_{a}Bh]_{A}= 0 $$
holds for each \(\pi\in L^{p(x)}(\Omega)\). Hence, \(Q_{a}B\pi=|Q_{a}Bh|^{p'(x)-2}Q_{a}Bh\) gives \(Q_{a}Bh = 0\). Then we obtain
$$g =\widetilde{D}h= \widetilde{D}AQ_{a}Bh + \widetilde{D}AP_{a}Bh= 0. $$
Furthermore, we get
$$[Q_{a}B\widetilde{T}f, Q_{a}B\widetilde{T}g]_{A} = 0, \quad \forall f \in W^{-1,p(x)}\bigl(\Omega, \mathrm{C} \ell_{n}^{1}\bigr). $$
Finally, (4.9) yields
$$\|Du\|_{L^{p(x)}(\Omega, \mathrm{C}\ell_{n})} + \|Q_{a}B\pi \|_{L^{p(x)}(\Omega)} \geq \|Q_{a}B\widetilde{T}f\|_{L^{p(x)}(\Omega , \mathrm{C}\ell_{n})}. $$
By the norm equivalence theorem, we obtain
$$\|Du\|_{L^{p(x)}(\Omega, \mathrm{C}\ell_{n})} + \|Q_{a}B\pi \|_{L^{p(x)}(\Omega)} \leq C \|Q_{a}B\widetilde{T}f\|_{L^{p(x)}(\Omega , \mathrm{C}\ell_{n})}. $$
By Remark 2.1, Lemma 2.2, and the boundedness of the operator \(Q_{a}\), we get
$$ \|u\|_{W^{1,p(x)}_{0}(\Omega, \mathrm{C}\ell_{n})} + \|Q_{a}B\pi \|_{L^{p(x)}(\Omega)} \leq C\|f \|_{W^{-1,p(x)}(\Omega, \mathrm {C}\ell_{n})}. $$
(4.12)
From (4.12) the uniqueness of the solution follows. Note that \(Q_{a}B(\pi_{1}- \pi_{2})= 0\) implies \(B(\pi_{1}- \pi_{2}) \in B\operatorname{ker}\widetilde{D}\). Then \(\pi_{1}=\pi_{2} +c\) with \(c \in \mathbb{R}\). Therefore, π is unique up to a constant. The proof of Theorem 4.1 is now complete. □

In [28], the authors did not point out the relation of solutions and weak solutions for the Stokes equations. Next we should prove that solutions and weak solutions for the Stokes equations are equivalent.

Definition 4.3

The Clifford-valued function u is called a weak solution of the system (4.3)-(4.6), if for each \(v \in W^{1,p'(x)}_{0}(\Omega, \mathrm{C}\ell_{n}^{1}) \cap\operatorname {ker} \operatorname{div}\), the equality
$$(ADu, Dv)_{\mathrm{Sc}}=(f, v)_{\mathrm{Sc}} $$
holds, where \((u, v)_{\mathrm{Sc}}\) denotes the classical scalar product \((u, v)_{\mathrm{Sc}}=\int_{\Omega}[\overline{u}v]_{0}\,dx=\int_{\Omega}\sum_{i=1}^{n} u_{i} v_{i}\,dx\).

Theorem 4.2

Let \(u \in W^{1,p(x)}_{0}(\Omega, \mathrm{C}\ell _{n}^{1})\) and \(\pi\in L^{p(x)}(\Omega)\) be a solution of system (4.7)-(4.8). Then u is a weak solution of system (4.4)-(4.6). If u is a weak solution of the system (4.4)-(4.6), then there exists a function \(\pi\in L^{p(x)}(\Omega)\) such that the pair \((u, \pi)\) solves the system (4.7)-(4.8).

Proof

We follow the idea of Theorem 4.5.2 in [33]. First we need to show that for all functions \(v \in W^{1,p'(x)}_{0}(\Omega, \mathrm{C}\ell_{n}^{1}) \cap\operatorname{ker} \operatorname{div}\), the following equality holds:
$$ \sum_{i=1}^{n} (A\nabla u_{i}, \nabla v_{i} )_{\mathrm{Sc}}=(f, v)_{\mathrm{Sc}} . $$
(4.13)
For this purpose, from (4.7) it follows that
$$ (ADu, Dv)_{\mathrm{Sc}}= (ADTQ_{a}B\widetilde{T}f, Dv)_{\mathrm{Sc}}-(ADTQ_{a}B\pi, Dv)_{\mathrm{Sc}} $$
(4.14)
for each \(v \in W^{1,p'(x)}_{0}(\Omega, \mathrm{C}\ell_{n}^{1}) \cap \operatorname{ker} \operatorname{div}\). The first term of the right side in (4.14) yields
$$ (ADTQ_{a}B\widetilde{T}f, Dv)_{\mathrm{Sc}}=(\widetilde{D}ADTQ_{a}B \widetilde {T}f, v)_{\mathrm{Sc}}=(f, v)_{\mathrm{Sc}}, $$
(4.15)
thanks to Lemma 2.4, Lemma 2.5 and (3.4). For the second term of the right side in (4.14), we choose a sequence \(\{\pi_{k}\}_{k=1}^{\infty} \subset W^{1,p(x)}_{0}(\Omega)\) with \(\pi_{k}\rightarrow\pi\) in \(L^{p(x)}(\Omega)\), then
$$\begin{aligned} \sum_{i=1}^{n} \bigl((ADTQ_{a}B \pi)_{i}, D v_{i} \bigr)_{\mathrm{Sc}}&=\lim _{k\rightarrow\infty}\sum_{i=1}^{n} \bigl((ADTQ_{a}B\pi_{k})_{i}, D v_{i} \bigr)_{\mathrm{Sc}} \\ &=\lim_{k\rightarrow\infty}(DADTQ_{a}B\pi_{k}, v)_{\mathrm{Sc}}=\lim_{k\rightarrow\infty}(D \pi_{k}, v)_{\mathrm{Sc}}=0, \end{aligned}$$
(4.16)
because \((\nabla\pi_{k}, v)_{\mathrm{Sc}}=-(\pi_{k}, \operatorname{div} v)_{\mathrm{Sc}}=0\) for all \(v \in W^{1,p'(x)}_{0}(\Omega, \mathrm{C}\ell_{n}^{1}) \cap \operatorname{ker} \operatorname{div}\). Then (4.14), together with (4.15) and (4.16), gives (4.13).
Conversely, let \(u \in W^{1,p(x)}_{0}(\Omega, \mathrm{C}\ell _{n}^{1}) \cap\operatorname{ker} \operatorname{div}\) be a weak solution for the system (4.4)-(4.6). That means that (4.13) holds. It easily follows from Lemma 2.4 and Theorem 3.1 that
$$ (ADu, Dv)_{\mathrm{Sc}}-(ADTQ_{a}B\widetilde{T}f, Dv)_{\mathrm{Sc}}+(ADTQ_{a}Bq, Dv)_{\mathrm{Sc}}=0 $$
for all \(q \in L^{p(x)}(\Omega)\) and \(v \in W^{1,p'(x)}_{0}(\Omega, \mathrm{C}\ell_{n}^{1}) \cap\operatorname{ker} \operatorname{div}\). Then we have
$$ \sum_{i=1}^{n} \bigl(\nabla(u-TQ_{a}B \widetilde{T}f+TQ_{a}Bq)_{i}, A\nabla v_{i} \bigr)_{\mathrm{Sc}}=0. $$
(4.17)
On one hand, we have shown in Theorem 4.1, which is independent of the above considerations, that the system
$$\begin{aligned}& \psi+ TQ_{a}B\pi= TQ_{a}B\widetilde{T}f, \\& {[Q_{a}B\pi]_{0}} = [Q_{a}B \widetilde{T}f]_{0} \end{aligned}$$
has a solution \((\psi, \pi) \in W^{1,p(x)}_{0}(\Omega, \mathrm {C}\ell_{n}^{1}) \times L^{p(x)}(\Omega)\). Then substituting q in (4.17) by π, we obtain
$$ [Du-Q_{a}B\widetilde{T}f+Q_{a}B\pi]_{0}=0, $$
which implies
$$ u-TQ_{a}B\widetilde{T}f+TQ_{a}B\pi\in W^{1,p(x)}_{0} \bigl(\Omega, \mathrm {C}\ell_{n}^{1}\bigr) \cap \operatorname{ker} \operatorname{div}. $$
On the other hand, it follows from (4.17) that
$$ \bigl(DAD (u-TQ_{a}B\widetilde{T}f+TQ_{a}B\pi), v \bigr)_{\mathrm{Sc}}=0 $$
(4.18)
for all \(v \in W^{1,p'(x)}_{0}(\Omega, \mathrm{C}\ell_{n}^{1}) \cap \operatorname{ker} \operatorname{div}\). Obviously, \(W^{1,p'(x)}_{0}(\Omega, \mathrm{C}\ell_{n}^{1}) \cap \operatorname{ker} \operatorname{div}\) is a closed subspace in \(W^{1,p'(x)}_{0}(\Omega, \mathrm{C}\ell_{n}^{1})\), and hence \(W^{1,p'(x)}_{0}(\Omega, \mathrm {C}\ell_{n}^{1}) \cap\operatorname{ker} \operatorname{div}\) is a reflexive Banach space due to Lemma 2.1. Then (4.18) yields
$$ DAD(u-TQ_{a}B\widetilde{T}f+TQ_{a}B\pi)=0. $$
Finally, by using the density argument and Corollary 3.1 we obtain
$$ u-TQ_{a}B\widetilde{T}f+TQ_{a}B\pi=0. $$
This ends the proof of Theorem 4.2. □

Remark 4.1

Actually, the last part of the proof in Theorem 4.2 is quite different from that of Theorem 4.5.2 in [33]. The reason lies in the difference of \(W^{1,2}_{0}(\Omega, \mathrm {C}\ell_{n})\) and \(W^{1,p(x)}_{0}(\Omega, \mathrm{C}\ell_{n})\).

5 Navier-Stokes equations with variable viscosity

Declarations

Acknowledgements

The authors would like to thank the referee for constructive suggestion which helps us to improve the quality of the paper. B Zhang was supported by the Research Foundation of Heilongjiang Educational Committee (Grant No. 12541667).

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Authors’ Affiliations

(1)
College of Power and Energy Engineering, Harbin Engineering University, Harbin, 150001, China
(2)
Department of Mathematics, Heilongjiang Institute of Technology, Harbin, 150050, China

References

  1. Acerbi, E, Mingione, G: Regularity results for stationary electro-rheological fluids. Arch. Ration. Mech. Anal. 164, 213-259 (2002) View ArticleMATHMathSciNetGoogle Scholar
  2. Sprößig, W: Fluid flow equations with variable viscosity in quaternionic setting. Adv. Appl. Clifford Algebras 17, 259-272 (2007) View ArticleMATHMathSciNetGoogle Scholar
  3. Galdi, GP: An Introduction to the Mathematical Theory of the Navier-Stokes Equations. Springer, New York (2011) View ArticleMATHGoogle Scholar
  4. Rajagopal, KR, Růžička, M: On the modeling of electrorheological materials. Mech. Res. Commun. 23, 401-407 (1996) View ArticleMATHGoogle Scholar
  5. Růžička, M: Electrorheological Fluids: Modeling and Mathematical Theory. Springer, Berlin (2000) MATHGoogle Scholar
  6. Gilbert, J, Murray, MAM: Clifford Algebra and Dirac Operators in Harmonic Analysis. Oxford University Press, Oxford (1993) Google Scholar
  7. Delanghe, R, Sommen, F, Soucek, V: Clifford Algebra and Spinor-Valued Function. Kluwer Academic, Dordrecht (1992) View ArticleMATHGoogle Scholar
  8. Doran, C, Lasenby, A: Geometric Algebra for Physicists. Cambridge University Press, Cambridge (2003) View ArticleMATHGoogle Scholar
  9. Diening, L, Harjulehto, P, Hästö, P, Růžička, M: Lebesgue and Sobolev Spaces with Variable Exponents. Springer, Berlin (2011) View ArticleMATHGoogle Scholar
  10. Fu, YQ: Weak solution for obstacle problem with variable growth. Nonlinear Anal. 59, 371-383 (2004) View ArticleMATHMathSciNetGoogle Scholar
  11. Fu, YQ: The principle of concentration compactness in spaces \(L^{p(x)}(\Omega)\) and its application. Nonlinear Anal. 71, 1876-1892 (2009) View ArticleMATHMathSciNetGoogle Scholar
  12. Rădulescu, V, Zhang, BL: Morse theory and local linking for a nonlinear degenerate problem arising in the theory of electrorheological fluids. Nonlinear Anal., Real World Appl. 17, 311-321 (2014) View ArticleMATHMathSciNetGoogle Scholar
  13. Zhikov, VV: Averaging of functionals of the calculus variations and elasticity theory. Izv. Akad. Nauk SSSR, Ser. Mat. 877, 675-710 (1986) MathSciNetGoogle Scholar
  14. Zhikov, VV: Solvability of the three-dimensional thermistor problem. Tr. Mat. Inst. Steklova 261, 101-114 (2008) MathSciNetMATHGoogle Scholar
  15. Kováčik, O, Rákosník, J: On spaces \(L^{p(x)}\) and \(W^{m,p(x)}\). Czechoslov. Math. J. 41, 592-618 (1991) MATHGoogle Scholar
  16. Edmunds, DE, Rákosník, J: Sobolev embedding with variable exponent. Stud. Math. 143, 267-293 (2000) MATHGoogle Scholar
  17. Edmunds, DE, Rákosník, J: Sobolev embedding with variable exponent II. Math. Nachr. 246, 53-67 (2002) View ArticleMathSciNetMATHGoogle Scholar
  18. Fan, XL, Zhao, D: On the spaces \(L^{p(x)}\) and \(W^{m,p(x)}\). J. Math. Anal. Appl. 263, 424-446 (2001) View ArticleMATHMathSciNetGoogle Scholar
  19. Fan, XL, Shen, JS, Zhao, D: Sobolev embedding theorems for spaces \(W^{k,p(x)}(\Omega)\). J. Math. Anal. Appl. 262, 749-760 (2001) View ArticleMATHMathSciNetGoogle Scholar
  20. Harjulehto, P, Hästö, P, Lê, UV, Nuortio, M: Overview of differential equations with non-standard growth. Nonlinear Anal. 72, 4551-4574 (2010) View ArticleMATHMathSciNetGoogle Scholar
  21. Nolder, CA: A-Harmonic equations and the Dirac operator. J. Inequal. Appl. 2010, Article ID 124018 (2010) View ArticleMathSciNetMATHGoogle Scholar
  22. Nolder, CA: Nonlinear A-Dirac equations. Adv. Appl. Clifford Algebras 21, 429-440 (2011) View ArticleMATHMathSciNetGoogle Scholar
  23. Fu, YQ, Zhang, BL: Clifford valued weighted variable exponent spaces with an application to obstacle problems. Adv. Appl. Clifford Algebras 23, 363-376 (2013) View ArticleMATHMathSciNetGoogle Scholar
  24. Fu, YQ, Zhang, BL: Weak solutions for elliptic systems with variable growth in Clifford analysis. Czechoslov. Math. J. 63, 643-670 (2013) View ArticleMATHMathSciNetGoogle Scholar
  25. Zhang, BL, Fu, YQ: Weak solutions for A-Dirac equations with variable growth in Clifford analysis. Electron. J. Differ. Equ. 2012, 227 (2012) View ArticleMathSciNetMATHGoogle Scholar
  26. Lu, Y, Bao, G: The existence of weak solutions to non-homogeneous A-Dirac equations with Dirichlet boundary data. Adv. Appl. Clifford Algebras 24, 151-162 (2014) View ArticleMATHMathSciNetGoogle Scholar
  27. Fu, YQ, Rădulescu, V, Zhang, BL: Hodge decomposition of variable exponent spaces of Clifford-valued functions and applications to Dirac and Stokes equations. Preprint Google Scholar
  28. Zhang, BL, Fu, YQ, Rădulescu, V: The stationary Navier-Stokes equations in variable exponent spaces of Clifford-valued functions. Adv. Appl. Clifford Algebras 24, 231-252 (2014) View ArticleMATHMathSciNetGoogle Scholar
  29. Molica Bisci, G, Rădulescu, V, Zhang, BL: Existence of stationary states for A-Dirac equations with variable growth. Adv. Appl. Clifford Algebras (2014). doi:10.1007/s00006-014-0512-y MATHGoogle Scholar
  30. Binlin, Z, Ferrara, M, Molica Bisci, G: An overview for nonlinear A-Dirac equations with variable growth. BSG Proc. 21, 14-26 (2014) MathSciNetMATHGoogle Scholar
  31. Diening, L, Málek, J, Steinhauer, M: On Lipschitz truncations of Sobolev function (with variable exponent) and their selected applications. ESAIM Control Optim. Calc. Var. 14, 211-232 (2008) View ArticleMATHMathSciNetGoogle Scholar
  32. Gürlebeck, K, Sprößig, W: Quaternionic and Clifford Calculus for Physicists and Engineers. Wiley, New York (1997) MATHGoogle Scholar
  33. Gürlebeck, K, Sprößig, W: Quaternionic Analysis and Elliptic Boundary Value Problems. Birkhäuser, Boston (1990) View ArticleMATHGoogle Scholar
  34. Ablamowicz, R (ed.): Clifford Algebras and Their Applications in Mathematical Physics. Volume 1: Algebra and Physics. Birkhäuser, Boston (2000) MATHGoogle Scholar
  35. Ryan, J, Sprößig, W (eds.): Clifford Algebras and Their Applications in Mathematical Physics. Volume 2: Clifford Analysis. Birkhäuser, Boston (2000) MATHGoogle Scholar
  36. Diening, L, Lengeler, D, Růžička, M: The Stokes and Poisson problem in variable exponent spaces. Complex Var. Elliptic Equ. 56, 789-811 (2011) View ArticleMATHMathSciNetGoogle Scholar
  37. Kähler, U: On a direct decomposition in the space \(L_{p}(\Omega)\). Z. Anal. Anwend. 4, 839-848 (1999) View ArticleMATHGoogle Scholar
  38. Cerejeiras, P, Kähler, U: Elliptic boundary value problems of fluid dynamics over unbounded domains. Math. Methods Appl. Sci. 23, 81-101 (2000) View ArticleMATHMathSciNetGoogle Scholar
  39. Finn, R: On the exterior stationary problem for the Navier-Stokes equations and associated perturbation problems. Arch. Ration. Mech. Anal. 19, 363-406 (1965) View ArticleMATHMathSciNetGoogle Scholar

Copyright

Advertisement