Abstract
In this paper we consider parabolic problems with stress tensor depending only on the symmetric gradient. By developing a new approximation method (which allows to use energy-type methods typical for linear problems) we provide an approach to obtain global regularity results valid for general potential operators with \((p,\delta )\)-structure, for all \(p>1\) and for all \(\delta >0\). In this way we prove “natural” second order spatial regularity—up to the boundary—in the case of homogeneous Dirichlet boundary conditions. The regularity results, are presented with full details for the parabolic setting in the case \(p>2\). However, the same method also yields regularity in the elliptic case and for \(1<p\le 2\), thus proving in a different way results already known.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we consider an initial boundary value problem for general nonlinear parabolic systems
where the operator \(\mathbf{S}\) depends only on the symmetric gradient \(\mathbf{D}\mathbf{u}= \frac{1}{2}({(\nabla \mathbf{u})^{\top }\!\!+\nabla \mathbf{u}})\) and has \((p,\delta )\)-structure (cf. Definition 2.15). Here \(I:=(0,T)\) for some \(T>0\) is a finite time interval, and \(\Omega \subset \mathbb {R}^{3}\) is a sufficiently smooth, bounded domain. The paradigmatic example for the operator in (1.1) is given via
In this paper we only treat the case \(p>2\). However, the method of proof, based on an (A, q)-approximation (cf. Sect. 2.4) works for every \(p\in (1,\infty )\). We focus to the case \(p >2\), since our main result in the case \(p\in (1,2]\) has been already proved in a different way (cf. [12]) and the method of the present paper simplifies a lot for these exponents. Note that the elliptic problem corresponding to (1.1) can be treated in the same way with much shorter proofs. Moreover, all our result possess corresponding analogues in d-dimensional domains \(\Omega \subset \mathbb {R}^d\), \(d\ge 2\). For simplicity we only treat the case \(d=3\).
Our main goal is to prove a result of “natural” second-order spatial regularity for weak solutions. This corresponds to proving, under appropriate (minimal) assumptions on the data, that weak solutions satisfy
which can be also equivalently re-written as \( \mathbf{F}(\mathbf{D}\mathbf{u}) \in L^{2}(I;W^{1,2}(\Omega )) \) with
We say “natural” as opposed to some recent results proving \(\mathbf{S}\in L^{2}(I;W^{1,2}(\Omega ))\), which is equivalent to proving that
which is called “optimal” second-order spatial regularity. The two notions of regularity are rather different in the spirit: the optimal regularity is linked with nonlinear versions of the singular integral theory, while the natural regularity is based on energy methods. This yields estimates in quasi-norms, which are of crucial relevance especially for the numerical analysis of the problem, and in particular to study optimal convergence rates of spatial discretizations (cf. Barrett and Liu [2]).
The problem has a long history and many result concern mainly the problem: (a) in the scalar or elliptic case; (b) with operators \(\mathbf{S}\) depending on the full gradient; (c) the interior regularity. We refer to the classical results by DiBenedetto [20], Gilbarg and Trudinger [26], Ladyžhenskaja et al. [28, 29], Liebermann [30], Uhlenbeck [40], Ural’ceva [41], just to cite a few; or the ones linked more to applications Bensoussan and Frehse [9], Nečas [34], and Fuchs and Seregin [24]. Even if the studies started in the sixties, we observe that the field is still extremely active and very recent results are those in [3, 4, 17, 18].
Our treatment of the case of systems with dependence only on the symmetric gradient and up-to-the boundary is new, to the best of the author’s knowledge. We extend the so called A-approximation technique from [32] such that it allows a treatment of all exponents \(p \in (1,\infty )\). Here, we focus on the regularity of the quantity in (1.3). Thus, this work can be seen as a natural extension of previous results we have done in the case \(p \in (1,2]\) for the steady problem in [12] and for the unsteady continuous/discrete in [13]. Note that our approach allows to treat the full range of exponents \(p \in (1,\infty )\), as in the scalar case, even if we give full details only in the case \(p>2\), as the case \(p \in (1,2)\) is already treated in a different way. Notice that the results in [18] hold only for \(p>\frac{3}{2}\), which has been improved in [1], reaching \(p>4-2\sqrt{2}\). The limitation on \(p>3/2\) was also present in prior results of “natural” regularity in the symmetric gradient case [5], but it has then later removed completely in [11] to the case \(p>1\).
The techniques employed for \(p>2\) are rather different from those previously used in the case for \(p<2\), where calculations can be more easily justified by approximation of the system by means of adding the term \(-\varepsilon \Delta \mathbf{u}\) (and then showing that estimates for a system with leading linear part could be made independent of \(\varepsilon >0\)). Anyway, the technique we use can be also employed in the case \(p \in (1,2]\) to prove in an alternative way the regularity results already known. This requires some technical adjustments which are left for a further investigation, since the technicalities are complex enough already in the case \(p>2\). The introduction of a different regularization of the problem is due to the fact that for \(p>2\) the perturbation with the heat equation is not enough to justify the computations; hence, we developed a new (multiple) approximation technique, by a sequence of operators, such that the last is an affine one, which allows to use standard energy techniques leading to \(W^{2,2}\)-results.
1.1 Sketch of the proof of the main result
To prove the main regularity result (cf. Theorem 3.4) we proceed as follows: (a) we introduce a proper multiple approximation of the operator \(\mathbf{S}\); (b) we prove interior and tangential estimates for second order derivatives by difference quotient methods; (c) we use the equations point-wise to recover the remaining derivative; (d) make again use of the point-wise equations and integration by parts in the full domain to obtain estimates independent of the approximation parameters; (e) and finally we pass to the limit with the multiple approximation parameters.
For the reader’s convenience, we explain here the main ideas in the case that the operator \({\mathbf {S}}\) is given by (1.2) and that instead of (1.1) its steady counterpart is treated. Most of the calculations are elementary, but involved, and use various well-established techniques from the regularity theory of partial differential equations. Since they are linked in a quite intricate and delicate way and one has to be careful in tracking the dependence on various parameters, we sketch the proof now and then develop a full theory in the next sections.
A fundamental step in the approximation of general operators by ones with linear growth dates back to [32], where generalized Newtonian fluids are treated. The results proved there are obtained by using for \(A\ge 1\) the following approximationFootnote 1\(\mathbf{S}^A\) defined via
with appropriately chosen constants \(c_{i}=c_{i}(A,\delta ,p)\) to ensure an appropriate regularity of the stress tensor \(\mathbf{S}^A\). Hence, the tensor \(\mathbf{S}^A\) grows linearly for large \(\mathbf{P}\). This can be also restated by writing that
where \(\omega ^{A}:\mathbb {R}^{\ge 0}\rightarrow \mathbb {R}^{\ge 0}\) is a regular N-function such that \((\omega ^{A})'(0)=0\), \((\omega ^{A})'(t)=(\delta +t)^{p-2}t\) for \(t\le A\) and \((\omega ^{A})'(t)=c_{2}t+c_{1}\) for \(t> A\).
Remark 1.1
In Sect. 2 we will show that -roughly speaking- once the results is established for this explicit example, then it can be extended to a rather wide class of nonlinear operators.
To obtain results for the original problem we first consider the approximate problem
For regular enough \(\mathbf{f}\) one can directly prove the existence of weak solutions satisfying
where
Note that \(|\mathbf{F}^{A}(\mathbf{P})|^{2}\sim \delta ^{2}+|\mathbf{P}^{{\mathrm {sym}}}|^{2}\), with constants depending on A. The special role of the quantity
is evident from the definitions of \({\mathbf {S}}^{A}\) and \(\mathbf{F}^{A}\).
The estimates for the second order spatial derivatives are obtained by using the difference quotient technique in the interior and along tangential directions (after appropriate localization of the equations). Once this step is done, one gets that the equations are satisfied almost everywhere. Thus, the equations can be used point-wise to determine (by ellipticity) estimations in the direction normal to the boundary. The outcome of this procedure, which is typical for second order elliptic equations, leads to the estimates (cf. Propositions 3.15, 3.16)
where the constant \(C_{1}\) is independent of A. In addition, one gets that also tangential derivatives are regular up to the boundary with a bound independent of A. Note that the linear growth of the operator \(\mathbf{S}^A\) results in an \(L^2\)-setting, which allows us to use the classical Korn inequality and to handle the dependence of the operator on the symmetric gradient (instead of on the full gradient) in the equations. An important feature of this step is that the proved regularity is sufficient to justify the following step and to remove the dependence on A in the estimates in the direction normal to the boundary.
This is achieved by testing the equations locally near the boundary by second order derivatives in the normal direction, and adapting a method introduced by Seregin and Shilkin [37] for \(1<p<2\) (cf. [12, 13]). This results in the estimate (cf. Propositions 3.20, 3.21)
for some \(C_{3}\) which is independent of A.
The final step is the passage to the limit \(A\rightarrow \infty \). By uniform boundedness it directly follows that \(\mathbf{F}^{A}(\mathbf{D}\mathbf{u}^{A})\) has a weak limit \({\widehat{\mathbf{F}}}\in W^{1,2}(\Omega )\) and by using also the uniform bound on second order derivatives, it follows that \(\mathbf{D}\mathbf{u}^{A}\rightarrow \mathbf{D}\mathbf{u}\) almost everywhere. Combining these two information, the definition of \(\mathbf{F}^{A}\), and the lower semi-continuity of the norm it follows that
It remains to prove that \(\mathbf{u}\) is the unique solution of the steady version the original problem (1.1). From the construction of \(\mathbf{S}^A\) follows \({\mathbf {S}}^{A}(\mathbf{P})\rightarrow {\mathbf {S}}(\mathbf{P})\) for every \(\mathbf{P}\in \mathbb {R}^{3\times 3}\). This fact, coupled with the almost everywhere convergence of \(\mathbf{D}\mathbf{u}^{A}\), implies that
which is nevertheless not enough to infer directly that
and to pass to the limit in the weak formulation. To this end we need -for instance- additionally an uniform bound on \({\mathbf {S}}^{A}(\mathbf{D}\mathbf{u}^{A})\) in \(L^{q}(\Omega )\) for some \(q>1\). This implies that \({\mathbf {S}}^{A}(\mathbf{D}\mathbf{u}^{A})\rightharpoonup \widehat{{\mathbf {S}}}\) in \(L^{q}(\Omega )\), and that the limit can be identified as \(\widehat{{\mathbf {S}}}={\mathbf {S}}(\mathbf{D}\mathbf{u})\), by a classical result.
Observe that from the definition of \(\mathbf{S}^A\) it follows (cf. Proposition 2.29, Lemmas 2.32, 2.35) that
while the proved estimate \( \mathbf{F}(\mathbf{D}\mathbf{u}^{A})\in W^{1,2}(\Omega )\), which is uniformly with respect to A, implies by Sobolev embedding (in three-dimensions) that \(\Vert \mathbf{F}(\mathbf{D}\mathbf{u}^{A})\Vert _{6}\le C \). Using the properties of \(\mathbf{F}^{A}\), it follows that (cf. Proposition 2.29, Lemmas 2.32, 2.35)
Hence we get that \({\mathbf {S}}^{A}(\mathbf{D}\mathbf{u}^{A})\) is bounded uniformly in \(L^{6/(p-1)}(\Omega )\) for \(p>2\) and in \(L^{3p}(\Omega )\) for \(1<p \le 2\), which implies that the above argument to pass to the limit in the weak formulation works only for \(1<p<7\).
To remove the restriction \(p<7\) in the regularity resultFootnote 2 we introduce and perform a multiple approximation of the operator, which is roughly speaking the following: for given decreasing sequences \(p>q_{1}>q_{2}>\dots >q_{N}=:2\) and \(A_{N}>A_{N-1}>\dots > A_1\ge 1\) we set
where the various constants \(c_{i,m}\) are chosen such that the operator \(\mathbf{S}^N\) belongs to the class \(C^{1}\). If the exponents \(q_{n}\) are chosen such that
it is possible to perform the limiting process step by step, sending to infinity \(A_{N}\) (with \(A_{n}\) for \(n\le N-1\) fixed), then taking the limit \(A_{N-1}\rightarrow \infty \) with the previous ones fixed, and so on. This procedure requires to prove the precise dependence of the lower and the upper bounds of the multiple approximation with respect to the parametersFootnote 3\(A_{n}\).
Plan of the paper The analysis of the approximate operators is the content of Sect. 2 of the paper, where the procedure is carried out with full details for general operators, derived from a potential and having \((p,\delta )\)-structure. Moreover, for the derivation of the estimates for second derivatives, one also has to handle precisely the behavior of the related operators \(\mathbf{F}^{n}\). In particular, we will see that a peculiar role is played by handling tensors derived from a potential \(U\) satisfying \(U'(t)/t\sim U''(t)\), which we call balanced. This allows us to reduce many of the estimations to computable explicit cases, cf. Remark 1.1.
Next, in Sect. 3 the existence and regularity for solution of the approximate problems is treated in detail. Particular care is given to the full justification of the calculations: the results are rather natural from a formal point of view, while the rigorous treatment of all integrals needs certain approximations and the application of difference quotients, in order to be sure that we do not work with infinite quantities. First, some \(A_{n}\) dependent estimates are proved, in order to justify manipulating the system (1.4) point-wise and then to derive uniform estimates by (improved) generalized energy methods. The limiting process is carried out in the more technical parabolic case, using space-time compactness results and convergences (at the price of a more restrictive choice of the parameters \(q_{n}\)).
2 Nonlinear operators and N-functions
The goal of this section is to define an approximation, which possesses nice properties, for operators appearing in (1.1). The approximation is inspired by [32], while the proof of its properties is close to [36]. However, our notions are defined slightly different, which simplifies and shortens the argumentation.
2.1 Notation
We use c, C to denote generic constants, which may change from line to line, but are not depending on the crucial quantities. Moreover, we write \(f\sim g\) if and only if there exists constants \(c,C>0\) such that \(c\, f \le g\le C\, f\).
For a bounded, sufficiently smooth domain \(\Omega \subset \mathbb {R}^3\) we use the customary Lebesgue spaces \((L^p(\Omega ), {\Vert {\,.\,}\Vert }_p)\), \(p \in [1,\infty ]\), and Sobolev spaces \((W^{k,p}(\Omega ), {\Vert {\,.\,}\Vert }_{k,p})\), \(p \in [1,\infty ]\), \(k \in \mathbb {N}\). We use the notation \((f,g)=\int _\Omega f g\, d\mathbf{x}\), whenever the right-hand side is well defined. We do not distinguish between scalar, vector-valued or tensor-valued function spaces in the notation if there is no danger of confusion. However, we denote scalar functions by roman letters, vector-valued functions by small boldfaced letters and tensor-valued functions by capital boldfaced letters. If the norms are considered on a set M different from \(\Omega \), this is indicated in the respective norms as \({\Vert {\,.\,}\Vert }_{p,M}, {\Vert {\,.\,}\Vert }_{k,p,M}\). We equip \(W^{1,p}_0(\Omega )\) (based on the Poincaré lemma) with the gradient norm \({\Vert {\nabla \,.\,}\Vert }_p\). We denote by \({|{M}|}\) the 3-dimensional Lebesgue measure of a measurable set M. As usual the gradient of a vector field \(\mathbf{v}:\Omega \subset \mathbb {R}^3 \rightarrow \mathbb {R}^3\) is denoted as \(\nabla \mathbf{v}= (\partial _i v^j)_{i,j=1,2,3}=(\partial _i \mathbf{v})_{i=1,2,3}\), while its symmetric part is denoted as \(\mathbf{D}\mathbf{v}:= \frac{1}{2} \big (\nabla \mathbf{v}+ \nabla \mathbf{v}^\top \big )\). The derivative of functions defined on tensors, i.e., \(U:\mathbb {R}^{3\times 3}\rightarrow \mathbb {R}\), is denoted as \(\partial U= (\partial _{ij} U)_{i,j=1,2,3}\) where \(\partial _{ij}\) are the partial derivatives with respect to the canonical basis of \(\mathbb {R}^{3\times 3}\).
2.2 N-functions
We start with a discussion of some non-trivial properties of N-functions that we need in the sequel. For a detailed discussion of Orlicz spaces and N-functions we refer to [27, 33, 35, 36].
Definition 2.1
(N-function and regular N-function) A function \(\varphi :\mathbb {R}^{\ge 0}\rightarrow \mathbb {R}^{\ge 0}\) is called N-function if \(\varphi \) is continuous, convex, strictly positive for \(t>0\), and satisfiesFootnote 4
If \(\varphi \) additionally belongs to \(C^1(\mathbb {R}^{\ge 0})\cap C^2(\mathbb {R}^{> 0})\) and satisfies \(\varphi ''(t)>0\) for all \(t>0\), we call \(\varphi \) a regular N-function.
The use of regular N-functions is sufficient for our purposes. Thus, in the rest of the paper we restrict ourselves to this case. For a treatment in the general situation we refer to the above mentioned literature. Note that for a regular N-function we have \(\varphi (0)=\varphi '(0)=0\). Moreover, \(\varphi '\) is increasing and \(\lim _{t\rightarrow \infty } \varphi '(t)=\infty \).
The following notion plays an important role in the sequel.
Definition 2.2
(\(\Delta _2\)-condition) A non-decreasing function \(\varphi :\mathbb {R}^{\ge 0}\rightarrow \mathbb {R}^{\ge 0}\) is said to satisfy the \(\Delta _2\)-condition if for some constant \(K\ge 2\) it holds
We write \(\varphi \in \Delta _{2}\) if \(\varphi \) satisfies the \(\Delta _{2}\)-condition. The \(\Delta _2\)-constant of \(\varphi \), denoted by \(\Delta _2(\varphi )\), is the smallest constant \(K\ge 2\) satisfying (2.1).
We have the following results.
Lemma 2.3
For a regular N-function \(\varphi \) the following properties are satisfied:
-
(i)
For all \(t \ge 0\) there holds
$$\begin{aligned} \varphi (t) \le \varphi '(t)t \le \varphi (2t). \end{aligned}$$ -
(ii)
If \(\varphi \in \Delta _2\), then we have for all \(t \ge 0\)
$$\begin{aligned} \varphi (t) \le \varphi '(t)t \le \Delta _2(\varphi )\,\varphi (t). \end{aligned}$$ -
(iii)
It holds that \(\varphi \in \Delta {_2}\) if and only if \(\varphi ' \in \Delta _2\). In this situation we have \(\Delta _2(\varphi )\le 2 \Delta _2(\varphi ') \le (\Delta _2(\varphi ))^{2}\).
Proof
Assertion (i) is contained in [36, Lemma 5.1]. Assertion (ii) follows from (i). Assertion (iii) is proved in [36, Lemma 5.2]. \(\square \)
For a regular N-function \(\varphi \) we define the complementary function \(\varphi ^*\) by
It is easily seen from this definition, using elementary properties of inverse functions (cf. proof of [36, Lemma 6.4]), that \(\varphi ^*\) is again a regular N-function. We have the following versions of Young inequality.
Lemma 2.4
(Young type inequalities) Let the regular N-function \(\varphi \) be such that \(\varphi , \varphi ^* \in \Delta _2\). Then, for all \(t,u\ge 0\) there holds
for all \({\varepsilon }\in (0,1)\), \(M \in \mathbb {N}\) such that \({\varepsilon }^{-1} \le 2^M\), and \(N \in \mathbb {N}\) such that \(\Delta _2(\varphi )\,{\varepsilon }^{-1} \le 2^N\).
Proof
The first two inequalities follow immediately from the classical Young inequality
\(\varphi , \varphi ^* \in \Delta _2\), and \(\psi ({\varepsilon }\,t)\le {\varepsilon }\, \psi (t)\), valid for all convex functions \(\psi \), \(t\ge 0\) and \({\varepsilon }\in (0,1)\). The last two inequalities follow from the first ones and the equivalence
valid for all \(t \ge 0\) (cf. [36, (5.17)]). \(\square \)
In the study of nonlinear problems like (1.1) and of N-functions the property (2.3) below plays a fundamental role. To keep the presentation shorter we call functions satisfying it “balanced function”.
Definition 2.5
(Balanced function) We call a regular N-function \(\varphi \) balanced, if there exist constants \(\gamma _1\in (0,1]\) and \(\gamma _2 \ge 1\) such that for all \(t> 0\) there holds
The constants \(\gamma _1\) and \(\gamma _2\) are called characteristics of the balanced N-function \(\varphi \), and will be denoted as \((\gamma _1,\gamma _2)\).
This property transmits itself to complementary functions.
Lemma 2.6
Let \(\varphi \) be a balanced N-function with characteristics \((\gamma _1,\gamma _2)\). Then, the complementary N-function \(\varphi ^*\) is a balanced N-function with characteristics \((\gamma _2^{-1},\gamma _1^{-1})\).
Proof
The assertion is proved in [36, Lemma 6.4]. The proof uses only the condition (2.3), and the formula for the derivative of the inverse function applied to \((\varphi ^*)'(t) = (\varphi ')^{-1}(t)\). \(\square \)
Balanced N-functions always satisfy the \(\Delta _2\)-condition (cf. [8]).
Lemma 2.7
For a balanced N-function \(\varphi \) we have that \(\varphi , \varphi ^*\in \Delta _2\). In particular, for all \(t \ge 0\) there holds
i.e., the \(\Delta _2\)-constants of \(\varphi \) and \(\varphi ^*\) possess an upper bound depending only on \(\gamma _1\) and \(\gamma _2\).
Proof
From condition (2.3) it follows for all \(t>0\) that
which implies by integration with respect to t over (s, 2s), \(s>0\), and using the exponential function that
A further integration with respect to s over (0, t), \(t>0\), proves, for all \(t>0\), that
showing the assertion for \(\varphi \). The assertion for \(\varphi ^*\) follows analogously by using Lemma 2.6. \(\square \)
Corollary 2.8
For a balanced N-function \(\varphi \) we have
with constants of equivalence depending only on the characteristics of \(\varphi \).
Proof
This follows immediately from Lemmas 2.3 and 2.7 since \(\varphi \) is balanced. \(\square \)
Lemma 2.9
Let \(\varphi \) a balanced N-function with characteristics \((\gamma _1,\gamma _2)\). Let \(U\in C^1(\mathbb {R}^{\ge 0})\cap C^2(\mathbb {R}^{>0})\) with \(U(0)=U'(0)=0\) satisfy for some \(c_{0},c_{1}>0\) and for all \(t > 0\)
Then, also \(U\) is a balanced N-function with characteristics \((\gamma _2 \frac{c_0}{ c_1}, \gamma _1\frac{c_1}{c_0})\), which satisfies for all \(t\ge 0\)
Proof
The inequalities in (2.5) follow from (2.4) by integration using that \(U'(0)=\varphi '(0)=0\). From (2.5) and (2.3) it follows that \(U\) is a balanced N-function with characteristics as indicated in the assertion. \(\square \)
It turns out that the function \(a_\varphi : \mathbb {R}^{\ge 0} \rightarrow \mathbb {R}^{\ge 0}\), defined for regular N-functions \(\varphi \) via
plays an important role in the investigation of problem (1.1).
Lemma 2.10
Let \(\varphi \) be a regular N-function such that \(\varphi , \varphi ^* \in \Delta _2\). Then, for all \(\mathbf{P}, \mathbf{Q}\in \mathbb {R}^{3 \times 3}\) there holds
with constants of equivalence depending only on \(\Delta _2(\varphi )\) and \(\Delta _2(\varphi ^*)\).
Proof
This follows immediately from [36, Lemma 6.6] by using Lemma 2.3, the convexity of \(\varphi \), \(\varphi \in \Delta _2\), and \(2^{-1} ({|{\mathbf{P}}|} + {|{\mathbf{Q}}|}) \le {|{\mathbf{P}}|} + {|{\mathbf{P}-\mathbf{Q}}|} \le 2({|{\mathbf{P}}|} + {|{\mathbf{Q}}|})\). \(\square \)
It is convenient to introduce for all \(p\in (1,\infty )\) and all \( {\delta }\in [0,\infty )\) the function \(\omega _{p,{\delta }}:\mathbb {R}^{\ge 0} \rightarrow \mathbb {R}^{\ge 0}\) via
which is precisely the N-function associated with the definition of the tensor \({\mathbf {S}}\) from (1.2). If p and \(\delta \) are fixed we often simply write \(\omega (t):=\omega _{p,{\delta }}(t)\). Nevertheless, we will track the possible dependence of constants in terms of these two parameters. Clearly, \(\omega _{p,{\delta }}\) is a regular N-function for all \(p\in (1,\infty )\) and all \( {\delta }\in [0,\infty )\). The advantage is that we have exact control of all relevant constants for these functions. We have the following basic properties.
Lemma 2.11
For any \(\delta \in [0,\infty )\) and for any \(p\in (1,\infty )\) there holds
In particular, \(\omega _{p,{\delta }}\), \(p\in (1,\infty )\), \(\delta \ge 0\), are balanced N-functions with characteristics \(( \min \{1,p-1\} , \max \{1,p-1\})\) and \(\Delta _2\)-constants depending only on p. Moreover, by the previous results also \((\omega _{p,{\delta }})^*\) are balanced N-functions with characteristics \((\min \{1,(p-1)^{-1}\}, \max \{1,(p-1)^{-1}\})\) and \(\Delta _2\)-constants depending only on p.
Proof
The first assertion in (2.7) follows from Lemma 2.3 (ii) and [36, Lemma 5.3], since \(\Delta _2((\omega _{p,0})')=2^{p-1}\). The second assertion (2.7) follows from direct computations. \(\square \)
2.3 Nonlinear operators with \((p,\delta )\)-structure
In this section we collect the main results on nonlinear operators derived from a potential and having \((p,\delta )\)-struct- ure.
Definition 2.12
(Operator derived from a potential) We say that an operator \({\mathbf{S}:\,\mathbb {R}^{3\times 3}\rightarrow \mathbb {R}^{3\times 3}_{{\mathrm {sym}}}}\) is derived from a potential \(U: \mathbb {R}^{\ge 0} \rightarrow \mathbb {R}^{\ge 0}\), if \(\mathbf{S}({\mathbf {0}})={\mathbf {0}}\) and for all \(\mathbf{P}\in \mathbb {R}^{3\times 3}\setminus {\{{{\mathbf {0}}}\}}\) there holdsFootnote 5
for some \(U\in C^{1}(\mathbb {R}^{\ge 0})\cap C^{2}(\mathbb {R}^{>0})\) satisfying \(U(0)=U'(0)=0\).
Remark 2.13
For ease of notation, in many cases we will also write \(\mathbf{S}=\partial U\) for an operator derived from the potential \(U\) and note that from its definition it follows that \(\mathbf{S}(\mathbf{P})=\mathbf{S}(\mathbf{P}^{{\mathrm {sym}}})\), for all \(\mathbf{P}\in \mathbb {R}^{3\times 3}\).
Note also that we consider the operator \(\mathbf{S}\) with domain \(\mathbb {R}^{3\times 3}\), since we study the problem (1.1) in the setting of three space-dimensions. Clearly, the same definition and results below can be applied to a general operator defined on \(\mathbb {R}^{d\times d}\), with \(d\ge 2\).
Remark 2.14
Note that in investigations of the regularity of solution of (1.1), or its steady analogues, for operators derived from a potential \(U\), the lower and upper bounds of the quantity
play an important role (cf. the discussion in [3, 17,18,19].
If \(U\) is a balanced N-function these bounds are closely related to the characteristics \((\gamma _{1},\gamma _{2})\) of \(U\). In fact, we have
Definition 2.15
(Operator with \({\varphi }\)-structure) Let the operator \({\mathbf{S}:\mathbb {R}^{3 \times 3} \rightarrow \mathbb {R}^{3 \times 3}_{{\mathrm {sym}}} }\), belonging to \(C^0(\mathbb {R}^{3 \times 3};\mathbb {R}^{3 \times 3}_{{\mathrm {sym}}} )\cap C^1(\mathbb {R}^{3 \times 3}\setminus \{{\mathbf {0}}\}; \mathbb {R}^{3 \times 3}_{{\mathrm {sym}}} ) \), satisfy \({\mathbf{S}(\mathbf{P}) = \mathbf{S}\big (\mathbf{P}^{{\mathrm {sym}}} \big )}\) and \(\mathbf{S}({\mathbf {0}})={\mathbf {0}}\).
We say that \(\mathbf{S}\) has \({\varphi }\)-structure if there exist a regular N-function \(\varphi \) and constants \(\gamma _3 \in (0,1]\), \(\gamma _4 >1\) such that the inequalities
are satisfied for all \(\mathbf{P},\mathbf{Q}\in \mathbb {R}^{3\times 3} \) with \(\mathbf{P}^{{\mathrm {sym}}} \ne {\mathbf {0}}\) and all \(i,j,k,l=1,2, 3\). The constants \(\gamma _3\), \(\gamma _4\), and \(\Delta _2(\varphi )\) are called the characteristics of \(\mathbf{S}\) and will be denoted by \((\gamma _3,\gamma _4, \Delta _2(\varphi ))\).
In the special case \(\varphi = \omega _{p,\delta } \) with \(p \in (1, \infty )\) and \({\delta }\in [0,\infty )\) we say that \(\mathbf{S}\) has \((p,{\delta })\)-structure and call \((\gamma _3,\gamma _4,p)\) its characteristics.
Closely related to an operator with \(\varphi \)-structure is the function \({\mathbf{F}_\varphi :\mathbb {R}^{3 \times 3} \rightarrow \mathbb {R}^{3 \times 3}_{{\mathrm {sym}}}}\) defined via
where the second representation holds only for \(\mathbf{P}^{{\mathrm {sym}}} \ne {\mathbf {0}}\). However, this form is convenient since it shows that \(\mathbf{F}_\varphi \) is derived from the potential
It is easily seen that \(\psi \in C^1(\mathbb {R}^{\ge 0})\cap C^2(\mathbb {R}^{>0})\). In the special case of an operator \(\mathbf{S}\) with \((p,{\delta })\)-structure we have with \(\omega =\omega _{p,{\delta }}\)
which is consistent with the notation used in the previous literature, as explained in the introduction, cf. (1.3).
To derive a very important result for operators with \(\varphi \)-structure we need the following result, which explains also the link (and the choice of a similar name) between the characteristics of a balanced N-function \(\varphi \), and the characteristics of an operator derived from a potential \(\varphi \).
Proposition 2.16
Let \(\varphi \) be a balanced N-function with characteristics \((\gamma _1,\gamma _2)\). Let \(\mathbf{T}=\partial \varphi \) be derived from the potential \(\varphi \). Then, \(\mathbf{T}\) has \(\varphi \)-structure with characteristics depending only on \(\gamma _1\) and \(\gamma _2\).
Proof
It follows from Lemma 2.7 that the \(\Delta _2\)-constant of \(\varphi \) depends only on \(\gamma {_2}\). We have for all \(\mathbf{P}\in \mathbb {R}^{3\times 3}\) with \(\mathbf{P}^{{\mathrm {sym}}} \ne {{\mathbf {0}}}\)
where \(\delta ^{{\mathrm {sym}}}_{ij,kl}:= \frac{1}{2} (\delta _{ik}\delta _{j l}+\delta _{i l}\delta _{j k})\). Using (2.3) we obtain from this, for all j, k, l, m,
which proves (2.8b). From (2.12), (2.3), and \(\gamma _1\le 1\) we obtain for \(\mathbf{P}, \mathbf{Q}\in \mathbb {R}^{3 \times 3}\) with \(\mathbf{P}^{{\mathrm {sym}}} \not = {\mathbf {0}}\)
which proves (2.8a). \(\square \)
We can now formulate the following crucial result for our investigations (cf. [36, Section 6]).
Proposition 2.17
Let \(\varphi \) be a balanced N-function with characteristics \((\gamma {_1},\gamma {_2})\). Let \(\mathbf{S}\) have \(\varphi \)-structure with characteristics \((\gamma _3,\gamma {_4}, \Delta {_2(\varphi )})\) and let \(\mathbf{F}_\varphi \) be defined in (2.9). Then, we have for all \(\mathbf{P},\mathbf{Q}\in \mathbb {R}^{3\times 3} \) that
where the constants of equivalence depend only on \(\gamma _{1}, \gamma {_2}, \gamma {_3}\), and \(\gamma _{4}\).
Proof
First of all note that, due to Lemmas 2.7 and 2.6, \(\varphi \) and \(\varphi ^*\) satisfy the \(\Delta _2\)-condition with \(\Delta {_2}\)-constants depending only on \(\gamma {_1}\) and \(\gamma {_2}\).
Using (2.8) and Lemma 2.10 we get that for all \(\mathbf{P}, \mathbf{Q}\in \mathbb {R}^{3 \times 3}\) with \(\mathbf{P}^{{\mathrm {sym}}} \ne {\mathbf {0}}\)
which proves (2.13) with constants of equivalence depending only on \(\gamma _{1},\gamma _2,\gamma {_3}\), and \(\gamma _{4}\). From (2.13) we immediately obtain, also using that \(\mathbf{S}\) is symmetric,
with constants depending only on \(\gamma _{1},\gamma _2,\gamma {_3}\), and \(\gamma _{4}\). This proves one inequality in (2.15). The other follows from
with constants depending only on \(\gamma _{1}, \gamma _2, \gamma {_3}\), and \(\gamma _{4}\). Here, we used again (2.8b), the symmetry of \(\partial _{kl}S_{ij}\) with respect to k, l, and Lemma 2.10.
To show (2.14) we use that \(\mathbf{F}_\varphi \) defined in (2.9) possesses \(\psi \)-structure, where \(\psi \) is defined in (2.10). We have using (2.3), for all \(t>0\), that
This shows that \(\psi \) is a balanced N-function with characteristics \((\frac{1+\gamma _1}{2}, \frac{1+\gamma _2}{2})\). Thus, Proposition 2.16 yields that \(\mathbf{F}_\varphi \) has \(\psi \)-structure with characteristics depending only on \(\gamma _1\) and \(\gamma _2\). The already proven equivalence (2.15) reads in this case as
with constants of equivalence depending only on \(\gamma _{1}\) and \(\gamma _{2}\). From the definition of \(\psi \) we get, for all \(t>0\),
which together with (2.16) yields (2.14). This finishes the proof. \(\square \)
Let us finish this section by proving a useful result for the operator occurring in (1.1).
Proposition 2.18
Let the operator \(\mathbf{T}=\partial U\), derived from a potential \(U\), have \(\varphi \)-structure, with characteristics \((\gamma _3,\gamma _4,\Delta _2(\varphi ))\). If \(\varphi \) is a balanced N-function with characteristics \((\gamma _1,\gamma _2)\), then \(U\) is a balanced N-function satisfying for all \(t>0\)
The characteristics of \(U\) is equal to \(\big (\frac{\gamma _3}{\gamma _4} \,\frac{ \gamma _1^2}{\gamma _2}, \frac{\gamma _4}{\gamma _3} \,\frac{ \gamma _2^2}{\gamma _1}\big )\).
Proof
For \(\mathbf{P}=\frac{t}{\sqrt{3}}\mathbf{I}\mathbf{d}\), \(t>0\), \(\mathbf{Q}=\frac{1}{\sqrt{3}}\mathbf{I}\mathbf{d}\) we get \({|{\mathbf{P}}|} =t\), \({|{\mathbf{Q}}|}=1\). Thus, (2.8a), (2.8b), and the definition of \(a_\varphi \) yield
This implies (2.17), since \(\varphi \) is balanced. The remaining assertions follow from Lemma 2.9. \(\square \)
Remark 2.19
Proposition 2.18 states that \(U\) is a balanced N-function with characteristics depending only on the characteristics of \(\mathbf{S}\) and on the characteristics of \(\varphi \). Consequently, Lemmas 2.7 and 2.6 yield that \(U\) and \(U^*\) satisfy the \(\Delta _{2}\)-condition, with \(\Delta _2\)-constants depending only on the characteristics of \(\mathbf{S}\) and the characteristics of \(\varphi \).
2.4 Approximations of a nonlinear operator
We now define the (A, q)-approximation and prove the relevant properties, needed in the sequel. Note that the (A, q)-approximation in the special case \(p\ge 2\) and \(q=2\) was introduced in a slightly different form in [32] (in that reference the potential depends on \(|\mathbf{P}^{{\mathrm {sym}}}|^{2}\)). The idea behind is that the operator induced by the (A, q)-approximation for \(q=2\) has linear growth at infinity (cf. [32, Lemma 2.22]) and consequently, one can work on the level of this (A, 2)-approximation within the standard Hilbertian theory.
Definition 2.20
(A, q)-(approximation of a scalar real function) Given a function \(U\in C^{1}(\mathbb {R}^{\ge 0})\cap C^{2}(\mathbb {R}^{>0})\) satisfying \(U(0)=U'(0)=0\) we define for \(A\ge 1\) and \(q\ge 2\) the (A, q)-approximation \({U}^{A,q} \in C^{1}(\mathbb {R}^{\ge 0})\cap C^{2}(\mathbb {R}^{>0}) \) via
Consequently, the constants \(\alpha _{i,q}=\alpha _{i,q}(U)\), \(i=0,1,2\), are given by
Remark 2.21
If \(\varphi \) is a regular N-function and \(q=2\), the definition of the (A, 2)-approximation \(\varphi ^{A,2}\) and the properties of \(\varphi \) immediately imply that there exists a constant \(c(A,\varphi )\) such that for all \(t\ge 0\) there holds
Next, we define the (A, q)-approximation of an operator derived from a potential.
Definition 2.22
((A, q)-approximation of an operator derived from a potential) Let the operator \(\mathbf{S}=\partial U\) be derived from the potential \(U\). Then, we define for given \(A\ge 1\) and \(q\ge 2\) the (A, q)-approximation \({\mathbf{S}}^{A,q}:=\partial {U}^{A,q}\) of \(\mathbf{S}\) as the operator derived from the potential \({U}^{A,q}\), i.e., \({\mathbf{S}}^{A,q}\) satisfies \({\mathbf{S}}^{A,q}({\mathbf {0}})={\mathbf {0}}\) and for all \({\mathbf{P}\in \mathbb {R}^{3\times 3}\setminus {\{{{\mathbf {0}}}\}}}\) there holds
As explained in the introduction, for an operator with \((p,{\delta })\)-structure, for large p, we need also multiple approximations, which we define now.
Definition 2.23
(Multiple approximation of an operator) Let the operator \(\mathbf{S}\) have \((p,\delta )\)-structure for some \(p \in (2, \infty )\) and \({\delta }\in [0,\infty )\) and let \(\mathbf{S}\) be derived from the potential \(U\). For given \(N\in \mathbb {N}\) and \(q_n \in [2,p]\), \(n=0,\ldots , N\) with \(q_0=p\), \(q_{N}=2\) and \(q_n>q_{n+1}\), \(n=0, \ldots ,N-1\), and \(A_n\ge 1\), \(n=1,\ldots , N\) with \(A_{n+1}\ge A_n+1\), \(n=1, \ldots ,N-1\), we set
and then recursively
for \(n=1,\ldots , N\). We call \(U^n\), \(\mathbf{S}^n\), \(\omega ^n\), \(\mathbf{F}^n\), and \(a^n\), \(n=1,\ldots , N\), multiple approximation of \(U\), \(\mathbf{S}\), \(\omega _{p,\delta }\), \(\mathbf{F}\), and \(a\), respectively.
Remark 2.24
As we will see later on (for the parabolic problem in three-space dimensions) strictly speaking the multiple approximation is not needed for \(p\in (1,\frac{13}{3})\). Since in the definition of a multiple approximation the case \({N=1}\) is included, also a single (A, q)-approximation is a special case of a multiple approximation. To unify the presentation we also call the (A, 2)-approximation for \(p\in (1,\frac{13}{3})\) multiple approximation. In this case we have \(U^1=U^{A,2}\), \(\mathbf{S}^1=\mathbf{S}^{A,2}=\partial U^1\), \(\omega ^1= (\omega ^{0})^{A,2}=(\omega _{p,{\delta }})^{A,2}\), \(\mathbf{F}^1=\mathbf{F}_{\omega ^1}\), and \(a^1= a_{\omega ^1}\).
In the following we derive various properties of multiple approximations for an operator \(\mathbf{S}\) which is derived from a potential \(U\) and has \((p,\delta )\)-structure. In particular, we need to carefully track any possible dependence of the various constants and on the parameters \(A_{n}\), \(n=1,\dots ,N\). We start with a single approximation, showing in particular independence of the characteristics of \({\varphi }^{A,q}\) on \(A\ge 1\).
Lemma 2.25
Let \(\varphi \) be a balanced N-function with characteristics \((\gamma _1,\gamma _2)\). Then, for all \(A\ge 1\) and \(q\ge 2\) the (A, q)-approximation \({\varphi }^{A,q}\) is a balanced N-function with characteristics \(\big (\gamma _1, \max {\{{\gamma _2,q-1}\}}\big )\).
Proof
By construction we have
For \(t\le A\) we have \({\varphi }^{A,q}(t)=\varphi (t)\), while \(\frac{{\varphi }^{A,q}(t)}{t}=\alpha _{2,q}\,t^{q-1}+\alpha _{1,q}+\frac{\alpha _{0,q}}{t}\), for \(t>A\), which implies that \({\varphi }^{A,q}\) is a regular N-function, since
where we used in the first limit that \(\varphi \) is an N-function. From \({\varphi }^{A,q}(t)=\varphi (t)\), for \(t\le A\), we get, for all \(t \in (0,A]\), that
since \(\varphi \) is balanced. On the other hand, for \(t\ge A\) we have
Observe that for fixed \(A\ge 1\) there holds \(\lim _{t\rightarrow \infty }g^{A}(t)=\frac{1}{q-1}\), while
From \((g^{A})'(t)=-\frac{1}{t^{q-2}}\frac{\alpha _{1,q}}{q\alpha _{2,q}}\) it follows that the sign of the derivative depends only on \(\alpha _{1,q}=\varphi '(A)-\varphi ''(A)\,A\). Thus, \(g_{A}(t)\) is monotone. Distinguishing between \(\alpha _{1,q}\ge 0\) and \(\alpha _{1,q}\le 0\), using \(\gamma _1\le 1\) and \(\gamma _2\ge 1\), as well as (2.18), one easily sees that for all \(t\ge 0 \) there holds
implying the assertion. \(\square \)
Corollary 2.26
For all \(A\ge 1\) and \(q\ge 2\) the (A, q)-approximation \({(\omega _{p,\delta })}^{A,q}\) of \(\omega _{p,\delta }\) with \(p \in (1,\infty )\) and \(\delta \in [0,\infty )\) is a balanced N-function with characteristics
Proof
This follows immediately from Lemmas 2.11 and 2.25. \(\square \)
We have the following analogue of Proposition 2.18 for (A, q)-approximations of \(U\) and \(\varphi \).
Lemma 2.27
Let \(\varphi \) be a balanced N-function with characteristics \((\gamma _1,\gamma _2)\). Let the operator \(\mathbf{S}=\partial U\) have \(\varphi \)-structure with characteristics \((\gamma _3,\gamma _4,\Delta _2(\varphi ))\). For \(A\ge 1\) and \(q\ge 2\) let \({U}^{A,q} \) and \({\varphi }^{A,q} \) be the (A, q)-approximation of \(U\) and \(\varphi \), respectively. Then, there holds for all \(t>0\)
Proof
By definition we have \({U}^{A,q}(t)=U(t)\) and \({\varphi }^{A,q}(t) = \varphi (t)\) for \(t\le A\). Thus, the assertions for \(t\le A\) follow from (2.17). For \(t\ge A\) we have \(({U}^{A,q})''(t)=U''(A) \frac{t^{q-2}}{A^{q-2}}\) and \(({\varphi }^{A,q})''(t)=\varphi ''(A) \frac{t^{q-2}}{A^{q-2}}\). Thus, for \(t\ge A\) the assertion follows again from (2.17). \(\square \)
The properties of the function \({U}^{A,q}\) proved in the previous lemmas allow us to show that the operator \({\mathbf{S}}^{A,q}\) has \({\varphi }^{A,q}\)-structure.
Proposition 2.28
Let \(\varphi \) be a balanced N-function with characteristics \((\gamma _1,\gamma _2)\). Let the operator \(\mathbf{S}=\partial U\) have \(\varphi \)-structure with characteristics \((\gamma _3,\gamma _4,\Delta _2(\varphi ))\). For \(A\ge 1\) and \(q\ge 2\) let \({U}^{A,q} \) and \({\varphi }^{A,q} \) be the (A, q)-approximation of \(U\) and \(\varphi \), respectively. Then, the operator \({\mathbf{S}}^{A,q}:=\partial {U}^{A,q}\) has both \({U}^{A,q}\)-structure and \({\varphi }^{A,q}\)-structure, with characteristics depending only on \(\gamma _1,\gamma _2, \gamma _3, \gamma _4\), and q.
Proof
The operator \({\mathbf{S}}^{A,q}\) is derived from the potential \({U}^{A,q}\) which, according to Proposition 2.18 and Lemma 2.25, is a balanced N-function with characteristics \(\big (\frac{\gamma _3}{\gamma _4} \,\frac{ \gamma _1^2}{\gamma _2}, \max {\{{q-1,\frac{\gamma _4}{\gamma _3} \,\frac{ \gamma _2^2}{\gamma _1}}\}}\big )\). Thus, the proof of Proposition 2.16 shows that \({\mathbf{S}}^{A,q}\) has \({U}^{A,q}\)-structure with characteristics
where \(\Delta _2({U}^{A,q})\) depends only on \(\max {\{{q-1,\frac{\gamma _4}{\gamma _3} \,\frac{ \gamma _2^2}{\gamma _1}}\}}\), according to Lemma 2.7. Now Lemma 2.27 yields that the operator \({\mathbf{S}}^{A,q}\) has \({\varphi }^{A,q}\)-structure with characteristics
Lemmas 2.25 and 2.7 yield that \(\Delta _2({\varphi }^{A,q})\) depends only on \(\max {\{{\gamma _2,q-1}\}} \). This finishes the proof. \(\square \)
We have the following crucial result (cf. Proposition 2.17).
Proposition 2.29
Let \(\varphi \) be a balanced N-function with characteristics \((\gamma _1,\gamma _2)\). Let the operator \(\mathbf{S}=\partial U\) have \(\varphi \)-structure with characteristics \((\gamma _3,\gamma _4,\Delta _2(\varphi ))\). For \({A\ge 1}\) and \(q\ge 2\) let \({\varphi }^{A,q} \) and \({\mathbf{S}}^{A,q} \) be the (A, q)-approximation of \(\varphi \) and \(\mathbf{S}\), respectively, and let \(\mathbf{F}_{{\varphi }^{A,q}}\) be defined in (2.9). Then, we have for all \(\mathbf{P},\mathbf{Q}\in \mathbb {R}^{3\times 3} \) that
where the constants of equivalence depend only on \(\gamma _1, \gamma _2, \gamma _{3},\gamma _{4}\), and q.
Proof
This is a direct consequence of Propositions 2.28 and 2.17. \(\square \)
Remark 2.30
For the limiting processes, it is of fundamental relevance that in Proposition 2.29 the constants do not depend on \(A\ge 1\).
Based on Proposition 2.29 we can prove the validity of equivalent expressions for \(\nabla \mathbf{F}_\varphi (\mathbf{D}\mathbf{u})\) which play a crucial role in the proof of regularity for the problem (1.1) (cf. [12, 13, 37]). To this end, we define for a sufficiently smooth operator \(\mathbf{S}:\,\mathbb {R}^{3\times 3}\rightarrow \mathbb {R}^{3\times 3}_{{\mathrm {sym}}}\) the functions \({\mathbb {P}}_i:\mathbb {R}^{3\times 3} \rightarrow \mathbb {R}\), \(i=1,2,3\) via
and emphasize that there is no summation over the index i.
If \(\mathbf{S}^n\), \(n\in {\{{1,\ldots , N}\}}\), is a multiple approximation of \(\mathbf{S}\) we define analogously \({\mathbb {P}}_i^n :\mathbb {R}^{3\times 3} \rightarrow \mathbb {R}\), \(i=1,2,3\), for \(n\in {\{{1,\ldots , N}\}}\), via
Proposition 2.31
Let the operator \(\mathbf{S}=\partial U\) have \((p,\delta )\)-structure for some \({p \in (1, \infty )}\) and \({\delta }\in [0,\infty )\), with characteristics \((\gamma _3,\gamma _4,p)\). For given \(N\in \mathbb {N}\) let \(\mathbf{S}^n\), \({n \in {\{{1,\ldots , N}\}}}\) be a multiple approximation of \(\mathbf{S}\). If for a vector field \({\mathbf{v}:\Omega \subset \mathbb {R}^3 \rightarrow \mathbb {R}^3}\) there holds \( \mathbf{F}^n(\mathbf{D}\mathbf{v}) \in W^{1,2}(\Omega )\), then we have for \(i=1,2,3\) and a.e. in \(\Omega \) the following equivalences
where the constants of equivalence depend only on \( \gamma _3,\gamma _4, p\), and \(q_{n}\), for \({n=1,\ldots ,N}\).
Proof
For \(h>0\) and \(i=1,2,3\) let \(\Delta ^+_i \mathbf{v}(\mathbf{x}):= \mathbf{v}(\mathbf{x}+h\,\mathbf{e}_i)-\mathbf{v}(\mathbf{x})\) and \(d^+_i\mathbf{v}(\mathbf{x}):= h^{-1}\Delta ^+_i\mathbf{v}(\mathbf{x})\) be the classical increments and difference quotients in direction \(\mathbf{e}_i\) of the canonical basis. The standard theory of difference quotients (cf. [16]) and \(\mathbf{F}^n(\mathbf{D}\mathbf{v}) \in W^{1,2}(\Omega )\) yield that \(d^+_i \mathbf{F}^n(\mathbf{D}\mathbf{v}) \rightarrow \partial _i \mathbf{F}^{n}(\mathbf{D}\mathbf{v})\) a.e. and in \(L^2_{{\mathrm {loc}}}(\Omega )\) as \(h\rightarrow 0\) and
where the constant c is independent of h, and where we used the notation
Thus, Proposition 2.29, Lemma 2.35 for \(p\le 2\), and Lemma 2.32 for \(p>2\) yield that
with c independent of h (even if it may depend on \(\delta \) and \(A_{n}\)). Consequently, we obtain that \(\mathbf{D}\mathbf{v}\in W^{1,2}(\Omega )\), and \(d^+_i \mathbf{D}\mathbf{v}\rightarrow \partial _i \mathbf{D}\mathbf{v}\), \(\Delta ^+_i \mathbf{D}\mathbf{v}\rightarrow {\mathbf {0}}\) a.e. and in \(L^2_{{\mathrm {loc}}}(\Omega )\), as \(h\rightarrow 0\). Proposition 2.29 yields
which implies, using the above proved convergences, (2.19)\(_1\) as \(h \rightarrow 0\).
Proposition 2.28 shows that \(\mathbf{S}^n\) has \(\omega ^n\)-structure, which implies
showing (2.19)\(_2\). To prove (2.19)\(_3\) we use the definition of \({\mathbb {P}}_i^n\) and (2.19)\(_{1,2}\) to get
which implies
On the other hand, the fact that \(\mathbf{S}^n\) has \(\omega ^n\)-structure and (2.19)\(_{1,2}\) imply that \({\mathbb {P}}_{i}(\mathbf{P})=0\) if and only if \(\mathbf{P}={\mathbf {0}}\). Consequently, we obtain
Note that all constants just depend on the quantities indicated in the formulation of the assertion. This yields the reverse estimate, proving (2.19)\(_3\). \(\square \)
To derive a priori estimates and to perform the limiting process we need estimates, which do not involve the parameters \(A_{n}\), for \(n=1,\dots ,N\). We restrict ourselves to the case that \(\varphi =\omega _{p,{\delta }}=\omega \) with \(p \in (1,\infty )\) \(\delta \in [0,\infty )\) and distinguish between the cases \(p\le 2\) and \(p> 2\) for the sake of a simpler presentation.
2.5 Some estimates specific to the case \(p> 2\)
In this section we prove some results, which are specific of the case \(p>2\). In particular, in the case \(p\ge \frac{13}{3}\) we need multiple approximations, which makes the results more technical.
Lemma 2.32
For given \(p>2\), \({\delta }>0\), and \( N \in \mathbb {N}\) let \(a^n\), \(n\in {\{{1,\ldots , N}\}}\), be a multiple approximation of \(a^0\). Then, there exist \({\widehat{A}}_n =\widehat{A}_n({\delta },p, q_1,\ldots , q_n )\ge 1\) such that for all \(A_n\ge \max {\{{{\delta }, {{\widehat{A}}}_n}\}}\) the function \({a^n}\) is non-decreasing and satisfies for all \(t \ge 0 \)
Proof
For ease of presentation we show the assertion just in the first two cases, i.e., \(n=1,2\). The remaining cases follow in the same way and are left to the interested reader.
The case \(\mathbf { (n=1):}\) For simplicity we set \(A:=A_1\) and \(q:=q_1\). For \(t \le A\) we have \(a^1 (t) =a^0(t)=({\delta }+ t)^{p-2}\). Thus, \(q_0=p>q\ge 2\) implies
and \(\frac{1}{(p-1) 2^{q-2}} \le 1 \le \frac{p-1}{q-1} (1+{\delta })^{p-2}\), which proves (2.20) for \(n=1\) and \(t\le A\). Moreover, \(({\delta }+t )^{p-2} \) is an increasing function in t.
For \(t \ge A\) we have
where \(\alpha _{i,q}=\alpha _{i,q}(\omega ^0)\), \(i=1,2\). The expressions for the coefficients \(\alpha _{i,q}\), \(i=1,2\), imply \(g^A(A)=(q-1)\frac{(\omega ^0)'(A)}{(\omega ^0)''(A)A}\), \(\lim _{t\rightarrow \infty }g^A(t)=1\), and
From the properties of \(\omega ^0\) it follows that \(\lim _{t\rightarrow \infty } \frac{(\omega ^0)'(t)}{(\omega ^0)''(t)t}= \frac{1}{q-1}\) and that \(\frac{(\omega ^0)'(t)}{(\omega ^0)''(t)t}\) is strictly monotone increasing. Thus, for \(A \ge {{\widehat{A}}}(p,q,{\delta })\) the expression in the parenthesis in (2.22) is non-negative and thus \(g^A\) is a non-decreasing function. Consequently, we get that \(a^1\) is a non-decreasing function, since \(q\, \alpha _{2,q}\, t^{q-2}\) is increasing for \(q>2\) (non-decreasing for \(q=2\)). Using these properties and that \(\omega ^0 \) is balanced we obtain that for \(t \ge A \ge {{\widehat{A}}}\) there holds
It remains to estimate the factor in front of \(g^A\) in (2.21). From the expression for \(\alpha _{2,q}\) we get that \( q\, \alpha _{2,q}\, t^{q-2}=\frac{(\omega ^0)''(A)}{q-1} \big (\frac{t}{A} \big )^{q-2}\). Thus, using (2.7), \(t\ge A\ge {\delta }\ge 0\), and \(2\le q<p\) we obtain
For \(A\ge \delta \) we get that \(t\ge 2^{-1}\, (\delta +t)\) for all \(t \ge A\). Using this, the definition of \(\omega ^0\), (2.7), \(2\le q<p\) and \(t\ge A\ge {\delta }\ge 0\) we obtain
The inequalities (2.23)–(2.25) imply (2.20) for \(n=1\) and \(t\ge A \ge \max \{{\delta },{{\widehat{A}}}\}\). This completes the proof for \(n=1\).
\(\mathbf { (n=2):}\) For simplicity we set \(B:=A_2\ge A_{1}=:A\) and \(r:=q_2\), \(q:=q_1\). For \(t \le B\) we have \({a}^2 (t) =a^1(t)\). Thus, \(p>q>r\ge 2\) implies
which together with (2.20) for \(n=1\) shows (2.20)\(_1\) for \(n=2\) and \(t\le B\). The estimate (2.20)\(_{2,3}\) for \(n=2\) and \(A\le t\le B\) follows from \({a}^2 (t) =a^1(t)\), (2.21), (2.23), the estimates in (2.24) and \(r<q\); while for \(t \le A\) it follows from \(a^2(t)=a^0(t)\), \({\delta }\le A\), \(2\le r<q<p\), and
For \(t \ge B\) we have
where \(\alpha _{i,r}=\alpha _{i,r}(\omega _1)\), \(i=1,2\). The expressions of the coefficients \(\alpha _{i,r}\), \(1=1,2\), imply \(h^B(B)=(r-1)\frac{(\omega ^{1})'(B)}{(\omega ^{1})''(B)B}\), \(\lim _{t\rightarrow \infty }h^B(t)=1\), and
In the proof of Lemma 2.25 we showed that \(\lim _{t\rightarrow \infty } \frac{(\omega ^1)'(t)}{(\omega ^1)''(t)\,t}= \frac{1}{q-1}\) and that \(\frac{(\omega ^1)'(t)}{(\omega ^1)''(t)\,t}\) is strictly monotone. Thus, for \(B \ge {{\widehat{B}}}(p,q,r,{\delta })\) the expression in the parenthesis in (2.27) is non-negative and thus \(h^B\) is a non-decreasing function. Consequently, we get that \(a^2\) is a non-decreasing function, since \(r\, \alpha _{2,r}\, t^{r-2}\) is increasing for \(r>2\). Using these properties and Lemma 2.25 for \(\omega ^1 \) we obtain that for \(t \ge B \ge {{\widehat{B}}}\) there holds
It remains to estimate the factor in front of \(h^B\) in (2.26). From the expressions for \(\alpha _{2,r}\) and \((\omega ^1)''(B)\) we get that \( r\, \alpha _{2,r}\, t^{r-2}=\frac{(\omega ^1)''(B)}{r-1} \big (\frac{t}{B} \big )^{r-2}=\frac{(\omega ^0)''(A)}{r-1} \big (\frac{B}{A} \big )^{q-2}\big (\frac{t}{B} \big )^{r-2}\). Thus, using (2.7), the definition of \(\omega ^1\), \(2\le r<q<p\) and \(0\le {\delta }\le A\le B\le t\) we obtain
For \(B\ge A\ge \delta \) we get that \(t\ge 2^{-1}\, (\delta +t)\) for all \(t \ge B\). Using this, the definition of \(\omega ^0\), (2.7), \(2\le r<q<p\) and \(t\ge B\ge A\ge {\delta }\ge 0\) we obtain
The last two inequalities and (2.28) imply (2.20) for \(n=2\) and \(t\ge B \ge \max \{A,{{\widehat{B}}}\}\). This completes the proof for \(n=2\). \(\square \)
In the proof of regularity we will need mainly the following corollary.
Corollary 2.33
Let the operator \(\mathbf{S}=\partial U\), derived from the potential \(U\), have \((p,{\delta })\)-structure with \(p >2\) and \(\delta > 0\), and characteristics \((\gamma _3,\gamma _4,p)\). For \( N \in \mathbb {N}\) let \(\omega ^n\), \(\mathbf{F}^n\), \(\mathbf{S}^n\), \(n\in {\{{1,\ldots , N}\}}\), be a multiple approximation of \(\omega ^0\), \(\mathbf{F}^0\), \(\mathbf{S}^0\). Then, for all \(A_n\ge \max {\{{{\delta }, {{\widehat{A}}}_n}\}}\) with \({{\widehat{A}}}_n\) from Lemma 2.32 and all \(t \ge 0 \) there holds
Moreover, for all \(\mathbf{P}\in \mathbb {R}^{3\times 3}\) there holds
with constants c depending only on \(\gamma _3, \gamma _4\), \(q_n\), \(q_1\) and p.
Proof
The proof of the estimates (2.29)\(_{1,2}\) is a direct application of the previous lemma, the definition in (2.6), \(\omega ^n(0) =\omega _{q_n,\delta }(0) =\omega _{q_{n-1},\delta }(0)=0\) and integration.
Estimate (2.29)\(_{3}\) follows from (2.29)\(_{1,2}\) and the equivalent definition of the complementary function since
The estimates (2.30) follow immediately from the definition of multiple approximations of \(\mathbf{S},\,\mathbf{F},\,\omega \), a; Proposition 2.29 and (2.29). \(\square \)
Let us finish this section with a more technical estimate needed in the proof of regularity in the case \(p>2\).
Lemma 2.34
For given \(p>2\), \({\delta }\ge 0\) and \( N \in \mathbb {N}\) let \(a^n\), \(\omega ^n\) and \(n\in {\{{1,\ldots , N}\}}\), be a multiple approximation of \(a^0\) and \(\omega ^0\) with \(A_n\ge \max {\{{{\delta },1}\}}\), respectively. Then, there exists a constant \(c =c( p, q_1,\ldots , q_n )\) such that for all \(s,t \ge 0\) there holds
Proof
The assertion follows essentially from Young inequality and the expressions for the coefficients of the approximations. However, we have to distinguish several cases. For ease of presentation we show the assertion just in the first two cases, i.e., \(n=1,2\). The remaining cases follow in the same way and are left to the interested reader.
The case \(\mathbf { (n=1)}\) For simplicity we set \(A:=A_1\) and \(q:=q_1\). For \(t \le A\) we have \(a^1 (t) =a^0(t)=({\delta }+ t)^{p-2}\). For \(s,t \le A\) Young inequality with \(\frac{p}{2}\) and \(\frac{p}{p-2}\), \({\delta }\ge 0\) and \(p>2\) yield
which implies (2.31) for \(s,t \le A\), since Corollary 2.8 implies
valid for \(t \le A\).
Next, assume that \(s,t \ge A\). Since \(\omega ^1\) is balanced with characteristics \((1,p-1)\), the definition of \(\omega ^1\) implies for \(t\ge A\) that there holds
with constants of equivalence depending only on p. This and Young inequality with \(\frac{q}{2}\) and \(\frac{q}{q-2}\) imply
which yields (2.31) for \(s,t \ge A\), since Corollary 2.8 shows \((\omega ^1)''(t) \, t^2 \sim \omega ^1(t) \).
Next, assume \(s\le A\le t\). Using (2.33), Young inequality with \(\frac{p}{p-2}\) and \(\frac{p}{2}\), \({\delta }\ge 0\), (2.32), (2.33), and again \((\omega ^1)''(t) \, t^2 \sim \omega ^1(t) \) we obtain
Using \((\omega ^0)''(A)\sim ({\delta }+A)^{p-2}\), \(\max \{1,\delta \}\le A\) and \(q<p\) we get
which together with the last estimate implies (2.31) for \(s \le A\le t\).
Finally, for \(t\le A\le s\) we get
We use Young inequality with \(\frac{q}{q-2}\) and \(\frac{q}{2}\), (2.33) and again \((\omega ^1)''(t) \, t^2 \sim \omega ^1(t) \) to arrive at
From \((\omega ^0)''(A)\sim ({\delta }+A)^{p-2}\), \(p>q\ge 2\), \(t\le A\) and \({\delta }\ge 0\) we obtain
which together with (2.32), (2.33) and the last estimate yields (2.31) for \(t \le A\le s\). This finishes the proof for \(n=1\).
The case \(\mathbf { (n=2)}\) For simplicity we additionally set \(B:=A_2\) and \(r:=q_2\). For \(s, t \le B\) we have \({a}^{2} (t) =a^{1}(t)\). Thus, the assertion (2.31) for \(n=2\) is already proved in the case \(n=1\) above. In the case \(s,t \ge B\) we proceed exactly as in the case \(s,t\ge A\) for \(n=1\) just replacing \(\omega ^1\), \(\omega ^0\), q and A by \(\omega ^2\), \(\omega ^1\), r and B, respectively.
In the case \(s\le B\le t\) we have to distinguish between \(s\le A\) and \(A\le s\le B\). In the former case we use the analogue of (2.33) for \(a^2\) and proceed as in (2.34) to arrive at
Using \((\omega ^1)''(B) = \frac{(\omega ^0)''(A)}{A^{q-2}} B^{q-2} \le (p-1) \frac{({\delta }+A)^{p-2}}{A^{q-2}} B^{q-2}\), \(1\le A\le B\) and \(r<q<p\) we get the estimate
which together with the last estimate implies (2.31) for \(s \le A \le B\le t\). For \(A\le s\le B\le t \) we have
Using Young inequality with \(\frac{q}{q-2}\) and \(\frac{q}{2}\), the analogue of (2.33) for \(a^2\) and \(a^1\), and \((\omega ^2)''(t) \, t^2 \sim \omega ^2(t) \) we get
From \((\omega ^1)''(B) = \frac{(\omega ^0)''(A)}{A^{q-2}} B^{q-2}\), \(q>r\ge 2\) and \(t\ge B\) we obtain
which together with the last estimate yields (2.31) for \(A \le s\le B\le t\).
In the case \(t\le B\le s\) we have to distinguish between \(t\le A\) and \(A\le t\le B\). In the former case we have
which by Young inequality with \(\frac{r}{r-2}\) and \(\frac{r}{2}\), and the analogue of (2.33) for \(a_2\) yields
From \((\omega ^1)''(B) = \frac{(\omega ^0)''(A)}{A^{q-2}} B^{q-2}\), \(q>r\ge 2\), \({\delta }\ge 0\) and \(B\ge A\ge t\) we obtain
which together with \(a^0(t) =a^2(t)\), \(t\le A\), and the last estimate yields (2.31) for \( t\le A\le B\le s\). For \(A\le t\le B\le s \) we have
which, by Young inequality with \(\frac{r}{r-2}\) and \(\frac{r}{2}\) and (2.33) for \(a^2\) and \(a^1\), yields
Using \((\omega ^0)''(A)\sim ({\delta }+ A)^{p-2}\) and \((\omega ^1)''(B) = \frac{(\omega ^0)''(A)}{A^{q-2}} B^{q-2}\), \(q>r\ge 2\) and \(B\ge t\) we obtain
which together with the last estimate yields (2.31) for \( A\le t\le B\le s\). This finishes the proof of the case \( n=2\). \(\square \)
2.6 Some estimates specific of the case \(1<p\le 2\)
For completeness we deduce estimates for the case \(p\in (1,2]\), which are the counterpart of those proved in the previous section and which can be used to prove the regularity results also in the case \(p\in (1,2]\). Note that in this case it is enough to use a single approximation with \(q=2\).
Lemma 2.35
For \(p\in (1,2]\) and \(\delta > 0\) let \(\omega =\omega _{p,{\delta }}\) and \(a=a_\omega \). For \(A\ge 1\) and \(q=2\) we set \(\omega ^{A}:=\omega ^{A,2}\) and \(a^A:= a_{\omega ^{A,2}}\). Then, the function \(a^{A}\) is non-increasing and satisfies for all \(t\ge 0\)
Proof
The statement is clear for \(t \le A\) using \(a^A(t)=a(t)=({\delta }+t)^{p-2} \), \(0\le {\delta }\), \(t \le A\), and \(p \le 2\). Moreover, \(({\delta }+t)^{p-2}\) is a non-increasing function in t.
For \(t\ge A\) we have \(a^A(t)=\omega ''(A) + \frac{\omega '(A)-\omega ''(A)\, A}{t}\). Thus, we get that \(a^A(A)=(\delta +A)^{p-2}\), \(\lim _{t\rightarrow \infty }a^A(t)=(\delta +A)^{p-3}\,\big (\delta +(p-1)A\big )\) and \((a^A)'(t)=- \frac{\omega '(A)-\omega ''(A)\, A}{t^2}\le 0\) in view of (2.7), and \(p\le 2\), hence proving that \(a^{A}\) is non-increasing also for \(t>A\) (contrary to the case \(p>2\) we do not have any restriction on the choice of A). This yields
which implies the assertions using \(\delta ^{p-2} \ge ({\delta }+A)^{p-2}\) and \(({\delta }+A)^{p-2}\ge ({\delta }+t)^{p-2}\) in view of \(t\ge A\), and \(p\le 2\). \(\square \)
As in the case \(p>2\) we would need mainly the following corollary in the proof of regularity.
Corollary 2.36
Let the operator \(\mathbf{S}\), derived from the potential \(U\), have \((p,{\delta })\)-structure for some \(p\in (1,2]\) and \(\delta > 0\), with characteristics \((\gamma _3,\gamma _4,p)\). Denote \(\omega =\omega _{p,{\delta }}\), \(\mathbf{F}= \mathbf{F}_\omega \) and for \(A\ge 1\) set \({\omega ^A:=\omega ^{A,2}}\), \(\mathbf{F}^A:= \mathbf{F}_{\omega ^A}\) and \(\mathbf{S}^A:= \mathbf{S}^{A,2}\). Then, there holds for all \(t\ge 0\) that
where \(M\in \mathbb {N}_0\) is chosen such that \((p-1)^{-1}\le 2^M\). Moreover, for all \(\mathbf{P}\in \mathbb {R}^{3\times 3}\) there holds
with constants c depending only on \(\gamma _3, \gamma _4\), and p.
Proof
Assertions (2.36)\(_{1,2}\) follow from (2.35)\(_{1,2}\), the definition of \(a\), \(a^A\), \(\omega (0)=\omega ^A(0)=0\) and integration. Using the first inequality in (2.36)\(_1\) we get for all \(t \ge 0\) that
with \(M\in \mathbb {N}_0 \) as chosen above. This proves (2.36)\(_2\). The inequalities in (2.37) follow from Proposition 2.29 with \(\mathbf{Q}={\mathbf {0}}\), the definition of \(a^A\), the fact that \(\omega \), \(\omega ^A\) are balanced, (2.36)\(_1\), the equivalences for \(\mathbf{F}\) and \(\mathbf{S}\) in Proposition 2.17, and Lemma 2.35. \(\square \)
3 On the existence and uniqueness of regular solutions
In this section we prove our main result, namely Theorem 3.4, i.e., the existence and uniqueness of regular solutions of (1.1), solely based on appropriate assumptions on the regularity (but not on the size) of the data. From now on we will restrict to the case \(p>2\), but with a few (but non completely trivial) changes the same arguments can be applied also to the case \(p \in (1,2]\), where a single approximation would be enough. Even if the theory of approximation gives a unified approach valid for all p, we decided to focus on the case \(p>2\) since many estimates should be changed, starting already from the a priori estimates and we think that explaining the steps that need to be changed in the case \(p\le 2\) would fragment the presentation in such a way that the readability of the paper would be much more difficult. Since the result in the case \(p\le 2\) is already contained in [12, 13, 37], using a different approximation, we preferred to skip them. Nevertheless, they will be presented in a forthcoming paper [14].
Definition 3.1
(Regular solution) Let the operator \(\mathbf{S}\) in (1.1), derived from a potential \(U\), have \((p,\delta )\)-structure for some \(p\in (1,\infty )\), and \(\delta \in [0, \infty )\) fixed but arbitrary. Let \(\Omega \subset \mathbb {R}^3\) be a bounded domain with \(C^{2,1}\) boundary, and let \(I=(0,T)\), \(T\in (0,\infty )\), be a finite time interval. Then, we say that \(\mathbf{u}\) is a regular solution of (1.1) if \(\mathbf{u}\in L^p(I;W^{1,p}_0 (\Omega ))\) satisfies for all \(\psi \in C_0^\infty (0,T)\) and all \(\mathbf{w}\in W^{1,p}_0(\Omega )\)
and fulfils
Remark 3.2
Note that we are focusing on the “natural” second order spatial regularity, especially we are proving that \(\mathbf{F}(\mathbf{D}\mathbf{u})\in L^{2}(I;W^{1,2}(\Omega ))\). In the parabolic case it is possible, at the price of some more restrictive hypotheses on the data, also to prove that \(\mathbf{F}(\mathbf{D}\mathbf{u})\in W^{1,2} (I; L^{2} (\Omega ))\). This result can be obtained independently on what we prove later on and nevertheless implies also some simplifications of the argument concerning the treatment of the time derivative. The regularity of \(\frac{\partial \mathbf{F}(\mathbf{D}\mathbf{u})}{\partial t}\) would be needed in case of time-discretization to prove optimal convergence results, as done in [13].
Remark 3.3
To formulate clearly the dependence on the data in the various estimates we introduce the quantity
Using the equivalences \(\omega _{p,{\delta }} (t) + {\delta }^p \sim t^p +{\delta }^p\) and \(\omega ^*(t) \sim ({\delta }^{p-1} +t)^{p'-2}t^2\), valid for all \(p \in (1,\infty )\), \(t,{\delta }\ge 0\) with constants of equivalence just depending on p, together with Korn and Poincarè inequalities, one easily checks that \(|||\mathbf{u}_0,\mathbf{f}||| \) is finite if \(\mathbf{u}_0 \in W^{1,p}_0(\Omega )\) and \(\mathbf{f}\in L^{2}(I\times \Omega )\), provided that \(p\ge \frac{6}{5}\).
We can now state the main result of this paper.
Theorem 3.4
Let the operator \(\mathbf{S}\) in (1.1), derived from a potential \(U\), have \((p,\delta )\)-structure for some \(p\in (2,\infty )\), andFootnote 6\(\delta \in (0, \infty )\) fixed but arbitrary. Let \(\Omega \subset \mathbb {R}^3\) be a bounded domain with \(C^{2,1}\) boundary, and let \(I=(0,T)\), \(T\in (0,\infty )\), be a finite time interval. Assume that \(\mathbf{u}_0 \in W^{1,p}_0(\Omega )\) and \(\mathbf{f}\in L^{2}(I\times \Omega )\).
Then, the system (1.1) has a unique regular solution with norms depending only on the characteristics of \(\mathbf{S}\), \(\delta ^{-1}\), T, \(\Omega \), and \(|||\mathbf{u}_{0},\mathbf{f}|||\).
To prove Theorem 3.4 we use an approximate problem, obtained by replacing the operator \(\mathbf{S}=\partial U\) with \((p,\delta )\)-structure by the last item \(\mathbf{S}^{N}= \partial U^N\) of a special multiple approximation \(\mathbf{S}^n\), \(n=1,\ldots , N\), of \(\mathbf{S}\), i.e.,
which we define now.
Definition 3.5
(Special multiple approximation) Let the operator \(\mathbf{S}=\partial U\), derived from a potential \(U\), have \((p,\delta )\)-structure for some \(p>2\) and \({\delta }>0\) with characteristics \((\gamma _3,\gamma _4,p)\). We call \(\mathbf{S}^n, U^n, \omega ^n\), and \(a^n\), \(n=1,\ldots , N\), a special multiple approximation of \(\mathbf{S}, U, \omega _{p,\delta }\), and \(a_{\omega _{p,\delta }}\) if it is a multiple approximation generated by \(N:=\lceil \frac{p-2}{2} \rceil \), exponents
and parameters \(A_n\), \(n=1, \ldots , N\) satisfying the conditions in Definition 2.23 and in Corollary 2.33.
Remark 3.6
-
(i)
Let \(\mathbf{S}^n\), \(n=1,\ldots , N\), be a special multiple approximation as in Definition 3.5. Lemma 2.11 and a successive application of Proposition 2.28, and Lemma 2.7 yields that for each \(n=1,\ldots , N\) the operator \(\mathbf{S}^n\) has \(\omega ^n\)-structure with characteristics depending only on the characteristics of \(\mathbf{S}\), i.e., on \(\gamma _3,\gamma _4,p\), due to the special choice of \(q_j\), \(j=1,\ldots , N\). The special choice of \(q_j\), \(j=1,\ldots , N\), Lemmas 2.11 and 2.25 imply that the characteristics of \(\omega ^n\), \(n=1,\ldots , N\), depends only on p. Thus, the constants in Proposition 2.31 as well as in Proposition 2.29 and Corollary 2.33 applied to \(\mathbf{S}^n\), \(n=1,\ldots , N\), depend only on the characteristics of \(\mathbf{S}\).
-
(ii)
In view of (i), Lemma 2.32, and Remark 2.21 the operator \(\mathbf{S}^N\) has \((2,{\delta })\)-structure with characteristics depending on p, \(\gamma _3, \gamma _4\), \(\omega ^{N-1}\), and \(A_N\).
In view of the previous remark we can work in the \(W^{1,2}\)-setting, which is sufficient to justify all forthcoming computations, which is the main reason for the introduction of these approximations.
3.1 The approximate problem and some global regularity in time
We have the following result on existence and uniqueness of solutions with certain additional regularity of the approximate problem.
Proposition 3.7
Let the operator \(\mathbf{S}=\partial U\), derived from the potential \(U\), have \((p,\delta )\)-structure for some \(p\in (2,\infty )\) and \(\delta \in (0,\infty )\). Assume that \(\mathbf{u}_0 \in W^{1,p}_0(\Omega )\) and \(\mathbf{f}\in L^{2}(I\times \Omega )\). Let \(\mathbf{S}^{N} \) be the last item of a specialFootnote 7 multiple approximation \(\mathbf{S}^n\), \(n=1,\ldots , N\), of \(\mathbf{S}\) as in Definition 3.5. Then, the approximate problem
possesses a unique strong solution \(\mathbf{u}^{N}\) , i.e., \(\mathbf{u}^{N}\in W^{1,2}(I;L^{2}(\Omega ))\) with \(\mathbf{F}^N(\mathbf{D}\mathbf{u}^{N}) \in L^{\infty }(I;L^{2}(\Omega ))\), which satisfies for all \(\psi \in C_0^\infty (0,T)\) and all \(\mathbf{w}\in W^{1,2}_0(\Omega )\)
In addition, the solution \(\mathbf{u}^{N}\) satisfies the estimate
with C depending only on the characteristics of \(\mathbf{S}\), \({{\delta }^{p-2}}\), and \(\Omega \).
Proof
The proof is based on a standard Faedo-Galerkin approximation of (3.1). The existence of solutions of the Galerkin approximations follows from the standard Carathéodory theory for systems of ordinary differential equations. As pointed out in Remark 3.6, the operator \(\mathbf{S}^{N}\) has \((2,\delta )\) structure, hence the system can be treated essentially as the heat equation. In particular, once the existence of the Galerkin solution \(\mathbf{u}^{N}_{k}\), \(k \in \mathbb {N}\), is obtained, passing to the limit as \(k\rightarrow \infty \) can be done within the standard theory of evolutionary problems with monotone operators.
Since this is a standard procedure, we just derive the a priori estimates necessary for it.
The first a priori estimate, derived by using \(\mathbf{u}^{N}_k\) as test function in the Galerkin approximation for \(\mathbf{u}^{N}_{k} \), is the following one:
where we used in the first line Proposition 2.29 with \(\mathbf{Q}={\mathbf {0}}\) together with Young inequality, and in the second line
which follows from modular versions of Poincarè and Korn inequalities in Orlicz spaces (cf. [7, 22, 38]). Moreover, we absorb the last term on the right-hand side of the previous estimate using \(\int _{\Omega }\omega ^{N}(|\mathbf{D}\mathbf{u}^{N}_{k}|)\,d\mathbf{x}\sim \Vert \mathbf{F}^{N}(\mathbf{D}\mathbf{u}^{N}_{k})\Vert _2^{2}\) in view of Corollary 2.33. Note that all constants are independent of \(A_{n}\), \(n=1,\ldots , N\), and depend only on the characteristics of \(\mathbf{S}\) and on \(\Omega \), due to Remark 3.6 and [7, 22, 38]. Moreover, from Corollary 2.33 and the definition of \(|||\mathbf{u}_{0},\mathbf{f}|||\), it follows that
Hence, after the limiting procedure \(k \rightarrow \infty \) we arrive at
where we also used Corollary 2.33. Next, we take \(\frac{\partial \mathbf{u}^{N}_{k}}{\partial t}\) as test function in the Galerkin approximation, use the fact that \(\mathbf{S}^{N}=\partial U^{N}\) is derived from the potential \(U^N \sim \omega ^n\) in view of Lemmas 2.27, 2.9 and Proposition 2.18, to arrive at
Since \(p>2\), we use Corollary 2.33 to arrive at
These properties together with Corollary 2.33 imply, after the limiting procedure \(k \rightarrow \infty \), that for a.e. \(t\in [0,T]\)
where we also used Corollary 2.33 and Korn inequality.
The uniqueness of the solution \(\mathbf{u}^{N}\) follows in a standard manner. \(\square \)
Remark 3.8
Note that by the fundamental theorem of calculus of variations the weak formulation (3.2) is equivalent to
being satisfied for \(\text {a.e.}~t \in I\) and all \( \mathbf{w}\in W^{1,2}_0(\Omega )\).
In order to prove existence and uniqueness of regular solutions to (1.1), by taking the various limits \(A_{n}\rightarrow \infty \), we need to prove further regularity for the solution \(\mathbf{u}^{N}\), namely on the second order spatial derivatives, in such a way that \(\mathbf{D}\mathbf{u}^{N}\) converges almost everywhere. The regularity in the spatial variables requires an ad hoc treatment (localization) for the Dirichlet boundary value problem. To do this we adapt the argument introduced in [32] (treating the case \(p>2\)) and that in [12, 13] (treating the case \(p<2\)). We sketch the relevant steps, pointing out the main new aspects which are present in the time-dependent case.
3.2 Description and properties of the boundary
We assume that the boundary \(\partial \Omega \) is of class \(C^{2,1}\), that is for each point \(P\in \partial \Omega \) there are local coordinates such that in these coordinates we have \(P=0\) and \(\partial \Omega \) is locally described by a \(C^{2,1}\)-function, i.e., there exist \(R_P,\,R'_P \in (0,\infty ),\,r_P\in (0,1)\) and a \(C^{2,1}\)-function \(g_{P}:B_{R_P}^{2}(0)\rightarrow B_{R'_P}^1(0)\) such that
-
(b1)
\(\mathbf{x}\in \partial \Omega \cap (B_{R_P}^{2}(0)\times B_{R'_P}^1(0))\ \Longleftrightarrow \ x_3=g_{P}(x_1,x_2)\),
-
(b2)
\(\Omega _{P}:=\{(x',x_{3}){\,\big |\,}x'=(x_1,x_2) \in B_{R_P}^{2}(0),\ g_{P}(x')<x_3<g_{P}(x')+R'_P\}\subset \Omega \),
-
(b3)
\(\nabla g_{P}(0)={\mathbf {0}},\text { and }\forall \,x'=(x_1,x_2)^\top \in B_{R_P}^{2}(0)\quad |\nabla g_{P}(x')|<r_P\),
where \(B_{r}^k(0)\) denotes the k-dimensional open ball with center 0 and radius \({r>0}\). Note that \(r_P \) can be made arbitrarily small if we make \(R_P\) small enough. In the sequel we will also use, for \(0<\lambda <1\), the scaled open sets \(\lambda \, \Omega _P\subset \Omega _P\), defined as follows
To localize near \(\partial \Omega \cap \partial \Omega _P\), for \(P\in \partial \Omega \), we fix smooth functions \(\xi _{P}:\mathbb {R}^{3}\rightarrow \mathbb {R}\) such that
- \((\ell 1)\):
-
\(\chi _{\frac{1}{2}\Omega _P}(\mathbf{x})\le \xi _P(\mathbf{x})\le \chi _{\frac{3}{4}\Omega _P}(\mathbf{x})\),
where \(\chi _{A}(\mathbf{x})\) is the indicator function of the measurable set A. For the remaining interior estimate we localize by a smooth function \({0\le \xi _{0}\le 1}\) with \({{\,\mathrm{spt}\,}}\xi _{0}\subset \Omega _{0}\), where \(\Omega _{0}\subset \Omega \) is an open set such that \({\text {dist}}(\partial \Omega _{0},\,\partial \Omega )>0\). Since the boundary \(\partial \Omega \) is compact, we can use an appropriate finite sub-covering which, together with the interior estimate, yields the global estimate.
Let us introduce the tangential derivatives near the boundary. To simplify the notation we fix \(P\in \partial \Omega \), \(h\in (0,\frac{R_P}{16})\), and simply write \(\xi :=\xi _P\), \(g:=g_{P}\). We use the standard notation \(\mathbf{x}=(x',x_3)^\top \) and denote by \(\mathbf{e}^i,i=1,2,3\) the canonical orthonormal basis in \(\mathbb {R}^3\). In the following lower-case Greek letters take values \(1,\, 2\). For a function f with \({{\,\mathrm{spt}\,}}f\subset {{\,\mathrm{spt}\,}}\xi \) we define for \(\alpha =1,2\) tangential translations:
tangential differences \(\Delta ^+ f:={f}_{\tau }-f\), and tangential difference quotients \(d^+{f}:= h^{-1}\Delta ^+ f\). For simplicity we denote \(\nabla g:=(\partial _1 g,\partial _{2}g, 0)^\top \) and use the operations \({(\cdot )}_{\tau }\), \({(\cdot )}_{-\tau }\), \(\Delta ^+(\cdot ) \), \(\Delta ^+(\cdot ) \), \(d^+{(\cdot )}\) and \(d^-{(\cdot )}\) also for vector-valued and tensor-valued functions, intended as acting component-wise.
We will use the following properties of the difference quotients, all proved in [6].
Lemma 3.9
Let \(\mathbf{v}\in W^{1,1}(\Omega )\) be such that \({{\,\mathrm{spt}\,}}\mathbf{v}\subset {{\,\mathrm{spt}\,}}\xi \). Then
where \((\mathbf{v}\otimes \mathbf{w})_{ij}:=v_iw_j\), \(i,j=1,2,3\), and \(\mathbf{v}\overset{s}{\otimes }\mathbf{w}:=\frac{1}{2} \big (\mathbf{v}\otimes \mathbf{w}+ (\mathbf{v}\otimes \mathbf{w})^\top \big )\).
As for the classical difference quotients, \(L^{q}\)-uniform (with respect to \(h>0\)) bounds for \(d^+{f}\) imply that \(\partial _\tau f \) belongs to \(L^q({{\,\mathrm{spt}\,}}\xi )\).
Lemma 3.10
It holdsFootnote 8 that, if \( f \in W^{1,1}(\Omega )\), then we have for \(\alpha =1,2\)
almost everywhere in \({{\,\mathrm{spt}\,}}\xi \), (cf. [32]).
If we define, for \(0<h<R_P\)
and if \(f\in W^{1,q}_{\mathrm {loc}}(\Omega )\), \(1\le q<\infty \), then
Moreover, if \(d^{+}f\in L^q(\Omega _{P,h_0})\), \(1< q<\infty \), and if
then \(\partial _{\tau }f\in L^q(\Omega _P)\) and
Remark 3.11
All assertions of the previous lemma also hold in Orlicz spaces generated by N-functions \(\phi \in \Delta _2\), as can be easily seen by adapting the proof carried out in [23] to this situation.
The following variant of formula of integration by parts will be often used.
Lemma 3.12
Let \({{\,\mathrm{spt}\,}}g\cup {{\,\mathrm{spt}\,}}f\subset {{\,\mathrm{spt}\,}}\xi ={{\,\mathrm{spt}\,}}\xi _P\) and \(0<h<\frac{R_P}{16}\). Then
Consequently, \(\int \limits _{\Omega }fd^+{g} \, d\mathbf{x}= \int \limits _{\Omega }(d^-{f} )g\, d\mathbf{x}\). Moreover, if in addition f and g are smooth enough and at least one vanishes on \(\partial \Omega \), then
Also the following properties of the difference quotient will be used in the sequel.
Lemma 3.13
Let \({{\,\mathrm{spt}\,}}g \subset {{\,\mathrm{spt}\,}}\xi \). Then
Lemma 3.14
Let \({{\,\mathrm{spt}\,}}g\cup {{\,\mathrm{spt}\,}}f\subset {{\,\mathrm{spt}\,}}\xi \). Then
3.3 A first regularity result in space
We start proving spatial regularity for the approximate problem. The estimates proved in this intermediate step are uniform with respect to \(A_{n}\), \(n=1,\ldots , N\), only (a) in the interior of \(\Omega \) and (b) in the case of tangential derivatives. On the contrary estimates depend on \(A_{n}\) in the normal direction. Nevertheless, this allows later on to use the equations point-wise to prove in a different way estimates independent of \(A_{n}\), \(n=1,\ldots , N\), in the normal direction. Thus, we can pass to the limit with \(A_{n}\rightarrow \infty \), to treat the original problem in the non-degenerate case.
We observe that by using a translation method, the result below is proved rigorously for the solutions we constructed.
Proposition 3.15
Let the operator \(\mathbf{S}=\partial U\), derived from the potential \(U\), have \((p,\delta )\)-structure for some \(p\in (2,\infty )\), and \(\delta \in (0,\infty )\) with characteristics \((\gamma _3,\gamma _4,p)\). Let \(\Omega \subset \mathbb {R}^3\) be a bounded domain with \(C^{2,1}\) boundary and assume that \(\mathbf{u}_0 \in W^{1,p}_0(\Omega )\) and \(\mathbf{f}\in L^{2}(I\times \Omega )\). Let \(\mathbf{S}^{N} \) be the last item of the special multiple approximation \(\mathbf{S}^n\), \(n=1,\ldots , N\), of \(\mathbf{S}\) from Definition 3.5.
Then, the unique strong solution \(\mathbf{u}^{N}\) of the approximate problem (3.1) satisfies for a.e. \(t\in I\)
where \(c_{0}=c_{0} ({\delta }^{2-p}\Vert \mathbf{f}\Vert _2^2,|||\mathbf{u}_0,\mathbf{f}|||,{\Vert {\xi _0}\Vert }_{ 1,\infty },\gamma _3,\gamma _4,p)\), while the constant related to the neighborhood of P is such that \(c_{P}=c_{P} ({\delta }^{2-p}\Vert \mathbf{f}\Vert _2^2,|||\mathbf{u}_0,\mathbf{f}|||,{\Vert {\xi _P}\Vert }_{1,\infty },{\Vert {g_{P}}\Vert }_{C^{2,1}},\) \(\gamma _3,\gamma _4,p)\).
Here, \(\xi _{0}(\mathbf{x})\) is a cut-off function with support in the interior of \(\Omega \) and, for arbitrary \(P\in \partial \Omega \), the tangential derivative
is defined locally in \(\Omega _P\) via (3.5).
Propositions 3.15 and 3.7 imply \(\mathbf{u}^{N}(t) \in W^{2,2}(\Omega )\) and \({\frac{\partial \mathbf{u}^{N}}{\partial t}(t)\in L^2(\Omega )}\) for a.e. \(t \in I\). Hence, equations (3.1) hold point-wise a.e. in \(I\times \Omega \).
We employ this to deduce the following result, by using the equations in a point-wise sense, yielding however a critical dependence on the approximation of the operator.
Proposition 3.16
Under the assumptions of Proposition 3.15 there exists a constant \(C_1>0\) such that, provided in the local description of the boundary there holds \(r_P<C_1\) in (b3), where \(\xi _{P}\) is a cut-off function with support in \(\Omega _P\), there holds for a.e. \(t\in I\)
where \(C_{N}=C_{N}(\delta ^{2-p}, {\delta }^{2-p}\Vert \mathbf{f}\Vert _2^2,|||\mathbf{u}_0,\mathbf{f}|||,{\Vert {\xi _P}\Vert }_{1,\infty },{\Vert {g_{P}}\Vert }_{C^{2,1}},\gamma {}_3,\gamma {}_4,p, A_N,\omega _{N-1})\).
Remark 3.17
We consider only the case \(\delta >0\) and in the estimates of the two above propositions all dependencies on \(\delta \) are traced in a precise and explicit way, showing how they deteriorate in the degenerate case. The degenerate problem could be treated by assuming more stringent assumptions on the regularity of the data (namely the regularity of the right-hand side \(\mathbf{f}\)). The same phenomenon is well-known to happen even for the p-Laplace problem. In that case sharpness of additional assumptions and links with the fractional regularity of the solution are proved and discussed in detail by Brasco and Santambrogio [15] and the references therein.
Proof of Proposition 3.15
Fix \(P\in \partial \Omega \) and define in \(\Omega _P\)
where \(\xi :=\xi _P\), \(g:=g_{P}\), and \(h\in (0,\frac{R_{P}}{16})\) and use the function \(\mathbf{w}\) extended by zero outside of \(\Omega _{P}\) as a test function in (3.4). This yields, using the properties of the difference quotient in Lemmas 3.9, 3.12, 3.14, for a.e. \(t \in I\)
Proposition 2.29 yields for a.e. \(s \in I\) the following equivalence
with constants depending only on the characteristics of \(\mathbf{S}\), due to Remark 3.6. This equivalence provides the “natural” quantity on the left-hand side. We estimate the integrals \({\mathcal {I}}_j\), \(j=1,\ldots , 5\), similarly as in [6]. Note that all constants in the following can depend on the characteristics of \(\mathbf{S}\) and that other dependencies will be indicated.
We start estimating the first one as
where we used Proposition 2.29, Hölder and Young inequalities, Lemma 2.34, the convexity and \(\Delta _2\)-condition of the balanced N-function \(\omega ^N\), the substitution theorem and Korn inequality. The constant C depends on \({\Vert { g}\Vert }_{C^{1,1}}\) and \(\varepsilon ^{-1}\). Note that in view of \(\int \nolimits _{\Omega }\omega ^{N}(|\mathbf{D}\mathbf{u}^{N}|)\,d\mathbf{x}\sim \Vert \mathbf{F}^{N}(\mathbf{D}\mathbf{u}^{N})\Vert _2^{2}\), estimate (3.3), and the substitution theorem the right-hand side of the last estimate is finite. This comment also applies to the estimates of the other terms \({\mathcal {I}}_j\), \(j=1,\ldots , 5\).
The second term is estimated more or less in the same way
where we additionally used Remark 3.11.
To estimate the integral \({\mathcal {I}}_3\) we use that due to Proposition 2.29 there holds \({|{\mathbf{S}^{N}(\mathbf{P})}|} \le c\, (\omega ^{N})'({|{\mathbf{P}^{{\mathrm {sym}}}}|})\). Using this, Young inequality, (2.2), the substitution theorem, Remark 3.11 and Korn inequality we get
The integral \({\mathcal {I}} _4\) is estimated by using Lemmas 3.12–3.14 to obtain
where the first term was treated as \({\mathcal {I}}_1\), while the other two were treated as \({\mathcal {I}}_3\) .
On the other hand, the integral related to the right-hand side can be estimated as follows
where we used standard properties of the difference quotient in \(L^2\), Korn inequality, the substitution theorem, as well as Proposition 2.29, and Lemma 2.32, which yield \({\delta }^{p-2}|d^+{\mathbf{D}}\mathbf{u}^{N}|^2 \le c\, |d^+{\mathbf{F}^{N}}(\mathbf{D}\mathbf{u}^{N})|^2\).
Observing that \(d^+\frac{\partial \mathbf{u}^{N}}{\partial t}=\frac{\partial d^+\mathbf{u}^{N}}{\partial t}\), choosing \({\varepsilon }>0\) sufficiently small, and using (3.3) we proved that for a.e. \(t\in I\)
where we also used the assumption on the data. Since \(C_0\) does not depend on \(h>0\), it follows by Lemma 3.10 that for a.e. \(t \in I\)
proving the estimate for the first term in (3.6)\(_2\). Next, observe that Proposition 2.29 and Lemma 2.32 imply
Now we proceed exactly as in the proof of [11, (3.12)–(3.14)] for the special choice \(\phi (t)=t^2\) to get
This, the a priori estimate (3.3), and Lemma 3.10 finally shows for a.e. \(t \in I\)
proving the estimate for the second term in (3.6)\(_2\).
The same argument used with a test function \(\xi _{0}\) with compact support in \(\Omega \), and standard difference quotients can be used to prove \((3.21)_1\). \(\square \)
Corollary 3.18
Under the assumptions of Proposition 3.15 there holds a.e. in \(I\times \Omega \)
with constants depending only on the characteristics of \(\mathbf{S}\).
Proof
Proposition 2.29 implies
The estimates (3.8), (3.9) and Lemma 3.10 yield that a.e. in \(I\times \Omega \) there holds \(d^+{\mathbf{F}}^N(\mathbf{D}\mathbf{u}^{N}) \rightarrow \partial _{\tau }\mathbf{F}^N(\mathbf{D}\mathbf{u}^{N})\) and \(d^+{\mathbf{D}}\mathbf{u}^{N}\rightarrow \partial _{\tau }\mathbf{D}\mathbf{u}^{N}\) as \(h\rightarrow 0\). These observations immediately imply the assertion. \(\square \)
Now we prove the result on the regularity in the “normal” direction from (3.7), which is valid up to the boundary, but is dependent on the chosen multiple approximation.
Proof of Proposition 3.16
Thanks to the previous results we can re-write the equations in (3.1) a.e. in \(I\times \Omega \) as follows
where
for \(i=1,2,3\). We now proceed as in [12, Eq. (3.3)] and multiply these equations by \(\partial _3 {{\widehat{D}}}_{i 3}\mathbf{u}^{N}\), where \({{\widehat{D}}}_{\alpha \beta }\mathbf{u}^{N}=0\), for \(\alpha ,\beta =1,2\), \({{\widehat{D}}}_{\alpha 3}\mathbf{u}^{N}={{\widehat{D}}}_{3\alpha }\mathbf{u}^{N}=2D_{\alpha 3}\mathbf{u}^{N}\), for \(\alpha =1,2\), \({{\widehat{D}}}_{33}\mathbf{u}^{N}=D_{33}\mathbf{u}^{N}\) and sum over \(i=1,2,3\). Since \(\mathbf{S}^N\) has \(\omega ^N\)-structure we get
where \({\mathfrak {b}}_i :=\partial _3 D_{i3}\mathbf{u}^{N}\) and where the constant \(\gamma \) just depends on the characteristics of \(\mathbf{S}\).
By straightforward manipulations (cf. [11, Sections 3.2 and 4.2]) we obtain that a.e. in \(I\times \Omega _P\) it holds
for \(\widetilde{{\mathfrak {b}}}_i:=\partial ^2_{33}u^{N}_{i}\), \(i=1,2,3\). Consequently we get a.e. in \(I\times \Omega _P\)
We then add on both sides, for \(\alpha =1,2\) and \(i,k=1,2,3\), the term (which is finite a.e.)
use the estimate \(|\varvec{{\mathfrak {b}}}|\le |\nabla ^2 \mathbf{u}^{N}|\) and Young inequality, yielding
where in the right-hand side we used also the definition of the tangential derivative (cf. (3.5)). Next, we choose the sets \(\Omega _{P}\) such that \(\Vert \nabla g\Vert _{\infty }=\Vert \nabla g_{P}(x_1,x_2)\Vert _{{\infty },\Omega _{P}}\) is small enough, so that we can absorb the last term from the right-hand side. We finally arrive at the following pointwise inequality
We multiply (3.10) by \(\xi ^2\), and integrate for a.e. \(t \in I\) over the sub-domain
for \(0<\varepsilon <R_{P}'\). This shows, using also Young inequality, that
Now we absorb the last term from the right-hand side in the left-hand side. Moreover, we use that \(a^{N}\) is bounded from below by \(c\, {\delta }^{p-2}\) (cf. Lemma 2.32), the assumption on \(\mathbf{f}\) and (3.3) to estimate the first term on the right-hand side. To handle the second term we first use that \(a^N\) is bounded from above by a constant c depending on p, \(\gamma _3, \gamma _4\), \(\omega ^{N-1}\), and \(A_N\) (cf. Remark 2.21, Remark 3.6) and then we use the estimate (3.6)\(_2\). These estimates result in
By monotone convergence for \({\varepsilon }\rightarrow 0\), this shows that
Using Lemma 2.32 we finally get also
The last two estimates together with Proposition 2.31 and the definition of the tangential derivatives (cf. (3.5)) finish the proof of Proposition 3.16. \(\square \)
3.4 Uniform estimates for the second order spatial derivatives
We now improve the estimate in the normal direction in the sense that we will show that they are bounded uniformly with respect to the parameters \(A_{n}\), for all \(n=1,\dots ,N\). The used method is an adaption to the time evolution problem and the case \(p>2\) of the treatment in [12, 37] in the case \(p<2\) (cf. [13]). In particular, it involves a technical steps to justify the treatment of the time derivative, which is an adaptation of the method used in [31, 39].
Lemma 3.19
Let \(\partial \Omega \in C^{2,1}\) and let \(\mathbf{v}\in L^{2}(I;W^{2,2}(\Omega )\cap W^{1,2}_{0}(\Omega ))\cap W^{1,2}(I;L^{2}(\Omega ))\). Then, for all \(t\in [0,T]\) it holds
Proof
Note that the assumptions on \(\mathbf{v}\) already imply, by parabolic interpolation, that \(\mathbf{v}\in C({{\overline{I}}};W^{1,2}_{0}(\Omega ))\). We give an elementary proof, by heat regularization, since the direct integration by parts is not justified under the given assumptions. In fact, we have that \(\frac{\partial \mathbf{v}}{\partial t}={\mathbf {0}}\) on the boundary, but is it not clear if this holds also in the sense of traces. Let us define \({\varvec{\phi }}:=\frac{\partial \mathbf{v}}{\partial t}-\Delta \mathbf{v}\in L^{2}(I\times \Omega )\) and \({\varvec{\psi }}:=\mathbf{v}(0)\in W^{1,2}_{0}(\Omega )\) and approximate these functions by sequences of smooth and compactly supported functions \({\varvec{\phi }}_{n}\) and \({\varvec{\psi }}_{n}\), respectively. Let \(\mathbf{v}_{n}\) be the solution of boundary initial value problem
By energy methods, one obtains directly that there exists a unique solution \(\mathbf{v}_{n}\) belonging to \(L^{2}(I;W^{2,2}(\Omega )\cap W^{1,2}_{0}(\Omega ))\cap W^{1,2}(I;L^{2}(\Omega ))\). Moreover, we have
which implies that \((\mathbf{v}_n)\) is a Cauchy sequence in the spaces on the left-hand side. Let \(\mathbf{u}\) be the limit in \(L^{2}(I;W^{2,2}(\Omega )\cap W^{1,2}_{0}(\Omega ))\cap W^{1,2}(I;L^{2}(\Omega ))\) of the sequence \(\mathbf{v}_n\). By passing to the limit in (3.11) we see that \(\mathbf{u}-\mathbf{v}\) is a solution of (3.11) with vanishing data. Thus, by uniqueness we proved that
Next, testing by the “second order time derivative” of \(\mathbf{v}_{n}\), which can be justified with the help of an Galerkin approximation (cf. [10, 21]), one gets that
This proves that \(\frac{\partial \mathbf{v}_{n}}{\partial t} \in L^{2}(I;W^{1,2}(\partial \Omega )) \hookrightarrow L^{2}(I;W^{1/2}(\partial \Omega ))\). Thus, \(\frac{\partial \mathbf{v}_{n}}{\partial t} ={\mathbf {0}}\) holds in the sense of traces in \(L^{2}(I;W^{1/2}(\partial \Omega ))\) and we obtain
Passing with \(n\rightarrow \infty \), which is justified by (3.12), we proved the assertion. \(\square \)
Proposition 3.20
Let the same hypotheses as in Theorem 3.4 be satisfied with \(\delta >0\) and let the local description \(g_{P}\) of the boundary and the localization function \(\xi _P\) satisfy (b1)–(b3) and \((\ell 1)\) (cf. Sect. 3.2). Then, there exists a constant \(C_2>0\) such that the solution \(\mathbf{u}^{N}\in L^{\infty }(I;W^{1,2}_0(\Omega ))\cap L ^2(I;W^{2,2}(\Omega ))\) of the approximate problem (3.1), ensured in Proposition 3.7, satisfies for every \(P\in \partial \Omega \) and for a.e. \({t\in I}\)
provided \(r_P<C_2\) in (b3), with C depending on the characteristics of \(\mathbf{S}\), \({\delta }^{2-p}\Vert \mathbf{f}\Vert _2^2\,\), \(|||\mathbf{u}_0,\mathbf{f}|||,{\Vert {\xi _P}\Vert }_{ 1,\infty },{\Vert {g_{P}}\Vert }_{C^{2,1}}\), and \(C_2\).
Proof
We adapt the strategy in [12, Proposition 3.2] to the time-dependent problem. Fix an arbitrary point \(P\in \partial \Omega \) and a local description \(g=g_{P}\) of the boundary and the localization function \(\xi =\xi _P\) satisfying (b1)–(b3) and \((\ell 1)\). In the following constants c, C can always depend on the characteristics of \( \mathbf{S}^{N}\), hence on those of \(\mathbf{S}\), i.e., on \(\gamma _3,\gamma _4\), and p. First we observe that Proposition 2.31 and Remark 3.6 yield that there exists a constant \(C_0\), depending only on the characteristics of \(\mathbf{S}\) such that
Thus, we get, using also the symmetry of both \(\mathbf{D}\mathbf{u}^{N}\) and \(\mathbf{S}^{N}\),
The terms \({\mathcal {J}}_{1}\) and \({\mathcal {J}}_{2}\) can be estimated exactly as in [12], if one replaces \(\phi ''(|\mathbf{D}\mathbf{u}^{N}|)\) used there with the equivalent quantity \(a^N(|\mathbf{D}\mathbf{u}^{N}|)\). Let us sketch the main steps. All missing details can be found in [12]. To treat \({\mathcal {J}}_2\) we multiply and divide by \(\sqrt{a^{N}(|\mathbf{D}\mathbf{u}^{N}|)}\), use Proposition 2.31 and Young inequality, to show that, for any given \(\lambda >0\), it holds
for some constant \(c_{\lambda ^{-1}} \) depending on \(\lambda ^{-1}\). To treat the term \({\mathcal {J}}_1\) we first use the algebraic identity \( \partial _3 D_{\alpha \beta }\mathbf{u}^{N}= \partial _\alpha D_{3\beta }\mathbf{u}^{N}+\partial _\beta D_{3\alpha }\mathbf{u}^{N}-\partial _\beta \partial _\alpha u^N_3 \). The first two terms in the resulting equation are treated as \({\mathcal {J}}_2\), while in the term with \(\partial _\beta \partial _\alpha u^N_3 \) we use the definition of tangential derivatives (3.5). This results in three terms, where one is again treated as \({\mathcal {J}}_2\). This procedure leads toFootnote 9
In the last but one term in (3.14) we multiply and divide by \(\sqrt{a^{N}(|\mathbf{D}\mathbf{u}^{N}|)}\), use Proposition 2.31, Young inequality and \(a^N (|\mathbf{D}\mathbf{u}^{N}|) |\mathbf{D}\mathbf{u}^{N}|^2 \sim |\mathbf{F}^N(|\mathbf{D}\mathbf{u}^{N}|)|^2\) (cf. Proposition 2.29), yielding that it is estimated by
To handle the last term in (3.14) we want to perform the crucial partial integration, which reads (neglecting the localization \(\xi \))
This partial integration replaces the term with \(\partial _3 \mathbf{S}^{N} (\mathbf{D}\mathbf{u}^{N})\), which cannot be estimated in terms of tangential derivatives, by a term with \(\partial _\alpha \mathbf{S}^{N} (\mathbf{D}\mathbf{u}^{N})\), which can be estimated in terms of tangential derivatives. Again, we multiply and divide by \(\sqrt{a^{N}(|\mathbf{D}\mathbf{u}^{N}|)}\), use Proposition 2.31, Young inequality, Corollary 3.18, and the definition of the tangential derivatives, yielding that the last term is estimated by
The presence of the localization \(\xi \) leads to several additional terms, which all can be handled as in [12]. All together we arrive at the following estimate
In this estimate we used for the terms with \(\partial _\beta \mathbf{F}^{N}(\mathbf{D}\mathbf{u}^{N})\) the definition of the tangential derivative in (3.5) to get
Also the term \({\mathcal {J}}_3\) is treated essentially as in [12]. Since in this step the equation (3.1) is used, in addition we have to handle the term with the time derivative. More precisely, we re-write the equations (3.1) as follows
multiply it by \(\partial _{33}\mathbf{u}^{N}\), use the algebraic identity
treat all terms without the time derivative as \(I_3\) in [12, p. 186] and integrate by parts the term involving \(\frac{\partial \mathbf{u}^{N}}{\partial t}\), use Lemma 3.19, to get the following
where we used again (3.16). Now we choose in the estimates (3.15), (3.18) first \(\lambda >0\) small enough and then the covering of the boundary \(\partial \Omega \) such that \(\Vert \nabla g\Vert _\infty \) is small enough in order to absorb in the left-hand side of (3.13) the term involving \(\partial _3\mathbf{F}^{N}(\mathbf{D}\mathbf{u}^{N})\). This way we obtain the following estimate
with constants depending only on the characteristics of \(\mathbf{S}\), \({\Vert {g}\Vert }_{C^{2,1}}\), and \({\Vert {\xi }\Vert }_{1,\infty }\).
Using the uniform estimates (3.3), (3.6) and the lower bound in Lemma 2.32, which yields
we get from the last estimate the assertion of Proposition 3.20. \(\square \)
Choosing now an appropriate finite covering of the boundary (for the details see also [11]), Propositions 3.15 and 3.20 yield the following result:
Proposition 3.21
Let the same hypotheses as in Theorem 3.4 with \(\delta >0\) be satisfied. Then, it holds for a.e. \(t\in I\)
with C depending only on the characteristics of \(\mathbf{S}\), \(|||\mathbf{u}_0,\mathbf{f}|||\), \(\delta ^{2-p}\Vert \mathbf{f}\Vert _2^2\), \({\delta }^{p-2}\) and \(\partial \Omega \). In particular is C independent of \(A_{n}\), \(n=1,\dots ,N\).
3.5 Multiple passage to the limit
From Propositions 3.7 and 3.21 we obtain the following estimate, uniform with respect to \(A_{n}\ge 1\), \(n=1,\dots ,N\), and valid for a.e. \(t\in I\).
with C depending only on the data of the problem (1.1).
Note that the functions \(\mathbf{u}^{N}\) and \(\mathbf{F}^{N}\) depend (implicitly) on the parameters \(A_{n}\). Since these parameters are relevant for the various limiting processes, we now start to write these dependencies in an explicit way. The uniform estimates for \(\mathbf{u}^{N}(t,\mathbf{x},A_{1},\dots , A_{N})\) and \(\mathbf{F}^{N}(\mathbf{D}\mathbf{u}^{N}(t, \mathbf{x},A_{1},\dots , A_{N}))\) are inherited by taking appropriate limits of the various \(A_{n}\). In particular, we will define (when the limit exists in appropriate spaces)
and then inductively
in such a way that the function \(\mathbf{u}:=\mathbf{u}^{0}\) will be shown to be the unique regular solution to the initial boundary value problem (1.1).
Proof of Theorem 3.4
From estimate (3.19) we obtain that \(\mathbf{u}^{N}\) is uniformly bounded in \(W^{1,2}(I;L^2(\Omega ))\cap L^\infty (I;W^{1,2}(\Omega ))\) and that \(\mathbf{F}^{N}(\mathbf{D}\mathbf{u}^{N})\) is uniformly bounded in \(L^\infty (I;L^2(\Omega ))\cap L^{2}(I;W^{1,2}(\Omega ))\).
These bounds directly imply that there exists a sequence \(A_{N_{k}}\rightarrow \infty \) (which we call again \(A_{N}\)), a vector field \(\mathbf{u}^{N-1}(t,\mathbf{x},A_{1},\dots ,A_{N-1})\), and a tensor field \(\widehat{\mathbf{F}^{N-1}}\)
From \({\Vert {\mathbf{F}^{N}(\mathbf{D}\mathbf{u}^{N})}\Vert }_{L^{2}(I;W^{1,2}(\Omega )}\le C\) it follows, using Proposition 2.31, the lower bound on \(a^{N}\) proved in Lemma 2.32, and the identity (3.17), that
with C depending only on the data of the problem (1.1), but independent of \(A_{N}\). The estimates (3.19), (3.21) and the Aubin-Lions compactness lemma imply that (up to a further sub-sequence)
for all fixed \(A_{n}\), with \(n=1,\dots ,N-1\). Next, we observe that since
uniformly for t belonging to compact sets in \(\mathbb {R}^{\ge 0}\) (but in reality even more since \(a^{N}(t)=a^{N-1}(t)\) for all \(0\le t\le A_{N}\)), it follows by the definition of \(\mathbf{F}^{N}\) and \(\mathbf{S}^{N}\) that a.e. in \( I\times \Omega \) and for all fixed \(A_{n}\), \(n=1,\dots ,N-1\), there holds
In fact, by the definition of multiple approximation it follows that for all given \(\mathbf{P}\in \mathbb {R}^{3\times 3}\) and for all fixed \(A_{1},\dots ,A_{N-1}\) it holds
hence
and the first line on the right-hand side vanishes for large enough \(A_{N}\), by the properties of the multiple approximation; while the second one converges to zero due to the continuity of \(\mathbf{F}^{N-1}\) and the point-wise convergence of \(\mathbf{D}\mathbf{u}^{N}\). The same argument applies also to \(\mathbf{S}^{N}\).
The classical result stating that the weak limit in Lebesgue spaces and the a.e. limit coincide (cf. [25]) and (3.20) imply that
This identification, the convergences in (3.20), and the lower semicontinuity of norms proves that, for a.e. \(t\in I\), it holds
with a constant C depending on the data of the problem (1.1), but independent of \(A_{n}\), for \(n=1,\dots ,N-1\).
We have now to pass to the limit in the weak formulation (3.2) of the approximate problem (3.1). Since, in view of (3.20), we easily deal with the time derivative and the right-hand side \(\mathbf{f}\), the crucial point is the justification of the limit
for all \(\psi \in C_0^\infty (I)\) and all \(\mathbf{w}\in C^\infty _0(\Omega )\). At the moment we already know that \(\lim _{A_{N}\rightarrow \infty }\mathbf{S}^{N}(\mathbf{D}\mathbf{u}^{N})=\mathbf{S}^{N-1}(\mathbf{D}\mathbf{u}^{N-1})\) holds a.e. in \(I\times \Omega \). Thus, to conclude it is sufficient to show that \(\mathbf{S}^{N}(\mathbf{D}\mathbf{u}^{N})\) is bounded uniformly with respect to N in \(L^q(I\times \Omega )\), for some \(q>1\). To this end we observe that Corollary 2.33, Proposition 2.17, the definition of \(\mathbf{F}_{\omega _{q_N,\delta }}\) in (2.11), and \(q_N \ge 2\) imply that for all \(\mathbf{P}\in \mathbb {R}^{3\times 3}\) there holds
The a priori bound (3.19) and parabolic embedding imply that \(\mathbf{F}^N(\mathbf{D}\mathbf{u}^{N})\) is bounded in \(L^{\frac{10}{3}}(I\times \Omega )\) by a constant depending only on the data of problem (1.1). This together with (3.25) and \(\frac{5}{3}q \ge q+\frac{4}{3}\), valid for all \(q\ge 2\), implies
with a constant independent of \(A_{N}\). Corollary 2.33 also implies that
Hence, the latter estimates prove that
where the constant C depends on the data of the problem (1.1), on \(A_{N-1}\), but is independent of \(A_{N}\). Thus, we can infer that there exists \(\widehat{\mathbf{S}^{N-1}}\) such that (up possibly to a further relabelled sub-sequence)
provided \({(4/3+q_{N})/ (q_{N-1}-1)}>1\), which is equivalent to
which motivated the choice of \(q_n\) in Definition 3.5. Using again the classical result stating that the weak limit in Lebesgue spaces and the a.e. limit coincide (cf. [25]) we infer from (3.22) and (3.26) that
which in turn implies (3.24). Thus we proved that \(\mathbf{u}^{N-1}\) satisfies (3.23) and
for all \(\psi \in C_0^\infty (I)\) and all \(\mathbf{w}\in C^\infty _0(\Omega ) \).
At this point we can repeat exactly the same argument by replacing N with \(N-1\). Thus, one obtains inductively that for all \(n=1,\dots ,N-1\) there holds
for all \(\psi \in C_0^\infty (I)\) and all \(\mathbf{w}\in C^\infty _0(\Omega ) \). After N iterations we find, using also the density of \(C^\infty _0(\Omega ) \) in \(W^{1,p}_0(\Omega )\) in the last step, that the vector field \(\mathbf{u}^{0}=:\mathbf{u}\) is a regular solution of the original problem problem (1.1). This finishes the proof of Theorem 3.4. \(\square \)
Let us finish with stating the corresponding result to Theorem 3.4 in the steady case. This result can be proved, with many simplifications due to the absence of the time derivative and the better embedding results in the steady case (cf. Sect. 1.1), exactly in the same way as the unsteady result Theorem 3.4. Thus, we have the following result:
Theorem 3.22
Let \(\Omega \subset \mathbb {R}^3\) be a bounded domain with \(C^{2,1}\) boundary, and assume that \(\mathbf{f}\in L^{2}(\Omega )\). Let the operator \(\mathbf{S}\), derived from a potential \(U\), have \((p,\delta )\)-structure for some \(p\in (2,\infty )\), and \(\delta \in (0, \infty )\) fixed but arbitrary.
Then, there exists a unique regular solution of the steady version of the system (1.1), i.e., \(\mathbf{u}\in W^{1,p}_0 (\Omega )\) fulfils for all \( \mathbf{w}\in C^{\infty }_{0}(\Omega )\)
and satisfies \(\mathbf{F}(\mathbf{D}\mathbf{u}) \in W^{1,2}(\Omega )\) with norm depending only on the characteristics of \(\mathbf{S}\), \(\delta ^{-1}\), \(\Omega \), and \(\Vert \mathbf{f}\Vert _2\).
Notes
The precise form of the approximation in [32] is slightly different, since there the potential of the stress tensor was depending on \(|\mathbf{D}\mathbf{u}|^{2}\), instead of \(|\mathbf{D}\mathbf{u}|\) here.
The restriction depends on the space dimension and it is more stringent in the time-evolution case, due to different parabolic embedding results.
Moreover, some care has to be taken in the choice of the \(A_{n}\) to ensure monotonicity of the resulting potentials.
In the following we use the convention that \(\frac{\varphi '(0)}{0}:=0\).
Here we use the notation (2.6) also for a more general function \(U\) (not necessarily a balanced or even a regular N-function).
For a discussion of the case \(\delta =0\) we refer to Remark 3.17.
Observe that the results of this section, prior to the passage to the limit, are in fact valid for any sequence of parameter \(q_{n}\) as described in the definition of the multiple approximation.
Note that \(\partial _{\tau }f\) denotes a tangential derivative, and to avoid confusion with time derivatives, the latter will be always denoted as \(\frac{\partial f}{\partial t}\).
The estimated terms correspond to the terms A and \(B_3\) in [12].
References
Balci, A.K., Cianchi, A., Diening, L., Maz’ya, V.: A pointwise differential inequality and second-order regularity for nonlinear elliptic systems. Technical report (2021). arXiv:2102.09423
Barrett, J.W., Liu, W.B.: Finite element approximation of the parabolic p-Laplacian. SIAM J. Numer. Anal. 31, 413–428 (1994)
Beck, L., Mingione, G.: Lipschitz bounds and nonuniform ellipticity. Commun. Pure Appl. Math. 73(5), 944–1034 (2020)
Beirão da Veiga, H., Crispo, F.: On the global \(W^{2, q}\) regularity for nonlinear \(N\)-systems of the \(p\)-Laplacian type in \(n\) space variables. Nonlinear Anal. 75(11), 4346–4354 (2012)
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)
Beirão da Veiga, H., Kaplický, P., Růžička, M.: Boundary regularity of shear-thickening flows. J. Math. Fluid Mech. 13, 387–404 (2011)
Belenki, L., Berselli, L.C., Diening, L., Růžička, M.: On the finite element approximation of \(p\)-Stokes systems. SIAM J. Numer. Anal. 50(2), 373–397 (2012)
Belenki, L., Diening, L., Kreuzer, C.: Optimality of an adaptive finite element method for the \(p\)-Laplacian equation. IMA J. Numer. Anal. 32(2), 484–510 (2012)
Bensoussan, A., Frehse, J.: Regularity results for nonlinear elliptic systems and applications. In: Applied Mathematical Sciences, vol. 151. Springer, Berlin (2002)
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)
Berselli, L.C., Růžička, M.: Global regularity for systems with \(p\)-structure depending on the symmetric gradient. Adv. Nonlinear Anal. 9(1), 176–192 (2020)
Berselli, L.C., Růžička, M.: Space-time discretization for nonlinear parabolic systems with \(p\)-structure. IMA J. Numer. Anal. 42(1), 260–299 (2022)
Berselli, L.C., Růžička, M.: Natural second order regularity for systems in the case \({1<p\le 2}\) using the \(a\)-approximation. In: Recent Advances in Mechanics and Fluid–Structure Interaction with Applications: In Honor of Bong Jae Chung, Advances in Mathematical Fluid Mechanics. Springer, Heidelberg (2022)
Brasco, L., Santambrogio, F.: A sharp estimate à la Calderón–Zygmund for the \(p\)-Laplacian. Commun. Contemp. Math. 20(3), 1750030 (2018)
Breit, D.: Grundlagen der Variationsrechnung II: Sobolev–Räume. Universität der Saarlandes, Skript (2010)
Cianchi, A., Maz’ya, V.G.: Optimal second-order regularity for the \(p\)-Laplace system. J. Math. Pures Appl. 9(132), 41–78 (2019)
Cianchi, A., Maz’ya, V.G.: Second-order regularity for parabolic \(p\)-Laplace problems. J. Geom. Anal. 30(2), 1565–1583 (2020)
Cianchi, A., Maz’ya, V.G.: Global Lipschitz regularity for a class of quasilinear elliptic equations. Commun. Partial Differ. Equ. 36(1), 100–133 (2011)
DiBenedetto, E.: Degenerate Parabolic Equations. Universitext. Springer, New York (1993)
Diening, L., Růžička, M.: Strong solutions for generalized Newtonian fluids. J. Math. Fluid Mech. 7, 413–450 (2005)
Diening, L., Růžička, M., Schumacher, K.: A decomposition technique for John domains. Ann. Acad. Sci. Fenn. Math. 35(1), 87–114 (2010)
Evans, L.C.: Partial Differential Equations. Graduate Studies in Mathematics, vol. 19. American Mathematical Society, Providence (1998)
Fuchs, M., Seregin, G.: Variational Methods for Problems from Plasticity Theory and for Generalized Newtonian Fluids. Lecture Notes in Mathematics, vol. 1749. Springer, Berlin (2000)
Gajewski, H., Gröger, K., Zacharias, K.: Nichtlineare Operatorgleichungen und Operatordifferentialgleichungen. Akademie-Verlag, Berlin (1974)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order. Springer, Berlin (2001). (Reprint of the 1998 edition)
Krasnoselskiĭ, M.A., Rutickiĭ, J.B.: Convex Functions and Orlicz Spaces. Translated from the First Russian Edition by Leo F. Boron. P. Noordhoff Ltd., Groningen (1961)
Ladyžhenskaya, O.A., Ural’ceva, N.N.: Linear and Quasilinear Elliptic Equations. Translated from the Russian by Scripta Technica, Inc. Translation Editor: Leon Ehrenpreis. Academic Press, New York (1968)
Ladyžhenskaja, O.A., Solonnikov, V.A., Ural’ceva, N.N.: Linear and Quasilinear Equations of Parabolic Type. Translated from the Russian by S. Smith. Translations of Mathematical Monographs, vol. 23. American Mathematical Society, Providence (1967)
Lieberman, G.M.: Boundary regularity for solutions of degenerate elliptic equations. Nonlinear Anal. 12(11), 1203–1219 (1988)
Lions, J.-L., Magenes, E.: Non-homogeneous boundary value problems and applications. Volume I. Die Grundlehren der mathematischen Wissenschaften, Band 181. Springer, New York (1972). (Translated from the French by P. Kenneth)
Málek, J., Nečas, J., Růžička, M.: On weak solutions to a class of non-Newtonian incompressible fluids in bounded three-dimensional domains. The case \(p\ge 2\). Adv. Differ. Equ. 6, 257–302 (2001)
Musielak, J.: Orlicz Spaces and Modular Spaces. Springer, Berlin (1983)
Nečas, J.: Introduction to the Theory of Nonlinear Elliptic Equations. Teubner-Texte zur Mathematik, vol. 52. Teubner Verlagsgesellschaft, Leipzig (1983)
Rao, M.M., Ren, Z.D.: Theory of Orlicz spaces. 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: Nonlinear Analysis, Function Spaces and Applications, Proceedings of NAFSA 2006 Prague, vol. 8, pp. 95–144 (2007)
Seregin, G.A., Shilkin, T.N.: Regularity of minimizers of some variational problems in plasticity theory. Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI), 243 (Kraev. Zadachi Mat. Fiz. i Smezh. Vopr. Teor. Funktsii. 28), 270–298, 342–343 (1997)
Talenti, G.: Nonlinear elliptic equations, rearrangements of functions and Orlicz spaces. Ann. Mat. Pura Appl. 4(120), 160–184 (1979)
Temam, R.: Navier–Stokes Equations. North-Holland, Amsterdam (1977)
Uhlenbeck, K.: Regularity for a class of non-linear elliptic systems. Acta Math. 138(3–4), 219–240 (1977)
Ural’ceva, N.N.: Degenerate quasilinear elliptic systems. Zap. Naučn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 7, 184–222 (1968)
Acknowledgements
Luigi C. Berselli was partially supported by a Grant of the group GNAMPA of INdAM.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Mondino.
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
Berselli, L.C., Růžička, M. Natural second-order regularity for parabolic systems with operators having \((p,\delta )\)-structure and depending only on the symmetric gradient. Calc. Var. 61, 137 (2022). https://doi.org/10.1007/s00526-022-02247-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-022-02247-y