Abstract
We prove existence of a solution to the divergence equation satisfying a new Bogovski-type estimate for the difference quotients. This enables us to give an alternative proof of the interior regularity of the solution to the p-Stokes problem, completely avoiding the pressure. Moreover, as a key preliminary result we prove boundedness of Calderón–Zygmund operators with standard kernels in weighted Lebesgue and Orlicz spaces over a general domain.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We are concerned with the question of interior regularity of the weak solution of the steady Stokes approximation for flows of shear thinning fluids. It is given by
where \(\varOmega \subset {\mathbb {R}}^n\), \(n\ge 2\), is a bounded domain. In here, \(\mathbf{u}=(u^1,\ldots ,u^n)^\top \) denotes the unknown velocity vector field, and \(\pi \) the unknown scalar pressure, while the external body force \(\mathbf{f}=(f^1,\ldots ,f^n)^\top \) is given. The extra stress tensor \(\mathbf{S}\) depends only on \(\mathbf{D}\mathbf{u}:=\tfrac{1}{2}(\nabla \mathbf{u}+\nabla \mathbf{u}^\top )\), the symmetric part of the velocity gradient \(\nabla \mathbf{u}\). The relevant example we have in mind is
with \(p \in \, (1,2]\), \(\delta \ge 0\), and \(\mu >0\). Notice that despite various efforts the optimal global regularity of this problem is still open (see [1, 4, 8] for partial results). However, the interior regularity we focus on here is well-known (see [4, 15, 19]). The standard proof uses localized difference quotients in each direction. Due to the localization, the corresponding test function is not solenoidal anymore, therefore appropriate properties of the pressure have to be used.
Here we modify this approach and use a solenoidal version of the localized difference quotient. Thus, we can completely avoid the pressure \(\pi \). This is a completely new approach even for the classical Stokes problem, i.e., \(p=2\) in (1.2). To make it possible, we show that the solution of the divergence equation obtained via the Bogovski formula (see [5, 6]) satisfies an additional estimate for the difference quotient. The proof of this is based on estimates of singular Calderón–Zygmund operators generated by standard kernels in arbitrary domains \(\varOmega \subset {\mathbb {R}}^n\) (see Theorem 3.4). This result is of independent interest since it shows that an analogy of the classical Calderón–Zygmund estimates (cf. [7, 18]) in the whole space also hold in arbitrary domains. To prove it, we employ ideas from [5, 6, 10, 16, 23], where the divergence equation is treated, and modify them for our purposes. An important feature of our result is a careful tracking of the dependence of the constants on various quantities, which is missing in the literature.
2 Preliminaries
2.1 Notation
Throughout the text, we use the symbols C, c to denote generic constants which may change from line to line but are independent of “crucial” quantities. In many cases, the dependence of such constants on various quantities will be explicitly specified. Furthermore, we write \(f\sim g\) if there exist constants \(c,C>0\) such that \(c\, f \le g\le C\, f\).
A set \(Q\subset {\mathbb {R}}^n\) is called an (open) cube if there exist \(a_1,\ldots ,a_n\in {\mathbb {R}}\) and \(\ell (Q)>0\) such that
The number \(\ell (Q)\) is the side length of Q and the point \(\mathbf{c}:=(a_1+ \frac{1}{2}\ell (Q), \ldots , a_n+ \frac{1}{2}\ell (Q) )^\top \) is the center of the cube Q, which can be also denoted by \(Q=Q(\mathbf{c}, {\ell (Q)} )\). For \(\alpha >0\) and a cube \(Q=Q(\mathbf{c}, {\ell (Q)} )\) we use the notation \(\alpha \, Q:=Q(\mathbf{c}, \alpha {\ell (Q)})\). Moreover, a cube Q is said to be dyadic if there exist \(j_i,\ldots ,j_n,k\in {\mathbb {Z}}\) such that
Notice that, in the above definition, we consider only cubes with faces parallel to the coordinate axes.
While working with function spaces, we do not distinguish between spaces of scalar, vector-valued or tensor-valued functions. However, we denote vectors by boldface lower-case letters (e.g., \(\mathbf {u}\)) and tensors by boldface upper-case letters (e.g., \(\mathbf{S}\)). For vectors \(\mathbf {u}, \mathbf {v}\in {\mathbb {R}}^n\), the standard tensor product \(\mathbf {u}\otimes \mathbf {v}\in {\mathbb {R}}^{n \times n}\) is defined as \((\mathbf {u}\otimes \mathbf {v})_{ij}:=u_iv_j\), and the symmetric tensor product as \(\mathbf {u}\overset{s}{\otimes }\mathbf {v}:=\frac{1}{2} (\mathbf {u}\otimes \mathbf {v}+ (\mathbf {u}\otimes \mathbf {v})^\top )\). The scalar product of vectors is denoted by \(\mathbf {u}\cdot \mathbf {v}= \sum _{i=1}^nu_i v_i\) and the scalar product of tensors is denoted by \(\mathbf{A}\cdot \mathbf{B}:=\sum _{i,j=1}^nA_{i j}B_{i j}\).
If \(E\subset {\mathbb {R}}^n\) is a measurable set, |E| denotes its Lebesgue measure. In the following definitions of function spaces, we always assume E to be a domain in \({\mathbb {R}}^n\), with a sufficiently smooth boundary, if needed. We use standard Lebesgue spaces \((L^p(E),\Vert \cdot \Vert _{p})\) and Sobolev spaces \((W^{k,p}(E),\) \(\Vert \cdot \Vert _{k,p})\). If the underlying domain E needs to be indicated, we denote the respective norms by \(\Vert \cdot \Vert _{L^p(E)}\) and \(\Vert \cdot \Vert _{W^{k,p}(E)}\). If \(p\in (1,\infty )\), we denote by \(p'\) the conjugated exponent \(p':=\frac{p}{p-1}\).
Besides the standard \(L^p\) spaces we will also consider their weighted variants. A weight is any measurable function \(\omega :{\mathbb {R}}^n\rightarrow [0,\infty )\). If \(p\in [1,\infty )\) and \(\omega \) is a weight, the space \(L^p_\omega (E)\) consists of all measurable functions f on E such that
If \(p>1\), an \(A_p\) weight is a weight such that \(\omega \) and \(\omega ^{1-p'}\) are locally integrable and
where \(B\subset {\mathbb {R}}^n\) are balls. In this case, we write \(\omega \in A_p\). If \(p=1\), a weight is called an \(A_1\) weight if \(0<\omega <\infty \) a.e. and
In here, M is the maximal operator (with respect to non-centered balls), defined by
for \(\mathbf {x}\in {\mathbb {R}}^n\), where \(B\ni \mathbf {x}\) means a ball containing \(\mathbf {x}\). Notice that \([\omega ]_{A_p}\ge 1\) for all weights \(\omega \) and all \(p\in [1,\infty )\), and the identity holds if and only if \(\omega \) is constant (see [18, Proposition 7.1.5]).
The symbol \({{\,\mathrm{supp}\,}}f\) denotes the support of a function f. The set of all compactly supported, smooth functions defined on E is denoted by \(C^\infty _0 (E)\). The space \(W^{1,p}_0(E)\) is the closure of \(C^\infty _0 (E)\) in \(W^{1,p}(E)\). If E is bounded, the space \(W^{1,p}_0(E)\) may be equipped with the gradient norm \(\Vert \nabla \cdot \Vert _p\), thanks to the Poincaré inequality. Next, we denote by \(W^{1,p}_{0,{{\,\mathrm{div}\,}}}(E)\) the subspace of \(W^{1,p}_{0}(E)\) consisting of solenoidal vector fields \(\mathbf {u}\), i.e., such that \({{\,\mathrm{div}\,}}\mathbf {u}=0\). By \(L^p_{\omega ,0}(E)\) we denote the subspace of \(L^p_\omega (E)\) consisting of functions f with vanishing mean value, i.e., such that \(\int _E f(\mathbf {x})\,\mathrm {d}\mathbf {x}=0\).
Orlicz and Sobolev–Orlicz spaces also appear frequently in this article. We briefly present their elementary properties here, for details we refer to [20, 21].
An N-function is a continuous, nonnegative, strictly increasing and convex function \(\psi \) on \([0,\infty )\) which additionally satisfies \(\psi (0)=0\), \(\lim _{t\rightarrow \infty } \frac{\psi (t)}{t}=\infty \) and \(\lim _{t\rightarrow 0+} \frac{\psi (t)}{t}= 0\). Its conjugate N-function \(\psi ^*:[0,\infty )\rightarrow [0,\infty )\) is then defined by
Furthermore, we define
If \(\varDelta _2(\psi )<\infty \), we say that \(\psi \) satisfies the \(\varDelta _2\)-condition. From now on, let us assume that \(\varDelta _2(\psi )<\infty \) and \(\varDelta _2(\psi ^*)<\infty \). Then we denote by \(L^\psi (E)\) and \(W^{1,\psi }(E)\) the classical Orlicz and Sobolev–Orlicz spaces, respectively. More precisely, \(f \in L^\psi (E)\) if the modular
is finite, and \(f \in W^{1,\psi }(E)\) if both f and \( \nabla f\) belong to \(L^\psi (E)\). When equipped with the Luxemburg norm
the space \(L^\psi (E)\) becomes a Banach space. The same holds for the space \(W^{1,\psi }(E)\) when equipped with the norm \(\Vert \cdot \Vert _{\psi } +\Vert \nabla \cdot \Vert _{\psi }.\) Notice that the dual space \((L^\psi (E))^*\) can be identified with the space \(L^{\psi ^*}(E)\). Furthermore, by \(W^{1,\psi }_0(E)\) we denote the closure of \(C^\infty _0(E)\) in \(W^{1,\psi }(E)\). If E is bounded and sufficiently regular, the Poincaré inequality for Orlicz modulars (see [25, Lemma 3]) implies that \(W^{1,\psi }_0(E)\) may be equipped with the gradient norm \(\Vert \nabla \cdot \Vert _\psi \). By \(L^\psi _0(E)\) and \(C^\infty _{0,0}(E)\) we denote the subspaces of \(L^\psi (E)\) and \(C^\infty _0(E)\), respectively, consisting of functions f such that \(\int _E f(\mathbf {x})\,\mathrm {d}\mathbf {x}=0\).
If \(\psi \) is an N-function satisfying \(\varDelta _2(\psi )<\infty \) and \(\varDelta _2( \psi ^*)<\infty \), then for all \(\varepsilon >0\) there exists a constant \(c_\varepsilon >0 \) such that
holds for all \(s,t\ge 0\), and
holds for a.e. \(s,t>0\).
2.2 Difference quotient
If \(k\in \{1,\ldots ,n\}\), we denote by \(\mathbf {e}^k\) the k-th vector of the canonical basis of the Euclidean space \({\mathbb {R}}^n\), i.e., \(\mathbf {e}^k=(\delta _{ik})_{i=1}^n\). If \(E\subset {\mathbb {R}}^n\), we denote
Let \(\mathbf{F}:{\mathbb {R}}^n \rightarrow {\mathbb {R}}^{n\times n}\) be a measurable tensor field (or a vector field or a real-valued function) and \(h>0\). Then we define the difference quotients of \(\mathbf{F}\) as follows:
We will also use the notation \(\varDelta ^\pm _{h,k} \mathbf{F}(\mathbf {x}):= h\, d^\pm _{h,k}\mathbf{F}(\mathbf {x})\). It is well-known (cf. [14, Sect. 5.8]) that for \( \mathbf{F}\in W^{1,1}({\mathbb {R}}^n)\) one has
and
Elementary calculations show that we have the following variant of the product rule for \(\mathbf{F}, \mathbf{G}\in L^1_{\mathrm {loc}}({\mathbb {R}}^n)\)
For \(\mathbf{F}, \mathbf{G}\in L^1(E)\), extended by zero outside E, the partial integration formula
holds. Moreover, for every \(h_0>0\), every open set \(E\subset {\mathbb {R}}^n\), every \(\mathbf{F}\in W^{1,\psi }_{\mathrm {loc}}({\mathbb {R}}^n)\) and all \(h\le h_0\) we have
The proof of this assertion in the case of the special N-function \(\psi (t)=t^p\) can be found in [14, Theorem 3 (i) in Section 5.8]). In fact, replacing the special N-function \(t^p\) by a general N-function \(\psi \) one can proceed exactly as outlined there to obtain (2.4). These comments also apply for the converse statement [14, Theorem 3 (ii) in Section 5.8]). More precisely, if \(d^\pm _{h,k}\mathbf{F}\in L^\psi (E_{h_0})\) for all \(h_0>0\) and all \(0<h<h_0\) satisfy
then \(\partial _k \mathbf{F}\) exists in the sense of distributions and satisfies
2.3 Operators with kernels
A measurable function \(K:{\mathbb {R}}^n\times {\mathbb {R}}^n \rightarrow {\mathbb {R}}\) is called a kernel.
Definition 2.1
Let \(E\subset {\mathbb {R}}^n\) be a domain. A kernel \(K:{\mathbb {R}}^n\times {\mathbb {R}}^n\rightarrow {\mathbb {R}}\) is called a standard kernel with respect to E if there exists a constant \(\kappa _1>0\) such that, for any \(\mathbf {x},\mathbf {y},\mathbf {z}\in E\) satisfying
the following conditions hold true:
The set of all kernels satisfying the above conditions with a given constant \(\kappa _1\) will be denoted by \(\mathrm {SK}(E,\kappa _1)\).
Remark 2.2
As it is common in the literature, it is possible to replace the right-hand side in (2.9) and (2.10) by
with \(\delta >0\). Although the results could be obtained in this generalized setting as well, we restrict ourselves to the case \(\delta =1\) to avoid further complications.
Definition 2.3
We say that a linear operator T on \(C_0^\infty ({\mathbb {R}}^n)\) is generated by the kernel K if
holds whenever the right-hand side is well-defined. For a given kernel K and \(\varepsilon >0\) we define the truncated kernel \(K_\varepsilon \) by
and denote by \(T_\varepsilon \) the operator generated by the kernel \(K_\varepsilon \).
Definition 2.4
Let K be a kernel and let \(E\subset {\mathbb {R}}^n\) be a domain. We call K a Calderón–Zygmund kernel with respect to E, if there exists a constant \(\kappa _2\in (0,\infty )\) such that the function \(N:{\mathbb {R}}^n \times {\mathbb {R}}^n \rightarrow {\mathbb {R}}\), defined by
satisfies the following conditions:
The set of all kernels satisfying the above conditions with a given constant \(\kappa _2\) will be denoted by \(\mathrm {CZ}(E,\kappa _2)\).
Remark 2.5
One can replace (2.14) by
where \(q \in (1,\infty )\), and still retain the relevant properties of the operator generated by the kernel. For the sake of simplicity, we use the condition only with \(q=2\).
2.4 \((p,\delta )\)-structure
Let us define what it means that a tensor field \(\mathbf{S}\) has a \((p,\delta )\)-structure. For details on this matter, see [11, 22]. For a tensor \(\mathbf{P}\in \mathbb {R}^{n \times n} \) we denote its symmetric part by
where
We use the notation \({|{\mathbf{P}}|}^2=\mathbf{P}\cdot \mathbf{P}\).
It is convenient to define a special N-function \(\varphi =\varphi _{p,\delta }\), with \(p \in (1,\infty )\), \(\delta \ge 0\), by
The function \(\varphi \) satisfies, uniformly in t and independently of \(\delta \), the equivalences
In case that the (one-sided) derivative \(\varphi ''(0)\) does not exist, we assume that \(\varphi ''(t)\, t\) is continuously extended by zero for \(t= 0\). We define the shifted N-functions \({\{{\varphi _a}\}}_{a \ge 0}\) (cf. [11, 12, 22]) by
Note that the family \({\{{\varphi _a}\}}_{a \ge 0}\) satisfies the \(\varDelta _2\)-condition uniformly with respect to \({a \ge 0}\), i.e.,
Definition 2.6
Let \(\mathbf{S}:\mathbb {R}^{n \times n} \rightarrow \mathbb {R}^{n \times n}_{\mathrm {sym}}\) be a tensor field satisfying
\(\mathbf{S}(\mathbf{P}) = \mathbf{S}\big (\mathbf{P}^{\mathrm {sym}}\big )\) whenever \(P\in {\mathbb {R}}^{n\times n}\), and \(\mathbf{S}({\mathbf {0}})={\mathbf {0}}\). We say that \(\mathbf{S}\) has a \((p,\delta )\)-structure if for some \(p \in (1, \infty )\), \(\delta \in [0,\infty )\), and the N-function \(\varphi =\varphi _{p,\delta }\) (cf. (2.15)) there exist constants \(\gamma _0, \gamma _1 >0\) such that the inequalities
are satisfied for all \(\mathbf{P},\mathbf{Q}\in \mathbb {R}^{n\times n} \) with \(\mathbf{P}^{\mathrm {sym}}\ne {\mathbf {0}}\) and all \(i,j,k,l=1,\ldots ,n\). The constants \(\gamma _0\), \(\gamma _1\), and p are called the characteristics of \(\mathbf{S}\).
Remark 2.7
An important example of a tensor field \(\mathbf{S}\) having a \((p,\delta )\)-structure is given by \( \mathbf{S}(\mathbf{P}) = \varphi '({|{\mathbf{P}^{\mathrm {sym}}}|}){|{\mathbf{P}^{\mathrm {sym}}}|}^{-1} \mathbf{P}^{\mathrm {sym}}\). In this case, the characteristics of \(\mathbf{S}\), namely \(\gamma _0\) and \(\gamma _1\), depend only on p and are independent of \(\delta \ge 0\).
Suppose that a tensor field \(\mathbf{S}\) has a \((p,\delta )\)-structure. Then we define its associated tensor field \(\mathbf{F}:\mathbb {R}^{n \times n} \rightarrow \mathbb {R}^{n \times n}_{\mathrm {sym}}\) by
The connection between \(\mathbf{S}\), \(\mathbf{F}\) and \({\{{\varphi _a}\}}_{a \ge 0}\) is best explained by the following proposition (cf. [11, 22]).
Proposition 2.8
Let \(\mathbf{S}\) have a \((p,\delta )\)-structure, and let \(\mathbf{F}\) be defined in (2.16). Then
uniformly in \(\mathbf{P}, \mathbf{Q}\in \mathbb {R}^{n \times n}\). Moreover, uniformly in \(\mathbf{Q}\in \mathbb {R}^{n \times n}\),
The constants depend only on the characteristics of \(\mathbf{S}\).
For a detailed discussion of the properties of \(\mathbf{S}\) and \(\mathbf{F}\) and their relation to Orlicz spaces and N-functions we refer the reader to [3, 22]. In what follows, we shall work only with \(\mathbf{S}(\mathbf{P})\) and \(\mathbf{F}(\mathbf{P})\), where \(\mathbf{P}\) is a symmetric tensor. Therefore, we can drop the superscript “\(^{\mathrm {sym}}\)” in the above formulas.
If \(\mathbf{S}\) has a \((p,\delta )\)-structure, from Proposition 2.8 we easily obtain the following equivalences:
The equivalence constants depend here only on the characteristics of \(\mathbf{S}\). All assertions from this section may be proved by easy manipulations of definitions, and we omit their proofs.
3 Calderón–Zygmund estimates
Our interest lies in estimates concerning Orlicz modulars. However, we are going to prove the results first in weighted \(L^p\) spaces. The following known extrapolation principle (see [9, Theorem 4.15]) offers an elegant connection between the two settings.
Theorem 3.1
Let \(p_0\in [1,\infty )\) and let \({\mathcal {F}}\) be a family of pairs of nonnegative measurable functions on \({\mathbb {R}}^n\). Suppose that there exists a nondecreasing function \(C_0:[1,\infty )\rightarrow (0,\infty )\) such that the inequality
holds for all \((f,g)\in {\mathcal {F}}\) and all weights \(\omega \in A_{p_0}\). Then for every N-function \(\psi \) satisfying \(\varDelta _2(\psi )<\infty \) and \(\varDelta _2(\psi ^*)<\infty \) there exists a constant \(C\in (0,\infty )\) such that the inequality
holds for all \((f,g)\in {\mathcal {F}}\).
Remark 3.2
-
(i)
The assumption on monotonicity of \(C_0\) with respect to \([\omega ]_{A_{p_0}}\) is necessary for the proof of Theorem 3.1. However, this is rarely explicitly mentioned in the literature.
-
(ii)
Careful tracking of the constants in the proof of [9, Theorem 4.15] reveals that the constant C in Theorem 3.1 depends on \(C_0\), \(\varDelta _2(\psi )\) and \(\varDelta _2(\psi ^*)\). To check this, one may use the inequality \([\omega _1 \omega _2^{-1}]_{A_2}\le [\omega _1]_{A_1} [\omega _2]_{A_1}\) (see [9, Proposition 3.5]) as well as the boundedness of the maximal operator in Orlicz spaces (see [17, Theorem 2.2]). The latter may be expressed by the inequality
$$\begin{aligned} \int _{{\mathbb {R}}^n} \psi (|{M}f(\mathbf {x})|)\,\mathrm {d}\mathbf {x}\le \varDelta _2(\psi ^*) \int _{{\mathbb {R}}^n} \psi (2c^2|f(\mathbf {x})|)\,\mathrm {d}\mathbf {x}, \end{aligned}$$where c is the weak (1, 1)-constant of the maximal operator, which depends on n only. In fact, one can show that
$$\begin{aligned} C= {\widetilde{c}}\, C_0\big (2^{p_0} \rho _\psi (M)^{p_0-1}\rho _{\psi ^*}(M)\big )^{\alpha }. \end{aligned}$$In here, \({\widetilde{c}}\) is a constant depending on \(\varDelta _2(\psi ), \varDelta _2(\psi ^*)\), the exponent \(\alpha \) depends on \(\varDelta _2(\psi )\), and \(\rho _\psi (M)\) is the constant in the modular estimate of the maximal operator (it can be estimated by \(\varDelta _2(\psi ^*)\,\varDelta _2(\psi )^{\beta }\), where \(\beta \) depends on n).
The auxiliary result below is a simple version of the Whitney covering lemma (cf. [2, p. 348]).
Proposition 3.3
Let \(\varOmega \in {\mathbb {R}}^n\) be a domain. Then there exists a sequence \(\{Q_j\}_{j\in {\mathbb {N}}}\) of dyadic cubes satisfying:
- (i)
\(\varOmega =\bigcup _{j\in {\mathbb {N}}} {\overline{Q}}_j,\)
- (ii)
\(Q_j\cap Q_k \ne \varnothing \Leftrightarrow j=k,\)
- (iii)
\({\text {dist}}\,(Q_j,\partial \varOmega )>4 {\text {diam}}Q_j \text { for all } j\in {\mathbb {N}}.\)
Proof
Let \(\left\{ \mathbf {x}^k\right\} _{k\in {\mathbb {N}}}\) be a dense sequence of points in \(\varOmega \). Define \(Q_1\) as the largestFootnote 1 dyadic cube Q such that \(\mathbf {x}^1\in {\overline{Q}}\) and \({\text {dist}}\,(Q,\partial \varOmega )>4 {\text {diam}}Q\). Next, suppose that \(Q_1,\ldots ,Q_{j-1}\) are defined and let \(k\in {\mathbb {N}}\) be the smallest index such that \(\mathbf {x}^k\notin \bigcup _{i=1}^{j-1}Q_i\). Then define \(Q_j\) as the largest dyadic cube Q such that \(\mathbf {x}^k\in {\overline{Q}}\) and \({\text {dist}}\,(Q,\partial \varOmega )>4 {\text {diam}}Q\). The sequence \(\left\{ Q_j\right\} _{j\in {\mathbb {N}}}\) obviously satisfies (ii) and (iii). To verify (i), let \(\mathbf {x}\in \varOmega \) be arbitrary. There exists a dyadic cube Q such that \(\mathbf {x}\in {\overline{Q}}\) and \({\text {dist}}\,(Q,\partial \varOmega )>4 {\text {diam}}Q\). By density, \(\mathbf {x}^k\in Q\) for some \(k\in {\mathbb {N}}\). Then necessarily \({\overline{Q}}\subseteq {\overline{Q}}_j\) for some \(j\in {\mathbb {N}}\), hence \(\mathbf {x}\in \bigcup _{j\in {\mathbb {N}}}{\overline{Q}}_j\). \(\square \)
The next theorem justifies the definition of Calderón–Zygmund operators with standard kernels by the Cauchy principal value of the integral (2.11) and shows their boundedness in \(L^p_\omega (\varOmega )\) and \(L^\psi (\varOmega )\). Although the result is well-known, in standard literature it appears only in the setting \(\varOmega ={\mathbb {R}}^n\). We prove it below for any domain \(\varOmega \subset {\mathbb {R}}^n\).
Theorem 3.4
Let \(\varOmega \subset {\mathbb {R}}^n\) be a domain. Let \(K\in \mathrm {SK}(\varOmega ,\kappa _1)\cap \mathrm {CZ}(\varOmega ,\kappa _2)\) for some \(\kappa _1,\kappa _2\in (0,\infty )\). Then the following assertions hold true:
- (i)
Let \(T_\varepsilon \) be the operators generated by the truncated kernels \(K_\varepsilon \). Then for any \(f\in C_0^\infty (\varOmega )\) the expressions
$$\begin{aligned} Tf(\mathbf {x})&:= \lim _{\varepsilon \rightarrow 0} T_\varepsilon f (\mathbf {x}) , \nonumber \\ T^{(*)}f(\mathbf {x})&:= \sup _{\varepsilon >0} |T_\varepsilon f(\mathbf {x})| \end{aligned}$$(3.1)are defined for a.e. \(\mathbf {x}\in \varOmega \).
- (ii)
For every \(p \in (1,\infty )\) there exists a nondecreasing function \(C_p:[1,\infty )\rightarrow (0,\infty )\) such that the operator T defined by (3.1) admits, for each \(\omega \in A_p\), a bounded extension to \(L^p_{\omega }(\varOmega )\) satisfying
$$\begin{aligned} \left( \int _{\varOmega } |Tf(\mathbf {x})|^p \omega (\mathbf {x})\,\mathrm {d}\mathbf {x}\right) ^\frac{1}{p} \le C_p\big ( [\omega ]_{A_p} \big )(\kappa _1+\kappa _2) \left( \int _{\varOmega }|f(\mathbf {x})|^p\omega (\mathbf {x})\,\mathrm {d}\mathbf {x}\right) ^\frac{1}{p} \end{aligned}$$(3.2)for all \(f\in L^p_\omega (\varOmega )\). An analogous assertion holds for the operator \(T^{(*)}\).
- (iii)
For every N-function \(\psi \) with \(\varDelta _2(\psi ), \varDelta _2(\psi ^*)<\infty \) there exists a positive constant \(C_\psi \) such that the operator T defined by (3.1) admits a bounded extension to \(L^\psi (\varOmega )\) satisfying
$$\begin{aligned} \int _{\varOmega } \psi (|Tf(\mathbf {x})|)\,\mathrm {d}\mathbf {x}\le C_\psi \int _{\varOmega } \psi ((\kappa _1+\kappa _2)|f(\mathbf {x})|)\,\mathrm {d}\mathbf {x}\end{aligned}$$(3.3)for all \(f\in L^\psi (\varOmega )\). An analogous assertion holds for the operator \(T^{(*)}\).
Remark 3.5
In the above theorem, \(C_p\) and \(C_\psi \) are independent of the domain \(\varOmega \) in the following sense. Let \(\varOmega ,\varOmega '\subset {\mathbb {R}}^n\) be domains, let K, \(K'\) be kernels such that \(K\in \mathrm {SK}(\varOmega ,\kappa _1)\cap \mathrm {CZ}(\varOmega ,\kappa _2)\), \(K'\in \mathrm {SK}(\varOmega ',\kappa _1)\cap \mathrm {CZ}(\varOmega ',\kappa _2)\) with the same \(\kappa _1,\kappa _2\in (0,\infty )\), and let T, \(T'\) be the corresponding operators. Then, for each \(p\in (1,\infty )\), inequality (3.2) holds with the same \(C_p\) when \(\varOmega \) is replaced by \(\varOmega '\) and T by \(T'\). An analogous assertion holds regarding (3.3).
Proof of Theorem 3.4
We are going to prove the theorem only for the operator T. The proof for \(T^{(*)}\) follows the same reasoning. At first, let us assume that
where
Let \(\eta \in C_0^\infty ({\mathbb {R}}^n)\) satisfy \(0\le \eta \le 1\), \(\eta \big |_\varOmega \equiv 1\), \(\eta (\mathbf {x})=0\) for all \(\mathbf {x}\in {\mathbb {R}}^n\) such that \({\text {dist}}\,(\mathbf {x},\varOmega )>{\text {diam}}\varOmega \), and \(\Vert \nabla \eta \Vert _\infty \le 2({\text {diam}}\varOmega )^{-1}\). For \(\mathbf {x},\mathbf {y}\in {\mathbb {R}}^n\) define
Then the kernel
satisfies the conditions (2.12) and (2.13). Moreover, it satisfies (2.14) globally, i.e., with \(E={\mathbb {R}}^n\). Thus, \({\widehat{K}} \in \mathrm {CZ}({\mathbb {R}}^n,\kappa _2)\). Therefore, by [7, Theorem 2],
is defined for a.e. \(\mathbf {x}\in {\mathbb {R}}^n\) and all \(g\in C_0^\infty ({\mathbb {R}}^n)\) and it admits a bounded extension from \(L^2({\mathbb {R}}^n)\) to \(L^2({\mathbb {R}}^n)\). It follows from the proofs and comments in [7], in particular p. 295 and a remark on p. 306, that the corresponding operator norm satisfies \(\Vert {\widehat{T}}\Vert _{L^2\rightarrow L^2}\le c\,\kappa _2,\) where \(c>0\) is a fixed constant depending only on the dimension n. Since \({\widetilde{T}}_\varepsilon g(\mathbf {x})= {\widehat{T}}_\varepsilon (g\eta )(\mathbf {x})\) holds for all \(\varepsilon >0\), \(g\in C_0^\infty ({\mathbb {R}}^n)\) and a.e. \(\mathbf {x}\in {\mathbb {R}}^n\), we may draw the same conclusions about the operator
In particular, we get \({\widetilde{T}} g(\mathbf {x})= \widehat{T}(g\eta )(\mathbf {x})\), and thus
Let us next show that \({\widetilde{K}}\) is a standard kernel with respect to \({\mathbb {R}}^n\). Suppose that \(\mathbf {x},\mathbf {y},\mathbf {z}\in {\mathbb {R}}^n\) satisfy (2.7). Then
We will distinguish two cases. At first, assume that
Then obviously \(y\in {{\widetilde{\varOmega }}}\), and since \(K\in \mathrm {SK}({{\widetilde{\varOmega }}},\kappa _1)\), we have
In the second and third condition we used the estimate
which holds due to (3.6) and (3.7), and the property \(\Vert \nabla \eta \Vert _\infty \le 2({\text {diam}}\varOmega )^{-1}\).
Now suppose that (2.7) holds but (3.7) does not. Then one of the following situations occurs:
- (i)
\({\text {dist}}\,(\mathbf {y},\varOmega )>{\text {diam}}\varOmega \), in which case \(\mathbf {y}\notin {\text {supp}}\,\eta \).
- (ii)
\({\text {dist}}\,(\mathbf {y},\varOmega )\le {\text {diam}}\varOmega \) and \({\text {dist}}\,(\mathbf {x},\varOmega )>4{\text {diam}}\varOmega \). Then \(\mathbf {x}\notin {\text {supp}}\,\eta \) and, moreover, we get
$$\begin{aligned} {\text {dist}}\,(\mathbf {x},\varOmega )&\le {\text {dist}}\,(\mathbf {z},\varOmega ) + |\mathbf {x}-\mathbf {z}| \le {\text {dist}}\,(\mathbf {z},\varOmega ) + \frac{1}{2} |\mathbf {x}-\mathbf {y}| \\&\le {\text {dist}}\,(\mathbf {z},\varOmega ) + \frac{1}{2} \left( {\text {dist}}\,(\mathbf {x},\varOmega ) + {\text {dist}}\,(\mathbf {y},\varOmega ) + {\text {diam}}\varOmega \right) \\&\le {\text {dist}}\,(\mathbf {z},\varOmega ) + \frac{1}{2} {\text {dist}}\,(\mathbf {x},\varOmega ) + {\text {diam}}\varOmega . \end{aligned}$$Hence,
$$\begin{aligned} {\text {dist}}\,(\mathbf {z},\varOmega ) \ge \frac{1}{2} {\text {dist}}\,(\mathbf {x},\varOmega ) - {\text {diam}}\varOmega > {\text {diam}}\varOmega , \end{aligned}$$which shows that \(\mathbf {z}\notin {\text {supp}}\,\eta \).
- (iii)
\({\text {dist}}\,(\mathbf {y},\varOmega )\le {\text {diam}}\varOmega \) and \({\text {dist}}\,(\mathbf {z},\varOmega )>4{\text {diam}}\varOmega \). Then \(\mathbf {z}\notin {\text {supp}}\,\eta \) and, moreover, we get
$$\begin{aligned} {\text {dist}}\,(\mathbf {z},\varOmega )&\le {\text {dist}}\,(\mathbf {x},\varOmega ) + |\mathbf {x}-\mathbf {z}| \le {\text {dist}}\,(\mathbf {x},\varOmega ) + \frac{1}{2} |\mathbf {x}-\mathbf {y}| \\&\le {\text {dist}}\,(\mathbf {x},\varOmega ) + \frac{1}{2} \left( {\text {dist}}\,(\mathbf {x},\varOmega ) + {\text {dist}}\,(\mathbf {y},\varOmega ) + {\text {diam}}\varOmega \right) \\&\le \frac{3}{2} {\text {dist}}\,(\mathbf {x},\varOmega ) + {\text {diam}}\varOmega . \end{aligned}$$Hence,
$$\begin{aligned} {\text {dist}}\,(\mathbf {x},\varOmega ) \ge 2 {\text {diam}}\varOmega , \end{aligned}$$which shows that \(\mathbf {x}\notin {\text {supp}}\,\eta \).
In each of the three cases we get
hence the conditions (2.8)–(2.10) are satisfied trivially. Altogether, we have now verified that \({\widetilde{K}} \in \mathrm {SK}({\mathbb {R}}^n,\kappa _0)\) with the constant \( \kappa _0=: (1+3\cdot 2^{n+2}) \kappa _1. \) Thanks to this and the estimate (3.5), [18, Theorem 7.4.6] yields that for every \(p\in (1,\infty )\) there exists a nondecreasing function \(C_p:[1,\infty )\rightarrow (0,\infty )\) such that
holds for all \(f\in C_0^\infty ({\mathbb {R}}^n)\) and all \(\omega \in A_p\). It has to be noted that the desired monotone dependence of \(C_p\) on \([\omega ]_{A_p}\) is not mentioned in [18] but it can be verified through a careful inspection of the proofs leading to the result in there. Notice also that \(C_p\) is independent of \(\kappa _1\), \(\kappa _2\) and \(\varOmega \).
In the next step, let \(\psi \) be an N-function with \(\varDelta _2(\psi )<\infty \) and \(\varDelta _2(\psi ^*)<\infty \). Due to (3.8) Theorem 3.1 provides the existence of a positive constant \(C_\psi \) such that
for all \(f\in C_0^\infty ({\mathbb {R}}^n)\). To obtain this estimate we have performed the extrapolation with respect to the family
The obtained constant \(C_\psi \) is independent of \(\kappa _1\), \(\kappa _2\) and \(\varOmega \). For any \(f\in C_0^\infty (\varOmega )\) and \(\mathbf {x}\in \varOmega \) we have
Hence, (3.9) and (3.8) yield (3.2) and (3.3), respectively, for \(f\in C_0^\infty (\varOmega )\). Since \(C_0^\infty (\varOmega )\) is dense in \(L^p_\omega (\varOmega )\) as well as in \(L^\psi (\varOmega )\), the operator T admits corresponding bounded extensions such that (3.2) and (3.3) hold for any \(f\in L^p_\omega (\varOmega )\) and \(f\in L^\psi (\varOmega )\), respectively.
So far, we have proved the theorem under the stronger assumption (3.4). To prove it in full generality, let \(\varOmega \subset {\mathbb {R}}^n\) be an arbitrary domain and \(K\in \mathrm {SK}(\varOmega ,\kappa _1)\cap \mathrm {CZ}(\varOmega ,\kappa _2)\). By Proposition 3.3 there exists a sequence \(\{Q_j\}_{j\in {\mathbb {N}}}\) of pairwise disjoint dyadic cubes such that \(\varOmega =\bigcup _{j\in {\mathbb {N}}} {\overline{Q}}_j\) and
for all \(j\in {\mathbb {N}}\). Hence, for any \(j\in {\mathbb {N}}\), we have \(K\in \mathrm {SK}(\widetilde{Q}_j,\kappa _1)\cap \mathrm {CZ}(\widetilde{Q}_j,\kappa _2)\), and using the first part of the proof we get
for all \(\omega \in A_p\) and \(f\in L^p_\omega (\varOmega )\). In here, it is important that \(C_p^p\big ( [\omega ]_{A_p} \big )\) does not depend on \(Q_j\). Similarly, we obtain (3.3) for any \(f\in L^\psi (\varOmega )\). Note also that Remark 3.5 is justified. \(\square \)
4 Divergence equation
We proceed with proving the new estimate concerning the Bogovski solution of the divergence equation. We prove the result in the weighted-\(L^p\) setting. The variant for Orlicz modulars will be then obtained as a corollary by extrapolation.
Theorem 4.1
Let \(Q\subset {\mathbb {R}}^n\) be an open cube. There exists a linear operator \({\mathcal {B}}:C_{0,0}^\infty (Q)\rightarrow W^{1,\infty }_0(Q)\) with the following properties:
- (i)
For every \(f\in C_{0,0}^\infty (Q)\), the equation
$$\begin{aligned} {\text {div}}({\mathcal {B}}f) = f \end{aligned}$$(4.1)is satisfied in Q.
- (ii)
For every \(p\in (1,\infty )\) there exists a nondecreasing function \(C_{p}:[1,\infty )\rightarrow (0,\infty )\) such that
$$\begin{aligned} \left( \int _Q |\nabla ({\mathcal {B}}f)(\mathbf {x})|^p \omega (\mathbf {x}) \,\mathrm {d}\mathbf {x}\right) ^\frac{1}{p} \le C_{p} \big ( [\omega ]_{A_p} \big ) \left( \int _Q |f(\mathbf {x})|^p \omega (\mathbf {x})\,\mathrm {d}\mathbf {x}\right) ^\frac{1}{p}. \end{aligned}$$(4.2)holds for all \(\omega \in A_p\) and all \(f\in C_{0,0}^\infty (Q)\). The function \(C_p\) is independent of Q.
- (iii)
For every \(p\in (1,\infty )\) there exists a nondecreasing function \({\widetilde{C}}_{p}:[1,\infty )\rightarrow (0,\infty )\) such that
$$\begin{aligned} \begin{aligned}&\left( \int _Q \big |d^\pm _{h,k}\nabla ({\mathcal {B}}f)(\mathbf {x})\big |^p \omega (\mathbf {x}) \,\mathrm {d}\mathbf {x}\right) ^\frac{1}{p} \\&\quad \le {\widetilde{C}}_{p} \big ( [\omega ]_{A_p} \big ) \left( \int _{Q} \left( \big |d^+_{h,k}f(\mathbf {x})\big | + \big |d^-_{h,k}f(\mathbf {x})\big | + \frac{|f(\mathbf {x})|}{\ell (Q)} \right) ^p \omega (\mathbf {x}) \,\mathrm {d}\mathbf {x}\right) ^\frac{1}{p} \end{aligned} \end{aligned}$$(4.3)holds for all \(h>0\), \(\omega \in A_p\) and \(f\in C_{0,0}^\infty (Q)\). The function \({\widetilde{C}}_p\) is independent of Q.
- (iv)
For every \(p\in (1,\infty )\) and \(\omega \in A_p\) there exists a continuous extension of \({\mathcal {B}}\) to \(L^p_{\omega ,0}(Q)\) such that (4.1), (4.2) and (4.3) hold for all \(f\in L^p_{\omega ,0}(Q)\). In here, f and \({\mathcal {B}}f\) are extended by zero outside Q so that their difference quotients are defined a.e. in \({\mathbb {R}}^n\).
Corollary 4.2
Let \(Q\subset {\mathbb {R}}^n\) be an open cube. Let \(\psi \) be an N-function with \(\varDelta _2(\psi )<\infty \) and \(\varDelta _2(\psi ^*)<\infty \). Then there exists a linear operator \({\mathcal {B}}:L_0^\psi (Q) \rightarrow W_0^{1,\psi }(Q)\) with the following properties:
- (i)
Equation (4.1) is satisfied a.e. in Q for all \(f \in L^\psi _0(Q)\).
- (ii)
There exists a positive constant \(C_\psi \) such that
$$\begin{aligned} \int _Q \psi (|\nabla ({\mathcal {B}}f)(\mathbf {x})|)\,\mathrm {d}\mathbf {x}\le C_\psi \int _Q \psi (|f(\mathbf {x})|)\,\mathrm {d}\mathbf {x}\end{aligned}$$holds for all \(f\in L^\psi _0(Q)\). The constant \(C_\psi \) is independent of Q.
- (iii)
There exists a positive constant \({\widetilde{C}}_\psi \) such that
$$\begin{aligned} \int _Q \psi \left( \big |d^\pm _{h,k}\nabla ({\mathcal {B}}f)(\mathbf {x})\big | \right) \,\mathrm {d}\mathbf {x}\le {\widetilde{C}}_\psi \int _{Q} \psi \left( \big |d^+_{h,k}f(\mathbf {x})\big | + \big |d^-_{h,k}f(\mathbf {x})\big | + \frac{|f(\mathbf {x})|}{\ell (Q)} \right) \,\mathrm {d}\mathbf {x}\end{aligned}$$holds for all \(h>0\) and all \(f\in L^\psi _0(Q)\). In here, f and \({\mathcal {B}}f\) are extended by zero outside Q so that their difference quotients are defined a.e. in \({\mathbb {R}}^n\). The constant \({\widetilde{C}}_\psi \) is independent of Q.
Before we prove Theorem 4.1, let us show the following simple technical proposition.
Lemma 4.3
Let \(\varrho \in C^\infty ({\mathbb {R}}^n,{\mathbb {R}})\) and \(\mathbf {a},\mathbf {b},\mathbf {w}\in {\mathbb {R}}^n\). Then
Proof
We have
\(\square \)
Proof of Theorem 4.1
At first suppose that \(Q=\left( -\frac{1}{2},\frac{1}{2}\right) ^n\). Choose a fixed function \(\varrho \in C_0^\infty ({\mathbb {R}}^n)\) such that \({\text {supp}}\,\varrho \subset \left( -\frac{1}{4},\frac{1}{4}\right) ^n\) and \(\int _Q\varrho (\mathbf {x})\,\mathrm {d}\mathbf {x}= 1\). For any \(f \in C_{0,0}^\infty (Q)\) define
From [16, Chapter III, Lemma 3.1] it follows that \({\mathcal {B}}f\in W^{1,\infty }_0(Q)\) and it satisfies (4.1) in Q.
From now on, we will use the notation
for functions \(g \in C_0^\infty ({\mathbb {R}}^n)\) and kernels K whenever the limit on the right-hand side exists.
Part (ii) is proved in [13, 23] without the monotone dependence of \(C_p\) on \([\omega ]_{A_p}\). Note that this dependence of the constant is mentioned in [24]. For the sake of the self-consistency of this paper we sketch its proof here. The technique used here is the same as in part (iii), where full details will be given. Let \(i,j\in \{1,\ldots ,n\}\). Since Q is convex and it contains \({\text {supp}}\,\varrho \), by [16, p. 119] we have
for any \(f\in C_{0,0}^\infty (Q)\). In here,
and \(U_{ij}\) is a kernel such that \(|U_{ij}(\mathbf {x},\mathbf {y})| \le c\,\Vert \varrho \Vert _{{1,\infty }}|\mathbf {x}-\mathbf {y}|^{1-n}\), where c is a positive constant. From [10, Lemma 6.1] we get that \(J_{ij}\in \mathrm {SK}(Q,\kappa )\cap \mathrm {CZ}(Q,\kappa )\), where \(\kappa \) depends only on \(\Vert \varrho \Vert _{{1,\infty }}\) and n. By Theorem 3.4 there exists a positive nondecreasing function \(c_p\) such that
for all \(f\in C_{0,0}^\infty (Q)\). Furthermore, we have (see [10, p. 218])
for \(f\in C_{0,0}^\infty (Q)\) and \(\mathbf {x}\in Q\). Hence, by [18, Theorem 7.1.9(b)] there exists a positive constant C (possibly depending on p, n) such that
for all \(f\in C_{0,0}^\infty (Q)\). Obviously, we also have
Therefore, by combining (4.6), (4.7) and (4.8), we have shown that there exists a positive nondecreasing function \(C_p\) such that (4.2) holds for all \(f\in C_{0,0}^\infty (Q)\). Recall however that so far we have assumed \(Q=\left( -\frac{1}{2},\frac{1}{2}\right) ^n\). The result for a general cube will be obtained by rescaling at the end of the proof of part (iii).
We continue with part (iii). We are going to prove it only for the difference quotient \(d^+_{h,k}\). The proof for \(d^-_{h,k}\) is fully analogous.
We are still assuming that \(Q=\left( -\frac{1}{2},\frac{1}{2}\right) ^n\) and \(\varrho \) is as above. Moreover, suppose that \(f\in C_{0,0}^\infty (Q)\), \(\mathbf {x}\in Q\) and \(h>0\). We get the following representation:
To get the fourth equality we used the fact that \({\text {supp}}\,f \subset Q\). A simple observation yields
Let \(i,j\in \{1,\ldots ,n\}\) and assume that \(h\in \left( 0,\frac{1}{4}\right) \). Then the set \(Q\cup (Q-h\mathbf {e}^k)\) is convex and it contains \({\text {supp}}\,\varrho (\cdot +h\mathbf {e}^k)\). Hence, we may use [16, p. 119] to get the following representation:
In here, \(G_{ij}\) is a kernel such that \( |G^h_{ij}(\mathbf {x},\mathbf {y})| \le c\, \Vert \varrho \Vert _{{1,\infty }} |\mathbf {x}-\mathbf {y}|^{1-n}\) for all \(\mathbf {x},\mathbf {y}\in Q\cup (Q-h\mathbf {e}^k)\), \(\mathbf {x}\ne \mathbf {y}\). The positive constant c here depends only on n. We have also used (4.9) here. Furthermore, the kernel \(K^h_{i,j}\) is expressed as
for any \(\mathbf {x},\mathbf {y}\in {\mathbb {R}}^n\), \(\mathbf {x}\ne \mathbf {y}\). From the restriction \(h\in \left( 0,\frac{1}{4}\right) \) it follows that
In [10, Lemma 6.1] it is proved that there exist constants \(\kappa _1,\kappa _2\in (0,\infty )\) such that for every \(h>0\) it holds that \(K^h_{ij}\in \mathrm {SK}(E,\kappa _1) \cap \mathrm {CZ}(E,\kappa _2)\). The constants \(\kappa _1\), \(\kappa _2\) depend on n and \(\Vert \varrho (\cdot +h\mathbf {e}^k)\Vert _{{1,\infty }}\). From (4.9) it follows that \(\kappa _1\), \(\kappa _2\) are again independent of h.
Theorem 3.4 now grants the existence of a positive nondecreasing function \(\widetilde{c}_{p,1}\) such that for all \(f\in C_{0,0}^\infty (Q)\) and all \(h\in \left( 0,\frac{1}{4}\right) \) the inequality
holds true. In the same way as in part (ii), there exists a positive constant C such that
and
both hold for all \(f\in C_{0,0}^\infty (Q)\) and all \(h\in \left( 0,\frac{1}{4}\right) \). It follows from the obtained estimates that there exists a positive nondecreasing function \({\widetilde{C}}_{p,1}\) such that
holds for all \(f\in C_{0,0}^\infty (Q)\) and all \(h\in \left( 0,\frac{1}{4}\right) \).
Let us proceed by estimating the partial derivatives of \(\mathbf {a}^2(\mathbf {x})\), still under the assumption \(h\in \left( 0,\frac{1}{4}\right) \). Since \({\text {supp}}\,\varrho \subset \left( -\frac{1}{4},\frac{1}{4}\right) ^n\) holds, the function \(d^+_{h,k}\varrho \) is supported in Q. The cube Q is convex, thus we may again use the same calculation as in [16, p. 119] to obtain
In here, \(H^h_{ij}\) is a kernel satisfying \( |H^h_{ij}(\mathbf {x},\mathbf {y})|\le C|\mathbf {x}-\mathbf {y}|^{1-n} \) for all \(\mathbf {x},\mathbf {y}\in Q\), \(\mathbf {x}\ne \mathbf {y}\), with C depending only on n and \(\Vert \varrho \Vert _{{2,\infty }}\). Furthermore, the kernel \(M^h_{ij}\) is, for \(\mathbf {x},\mathbf {y}\in {\mathbb {R}}^n\), \(\mathbf {x}\ne \mathbf {y}\), defined as follows:
Observe that if \(\mathbf {x},\mathbf {y}\in Q\) and \(\xi >n\), then
and therefore
Hence, the integrals over \((0,\infty )\) in the definition of \(M^h_{ij}\) may be replaced by integrals over (0, n).
From [10, Lemma 6.1] it follows that \(m^{h,1}_{ij}\) is a Calderón–Zygmund kernel with respect to Q, with a constant independent of h. Here, notice that the function \(d^+_{h,k}\varrho \) plays the role of \(\varrho \) in [10], and \(\Vert d^+_{h,k}\varrho \Vert _{{1,\infty }}\le \Vert \varrho \Vert _{{2,\infty }}\). In the next step, we shall verify that \(m^{h,1}_{ij}\) is a standard kernel with respect to Q with a constant independent of h. Let \(\mathbf {x},\mathbf {y},\mathbf {z}\in Q\) be such that \(\mathbf {x}\ne \mathbf {y}\) and \(|\mathbf {x}-\mathbf {z}|\le \frac{1}{2}|\mathbf {x}-\mathbf {y}|\). It is easy to see that
Using (3.6), we obtain
and
Moreover, we have
Now we use (4.12), (4.14), Lemma 4.3 and the inequality
to get
Analogously, we obtain the following:
Therefore, \(m^{h,1}_{ij}\) is a standard kernel with respect to Q with a constant independent of h. Analogously, using (3.6), (4.13) and (4.14), we show that \(m^{h,2}_{ij}\) is a standard kernel with respect to Q with a constant depending only on n and \(\Vert \varrho \Vert _{{3,\infty }}\). Hence, \(M^{h}_{ij}\) is a standard kernel with respect to Q with a constant independent of h. By Theorem 3.4 there exists a positive nondecreasing function \(\widetilde{c}_{p,2}\) such that for all \(h\in \left( 0,\frac{1}{4}\right) \) and all \(f\in C_{0,0}^\infty (Q)\) we have
The remaining parts of (4.11) are treated analogously as their counterparts in \(\frac{\partial a^1_j}{\partial x_i}\). Altogether, it follows that there exists a positive nondecreasing function \({\widetilde{C}}_{p,2}\) such that
holds for all \(h\in (0,\frac{1}{4})\) and \(f\in C_{0,0}^\infty (Q)\). Using this result and (4.10), we obtain the existence of a positive nondecreasing function \({\widetilde{C}}_p\) such that the following holds for all \(h\in \left( 0,\frac{1}{4}\right) \) and all \(f\in C_{0,0}^\infty (Q)\):
As next, assume that \(h\in \left[ \frac{1}{4},\infty \right) .\) Let \(C_p\) be the function obtained in part (ii). By (4.2) we have
for all \(f\in C_{0,0}^\infty (Q)\) and \(h\ge \frac{1}{4}\). In the third step we have used the fact that \(\nabla ({\mathcal {B}}f)(\mathbf {x})=0\) for \(\mathbf {x}\in {\mathbb {R}}^n\setminus Q\).
At this point we have proved that if \(Q=\left( -\frac{1}{2},\frac{1}{2}\right) ^n\), then there exist positive nondecreasing functions \(C_p\), \({\widetilde{C}}_p\) such that for all \(f\in C_{0,0}^\infty (Q)\) and all \(h>0\) the inequalities (4.2) and
are satisfied. In here, the operator \({\mathcal {B}}\) is defined by (4.5). Now consider the cube \(\lambda Q=\left( -\frac{\lambda }{2},\frac{\lambda }{2}\right) ^n\) with a fixed \(\lambda >0\). Define \(\varrho _\lambda (\mathbf {x}):=\lambda ^{-n}\varrho (\mathbf {x})\) for \(\mathbf {x}\in \lambda Q\). Then \(\varrho _\lambda \in C_0^\infty (\lambda Q)\) and \(\int _{\lambda Q} \varrho _\lambda (\mathbf {x})\,\mathrm {d}\mathbf {x}= 1\). For any \(f\in C_{0,0}^\infty (\lambda Q)\) define \({\mathcal {B}}_\lambda f\) by the formula (4.5), where Q and \(\varrho \) are replaced by \(\lambda Q\) and \(\varrho _\lambda \), respectively. Similarly as before one verifies that \({\text {div}}{\mathcal {B}}_\lambda f= f\) holds a.e. in \(\lambda Q\). Using the proven result for Q and rescaling through the change of variables \(\mathbf {x}\rightarrow \lambda \mathbf {x}\), we obtain
and
Notice also that \(\lambda =\ell (\lambda Q)\). Obviously, this result remains unchanged when the cube \(\lambda Q\) is shifted, e.g., replaced by \(\mathbf {x}_0+\lambda Q\) for any fixed \(\mathbf {x}_0\in {\mathbb {R}}^n\). Hence, we have now proved (i)–(iii) in full generality.
Part (iv) is proven by a standard approximation argument, using density of \(C_{0,0}^\infty (Q)\) in \(L^p_{\omega ,0}(Q)\) for any fixed p and \(\omega \). This completes the proof. \(\square \)
Remark 4.4
5 Interior regularity
From now on, let \(\varOmega \subset {\mathbb {R}}^n\) be a bounded domain. We also assume that \(\mathbf{S}\) has a \((p,\delta )\)-structure for some \(p \in (1,\infty )\) and \(\delta \ge 0\). The properties of \(\mathbf{S}\) and the standard theory of monotone operators imply in a standard way the existence of a unique \(\mathbf {u}\in W^{1,p}_{0,{{\,\mathrm{div}\,}}}(\varOmega )\), satisfying
for all \(\mathbf{w}\in W^{1,p}_{0,{{\,\mathrm{div}\,}}}(\varOmega )\), i.e., \(\mathbf{u}\) is a weak solution of (1.1). By choosing \(\mathbf{w}=\mathbf{u}\) in (5.1) and using Proposition 2.8, the properties of \(\mathbf{S}\), the Poincaré inequality (cf. [25, Lemma 3]), Korn inequality (cf. [13, Theorem 6.10]) and Young inequality (2.1), we obtain that this solution satisfies the a priori estimate
From here on, we denote by \(\gamma _i(p)\), \(i=0,1\), the constants in Definition 2.6 for a given p. Moreover, all constants may depend on the characteristics of \(\mathbf{S}\), \({\text {diam}}(\varOmega )\), \({|{\varOmega }|}\), the space dimension n and on the John constants of \(\varOmega \). The dependence on these quantities will not be mentioned explicitly anymore. However, dependence on other quantities will be specified.
Theorem 5.1
Let the extra stress tensor \(\mathbf{S}\) have a \((p,\delta )\)-structure for some \(p \in (1,2]\) and \(\delta \in [0,\infty )\), and let \(\mathbf{F}\) be the associated tensor field to \(\mathbf{S}\). Let \(\varOmega \subset {\mathbb {R}}^n\) be a bounded domain and let \(\mathbf {f}\in L^{\varphi ^*}(\varOmega )\). Let \(Q \subseteq \varOmega \) be a cube and let \(\xi \in C_0^\infty (\varOmega )\) satisfy \(\chi _{\frac{1}{2} Q} \le \xi \le \chi _{\frac{3}{4}Q}\). Then the unique weak solution \(\mathbf {u}\in W^{1,p}_{0,{{\,\mathrm{div}\,}}}(\varOmega )\) of the problem (5.1) satisfies
Proof
Let \(k\in \{1,\ldots ,n\}\). We would like to use \(\mathbf {w}=d^-_{h,k}\big (\xi ^2 \, d^+_{h,k}\mathbf {u}\big )\) as a test function in (5.1). However, this is not possible since \({{\,\mathrm{div}\,}}\mathbf {w}\ne 0\). Instead, we start by using Corollary 4.2, where Q is replaced by \(\tfrac{3}{4} Q\), with the setting
It provides a function \(\mathbf {v}\in W^{1,\varphi }_{0}(\tfrac{3}{4} Q)\) which solves
and satisfies the corresponding estimates in Corollary 4.2. Therefore,Footnote 2 the vector field \(\mathbf{w}=\) \(d^-_{h,k}\big (\xi ^2 \, d^+_{h,k}\mathbf {u}-\mathbf {v}\big )\) belongs to \(W^{1,\varphi }_{0,{{\,\mathrm{div}\,}}}(\varOmega )\) and from (5.1) we get
The term providing the information concerning the regularity of the solution is the integral on the left-hand side. Indeed, from (2.18) one gets
In the same way as in [4, Lemma 3.11] one can show that
Combining the last two inequalities together with (5.3), we obtain the inequality
Now we are going to find an appropriate estimate for each of the terms \(I_j\). At first, observe that if \(\mathbf{Q}\in {\mathbb {R}}^{n\times n}_{\mathrm {sym}}\) and \(t>0\), then (2.17) (with \(\mathbf{P}={\mathbf {0}}\)) and (2.2) (recall that \(\varDelta _2(\varphi )<\infty \)) yield
Making use of (5.5), (2.4) and the \(\varDelta _2\)-condition for \(\varphi \), we have
Next, inequality (2.1), the fact that \(\varDelta _2(\varphi )<\infty \) and \(0\le \xi ^2\le \xi \), imply
In order to use Corollary 4.2 we observe that
where we also used that \(\mathbf {u}\) is solenoidal. Estimate (5.5), Corollary 4.2(iii), inequalities (5.6), (2.4), (2.3) and the condition \(\varDelta _2(\psi )<\infty \) now yield the following:
Finally, using inequality (2.1) with \(\varDelta _2(\varphi )<\infty \), estimate (2.4), Corollary 4.2(ii) and inequality (5.6), one shows that
Applying the obtained estimates of \(|I_j|\) to (5.4), we get
By choosing \(\varepsilon \) sufficiently small, the last term on the right-hand side may be absorbed into the left-hand side of the inequality. Hence, we have proved
In view of (2.5), (2.6), this implies the desired estimate (5.2). \(\square \)
Notes
Such cube exists since if a point is contained in two dyadic cubes, then one of the cubes is a subset of the other one.
We extend \(\mathbf {v}\) and f by zero to the whole domain \(\varOmega \).
References
Beirão da Veiga, H.: On the global regularity of shear thinning flows in smooth domains. J. Math. Anal. Appl. 349(2), 335–360 (2009)
Bennett, C., Sharpley, R.: Interpolation of operators. In: Pure and Applied Mathematics, vol. 129. Academic Press Inc, Boston, MA (1988)
Berselli, L.C., Diening, L., Růžička, M.: Existence of strong solutions for incompressible fluids with shear dependent viscosities. J. Math. Fluid Mech. 12(1), 101–132 (2010)
Berselli, L.C., Růžička, M.: Global regularity properties of steady shear thinning flows. J. Math. Anal. Appl. 450(2), 839–871 (2017)
Bogovskii, M.E.: Solution of the first boundary value problem for the equation of continuity of an incompressible medium. Dokl. Akad. Nauk. SSSR 248, 1037–1040 (1979). English transl. in Soviet Math. Dokl. 20, 1094–1098 (1979)
Bogovskii, M.E.: Solution of some vector analysis problems connected with operators div and grad. In: Trudy Seminar S.L. Sobolev, vol. 80, pp. 5–40. Akademia Nauk SSSR (1980)
Calderón, A.P., Zygmund, A.: On singular integrals. Am. J. Math. 78, 289–309 (1956)
Crispo, F.: A note on the global regularity of steady flows of generalized Newtonian fluids. Port. Math. 66(2), 211–223 (2009)
Cruz-Uribe, D.V., Martell, J.M., Pérez, C.: Weights, extrapolation and the theory of Rubio de Francia. In: Operator Theory: Advances and Applications, vol. 215. Birkhäuser/Springer Basel AG, Basel (2011)
Diening, L., Růžička, M.: Calderón–Zygmund operators on generalized lebesgue spaces \({L}^{p(\cdot )}\) and problems related to fluid dynamics. J. Reine Angew. Math. 563, 197–220 (2003)
Diening, L., Ettwein, F.: Fractional estimates for non-differentiable elliptic systems with general growth. Forum Math. 20(3), 523–556 (2008)
Diening, L., Kreuzer, C.: Linear convergence of an adaptive finite element method for the \(p\)-Laplacian equation. SINUM 46, 614–638 (2008)
Diening, L., Růžička, M., Schumacher, K.: A decomposition technique for John domains. Ann. Acad. Sci. Fenn. Ser. A. I. Math. 35(1), 87–114 (2010)
Evans, L.C.: Partial differential equations. In: Graduate Studies in Mathematics, vol. 19. American Mathematical Society, Providence, RI (1998)
Fuchs, M., Seregin, G.: Variational Methods for Problems from Plasticity Theory and for Generalized Newtonian Fluids. Springer, Berlin (2000)
Galdi, G.P.: An introduction to the mathematical theory of the Navier–Stokes equations. Vol. I. In: Springer Tracts in Natural Philosophy, vol. 38. Springer, New York (1994)
Gallardo, D.: Orlicz spaces for which the Hardy–Littlewood maximal operator is bounded. Publ. Mat. 32(2), 261–266 (1988)
Grafakos, L.: Classical Fourier analysis. In: Graduate Texts in Mathematics, vol. 249, 3rd edn. Springer, New York (2014)
Málek, J., Růžička, M., Shelukhin, V.V.: Herschel–Bulkley fluids: existence and regularity of steady flows. Math. Models Methods Appl. Sci. 15(12), 1845–1861 (2005)
Pick, L., Kufner, A., John, O., Fučík, S.: Function spaces. In: De Gruyter Series in Nonlinear Analysis and Applications, vol. 14, Vol. 1, extended edn. Walter de Gruyter & Co., Berlin (2013)
Rao, M.M., Ren, Z.D.: Theory of Orlicz spaces. In: Monographs and Textbooks in Pure and Applied Mathematics, vol. 146. Marcel Dekker Inc., New York (1991)
Růžička, M., Diening, L.: Non–Newtonian fluids and function spaces. In: Proceedings of the Nonlinear Analysis, Function Spaces and Applications, NAFSA 2006 Prague, vol. 8, pp. 95–144 (2007)
Schumacher, K.: The Navier–Stokes Equations with Low Regularity Data in Weighted Function Spaces. Ph.D. Thesis, FB Mathematik, Universität Darmstadt (2007)
Schumacher, K.: Solutions to the equation \({{\rm div}}\,u=f\) in weighted Sobolev spaces. In: Parabolic and Navier–Stokes Equations Part 2. Banach Center Publication, vol. 81, pp. 433–440. Institute of Mathematics of the Polish Academy of Sciences, Warsaw (2008)
Talenti, G.: Boundedness of minimizers. Hokkaido Math. J. 19(2), 259–279 (1990)
Acknowledgements
Open Access funding provided by Projekt DEAL. We would like to thank the referees for their helpful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Y. Giga.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Křepela, M., Růžička, M. Solenoidal difference quotients and their application to the regularity theory of the p-Stokes system. Calc. Var. 59, 34 (2020). https://doi.org/10.1007/s00526-019-1691-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-019-1691-0