Abstract
We construct a stable right inverse for the divergence operator in non-cylindrical domains in space-time. The domains are assumed to be Hölder regular in space and evolve continuously in time. The inverse operator is of Bogovskij type, meaning that it attains zero boundary values. We provide estimates in Sobolev spaces of positive and negative order with respect to both time and space variables. The regularity estimates on the operator depend on the assumed Hölder regularity of the domain. The results can naturally be connected to the known theory for Lipschitz domains. The most precise estimates are given in weighted spaces, where the weight depends on the distance to the boundary. This allows for the deficit to be captured precisely in the vicinity of irregularities of the boundary. As an application, we prove refined pressure estimates for weak and very weak solutions to Navier–Stokes equations in time dependent domains.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Consider an open and connected subset \( \Omega \subset {\mathbb R}^{1+n} \) of the space-time. We denote by
the time slice of \(\Omega \) at time \(t\in {\mathbb R}\). Also the time slices are assumed to be connected. We study the problem of constructing vector fields
that satisfy
where the functionals \( f(t, \cdot ) \) are subject to \( \langle f(t,\cdot ),1 \rangle = 0\). For brevity, we call the spatial divergence operator just divergence in what follows.
The existence and properties of the right inverse are directly linked to applications in continuum mechanics. Most prominent are the applications in fluid mechanics, see for example [22, 24] and Subsection 1.1. Domains that vary in time are certainly meaningful from the physical point of view, and not surprisingly, an increasing body of literature has been devoted to the mathematical theory of fluids in this setting, see for instance [13] and the references therein. Our construction of a stable-in-time right inverse extends these results. Below, we use the here constructed right inverse in order to construct pressure terms in natural associate spaces, provided a velocity field obeying the (very) weak incompressible Navier–Stokes equations has been given.
Although the divergence equation has been studied quite extensively in domains independent of time, see [2], the treatise of time-dependent domains seems to be completely missing in the literature. In addition, it is difficult to find a complete treatment of Hölder regular domains in the literature, even in the steady setting. Namely, first order Sobolev estimates in planar domains are treated in [3], extremely general results in [19] certainly cover the Hölder setting, and even sharp results are likely to follow from the treatise in [32], but it is still behind a modicum of work to extract the desired estimates from these references. The objective of the present paper is hence twofold. We treat a class of non-cylindrical settings in space-time as our main task, but as a side product, we also recover results for Hölder regular domains in the steady setting.
As the divergence is a pure space operator, one might expect that its right inverse would commute with differentiation in time. However, if one asks the solution to satisfy a boundary condition, the right inverse starts depending on time through the evolution of the boundary, and the question about time regularity becomes non-trivial. The dependency of the right inverse on the geometry of the domain is typically very in-explicit in the stationary setting, and solutions regular in time cannot be produced by a straight-forward repetition of the constructions slice by slice. Such a slicing argument is enough for some of the usual applications, such as slice-wise versions of Korn’s inequality and Lions–Nečas theorem on negative norms, but it is not sufficient for the application we present at the end of the introduction.
We propose a space-time approach and construct solutions that have some regularity in the time variable and satisfy the same space regularity and the same boundary conditions as solutions constructed for a single time slice are expected to satisfy. We demonstrate how improving the regularity of the boundary reflects as improved regularity of the solution operator. The most precise estimates are given in weighted spaces, where the weight depends on the distance to the boundary. The approach seems to appear naturally once singular boundaries are allowed (see [19]). Indeed, it allows for the deficit to be captured precisely in the vicinity of irregularities of the boundary, hence underlying the locality of the operator; or in other words revealing the strength of the construction for losing regularity merely close to singularities. Our construction combines insights from several existing solution strategies in the stationary setting [10, 18, 19] as well as a novel component to deal with the time variable, our main object of interest.
Before stating our main results, we clarify the background and briefly review the theory on solving the divergence in the stationary set-up. The divergence equation in its usual applications is ill-posed, and solutions are never expected to be unique, not even under a boundary condition. The solution given by the Bogovskij–Sobolev (briefly Bogovskij in what follows) integral formula [10]
with f a test function, and \( b: {\mathbb R}^n\rightarrow [0,1] \) a smooth bump function of total mass one and support in B(0, 1), has the remarkable property of preserving the class of test functions compactly supported in a domain star-shaped with respect to B(0, 1) . By Calderón–Zygmund theory, it maps \( W^{s,p} \) to \( W^{s+1,p} \) for all \( 1<p<\infty \) and all \( s \in {\mathbb R}\), and hence Bogovskij’s formula gives solutions whose boundary values are zero in the Sobolev sense. A by-now-standard argument implies existence of a solution operator with these properties in arbitrary Lipschitz domains [46]. The line integrals in the Bogovskij formula can be replaced by more general curves, and based on this modification, the Bogovskij formula can be generalized to bounded John domains [5].
Every John domain, or more generally every domain satisfying an emanating chain condition, admits a decomposition operator mapping \( L^{p} \) functions with mean zero boundedly to \( \ell ^{p} \) sequences of compactly and disjointly supported \( L^{p} \) functions, again with mean zero. Such a decomposition operator has been constructed in [18], and it can be applied to prove a weighted Poincaré inequality and to solve the divergence equation on \( A_p \) weighted Sobolev spaces, thus providing an alternative approach to solving the divergence. The formula of the decomposition operator resembles a discrete Bogovskij formula, and it is indeed shown in [19] that solvability of the divergence in certain weighted \( L^{p} \) spaces conversely implies the existence of a decomposition operator as in [18]. The divergence equation in weighted \( L^{p} \), in turn, can be solved by means of an abstract duality argument based on an improved Poincaré inequality, and to close the circle, the result in [34] shows that solvability of the divergence equation, an improved Poincaré inequality and the John condition are equivalent for simply connected and bounded planar domains. A Korn type inequality is added to the list of equivalences in [33]. Other results in the stationary setting include extensions to Besov and Triebel-Lizorkin spaces [15], measure data problems [43] and boundary value problems in non-smooth domains [42], to mention a few.
All the constructions involved in the results above are somewhat in-explicit in their dependency on the geometry of the domain, but the last example indicates that the geometry plays a prominent role in the construction. Bogovskij’s original formula, which is domain independent, is an exception. Applying either that or any of the more complicated constructions to functions of the space-time by plainly ignoring the time variable, we see that domains either independent of time or staying star-shaped with respect to a fixed ball can be treated easily, the stationary results holding on all time slices and the construction commuting with the time derivatives. All other domains seem to be beyond reach for the method of trivial extension in time, and this is the starting point of our work.
We denote by \( C^{\alpha ,\beta ,\theta } \) the class of domains enclosed by graphs of functions that are \( \beta \)-Hölder continuous in space, \(\alpha \)-Hölder continuous in time and whose boundaries are thin according to parameter \(\theta \), see Definition 2.1. For every bounded Hölder domain there is an admissible parameter \(\theta \in [\beta ,1]\). The case \( \alpha , \beta , \theta = 0 \) is included as the general bounded graph domains. The graph domains can allow exterior cusps unlike John domains, but typical fractal boundaries such as the von Koch snowflake are excluded. Fractal boundaries are possible for John domains, and hence the class of graph domains is incomparable with the John condition. A more general s-John condition would unify both conditions, but its treatment is beyond our reach in the time-dependent setting. We refer to Subsection 2.2 for a more thorough discussion of the assumptions on domains.
For the rest of the introduction, we let \(\theta \in [0,1]\) and fix a domain \( \Omega \) in \( C^{0,0,\theta } \). We assume \(\Omega \subset (0,T) \times {\mathbb R}^{n}\) for some \(T > 0\) and specify the meaning of the number \(\theta \) as
holding for all \(\varepsilon > 0\). In general, \(\theta \) can be zero. If all \(\Omega _t\) are \(\beta \)-Hölder, then \(\theta \ge \beta \), and in the case of a Lipschitz domain, whose regularity is possibly broken by finitely many power type cusps, we can take \(\theta = 1\). In Theorem 3.6, we construct a linear operator B acting on test functions in (slice mean zero class)
such that for \( f \in C_{smz}^{\infty }(\Omega ) \) with compact support
The focus of our work is on local properties of Bogovskij operators close to the boundary. The large-scale geometric set-up is kept rather general as are the dependencies on them in the various norm estimates provided in this work. Therefore (in order not to distract from the qualitative properties of the here introduced operator), we keep the dependencies of the bounds on the geometry in the statements in the introduction implicit and collect them in Remark 3.8. We believe that there is room of improvement for sharp and explicit dependencies on the large-scale geometric parameters of domains, if further restriction are made.
The stability and regularity estimates for the operator are either weighted estimates or corollaries of weighted estimates. The weight is always the distance to the spatial boundary of the domain with some power. Such dependencies are natural in two ways. First, they show that the smoothness in the interior is always satisfied. Second, they show that the zero trace of our inverse is attained in a sense weaker than usual if the boundary of the domain is less regular than Lipschitz in space.
The best-behaved special case of spatially Lipschitz regular domains admits estimates slightly weaker than what is known in the case of cylindrical domains here. The time derivative is effected by the evolution of the boundary as indicated by the weight function appearing on the right hand side of the estimate. The weight function does not appear when the domain is uniformly star-shaped in the sense that each time slice is star-shaped with respect to a fixed ball. The Bogovskij operator defined with respect to this fixed ball then acts as a right inverse of the divergence in the whole time dependent domain. However, we believe that when leaving this regime (in particular when going beyond Lipschitz regularity as we do in this paper) a defect with a weight function is unavoidable.
Theorem 1.1
Let \(0 < \alpha \le 1\). Assume \( \Omega \) to be a \( C^{\alpha ,1,\theta } \) domain, \( 1<p< \infty \) and \( \kappa , k \ge 0 \) be integers. Then for all compactly supported test functions \(f \in C_{smz}^{\infty }(\Omega )\) and all times t
with C only depending on \( \Omega \), k, \( \kappa \) and p.
The first case of our main results to be highlighted is that of first order bounds in general \( C^{\alpha ,\beta ,\theta } \) domain.
Theorem 1.2
Assume that \( \Omega \) is \( C^{\alpha ,\beta ,\theta } \) with \(\alpha , \beta , \theta \in (0,1] \), \( 1<p,q<\infty \) and \( \kappa \ge 0 \) an integer. Then the a priori bound
holds for all test functions \(f \in C_{smz}^{\infty }(\Omega )\), all t and all \(q > 0\) such that
for some \(\varepsilon > 0\). The constant C only depends on \( \Omega \), \( \kappa \), p and q.
As the parameter \(\theta \) is bounded from below by \(\beta \), we see that the estimate improves as \(\beta \) gets larger. In addition, if \(\partial \Omega _t\) happens to be rectifiable with finite Hausdorff measure, we get an estimate with \(\theta = 1\), compare to Corollary 3.11.
As the second special case, we state the estimate without time derivatives, which reproduces the stationary estimates.
Theorem 1.3
Assume that \( \Omega \) is \( C^{0,\beta ,\theta } \) with \( \beta \in (0,1] \), \( 1<p,q<\infty \) and \( k \ge 0 \) an integer. Then the a priori bound
holds for all test functions \(f \in C_{smz}^{\infty }(\Omega )\), all t and all \(q > 0\) such that
for some \(\varepsilon > 0\). The constant C only depends on \( \Omega \), k, p and q.
Under an additional assumption on the domain that Hardy’s inequality hold, see (2.3), the estimate above can be simplified further. An important example of such domains are the simply connected and bounded planar \(\beta \)-Hölder domains \(\Omega _t\).
Theorem 1.4
Assume the notation of Theorem 1.3 and assume in addition that \(\Omega _t\) satisfies Hardy’s inequality (2.3) for \(b\le 0\). Under the same conditions on p and q as above, there is a constant C such that for all compactly supported \(f \in C_{smz}^{\infty }(\Omega )\)
The best estimates that follow from our construction in the general case are recorded in Theorem 4.1. The general form comes with weights quantifying scaling deficits relative to both spatial and temporal irregularity of the boundary. The reason why estimates in Lipschitz domains are simpler is two-fold. On one hand, one can set \(\beta = 1\) in the estimate but on the other hand one may also simplify the expression by means of Hardy’s inequality. Concerning the space-time setting, the difference between Lipschitz in space and Hölder in space domains is even more drastic. For domains that are uniformly Lipschitz in space, in the sense that they are uniformly star-shaped with respect to a fixed set of balls, there exist constant in time Bogovskij operators, but operators of such characteristics are highly unlikely to exist in a space-time domain that allows for an exterior cusp that moves as time passes.
Finally we give proposition that demonstrates that our construction is flexible enough for unweighted estimates useful for applications. The proposition below is proved after Proposition 4.7. More results of similar flavor can be deduced from Theorem 4.5.
Proposition 1.5
Assume that \(\Omega \in C^{\alpha ,\beta ,\theta }\). Fix \(1< p,s < \infty \), a time t, and assume f is a limit of \(C_{smz}^{\infty }(\Omega )\) functions in \(L^{1}(\Omega )\) norm with \(\partial _t f \in W_0^{-1,p}(\Omega _t)\) and \(f\in L^{s}(\Omega _t)\). Then \(\partial _t B f \in L^{q}(\Omega _t)\) for all \(q > 0\) such that
for some \(\varepsilon > 0\).
In particular, if \(\partial _t f\in W_0^{-1,2}(\Omega _t)\), \(f\in L^s(\Omega _t)\), \(\theta =1\) and
then \(\partial _t B f\in L^{q}(\Omega _t)\).
Generally it seems noteworthy that the regularity loss is due to the fact that the zero boundary values are attained in a weaker way in non-Lipschitz domains. Or in case of Lebesgue spaces (or negative order Sobolev spaces), more severe singularities are admissible, which are revealed by the integration of the Bogovskij operator.
1.1 Application to the Navier Stokes equation on non-cylindrical domains
An incompressible fluid is described by a velocity field \( v: \Omega \rightarrow {\mathbb R}^n\) and a pressure \( \pi : \Omega \rightarrow {\mathbb R}\) that are subject to the Navier–Stokes equations
Here \(\rho \) is the density of the fluid,
is the material derivative, \(\mu >0\) is the viscosity of the fluid, and \(g: \Omega \rightarrow {\mathbb R}^n\) and \(F:\Omega \rightarrow {\mathbb R}^n\) describe external forces such as gravity. We assume \(g,F \in L_{loc}^{1}(\Omega )\). Denote by
the class of solenoidal and compactly supported test functions.
Definition 1.6
A very weak solution in \(\Omega \in C^{0,0,\theta }\) is a pair \((v,\pi )\) where
-
the velocity field \(v \in L_{loc}^{2}(\Omega ;{\mathbb R}^n)\) satisfies
$$\begin{aligned} - \langle v,\partial _t \psi \rangle - \langle v \otimes v ,\nabla \psi \rangle - \mu \langle v , \Delta \psi \rangle - \langle g ,\psi \rangle + \langle F ,\nabla \psi \rangle&= 0 \\ \langle v, \nabla \psi \rangle&= 0 \end{aligned}$$for all test functions \(\psi \in C_{sol,0}^{\infty }(\Omega ;{\mathbb R}^n)\);
-
the pressure \(\pi \) is an element of \( (C^{\infty }_0(\Omega ))^{*}\) and \(-\nabla \pi \) equals the distribution mapping a general, not necessarily solenoidal, test function \(\psi \) to the left hand side of the first equation above.
The existence of weak solutions is known under very general conditions. Up to the authors’ knowledge, the most general results can be found in [47]. Remarkably, the pressure is kept in a rather implicit form in [47] as well as in many other existence results. Rather often it does not even appear in the definition of weak solutions, even in the case when the domain is assumed to have a Lipschitz regular boundary for all times [31, 39, 48]. Starting from such a fluid velocity field without explicit pressure, the right inverse of the divergence introduced in the present paper can be used as an efficient tool to construct missing pressures with appropriate regularity properties.
We state a sample result in general Hölder domains of the space-time.
Theorem 1.7
Let \(\Omega \) be a \(C^{\alpha ,\beta ,\theta }\) domain with \(\alpha , \beta \in (0,1]\). Let \(2< p, q < \infty \) and \(1< r,s < \infty \), and assume that v, F and g are a velocity field and two force terms as in Definition 1.6 such that
Then there exists a pressure decomposition
such that \((v,\pi )\) is a very weak solution in \(\Omega \) and
whenever \(1< p_1, p_2, r_1 < \infty \) satisfy
for some \(\varepsilon > 0\).
As the boundary of the domain is merely \(\beta \)-Hölder, the lack of boundary regularity has an effect on the pressure, even when the fluid velocity is a weak solution. The estimates above are for very weak solutions. In the case of weak Leray solutions, one can prove better estimates. All the estimates above suffer from the lack of regularity in space, but only the pressure term related to the time derivative of the velocity produces a contribution stemming from the irregularity of the evolution of the domain. On the other hand, if the domain happens to be Lipschitz in space, we can simplify a bit further.
Theorem 1.8
Assume the domain in Theorem 1.7 is \(C^{\alpha ,1,1}\), that is, Lipschitz in space. Then for
we get
whenever \(1< p_2 < \infty \) satisfies
This estimate is included for comparison to show how the weighted estimates are connected to unweighted spaces.
We also give another formulation for the construction of pressures in terms of weighted Sobolev spaces. What follows, is (probably) a more precise result using a less transparent formulation with weights. See Sect. 2.3 for the notation.
Theorem 1.9
Let \(\Omega \) be a \(C^{\alpha ,\beta ,\theta }\) domain with \(\alpha , \beta \in (0,1]\). Let \(2< p, q < \infty \) and \(1< r,s < \infty \), and assume that v, F and g are a velocity field and two force terms as in Definition 1.6 such that
Then there exists a pressure decomposition
such that \((v,\pi )\) is a very weak solution in \(\Omega \) and
We refer to Theorem 5.4 and Subsection 5.2 for more alternative statements. The proofs are given at the end of Subsection 5.2. The pressure terms are constructed by precomposing the distributions defined by the fluid velocity with the Bogovskij type inverse of the divergence. Most estimates can be written either in a sharp form using weighted Sobolev norms or in a more transparent form with different integrability indices but the weighted norm only on one side. Hence there is a variety of sets of pressure estimates that can be derived from Theorem 5.4. The ones above are an attempt to single out two of the simplest non-trivial cases, but the exact information about the very weak solution at hand ultimately decides what is the estimate best possible. In particular, our estimates on the time derivative part can be improved considerably if we assume either the domain to be more regular in time or the velocity to possess higher integrability near the boundary.
Finally, we conclude the introductory discussion by listing a few additional instances, where it can be expected that the operator B find further applications.
1.2 Inhomogeneous boundary data for incompressible fluids
The Navier–Stokes equation has been studied extensively in domains varying in time, and we point out [9, 23, 51] and the references therein for more background. In these references, either strong solutions are considered or the pressure is not constructed explicitly. Generally, the domains considered there are at least Lipschitz in space. Even in cylindrical domains and for the Stokes operator, pressure estimates are known to be a delicate issue if no strong solution is expected to exist, which might be the case for example due to a rough source term on the right hand side. See for instance the seminal paper [36].
The results in the present paper give a construction of the pressure for weak Leray solutions or even very weak solutions.
A related problem is the case of inhomogeneous boundary conditions on non-cylindrical domains. In order to obtain a priori estimates there, a solenoidal extension operator is needed. We consider the Bogovskij type operator as an intermediate step towards the extension operator, and we plan to return to this question in a later work.
1.3 Fluid–structure interactions
Another set of applications arises in the setting of fluid–structure interactions, where a fluid interacting with a possibly deforming or moving solid is modeled. The fluid velocity and pressure are then defined in a variable-in-time fluid domain. It is noteworthy that even the existence of a distributional pressure is left undiscussed in many works on weak solutions for fluid–structure interactions. This includes rigid body motions [16, 25,26,27] as well as elastic shells interacting with fluids [13, 39, 44]. Similarly, estimates on the distributional time derivative in duals of solenoidal subspaces of Sobolev spaces are generally missing in the non-cylindrical set-up. In cylindrical domains, they are obtained directly by the concept of weak solutions. See [50] where an estimate for the distributional time derivative was shown for weak solutions of a fluid–structure interaction problem.
Not only does the Bogovskij operator here allow for constructing a distributional time derivative and a pressure for these references, it also provides a non-trivial regularity gain relative to the regularity of the velocity and to the fluid domain, which we consider as input data in the present paper. Moreover, it can be used for constructing approximating sequences of test-functions, which is usually a very delicate technical issue since the space of test functions depends on the motion of the solid in that setting. Up to the authors’ knowledge, so far pressure reconstruction as well as the respective solenoidal approximation results are only available in smooth space-time domains [8].
1.4 Density estimates for compressible fluids
Higher integrability of the density, and consequently that of the pressure, is nowadays commonly obtained via Bogovskij operators [11, 22]. The operator introduced here allows for a significant relaxation of the assumptions on the pressure in [11, 12], where interaction of elastic shells and compressible fluids is studied.
1.5 Homogenization
The prototype set-up for homogenization is a domain with an increasing number of holes with decreasing size to represent particles that are breaking the flow. Ever since the seminal work of Tartar [49] (appendix in the book) and Allaire [6, 7], so-called restriction operators that conserve solenoidality have been used in the analysis of homogenization problems. Operators of Bogovskij type may also be used in this setting [17, 30, 40]. Since it is reasonable that the particles move [14], the operator introduced here is likely to find applications for further progress in the theory of homogenization problems in fluids.
2 Preliminaries
2.1 Notation
We work in \( {\mathbb R}^{1+n} \), the first coordinate being time and the other n being space. Sometimes the space coordinates are split as \( x = (x',x_n) \) with \( x' \in {\mathbb R}^{n-1} \). This notation is used without specific mention and should always be understood as stated here. The letter C is reserved for a quantity depending on data admissible for the constant in the statement of the proposition that is being proved. We specify the dependency in the statements of the theorems but usually not in the proofs. We also use the notation \(a \lesssim b\) for \(a \le Cb\) and \(b \sim a\) if \(a \lesssim b \lesssim a\). The \( L^{p} \) norms for only space variables or both space and time variables are denoted by the same \( \Vert \cdot \Vert _p \). We write \( \Vert f(t,\cdot ) \Vert _p \) when the norm acts on space variables on a fixed slice and \( \Vert f \Vert _p \) when the integration is with respect to all variables. We use the common notation \(p' = p/(p-1)\) for the dual exponent of \(1< p < \infty \). We denote the Lebesgue measures of all dimensions by \( |\cdot |\). The notation \( \langle f,g \rangle \) means a duality pairing whose nature is always clear from the context, and whenever it can be interpreted as an \(L^{2}\) inner product we will do so. Given a real number h, we define the finite difference operator \(\Delta _h\) as
that is, with respect to the time variable.
2.2 Domains
The letter \( \Omega \) denotes a \( 1+n \) dimensional domain, and \( \Omega _{t_0} \) refers to the n-dimensional domain obtained by collecting the points x with \((t_0,x) \in \Omega \). We identify the domains \( \{t\} \times S \) and S with \( S \subset {\mathbb R}^n\) whenever this cannot cause confusion.
Most of the time, we study domains whose boundary is locally a graph of a function. The precise definition is as follows.
Definition 2.1
(\(C^{\alpha ,\beta ,\theta }\) domain) Let \(\alpha , \beta ,\theta \in [0,1]\). Let A be a natural number. A bounded, open and connected set \( \Omega \subset {\mathbb R}^{1+n} \) is a \( C^{\alpha ,\beta ,\theta } \) domain with parameter A if the boundary of \( \Omega \) can be covered by A rectangles \( P_i = I_i \times R_i \) with \(I_i \subset {\mathbb R}\) such that \(\partial \Omega \cap P_i \) is a graph of a function that is \(\alpha \)-Hölder continuous in time and \( \beta \)-Hölder continuous in space, after a possible rotation and translation of the space coordinates. In addition, each time slice \(\Omega _t\) is assumed to be connected. We use the same notation if \(\alpha , \beta = 0 \) when only uniform continuity is assumed instead of Hölder continuity as above. The parameter \(\theta \) is as in (1.1).
For the readers’ convenience, we briefly discuss the relation of \(C^{\alpha ,\beta ,\theta }\) domains to other ubiquitous classes of domains that we already mentioned in the introduction. We restrict this comment to the time independent setting. A bounded domain \( \Omega \) is s-John with \( s \ge 1 \) if there is a center point z such that each \( x \in \Omega \) can be connected to z with a rectifiable curve \( \gamma \) parametrized by its arc length such that \( \gamma (0) = x \), \( \gamma (\ell (\gamma )) = z \) and
for a constant C only depending on the domain and z. The 1-John domains are usually called John domains for brevity.
The s-John domains and \( C^{1/s} \) domains allow the spiky exterior cusps of the same order. Hence \( C^{\beta } \) domain need not be \( 1/(\beta + \epsilon ) \) John. On the other hand, a John domain can have a fractal boundary such as the von Koch snowflake, and hence even 1-John domain need not be a \( C^{0} \) domain.
For each Sobolev estimate we prove, there is an underpinning \( L^{p} \) estimate (see (3.2)) which encodes the geometry of the domain. These \( L^{p} \) estimates are equivalent to certain weighted Poincaré inequalities, compare to the argument leading to Lemma 4.1 in [1]. For those, sharpness has been studied extensively. Our weighted \( L^{p} \) estimates (3.2) specialized to the time independent case are slightly worse than what can be proved for domains with a single cusp, such as
Our first order estimates with unweighted right hand side are as good as the ones proved in [20], but the case with unweighted left hand side does not allow for as good an estimate as what [20] provides in the special case of a domain with a single cusp. On the other hand, the graph type domain that fits in our framework allows for estimates better than what is know to be sharp for general s-John domains. See [29, 35] and also the book [41]. In particular, the sharp Poincaré inequality with \(s = 1/\beta \) and \(p=q\) in [35] is dual to sharp weighted \(L^{p'}\) solvability of the divergence. We also refer to [4] for further discussion on sharpness of related results. The choice to treat \(C^{\alpha ,\beta ,\theta }\) domains here was done in order to provide an operator for non-cylindrical space-time domains. This can be read from our construction where it seems necessary to have fixed local-in-time coordinates for the spatial domains.
2.3 Function spaces
We define all the function spaces appearing in this paper as closures of test functions with respect to various norms. The standard test function space is that of smooth and bounded functions, but we also use spaces defined as closures of smooth functions with some additional properties, such as compact support, mean zero, divergence freeness and so on. If we impose an additional assumption on the space of test functions, it will be denoted as a subscript such as
-
0 for \({{\,\textrm{supp}\,}}\varphi \) compact,
-
\(\pi ^{*}\) for \( \langle {{\,\textrm{div}\,}}\varphi (t,\cdot ),1 \rangle = 0\) for all t,
-
smz for \( \langle \varphi (t,\cdot ),1 \rangle = 0\) for all t,
-
sol for \({{\,\textrm{div}\,}}\varphi (t,x)=0\) for all (t, x).
This convention only applies to Sobolev spaces of non-negative order, which we consider next. The negative order spaces will be discussed afterwards.
Let \( k \ge 0\) be an integer and consider multi-indices \( \gamma \in \{0\} \times {\mathbb N}^{n} \). Given a test function f, we define the homogeneous Sobolev norm as
We will also need a family of weighted norms, which we define as follows. Consider the vectors
where k is a non-negative integer telling the number of space derivatives, \(p \in (1,\infty )\) is the exponent of integrability, \(\beta \ge 0\) is a distortion parameter for space regularity, \(\kappa \) is the number of time derivatives, \(\alpha \ge 0\) is the distortion parameter for time regularity and \(b \in {\mathbb R}\) is an additional weight parameter. We define
and
The standard Sobolev spaces fall under the scale \(L^{a}W^{\aleph }\), and the basic examples are
and the duality formula
is consistent with the notation or \(\aleph '\).
For space variables only, we define the norms with negative smoothness directly as dual norms. We set
when \(\kappa = 0\). When \(\kappa \ge 0\) and \(k < 0\), we set
where the supremum is over all
More generally, we define the dual norms of the remaining mixed spaces along
when \(1< q < \infty \). Note that the values \(\pm \infty \) appearing as third or fifth index give rise to the same norm. This is consistent, as we prefer to regard the dual space of an unweighted space as another unweighted space. We will later abuse the notation and simply identify the values \(\pm \infty \). Note further that if a smoothness parameter, first index for spatial smoothness or fourth index for temporal smoothness, is zero, then the corresponding distortion parameter, third for space and fifth for time, becomes meaningless and can be set to \(\infty \). These notations are used in particular Theorems 1.9 and 1.7, which are derived very carefully from Lemma 5.1 at the end of the paper. We also note that the spaces \(L^{q}W^{\aleph }(\Omega )\) are not genuinely new but merely a notation to keep track of different weight parameters. One could be very precise and define a Sobolev space that treats each mixed derivative separately with a particular weight, but we restrict the generality to the setting as described above.
The norms of \(\dot{W}_0^{-k,p'}(\Omega _t)\) and \(W_0^{\aleph '}(t,\Omega )\) are defined by taking the supremum over the larger class of functions \(g \in C^{\infty }(\Omega _t)\), not necessarily compactly supported. This diverges slightly from the notational convention for subscript indices of positive order spaces but it attempts to capture the idea that a functional having zero boundary values acts on test functions without and vice versa. Moreover, both topologies with negative Sobolev norms give the same closures for \(C^{\infty }\) and \(C^{\infty }_0\). Hence there is no need to reserve the subscript zero to indicate the boundary values of the dense subspace.
Finally, we also use shortened notations such as
and we write
for antiderivatives in time whenever it simplifies the notation and we can avoid using weighted \(\aleph \) spaces. The space \(W^{-\kappa ,q}W^{k,p}(\Omega )\) consist of functionals f such that \( f \circ \partial _t^{\kappa } \in L^{q}W^{k,p}(\Omega )\). A superscript star such as in \(B^{*}\) converts an operator into its adjoint and a space such as in \(X^{*}\) into its dual, everything always written down a priori in terms of test functions.
2.4 Inequalities
For the reader’s convenience, we collect here some of the inequalities that we use repeatedly. First, the classical Hardy’s inequality
is valid for all \( p > 1 \) and \( b \in (-\infty , p-1) \). This can be understood as a weighted \( L^{p} \) bound for Hardy’s operator. The range of admissible b extends down to \( -\infty \) in contrast to the Hardy–Littlewood maximal function, for which \( b \le -1 \) are not admissible anymore. The difference will be important to us. Second, we have the adjoint form of Hardy’s inequality
which is valid for all \(b \in (p-1, \infty )\). This inequality is needed for treating the adjoint operator of the Bogovskij integral.
The next inequality is Hardy’s inequality for Lipschitz domains. Given a bounded Lipschitz domain \( O \subset {\mathbb R}^n\), it holds
for all test functions \( f \in C_0^{\infty }(O) \), all \( p > 1 \) and all \(-\infty< b < (p-1)/p \). The constant C only depends on the domain and the indices p and b. See for instance [45] or the metric space approaches in [37] and [38]. The Lipschitz condition is not necessary for Hardy’s inequality to hold. We say O satisfies Hardy’s inequality with negative powers if (2.3) holds for all \(b \le 0\). There are numerous interesting examples beyond the Lipschitz case with this property [38]. In particular, any bounded and simply connected planar domain satisfies (2.3) with all \(b < (p-1)/p \).
We will also need Poincaré’s inequality
which is valid for all cubes Q, all \(k \ge 1\) and all functions in \( C^{\infty }(Q) \) that either have compact support in Q or are \(L^{2}(Q)\) orthogonal to all polynomials of degree at most \(k-1\).
3 Construction of a Bogovskij operator
We start by defining the first reference operator. Let \( b: {\mathbb R}^n\rightarrow [0,1] \) be a smooth function supported in B(0, 1) and having integral one. We define the Bogovskij integral of a test function f as
The adjoint operator of the Bogovskij integral is given through
Given a generic cube \(Q = Q(z,\delta )\) with center z and side length \(2 \delta > 0 \), let \( \tau (x) = (x-z)/\delta \). We define
We let \(B_Q^{*}\) be the adjoint operator of \(B_Q\). It can also be written down explicitly using scaling and translation of the reference version above. It is sometimes called the Poincaré integral. We collect some fundamental properties of the Bogovskij and Poincaré integrals to the following proposition. A proof can be found for instance in [28]. More has been proved there, but we only quote what we need.
Proposition 3.1
Let Q be a cube. Let \( \Omega \subset {\mathbb R}^n\) be a bounded domain star-shaped with respect to Q. Then \( B_Q \) maps \( C_0^{\infty }(\Omega ) \) into \(C_0^{\infty }(\Omega ;{\mathbb R}^n)\) and for all functions \( g \in C_0^{\infty }(\Omega ) \) it holds
In addition,
for all \( 1<p<\infty \) and \( s \ge 0\) with C only depending on s, p, n and \({{\,\textrm{diam}\,}}(\Omega ) / {{\,\textrm{diam}\,}}(Q)\).
We upgrade the proposition to the case of domains consisting of finitely many cubes of equal side length. These domains are still time independent, and they could be handled using any of the constructions in the literature (e.g. [28]). To keep the presentation self-contained, we include the following simple ad-hoc argument based on [18]. One should notice, however, that in many situations a better constant can be achieved by the use of a more carefully chosen covering for the stationary construction.
Proposition 3.2
Let \( \delta > 0 \) and fix a set of points \( \{z_i\}_{i=1}^{M} \subset \delta \mathbb {Z}^{n} \) such that
is connected. Denote \( S(\delta ) = \{x \in {\mathbb R}^n: {{\,\textrm{dist}\,}}(x,S) < 2 \delta \sqrt{n} \} \).
Then there is a linear operator \( B: C_0^{\infty }(S) \rightarrow C_0^{\infty }(S(\delta );{\mathbb R}^n) \) such that for all \( f \in C_0^{\infty }(S(\delta )) \) with mean value zero it holds
and we have the a priori estimates
and
for all \(1<p < \infty \) and \( s \ge 0 \). Here C only depends on s, p, n, \( \delta \) and M.
Proof
We decompose f into a sum of functions with mean value zero and support in \( Q(z_i,2\delta ) \). Let \( \eta _i \ge 0\) be a smooth function that is supported in \( Q(z_i,2 \delta ) \), is bounded by one and satisfies
We define \({\tilde{\eta }}_i\) through
We call i and j neighbors if \( |z_i - z_j| \le \sqrt{n} \delta \). Given \( z_{j} \), let \(\{c_j(k)\}_{k=1}^{L(j)} \subset \{1, \ldots , M\} \) be a tuple such that \( c_j(k) \) and \( c_j(k-1) \) are neighbors for all \( k > 0 \), \( c_j(1) = j \) and \( c_j(L(j)) = 1 \). In addition, we choose the tuple so that L(j) is minimal. Define
Because the functions \( {\tilde{\eta }}_j \) have mean value one, it readily follows that \( T_i f(x) \) has mean value zero.
By minimality of L(j) , each i satisfies \( c_j(k) = i \) for at most one k. Summing over i and telescoping, the sum above becomes
Here \( c_j(1) = j \) and \( c_j(L(j)) = 1 \), and consequently
Now we have formed the decomposition. Denote \( Q_i = Q(z_i,\delta ) \) and define
Clearly \( {{\,\textrm{div}\,}}Bf = f \). As \( B_{Q_i}T_i f \) is supported in \( Q(z_i,2 \delta ) \), we see that Bf is supported in \( S(\delta ) \). Finally, as the overlap of \( Q(z_i,2\delta ) \) is bounded by a dimensional constant, we deduce by means of Proposition 3.1 for \( \gamma \in {\mathbb N}^{n} \)
Expanding the definition of \( T_i \), applying Leibniz rule, using that \( \eta _i \) have bounded derivatives and finally applying Poincaré’s inequality for trace zero functions in S, we conclude the claimed bounds for Sobolev spaces of integer order. The bounds on fractional Sobolev spaces follow by interpolation although we do not need them here. This concludes the proof for B.
The adjoint operator is defined through
and
We may notice (by the definition of \(T^*\)) that \(B^{*}g\) is supported in \(S(\delta )\). Using the Leibniz rule, Poincaré’s inequality and Proposition 3.1, we conclude the desired bounds for \(B^{*}\). \(\square \)
The simple operators above can be extended to operators acting on space-time functions by a trivial extension, that is, as operators that ignore the time variable. Such an operator is used to handle space-time cylinders. To deal with shapes more general than constant in time cylinders, we weld together thin cylindrical domains. The operator living in the resulting domain can be regarded as an error term in the main construction later. The relevant estimates are easy to prove, but we still ignore the fine boundary behavior of the space-time domain, which will later be the main problem.
Proposition 3.3
Let \( \delta > 0 \) and let \( T > 0 \) be an integer. For each \( j \in \{1,\ldots ,T\} \), let \( S_j \) be a finite union of \( \delta \)-cubes as in Proposition 3.2. Denote \( I_j = [\delta (j-1),j\delta )\), \( S_{I_j} = I_j \times S_j \), and
Set \( \Xi (\delta ) = \{(t,x) \in {\mathbb R}^{1+n}: {{\,\textrm{dist}\,}}(x,S_j) < 2 \delta \sqrt{n},\ t \in \bigcup _{k=j-1}^{j+1} I_k \} \).
Then there exists a linear operator \( B: C_0^{\infty }(\Xi ) \rightarrow C_0^{\infty }(\Xi (\delta );{\mathbb R}^n) \) such that for all \( f \in C_{0,smz}^{\infty }(\Xi ) \)
and the following a priori estimates hold. For all \(1<p < \infty \), \( \lambda \ge 0 \) an integer, \( s \ge 0\), \( h \rightarrow 0 \) and all t
The adjoint operator \(B^{*}\) satisfies
Here C only depends on p, s, l, n and the data of \(\Xi \) (referring to all constants from Proposition 3.2) but not on t, f or h.
Proof
Take smooth functions \( \eta _j: [0,\delta T] \rightarrow [0,1] \) such that \({{\,\textrm{supp}\,}}\eta _j \subset [\delta (j-3/2),\delta (j+1/2)] \cap [0,\delta T] \) and
Let \( B_j \) be the operator from Proposition 3.2 relative to \( S_j \). It is then easy to see that
and its adjoint satisfy the assertions of the proposition. \(\square \)
Now we are ready with the interior piece. We can turn the attention to the boundary. The idea is to use the graph structure in order to exploit line integrals as opposed to curves that appear in many time independent constructions. The explicit description of the curve family of straight lines is easy to handle when the domain changes in time. Less explicit constructions would quickly become intractable.
Proposition 3.4
Let R be an \( n - 1 \)-dimensional rectangle, I an interval, \( \beta \in [0,1] \) and \( \psi : I \times R \rightarrow (0,\infty ) \) a function which is \( \beta \)-Hölder continuous (uniformly continuous if \( \beta = 0 \)) with respect to space and measurable with respect to time. Let
Then there exists a linear operator B on \( C^{\infty } (P) \) such that for all test functions f
and the a priori estimates
hold with
uniformly in t and for all integers \(k \ge 1\). The constant satisfies
and B commutes with \(\partial _t \) and finite differences \( \Delta _h \) in the time variable.
If it holds in addition that \( f \in C_0^{\infty }(P) \), then there also exists an \( \epsilon (f) > 0 \) such that \( Bf = 0 \) whenever \(\psi (t,x') - x_n < \epsilon \).
Proof
By rotational and translational invariance of the operators involved, we may assume that \(R = \prod _{i=1}^{n} [0,r_{i}]\). Using these coordinates, we set
Then it is obvious that \( {{\,\textrm{div}\,}}Bf = f \). The existence of \( \epsilon (f) \) as claimed is also clear from the formula. Commutation with finite differences and derivatives in time variable is also immediate as is the pointwise bound for high order derivatives. It remains to prove the \(L^{p}\) bound.
Because \( \psi \) is \(\beta \)-Hölder continuous, we see that
with a constant only depending on the dimension and the Hölder norm. Then
After a change of variable in the \( x_n \) coordinate, the expression inside the absolute value becomes the classical Hardy operator
that satisfies the bound (2.1) for all \( b < p-1 \). Applying this in \( x_n \) variable, we conclude by Fubini’s theorem
whenever \(b \le p\). If \(b \le 0\), we conclude the case \(\Theta = 1\). If \(0< b \le p \) with \(b < (p-1)/\beta \), we conclude the case \(\Theta = \beta \). If \(p < b \), we can directly estimate
instead and apply Hardy’s inequality to conclude the bound
whenever \(b < (p-1)/\beta \) to get the remaining case \(\Theta = \beta ^{2}\). \(\square \)
Proposition 3.5
Consider the adjoint \(B^{*}\) of the operator from Proposition 3.4. Then \(B^{*}:C^\infty (\Omega ,{\mathbb R}^n)\rightarrow C^\infty (\Omega )\) commutes with differentiation and finite differences in time and the a priori estimates
hold with
If \(\beta = 0\), the bounds for \(b \ge 0\) still holds.
Proof
The proof follows from the same computation as above. However, instead of (2.1) we use the adjoint form (2.2). Note that the case \(\beta = 0\) only uses the bound
which is true without assumptions on continuity. \(\square \)
Now we are in a position to put together the pieces and define a primitive Bogovskij operator in space-time domains with a graph boundary. We can use the primitive Bogovskij operator to decompose generic input data f into localized pieces \( f_j \), to which we can apply the theory for circular cylinders, Proposition 3.1.
It is only the latter step that will make the operator map \( L^{p} \) to a first order Sobolev space. Indeed, the primitive operator will not be well-behaved in any space involving Sobolev regularity. As such, it only satisfies \( L^{p} \) bounds with a weight depending on the spatial Hölder regularity of the boundary. While the estimates for the primitive operator hold in very general domains, the more and more refined estimates require more and more boundary regularity from the domain.
The previously mentioned primitive operator corresponds to \( C^{0,0,\theta } \) domains. The domains \( C^{0,\beta } \) host operators that are Sobolev regular in space. In order to prove meaningful estimates with time derivatives, we have to assume \(C^{\alpha ,\beta ,\theta }\) regularity. Lipschitz domains admit particularly simple estimates, and there the construction reproduces the known stationary results, if trivial time dependency is assumed.
In what follows we constantly assume \(\Omega \) be a \(C^{0,0,\theta }\) domain. It comes with a distance map \(d(t,x) = {{\,\textrm{dist}\,}}(x, \partial \Omega _t)\), whose all powers we extend by zero as \(1_{\Omega }d(t,x)^{b}\) without further notice. We also note that d is uniformly bounded from above as our domain is, and its fibers \(t \mapsto d(x,t)\) are uniformly continuous as can be seen from the regularity assumption on the boundary of the domain.
Theorem 3.6
Let \( \alpha , \beta \in [0,1] \). Assume that \( \Omega \subset {\mathbb R}^{1+n} \) is a \(C^{\alpha ,\beta ,\theta }\) Hölder domain. Then there exists a linear operator B acting on \(C_{smz}^{\infty }(\Omega )\) such that for all \(f \in C_{smz}^{\infty }(\Omega )\)
-
Bf is \(C^{\infty }(\Omega )\) smooth;
-
it holds \({{\,\textrm{div}\,}}Bf = f\);
-
if f is compactly supported in \(\Omega \) so is Bf.
Let \( 1<p< \infty \), let \(b\in {\mathbb R}\) and set
Then there exists a finite constant C only depending on \( \Omega \), \(\delta \), b, p, \(\lambda \) and n such that for all times t and all compactly supported test functions f
where the asymptotic estimate holds when \( h \rightarrow 0 \). The estimate (3.2) holds even without the assumption on compact support.
If \( \beta > 0\), then for all compactly supported test functions
where the asymptotic estimate holds when \( h \rightarrow 0 \). The estimate (3.4) holds even without the assumption on compact support.
If \(\alpha > 0\), then
holds for all test functions, not necessarily compactly supported.
Finally, if any of the right hand sides above is finite, then Bf is in the closure of \(C_0^{\infty }(\Omega ;{\mathbb R}^n)\) with respect to the norm appearing as the relevant left hand side.
Proof
We divide the proof into five subsections. In Subsection 3.1, we construct the first auxiliary operator, which satisfies weighted \( L^{p} \) bounds but not much more. This follows by just gluing together the objects constructed so far. Then in Subsection 3.2 we form an adapted space-time decomposition of the domain, which together with the auxiliary operator is used to decompose the input data into localized pieces. This is used in Subsection 3.3 to define the operator from Theorem 3.6 locally. This is followed by verifying the claimed bounds.
3.1 The first auxiliary operator
By assumption on the domain, we can cover the boundary by finitely many rectangles \( R_i = I_i \times Q_i \). Each rectangle comes with a normal vector \( \textbf{n}_i \), which gives the direction of the graph coordinate, and this vector is normal to the hyperplane containing \( Q_i \). Without loss of generality, we may assume that the rectangles \( R_i + 10 \delta \textbf{n}_i\) would still cover the boundary for a suitably small \( \delta \). Let
form a partition of unity subordinate to \( R_i \) in the boundary region \( \Omega \cap \bigcup _{i} R_i \), and extend these functions by zero to functions defined in all of \(\Omega \). Let \( H_i \) be the half-space normal to \( \textbf{n}_i \) with \( |\partial H_i \cap \partial R_i \cap \Omega | > 0 \) and \(R_i \subset H_i\). In other words, it contains the bottom of the rectangle \( R_i \). Let \( \varphi _i \) be a space mollification of a piecewise affine function that is zero in \( \partial H_i - a \textbf{n}_i \) for \(a \le 0\), one in \( H_i + 5 \delta \textbf{n}_i \) and satisfies \( |\nabla \varphi _i| \le 1/ ( 5 \delta ) \). We also require \(\partial _t \varphi _i = 0 \). Finally, we notice that there is a domain \( \Xi \) as in Proposition 3.3 such that
Let \( B_{int}\) be the operator relative to \( \Xi \) provided by Proposition 3.3. Let \( B_{ext,i}\) be the operator relative to \( R_i \) provided by Proposition 3.4. Here we use the fact that the divergence is a translation and rotation invariant operator. We define
To see that the second term is well-defined, we have to check that the expression in the parenthesis is supported in \( \Xi \) and has mean value zero on each time slice. The first property follows from the fact that \( \eta _i \) partition the unity in the union of \( R_i \) and that \( \varphi _i \) is identically one in \( \Xi ^c \cap {{\,\textrm{supp}\,}}\eta _i \). Indeed, these facts imply
everywhere in \(\Xi ^{c} \). To check the mean value, we integrate by parts to see
Hence the last two terms cancel and we are left with the integral of f. That one is zero by assumption. Once we know that \( B' f\) is well-defined, it follows from the product rule and Propositions 3.4 and 3.3 that \( {{\,\textrm{div}\,}}B' f = f \).
Next we verify the relevant bounds for (3.7). We first claim
Consider first the interior term
By the uniform lower bound on d(t, x) in the support of the quantity in the display above, we estimate the \(L^{p}(d^{\beta (b-p)})\) norm by the unweighted \(L^{p}\) norm. Then we can apply Proposition 3.3 to reduce the matter to estimating the unweighted \(L^{p}\) norm of
The first two terms are trivially bounded by the desired quantity. To estimate the third term, we notice that \(d(t,x) \sim 1\) in the support of \(\nabla \varphi _i\). Hence this term reduces to the weighted bound on \(B_{ext,i}(\eta _i f)\). To estimate the weighted \(L^{p}\) norm of this, we apply Proposition 3.3. Hence (3.8) has been proved.
The second claim is
for \(\lambda \ge 0\) an integer. This is immediate for the \( B_{int} \) part in (3.7) by the arguments as above. For the \( B_{ext} \) part, we note that \( B_{ext,i} \) commutes with the time derivative, and the inequality (3.9) follows by applying Proposition 3.4 to \(\partial _t^{\lambda }(\eta _i f) \).
The third bound to be verified is
for \(0<h< h_0(f)\) when f is assumed to be compactly supported. Because of the compact support as well as the uniform continuity of the graphs enclosing \( \Omega \), there is \( h_0 \) depending on the function f such that if \( 0<h<h_0 \), then \( d(t+h,x) \sim d(t,x) \) in \( {{\,\textrm{supp}\,}}f\) and Proposition 3.4 can be applied to \( \Delta _h f\). Analogous bound for the \( B_{int} \) part in (3.7) is immediate from Proposition 3.3. The distance weight is bounded away from zero by a constant in the support of that term.
Remark 3.7
(Dual of \(B'\)) For future reference, we also note that we can write down formulas for operators \(B_{int,\lambda '}^{*}\) with
Let \(\zeta \) be a smooth and positive bump that is compactly supported in \(\Omega \) and equal to one in the support of \(f_0\). We can choose \(\zeta \) such that \(d(t,x) \sim 1\) in its support, and then
for all \(b \in {\mathbb R}\) by Proposition 3.3. This inequality is not needed for the current proof, but we will refer back to this from the proof of Theorem 4.5.
3.2 Decomposition of the domain
We form a decomposition of Whitney type. By uniform continuity assumption, there is \( \delta : (0,1) \rightarrow (0,1)\) such that if \( |t-s| < \delta (\epsilon ) \), then \(|d(t,x) - d(s,x)|< \epsilon /M \), where d(t, x) is the distance to nearest point in \(\partial \Omega \) with the same time coordinate t and M is a large dimensional constant that can be specified later.
Consider first all time slices \( \Omega _t \) of \( \Omega \). For each n-dimensional slice domain \( \Omega _t \), form its Whitney decomposition by disjoint dyadic cubes \( Q^{t} \). They are the dyadic cubes such that their concentric dilates \( M' Q^{t} \) are contained in \( \Omega _t \) but their \(4M'\) dilates are not. Here we can freely choose \(1< M' < M\). The Whitney cubes form a partition of \(\Omega _t\). Given such a cube \( Q^{t} \), let \( r(Q^{t}) \) be its side length. Set a height \( h(Q^{t}) = \delta ( r(Q^{t})) \), and extend \( Q^{t} \) to a cylinder
The family of Whitney cubes \(\{Q_{j}^{t}\}\) gives rise to a family of cylinders \(P_{j,t}\), which covers the slice \( \Omega _t \), now regarded as a subset of the space-time.
The full family \( \{P_{j,t}\}_{j \in {\mathbb N},t \in {\mathbb R}} \) covers the whole domain \( \Omega \). Fix a spatial side length \(2^{k}\). Fix a dyadic cube \(Q \subset {\mathbb R}^n\) with \(r(Q) = 2^{k}\). Consider the family of all (j, t) such that there is an interval \(I_{j,t}\) so that \(I_{j,t} \times Q = P_{j,t}\) for a cylinder as above. By definition, all \(I_{j,t}\) are equally long. If the interval covered by \( I_{j,t} \) is open, we add additional intervals to contain the endpoints in their closures. Keep a minimal subfamily of \( I_{j,t} \) that still covers the union of the intervals in the original family and discard the rest. Such a minimal subfamily has overlap bounded by two. Performing the reduction for each dyadic cube of each side length, we obtain a reduced family of space-time cylinders \(\{ P_j \}\).
Consider further the reduced subfamily. Let \((t,x) \in P_j\). Let \( r_j \) be the side length of \( P_j \). Then
for all s with \( (s,x) \in P_j \) and consequently by the triangle inequality
for all \((s,x) \in P_{j}\). If \(P_{j'}\) is another cylinder from the reduced family such that \(P_j \cap P_{j'} \ne \varnothing \), then \(r_j \sim r_{j'}\). We conclude that the family of reduced cylinders has bounded overlap, and the same goes for the family of concentric dilates by factor less than \(M'\). We denote \( P_j^{*} = M' P_j \). We denote the spatial bases of \( P_j^{*} \) by \( Q_j^{*} \). The largest possible dilation that still allows for this can be changed by increasing the parameters M and \(M'\) in the construction.
3.3 Construction of the operator
Let \( \chi _j \) be a smooth partition of unity subordinate to \(P_j^{*}\). Without loss of generality, we can assume the partition to satisfy
and \( {{\,\textrm{supp}\,}}\chi _j \subset P_j^{*} \). We let
Then
and we define
where we use the simple reference Bogovskij integral (3.1) acting on the space variables only.
3.4 Sobolev regularity in space
The Sobolev bounds for (3.1) are known, see Proposition 3.1. Fix t. We have
so that by \( 1_{P_j^{*}}(t,x) d(t,x) \sim 1_{P_j^{*}}(t,x) r_j \)
Here
with \( |\nabla \chi _j| \le C r_j^{-1} \), and the support of \( B_{Q_j} f_j \) is contained in the convex hull of the union of \( {{\,\textrm{supp}\,}}f_j \) and \( P_j \). Hence
where we used (3.8) and the fact that \( \Omega \) is bounded. This proves (3.4).
To prove (3.5), we note as before
where
Using
and (3.8) for \( {{\,\textrm{I}\,}}\) and (3.10) for \( {{\,\textrm{II}\,}}\), we conclude (3.5). Note that as we prove an asymptotic estimate when \( h \rightarrow 0 \) and f is compactly supported so that \( \delta (r_j) \) has uniform lower bound, we can assume \( h \delta (r_j)^{-1} < h^{1/2} \).
3.5 Bounds without space derivatives
The remaining inequalities follow by the same reasoning. Indeed, because \( B_{Q_j}f_j \) has compact support in \( Q_{j}^{*} \), by Poincaré’s inequality for functions with zero boundary values in space variable
where the Whitney property of \( P_j^{*} \) gives \(r_j \sim d(t,x) \) and \(\lambda \ge 0\) is any integer.
We write
to obtain the bound
Notice that if \(\lambda = 0\), there is no factor \(\delta (r_j)\) and if \(\lambda > 0\), then we are assuming \(\alpha > 0\) so that \(\delta (r_j) \le C r_{j}^{1/\alpha }\). We find
Hence we can sum up the \(Q_j^*\) use there finite overlap and use (3.9) to conclude (3.2) and (3.6). Similarly, the asymptotic estimate (3.3) follows by using the estimates for \( {{\,\textrm{I}\,}}\), \( {{\,\textrm{II}\,}}\) and \( {{\,\textrm{III}\,}}\). \(\square \)
Remark 3.8
There are multiple fine details that could be improved further. However, for the sake of transparent presentation, we have attempted to keep the formal statement of the theorem simple. We comment a few of such details below.
-
The Hölder exponent \(\beta \) only affects the estimates locally. Suppose that the boundary of \(\Omega \) is covered by rectangles \(R_i\) so that \(\partial \Omega \cap R_i\) is a graph of a \(\beta _i\) Hölder continuous function as in the proof. Then we can replace the constant exponent \(\beta \) in all the estimates by a variable exponent \(\beta : \Omega \rightarrow [0,1]\) defined as
$$\begin{aligned} \beta (t,x) = \min _{(t,x) \in R_i} \beta _i \end{aligned}$$if the right hand side is well-defined and as \(\beta (t,x) =1\) otherwise. In particular, if the domain is smooth except for a single cusp, then it is possible to construct B such that estimates for a smooth domain hold except for an arbitrarily small neighborhood of the singularity of the boundary.
-
The same observation applies to the time regularity parameter \(\alpha \). Even if \(\alpha = 0\), it is possible to obtain estimates for the time derivatives in the interior of the domain. The proof shows that the weight \(d(t,x)^{-1/\alpha }\) does not become infinity but depends on the modulus of continuity of the boundary graph.
-
The constants C in the estimates can be written as \(C_1 + C_2\), where \(C_1\) depends on the domain only through a linear dependency on
$$\begin{aligned} \sum _{i=0}^{A} \Vert \psi _i \Vert _{\text {H}\ddot{o}\text {lder}} \end{aligned}$$where A is the number of boundary patches from Definition 2.1 and \(\psi _i\) are the corresponding graph functions, and through the numerical parameters \(\alpha \) and \(\beta \). The constant \(C_2\) only depends on the smooth interior domain away from the boundary patches. This dependency is not the focus of the present paper (see Proposition 3.2 and the preceding discussion).
-
These remarks also apply to Theorem 4.1.
The weights on the left hand side quantify a possible boundary blow-up of the gradient. We can also reformulate it in terms of unweighted \( L^{p} \) scale. We clarify the interdependency of the weight and the integrability gap by recalling the following two propositions.
Proposition 3.9
Assume that \( S \subset {\mathbb R}^{n} \) is a bounded domain such that for some \(C_{S} \ge 0\), some \(\theta \in (0,1]\) and all \(\varepsilon > 0\)
Let \({{{{\eta }}}} > 0\). Then for all test functions f
whenever
The constant C is independent of f.
Proof
By Hölder’s inequality
By the assumption, for all \(m \ge 0\)
and we see that
converges whenever
\(\square \)
Proposition 3.10
Let \(\Omega _t\) be a bounded \(\beta \)-Hölder domain. Define \(\theta \) as in Proposition 3.9.
-
It holds \(\theta \ge \beta \).
-
If \(\Omega _t\) is Lipschitz except for finitely many power type cusps, then \(\theta = 1\).
-
If \(\partial \Omega _t\) is \(n-1\) rectifiable and \(\mathcal {H}^{n-1}(\partial \Omega _t) < \infty \), then \(\theta = 1\).
Proof
Given a graph of a general \(\beta \)-Hölder continuous function, we can cover its \(\varepsilon \) neighborhood by \( \varepsilon ^{-(n-1) + (\beta -1) }\) pieces of n dimensional boxes with diameter roughly \(\varepsilon \). Hence \(\theta \ge \beta \) for general Hölder domains. The second item is a special case of the third item. We prove the third item. Rectifiability implies that the \(n-1\) dimensional Minkowski content of \(\partial \Omega _t\) equals its Hausdorff measure, which we assume to be finite, see 3.2.39 in [21]. By the definition of the Minkowski content and the fact that \(\Omega _t\) is bounded, we conclude there is C such that for all \(\varepsilon > 0\)
This concludes the proof. \(\square \)
Using the propositions, we can embed the target spaces in Theorem 3.6 into unweighted spaces.
Corollary 3.11
Let \(\Omega \) be a \(C^{0,\beta }\) domain and \(\theta \), p and q as above. Then
for \((1-\beta )/\theta < 1/q - 1/p\). In particular, the \(\theta = 1\) when \(\partial \Omega _t\) is rectifiable with finite area and \(\theta \ge \beta \) in the generic case.
Proof
Theorem 3.6, Proposition 3.10 and Proposition 3.9. \(\square \)
4 Regularity of high order
Next we prove estimates involving higher order Sobolev norms. We separate these estimates from Theorem 3.6 for better readability, although they follow by essentially the same arguments.
Theorem 4.1
Let \(\alpha \in [0,1]\) and \( \beta \in (0,1] \). Let \( \Omega \subset {\mathbb R}^{1+n} \) be a \( C^{\alpha ,\beta ,\theta }\) and consider the operator B from Theorem 3.6. Then for all \( p > 1 \), \( k \ge 1 \), \( \kappa \in \{0,1\} \) and f compactly supported
uniformly in t and asymptotically as \( h \rightarrow 0 \). If f is not compactly supported, the estimate still holds with \(\kappa = 0\).
Further, if \(\alpha > 0\), we have the time regularity bound
valid for all integers \( \kappa \ge 0 \), uniformly in t. The constant C depends on the domain, n, p, \( \kappa \) and k. The norms on the left hand sides of (4.1) and (4.2) can be replaced by an unweighted \( \dot{W}^{k+1,q} \) norm under the conditions as stated in Proposition 3.9.
Remark 4.2
The weights in the above estimate can also be located differently. The proof allows for setting \( d(t,x)^{b} \) to the integral on the left hand side and \( d(t,x)^{b/\beta }\) to all terms on right hand side. Here b must be non-positive.
To facilitate the later reference, we also note that the estimate (4.1) can be written as
and the estimate (4.2) reads
when using the notation from Sect. 2.3. Note that there are additional terms on the left hand side, but those only lead to lower order contributions, which can be controlled by the same right hand side as the highest order contribution.
Proof
The proof is a continuation of the proof of Theorem 3.6. We let B be the operator from Theorem 3.6, and consider the notation as given in Subsections 3.2 and 3.3.
We first estimate
where \( \kappa \in \{0,1\} \). Using the bound for \( B_{Q_j} \), we estimate a single j term by
By Leibniz rule and the derivative bounds for \( \chi _j \) based on the Whitney property, the second term is of the desired form.
We focus on the first term. Using the Leibniz rule, we find an upper bound by
where we used that
for \( |\gamma '| = k-l \) and \( 0 \le \lambda \le \kappa \). Next we notice that the term with \( \kappa - \lambda = 1 \) is of the order o(1) as \( h \rightarrow 0 \).
Collecting the argument together, we bound
where
We use the definition (3.7) and Propositions 3.3 and 3.4 to estimate
Then, for h small enough, we can apply Proposition 3.4 to conclude (4.1).
The case with time derivatives is not much different. We can replace the finite difference \(\Delta _h\) by an iterated differentiation in time and replace the use of product rule for finite differences by the Leibniz rule for iterated differentiation. The estimate (4.2) then follows as above. \(\square \)
Corollary 4.3
If \(\Omega \) is \(C^{\alpha ,\beta ,\theta }\) with \(0 < \alpha , \beta \le 1 \) and \(\Omega _t\) satisfies Hardy’s inequality (2.3) for negative powers, then the right hand side of (4.2) can be replaced by
and the norm on the right hand side of (4.1) can be replaced by \(C \Vert f \Vert _{\dot{W}^{k,p}(\Omega _t)}\). Here f is assumed to be compactly supported.
Proof
The left hand side of (4.2) is bounded by \({{\,\textrm{I}\,}}\) and \({{\,\textrm{II}\,}}\) in (4.3) and (4.4) with \(\Delta _h\) replaced by \(\partial _t\) and o(1) replaced by zero. Applying Hardy’s inequality (2.3) repeatedly and then the macroscopic estimates for definition (3.7), Proposition 3.3 and derivatives bounds in Proposition 3.4, we estimate the version of \({{\,\textrm{II}\,}}\) with time derivatives by
Applying then the weighted \(L^{p}\) bound in Proposition 3.4, we conclude the proof for \({{\,\textrm{II}\,}}\). The estimate for \({{\,\textrm{I}\,}}\) is simpler as we can skip the part of the argument related to \(B'\) but otherwise argue as above with Hardy’s inequality. \(\square \)
Remark 4.4
If \(\beta = 1\), the assumptions of the Corollary 4.3 are satisfied. In addition, any \(C^{\alpha ,\beta ,\theta }\) domain in \({\mathbb R}^{1+2}\) satisfies the assumptions as discussed in connection with Theorem 1.2 in [38].
Next we discuss the negative order estimates. These estimates follow from the positive order estimates for the adjoint operator. We point out that the unweighted version of the theorem below holds for the classical construction in Lipschitz domains with zero boundary values when \(k < 2 - 1/p \). For lower values of k it holds with zero boundary values on the right hand side but not on the left hand side. In accordance, we obtain an unweighted bound with zero boundary values for \( k = 1\) and \(\beta = 1\) on the left hand side, but the value \(k = 2\) already creates a weight function to quantify the possible failure of the unweighted estimates. The claim could not be proved with input in the dual of inhomogeneous Sobolev space, but the dual of homogeneous Sobolev space would already do in the stationary Lipschitz case. We refer to the discussion starting on page 182 of the book [24] as well as the paper [38] for more, but we do not attempt to prove results beyond zero boundary value input in our setting.
Theorem 4.5
Let \( \Omega \subset {\mathbb R}^{1+n} \) be a \( C^{\alpha ,\beta ,\theta } \) domain with \(0 < \alpha \le 1\) and \(0 <\beta \le 1\). Fix an integer \(k > 0\), a real number \(1<p<\infty \), and another integer \(\lambda \ge 0\). If \(\beta > 0\), then for any \( f \in C_{smz}^{\infty } \) and any time t
If \(\lambda = 0\), the bound holds with \(\beta = 0\).
Proof
To carry out the proof, we need to study the adjoint of B in detail. In principle we need to dualize the local Bogovskij operators on the Whitney-type cover first, then the decomposition operator and finally the first auxiliary operator. We prove the inequality (4.5) first. Using the notation from Sects. 3.1, 3.2, 3.3 and Remark 3.7 we write
As before we divide \(B'\) defined in (3.7) into two parts
Let \(\zeta _1\) be a smooth cut-off that equals one where
and let \(\zeta _2\) be a smooth cut-off that is equal to one where
We define the relevant (almost) adjoint operators
and
Here \(B_{int,\lambda '}^{*}\) is the same operator as in (3.11).
By Proposition 3.5, we find
for all \(b > -1 \) where
On the other hand, \( d(t,x) \sim 1\) in the support of \(\zeta _2\), and so we can use Proposition 3.3 and Poincaré’s inequality to conclude that (4.6) holds with \(B_{1,\lambda '}^{*}\) replaced by \(B_{2,\lambda '}^{*}\), as shown in (3.11). Set
where \({\tilde{\chi }}_j\) is a bump function equal to one in the support of \(B_{Q_j}f_j\) (with finite overlap and the usual bounds).
To prove the bound in the statement of the theorem, take a smooth test function \(\psi \). We may assume without loss of generality that \(\partial _t^{\lambda } Bf\) is compactly supported. Now
Hence it suffices to show that
and we may estimate the terms \(B_{1,\lambda '}^{*}\) and \(B_{2,\lambda '}^{*}\) as well as the third term in the definition separately. Note that as the starred operators never have compact support, the right hand side of the norm inequality (4.5) is bound to have a function space with subscript zero as we insist on having \(k\ge 1\).
We start the estimation from \(B_{1,\lambda '}^{*}\). The estimates for the other terms follow by the same argument. It follows from (4.6) with \(b = p \lambda '/ (\alpha \beta ) \), the Poincaré inequality and Proposition 3.1 that
This is the desired bound for \(B_{1,\lambda '}^{*}\). As the bound for \(B_{2,\lambda '}^{*}\) and the bound for the third term in (4.7) follow by the same computation, the proof of (4.8) is complete. The claim (4.5) follows by the definition of the norms. \(\square \)
Remark 4.6
One time derivative can be replaced by a finite difference as was done before using that the input function f is compactly supported. We omit the details of the proof.
Whereas Theorem 4.5 dealt with duals of intersection spaces, we can reformulate a result for duals of sum spaces. In the proposition below, an intersection space gets mapped into a sum space, which looks like a weaker result, but from the point of view of applications using an input data in an intersection space is very natural.
Proposition 4.7
Assume that \(\Omega \in C^{\alpha ,\beta ,\theta }\) with \(0 < \alpha ,\beta \le 1\). Let \(\lambda \ge 0\) be an integer, and for each \(0 \le \lambda ' \le \lambda \), take \(k_{\lambda '} \ge 1\) and \(p_{\lambda '} \in (1,\infty ) \). Then for all \(f \in C_{smz}^{\infty }(\Omega )\)
where the supremum is over all bounded \(\psi \in C^{\infty }(\Omega _t)\) with
and \((X_{\lambda '},Y_{\lambda '})\) is either
or
Proof
We claim \(\partial _t^{\lambda } Bf\) to be in
We refer back to the proof of Theorem 4.5. Recall that
where we define \(B_{\lambda '}^{*}\) according to (4.7). Hence we are left with showing that
This follows by estimating \( \Vert B_{\lambda '}^{*} \psi \Vert _{Y_{\lambda '}}\le c \Vert \psi \Vert _{X_{\lambda }'}\). These estimates follow by adjusting the estimates leading to to verification of (4.8) accordingly and we omit the details here. We just mention, that in the case the differentiability is not increased (which is the second possible choice of pairing) one can decrease the power of the distance using Poincaré’s inequality. It happens precisely in the inequality marked with an asterisk in (4.9). \(\square \)
The strength of this formulation lies in the fact that the spaces above can often be identified with weighted \(L^{p}\) spaces. As an important special case, we consider \(1<p,s< \infty \) and assume
Then \(\partial _{t} Bf\) is in the dual space of
which is
In particular, Proposition 1.5 follows with aid of this estimate and Proposition 3.9.
Corollary 4.8
Let \( \Omega \) be a \( C^{\alpha ,\beta ,\theta } \) domain with \(\alpha , \beta \ge 0\). Let \( \kappa \ge 0 \) and \(p \in (1,\infty )\). Let f be a limit of functions in \( C_{0,smz}^{\infty }(\Omega )\) and assume, asymptotically as \(h \rightarrow 0\),
if \( \alpha , \beta > 0\) and
if \(\alpha = \beta = \kappa = 0\).
Then \( \partial _t^{\lambda } Bf \in C(0,T; L^{q}({\mathbb R}^n)) \) for all \(0 \le \lambda \le \kappa \) and \(q > 0\) such that
for some \(\varepsilon > 0\).
Proof
Take t. We handle the cases \(\beta = 0\) and \(\beta > 0\) simultaneously using the convention \(0/0 = 0\) for the quantity \((\lambda - \kappa )/(\alpha \beta )\) appearing in the definition of the norm. We want to show
By Proposition 3.9\( \Vert \Delta _h \partial _t^{\kappa } Bf \Vert _{q} \le C \Vert d^{1-\beta } \Delta _h \partial _t^{\kappa } Bf \Vert _{p} \). Let \( \epsilon > 0 \). By the a priori bounds, we can find a test function \( f'\) such that for all \(0 \le \lambda \le \kappa \)
the first term coming from the definition of the space, the second coming from the definition of \(\partial _t^{\lambda } B \) as extension from a dense subspace. We also used the fact
We use (4.5) an the remark after Theorem 4.5 to compute
Here the norm on the right hand side is bounded by
Choosing h small enough, we see that \( \Vert \Delta _h \partial _t^{\kappa } Bf \Vert _q < \epsilon \) and the proof is complete. \(\square \)
Corollary 4.9
Let \(\beta \in (0,1] \), \( k \ge 1 \) and \( 1<p<\infty \). Let \( \Omega \) be a \( C^{0,\beta } \) domain.
If f is a limit of functions in \( C_{0,smz}^{\infty }(\Omega )\) and
then
for all \(q > 0\) such that
for some \(\varepsilon > 0\).
If in addition \( \beta = 1 \) and if f is a limit of \(C_{0,smz}^{\infty }(\Omega )\) functions with \(f \in C(0,T;\dot{W}^{k,p}({\mathbb R}^n))\), then \( Bf \in C(0,T; W^{k+1,p}({\mathbb R}^n)) \).
Proof
The argument is essentially the same as for Corollary 4.8. \(\square \)
Corollary 4.10
Let \( \Omega \) be a \( C^{\alpha ,\beta ,\theta } \) domain and assume that \( 1<p<\infty \). If f is a limit of functions in \( C_{smz}^{\infty }(\Omega )\),
Then
for all \(q > 0\) such that
for some \(\varepsilon > 0\).
5 Pressure estimates by duality
In the remaining sections, we demonstrate how the inverse of the divergence can be used to provide pressure estimates for the Navier–Stokes system from Subsection 1.1. We study weak and even very weak solutions. The gradient of the pressure is then merely a distribution, and its regularity is expressed most naturally in terms of duality. The time independent version of the relevant duality statement is known as Lions–Nečas negative norm theorem. In the following subsection, we produce an analogous statement in the context of pressure estimates.
5.1 Negative norm theorem
The choice of the set of test functions in the weak formulation of the equation is important here. While Definition 1.6 only asks the equation to be valid for compactly supported test-functions, the set of test-functions can be much larger for instance in the case of outflow boundary conditions or in the case of fluid–structure interactions.
As will be seen below, the pressure can always be reconstructed up to a function only depending on time. We will construct the pressure in the dual space of functions for which
holds in a suitable weak sense. Here \(\nu \) is the outer normal of the time-slice \(\Omega _t\). It need not be defined in any classical sense, but we can define the class of test functions with the property above by
and use the subscript \(\pi ^{*}\) in accordance with the conventions in Subsection 2.3 to define the spaces
as the closure of \(C^\infty _{\pi ^*}(\Omega ; {\mathbb R}^n)\) with respect to the relevant norms.
This set-up allows us to reconstruct the pressure up to its mean value in space. It is noteworthy that the mean value of the pressure is often an invariant of a solution, which has to be given as an additional information. We can include the full family of impermeable boundary conditions, where \(v(t,x)\cdot \nu (t,x)=0\) whenever \(x \in \partial \Omega _t\). Accordingly we generalize Definition 1.6 by assuming that
\( \langle \Lambda ,\psi \rangle = \langle s_0 ,\psi \rangle \) for divergence free test functions
where \(\Lambda \) is the sum of the distributions appearing on the left hand side of the equation and \(s_0 \in C^{\infty }(\Omega ;{\mathbb R}^n)^{*}\) is a functional with \( \langle s_0,\psi \rangle =0\) if
We then aim to solve
for \(\pi \).
The statement below can be seen as a generalized negative norm theorem. The reader is advised to remember the notation for \(L^{a}W^{\aleph }\) from Sect. 2.3 before reading further.
Lemma 5.1
Let \(\alpha , \beta \in [0,1]\) and \(\Omega \) be a \( C^{\alpha ,\beta ,\theta }\) domain. Consider a vector-space of test functions A with \(C_{0}^{\infty }(\Omega ; {\mathbb R}^n)\subset A \subset C^{\infty }_{\pi ^*}(\Omega ; {\mathbb R}^n)\). In case \(C_{0}^{\infty }(\Omega ; {\mathbb R}^n) \ne A\), consider an additional functional \( s_0 \in A^*\subset C_{0}^{\infty }(\Omega ; {\mathbb R}^n)^{*}\) with \( \langle s_0,\psi \rangle =0\) for all \(\psi \in C_{0}^{\infty }(\Omega ; {\mathbb R}^n)\).
If \( \Lambda _i \in A^*\) are such that
for all divergence free test functions \( \psi \in A \), then there exist \(\pi \in C^{\infty }(\Omega )^{*}\) such that for all \( \psi \in A \subset C^{\infty }_{\pi ^*}(\Omega ;{\mathbb R}^n) \)
that is, \( \Lambda _i = \nabla \pi _i \) in the weak sense and \(\pi = \sum _{i=1}^{m} \pi _i\).
Given i, let \(\kappa \ge 0\), \(1< q \le \infty \), \(1< p < \infty \). Let \(\theta \in (0,1]\) be such that the assumptions of Proposition 3.9 hold. Assume that \(\Lambda _i = \Lambda _i' \circ \partial _t^{\kappa }\). Then we can arrange the construction to make the following four estimates valid.
-
(1)
Let \(b \in {\mathbb R}\). Define
$$\begin{aligned} \Theta = {\left\{ \begin{array}{ll} 1, &{} \quad \text {if } b \le 0\\ \beta , &{} \quad \text {if }0< b \le 1\text { and } p< (p-1) /\beta \\ \beta ^{2}, &{} \quad \text {if }1< b< (p-1)/\beta \text { or }0<b <(p-1)/\beta \le p \end{array}\right. }. \end{aligned}$$If any of the three cases applies to b, then
$$\begin{aligned} \Vert \pi _i \Vert _{L^{q}W_0^{0,p,\infty ,-\kappa ,- \alpha \beta , \Theta b}(\Omega )} \le C \Vert \Lambda _i' \Vert _{L^{q}W^{0,p,\infty ,0,\infty ,\beta ( b-1)} (\Omega )}. \end{aligned}$$ -
(2)
Let \( k \ge 1 \). Then
$$\begin{aligned} \Vert \pi _i \Vert _{L^{q}W_0^{-k+1,p,-\beta ,-\kappa ,-\alpha \beta ,0}(\Omega )} \le C \Vert \Lambda _i' \Vert _{L^{q}W^{-k,p,\infty ,0,\infty ,1-\beta }(\Omega )}. \end{aligned}$$ -
(3)
Let \( k \le 0 \) and \( b \ge 0 \). Then
$$\begin{aligned} \Vert \pi _i \Vert _{L^{q}W^{-k+1,p,\infty ,-\kappa ,\infty ,-b}(\Omega )}&\le C \Vert \Lambda _i' \Vert _{ L^{q}W^{-k,p,1,0,\infty ,\kappa /\alpha +1 - b\beta }(\Omega )},\\ \Vert \pi _i \Vert _{L^{q}W^{-k+1,p,\infty ,-\kappa ,-\alpha \beta ,0}(\Omega )}&\le C \Vert \Lambda _i' \Vert _{ L^{q}W^{-k,p,1,0,\infty , 1-\beta }(\Omega )}. \end{aligned}$$ -
(4)
Let \(k \le 0\). Then we can write
$$\begin{aligned} \pi _i = \sum _{\lambda =0}^{\kappa } \pi _i^{\lambda } \end{aligned}$$with
$$\begin{aligned} \Vert \pi _i^{\kappa - \lambda } \circ \partial _t^{\lambda - \kappa } \Vert _{X_{\lambda }} \le C \Vert \Lambda _i' \Vert _{Y_{\lambda }} \end{aligned}$$where each \((X_{\lambda }, Y_{\lambda })\) can be set freely to either
$$\begin{aligned} (L^{q_{\lambda }}W^{-k_{\lambda },p_{\lambda },\infty ,0,\infty ,0}(\Omega ), L^{q_{\lambda }}W^{-k_{\lambda },p_{\lambda },\infty ,0,\infty ,-\beta +\lambda /\alpha }(\Omega )) \end{aligned}$$or
$$\begin{aligned} (L^{q_{\lambda }}W^{-k_{\lambda }+1,p_{\lambda },\infty ,0,\infty ,0}(\Omega ), L^{q_{\lambda }}W^{-k_{\lambda },p_{\lambda },\infty ,0,\infty ,1- \beta +\lambda /\alpha }(\Omega )). \end{aligned}$$with \(k_{\lambda } \le 0\) and \(1< p_{\lambda } < \infty \).
The constants C only depend on the domain and the parameters of the function spaces.
Proof
We study test functions \( \varphi \in C_{\pi ^{*}}^{\infty }(\Omega ;{\mathbb R}^n) \) with
Then \( \varphi - B {{\,\textrm{div}\,}}\varphi \) is divergence free and \( B {{\,\textrm{div}\,}}\varphi \) has zero boundary values. We define
for all test functions \(\psi \in C^{\infty }(\Omega )\) with
and consequently every \( \varphi \in C_{\pi ^{*}}^{\infty }(\Omega ;{\mathbb R}^n) \) satisfies
where the last equality used that \( B {{\,\textrm{div}\,}}\varphi \) has zero boundary values.
By Theorem 4.1, restricting the attention to functions with mean zero on all time slices, \( \partial _t^\kappa B \) is a bounded linear operator
and by Theorem 4.5\(\partial _t^{\kappa } B\) is bounded
Writing, \( \pi _i = - \Lambda _i \circ B \), we conclude that \(\pi \) satisfies the claimed bounds in (1), (2) and (3).
To prove (4), we use the proof of Proposition 4.7. As \(\pi _i = - \Lambda _i' \circ \partial _t^{\kappa } \circ B\), we can use the decomposition from the short proof of Proposition 4.7 to define
Then the norm estimates claimed here are dual to the ones shown in the proof of Proposition 4.7. Hence we have completed the proof of (4).
Finally, by the Hahn–Banach theorem one may extend every \(\pi _i\) to act on all functions from \(C^{\infty }(\Omega )\) satisfying the relevant bounds. \(\square \)
Remark 5.2
The construction leaves the question of the mean value of the pressure open. This additional data can be fixed, but it will have an effect on the time regularity of the pressure. For instance, if the pressure term \(\pi _i\) is wanted to have mean value \(m_i(t)\), we can take a pressure term from above and define a corrected pressure term
so that \( \langle {\tilde{\pi }}_i(t,\cdot ),1 \rangle = m(t)\). As the modification terms are space independent, the new pressure term \({\tilde{\pi }}_i\) satisfies the equations, but its regularity in time variable is affected by the desired mean value \(m_i(t)\) as well as the volume of the domain, both of which can be non-trivial contributions.
The connection to the Lions–Nečas theorem is the content of the following Proposition.
Proposition 5.3
Assume that \(\Omega \) is \(C^{\alpha ,\beta ,\theta }\) with \(\partial _t | \Omega _t | = 0\). Then for all \(k, \kappa \ge 0\) and \(1<p,q<\infty \), we have that for all \(f \in C_0^{\infty }(\Omega )\) with mean value zero at every time slice
Proof
Consider a function \(f \in C_0^{\infty }(\Omega )\) with
for all t. For test functions \(\psi \in C^{\infty }(\Omega _t;{\mathbb R}^n)\)
To prove the reverse inequality, we define \(\pi \) on test functions with mean value zero through \( \langle \pi , \psi \rangle = \langle \nabla f, B \psi \rangle \). Then \(\pi (t,\cdot ) = f(t,\cdot ) + c(t) \) and we may choose \(\pi (t,x)\), now on all test functions, to be smooth and with mean value zero so that \(c(t) = 0\). The second item of Lemma 5.1 still applies. We see that
This finishes the proof. \(\square \)
5.2 Pressure estimates
We turn to two concrete applications. The first one is on very weak solutions of the Dirichlet problem. The second one is about weak solutions with a slip boundary condition. As was mentioned in the introduction, the existence of a velocity field v is known in many cases [47, 48], but the pressure is commonly introduced only as an abstract Lagrange multiplier, and it is not even included in the respective weak formulation in many cases.
In accordance with the focus of the current manuscript, we consider a pressure that is global in space but local in time. As we consider local-in-time solutions, we will not mention initial values among the boundary conditions here. We actually consider solutions that are defined on the open interval (0, T). In view of the Bogovskij estimates, respective global in time pressure estimates for Cauchy problems can also be deduced without further difficulty.
First let us discuss the important case of Dirichlet boundary conditions
for almost every \(t\in (0,T)\). Dirichlet boundary conditions are commonly defined via the choice of the function space in which the solutions are to be found. Consequently, Dirichlet boundary conditions are only well-defined for functions that are smooth enough. That is, the boundary of the domain must have non-zero capacity relative to the relevant function space. In view of the reconstruction of a pressure, the Dirichlet boundary values of the velocity are practically not seen at all. In particular, a pressure may be reconstructed under assumptions much weaker than \(v\in L^1(0,T;W^{1,1}(\Omega _t))\). Hence we assume \(v \in L_{loc}^{2}(\Omega )\) in what follows, and v may or may not satisfy a Dirichlet boundary condition in whichever form.
Define
where the forces f and F are the given right hand sides of the equations, possibly just distributions. Restating Definition 1.6, the pair \((v,\pi )\) is called a local very weak solution to (1.2), possibly coming from a Dirichlet boundary data, if
holds for all \( \psi \in C_{sol,0}^{\infty }(\Omega ;{\mathbb R}^n) \), and
hold for all \( \psi \in C_{0}^{\infty }(\Omega ;{\mathbb R}^n) \). We can directly apply Lemma 5.1 to conclude the following statement.
Theorem 5.4
Let \(v \in L_{loc}^{b}(\Omega )\) for \(b>2\) satisfy (5.2). Then there exist \(\pi _i\), \(i=1,\ldots , 5\), such that \((v, \sum _i \pi _i)\) is a very weak solution to (5.3) and the estimates from Lemma 5.1 apply.
Next we consider general impermeable boundaries. For the motivation, we assume that the domain and the velocity of the fluid are given and smooth. Actual results are stated in an abstract framework. We define \(\nu (t,\cdot )\) as the spatial outer normal of \(\Omega \) and \(\tau ^j\) as the jth tangential vector, \(j=1,...,n-1\). In the case of cylindrical domains, the impermeability condition reads (locally)
In the case of non-cylindrical domains, it means that the fluid moves to the normal direction as fast as the boundary of the domain. We can use the local graph coordinates and assume that locally \(\Omega _t\cap R=\{(x',x_n)\in R:0<x_n<\psi (t,x')\}\). Given a boundary point \(x=(x',\psi (t,x'))\), the impermeability condition then reads
The motion of the fluid in the tangential direction is neither affected by the impermeability condition, nor by the stress forces depending on the pressure at the boundary. Hence we may allow the flow to change tangentially either freely or according to an external force acting on the fluid-stresses in tangential direction:
where we generally assume \(s_0\in C_0^{\infty }({\mathbb R}^{n+1})^{*}\) with \(s_0(\phi )=0\) for all \(\phi \in C^\infty _c(\Omega )\). The respective force \(s_0\) would typically depend on the fluid-velocity itself, the force F or the motion of the domain or any combination of the previously listed [48].
Next we give a weak formulation. We ask
to hold for \(\psi \in \mathcal {T}_{\nu ,sol}\), where
We define \(\Lambda _i' = \Lambda _i \) for \(i \in \{1,2,4,5\}\) as in (5.1) and we set
The pair \((v,\pi )\) is a local solution to (1.2) with boundary conditions (5.4) and (5.5) if
holds for all \( \psi \in \mathcal {T}_{\nu ,sol}\) and
holds for all \( \varphi \in \mathcal {T}_{\nu } \). We can directly apply Lemma 5.1 with \(A = \mathcal {T}_{\nu }\) to conclude the following statement.
Theorem 5.5
Let \(a,b > 1\) and \(c > 2\). Let \(v \in L^{c}(\Omega ;{\mathbb R}^n)\) with \(1_{\Omega } |\nabla v| \in L^{a}L^{b}(\Omega )\) satisfy (5.6). Then there exist \(\pi _i\), \(i=1,\ldots , 5\), such that \((v, \sum _i \pi _i)\) is a solution and the estimates from Lemma 5.1 apply.
We conclude the discussion by connecting these statements to the theorems in the introduction.
Proof of Theorem 1.9
We apply (3) of Lemma 5.1 to \(\psi \mapsto \langle v, \partial _t \psi \rangle \). We have \(\kappa = 1\) and we can use the indices \((0,p,\infty ,0,\infty ,1-\beta )\) on the right hand side. Hence we conclude the norm of \(\pi _{time}\) has its
norm bounded by the relevant weighted \(L^{p}\) norm of v.
To deal with the convection term \(\psi \mapsto \langle v, \nabla \psi \rangle \), we use (2) with right hand side indices \((-1,p/2,\infty ,0,\infty ,1-\beta )\) to conclude the membership in
To handle the second term on external force \(\psi \mapsto \langle F, \nabla \psi \rangle \), we use (2) with right hand side indices \((-1,r,\infty ,0,\infty ,1 - \beta )\) giving
To handle the viscosity term \(\psi \mapsto \langle v, \Delta \psi \rangle \), we use the parameters
on the right hand side of (2). We conclude the membership with boundedness as with \((-1,p,-\beta ,0,\infty ,0)\). Finally, to deal with the first term of external force \(\psi \mapsto \langle g, \psi \rangle \), we use (3) with right hand side indices \((0,r,\infty ,0,\infty ,1-\beta )\) to place the respective pressure term in
This justifies all the bounds claimed in the statement of the theorem. \(\square \)
Proof of Theorem 1.7
We start by deducing weighted bounds for the data. Applying Proposition 3.9 to functions \(d^{\beta -1}|v|\), \(d^{\beta -1}|g|\) and \(d^{\beta -1}|F|\) with \({{{{\eta }}}} = 1- \beta \), we obtain
whenever
Hence we immediately obtain bounds for all terms except for \(\psi \mapsto \langle v, \partial _t \psi \rangle \) from Theorem 1.7, provided we have all the integrability indices in the duality range \((1,\infty )\).
Consider then the term \( \langle v, \partial _t \psi \rangle \). We use the decomposition from (4) of Lemma 5.1 to see that a pressure term with components
can be constructed provided that the condition
holds. Here we have replaced one by infinity in the third index as the order of smoothness is zero. Applying Proposition 3.9 to \( d^{- 1/ \alpha + \beta }|v| \) and \(d^{\beta -1}|v|\) with q equal to \(p_2\) and \(p_1\), \({{{{\eta }}}} \) equal to \(1/\alpha - \beta \) and \(1- \beta \), respectively, we see that the condition above is valid under the assumptions of Theorem 1.7. \(\square \)
Proof of Theorem 1.8
In addition to inserting \(\beta = \theta = 1\) in all the estimates in Theorem 1.7 we have to show that
Obviously
as the functionals in the space on the left hand side act on \(C^{\infty }\) whereas the functionals on the right hand side only act on \(C_0^{\infty }\). However, for \(f \in C_{0}^{\infty }(\Omega )\) it follows from Hardy’s inequality, valid in bounded Lipschitz domains, that
and hence the claim follows. \(\square \)
Data Availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Acosta, G., Cejas, M.E., Durán, R.G.: Improved Poincaré inequalities and solutions of the divergence in weighted forms. Ann. Acad. Sci. Fenn. Math. 42(1), 211–226 (2017)
Acosta, G., Durán, R.G.: Divergence Operator and Related Inequalities. SpringerBriefs in Mathematics. Springer, New York (2017)
Acosta, G., Durán, R.G., Lombardi, A.L.: Weighted Poincaré and Korn inequalities for Hölder \(\alpha \) domains. Math. Methods Appl. Sci. 29(4), 387–400 (2006)
Acosta, G., Durán, R.G., López García, F.: Korn inequality and divergence operator: counterexamples and optimality of weighted estimates. Proc. Am. Math. Soc. 141(1), 217–232 (2013)
Acosta, G., Durán, R.G., Muschietti, M.A.: Solutions of the divergence operator on John domains. Adv. Math. 206(2), 373–401 (2006)
Allaire, G.: Homogenization of the Navier–Stokes equations in open sets perforated with tiny holes. I. Abstract framework, a volume distribution of holes. Arch. Ration. Mech. Anal. 113(3), 209–259 (1990)
Allaire, G.: Homogenization of the Navier–Stokes equations in open sets perforated with tiny holes. II. Noncritical sizes of the holes for a volume distribution and a surface distribution of holes. Arch. Ration. Mech. Anal. 113(3), 261–298 (1990)
Benešová, B., Kampschulte, M., Schwarzacher, S.: A variational approach to hyperbolic evolutions and fluid-structure interactions. Journal of the European Mathematical Society. arXiv:2008.04796 (2020)
Bock, D.N.: On the Navier–Stokes equations in noncylindrical domains. J. Differ. Equ. 25(2), 151–162 (1977)
Bogovskiĭ, M.E.: Solutions of some problems of vector analysis, associated with the operators \({\rm div}\) and \({\rm grad}\). In: Theory of Cubature Formulas and the Application of Functional Analysis to Problems of Mathematical Physics, Volume 1980 of Trudy Sem. S. L. Soboleva, No. 1, pp. 5–40, 149. Akad. Nauk SSSR Sibirsk. Otdel., Inst. Mat., Novosibirsk (1980)
Breit, D., Schwarzacher, S.: Compressible fluids interacting with a linear-elastic shell. Arch. Ration. Mech. Anal. 228(2), 495–562 (2018)
Breit, D., Schwarzacher, S.: Navier-Stokes-Fourier fluids interacting with elastic shells. Accepted at Annali della Scuola Normale di Pisa - Classe di Scienze. arXiv:2101.00824 (2021)
Čanić, S.: Moving boundary problems. Bull. Am. Math. Soc. (N.S.) 58(1), 79–106 (2021)
Carrapatoso, K., Hillairet, M.: On the derivation of a Stokes-Brinkman problem from Stokes equations around a random array of moving spheres. Commun. Math. Phys. 373(1), 265–325 (2020)
Costabel, M., McIntosh, A.: On Bogovskij and regularized Poincaré integral operators for de Rham complexes on Lipschitz domains. Mathematische Zeitschrift 265(2), 297–320 (2010)
Desjardins, B., Esteban, M.J., Grandmont, C., Le Tallec, P.: Weak solutions for a fluid-elastic structure interaction model. Rev. Mat. Complut. 14(2), 523–538 (2001)
Diening, L., Feireisl, E., Lu, Y.: The inverse of the divergence operator on perforated domains with applications to homogenization problems for the compressible Navier-Stokes system. ESAIM Control Optim. Calc. Var. 23(3), 851–868 (2017)
Diening, L., Růžička, M., Schumacher, K.: A decomposition technique for John domains. Ann. Acad. Sci. Fenn. Math. 35(1), 87–114 (2010)
Durán, R., Muschietti, M.-A., Russ, E., Tchamitchian, P.: Divergence operator and Poincaré inequalities on arbitrary bounded domains. Complex Var. Elliptic Equ. 55(8–10), 795–816 (2010)
Durán, R.G., López García, F.: Solutions of the divergence and analysis of the Stokes equations in planar Hölder-\(\alpha \) domains. Math. Models Methods Appl. Sci. 20(1), 95–120 (2010)
Federer, H.: Geometric Measure Theory. Die Grundlehren der mathematischen Wissenschaften, Band 153. Springer-Verlag New York Inc., New York (1969)
Feireisl, E., Novotný, A., Petzeltová, H.: On the existence of globally defined weak solutions to the Navier-Stokes equations. J. Math. Fluid Mech. 3(4), 358–392 (2001)
Fujita, H., Sauer, N.: On existence of weak solutions of the Navier-Stokes equations in regions with moving boundaries. J. Fac. Sci. Univ. Tokyo Sect. I(17), 403–420 (1970)
Galdi, G.P.: An Introduction to the Mathematical Theory of the Navier-Stokes Equations: Steady-State Problems (Springer Monographs in Mathematics), 2nd edn. Springer, New York (2011)
Galdi, G.P.: On time-periodic flow of a viscous liquid past a moving cylinder. Arch. Ration. Mech. Anal. 210(2), 451–498 (2013)
Galdi, G.P., Silvestre, A.L.: Existence of time-periodic solutions to the Navier-Stokes equations around a moving body. Pac. J. Math. 223(2), 251–267 (2006)
Galdi, G.P., Silvestre, A.L.: On the motion of a rigid body in a Navier-Stokes liquid under the action of a time-periodic force. Indiana Univ. Math. J. 58(6), 2805–2842 (2009)
Geißert, M., Heck, H., Hieber, M.: On the equation \({\rm div}\,u=g\) and Bogovskiĭ’s operator in Sobolev spaces of negative order. In: Partial Differential Equations and Functional Analysis, Volume 168 of Operator Theory: Advances and Applications, pp. 113–121. Birkhäuser, Basel (2006)
Hajłasz, P., Koskela, P.: Isoperimetric inequalities and imbedding theorems in irregular domains. J. Lond. Math. Soc. 58(2), 425–450 (1998)
Höfer, R.M., Kowalczyk, K., Schwarzacher, S.: Darcy’s law as low Mach and homogenization limit of a compressible fluid in perforated domains. Math. Models Methods Appl. Sci. 31(9), 1787–1819 (2021)
Hofmann, S., Nyström, K.: Dirichlet problems for a nonstationary linearized system of Navier-Stokes equations in non-cylindrical domains. Methods Appl. Anal. 9(1), 13–98 (2002)
Jiang, R., Kauranen, A.: Korn inequality on irregular domains. J. Math. Anal. Appl. 423(1), 41–59 (2015)
Jiang, R., Kauranen, A.: Korn’s inequality and John domains. Calc. Var. Part. Differ. Equ. 56(4), Paper No. 109, 18 (2017)
Jiang, R., Kauranen, A., Koskela, P.: Solvability of the divergence equation implies John via Poincaré inequality. Nonlinear Anal. 101, 80–88 (2014)
Kilpeläinen, T., Malý, J.: Sobolev inequalities on sets with irregular boundaries. Z. Anal. Anwend. 19(2), 369–380 (2000)
Koch, H., Solonnikov, V.A.: \(L_q\)-estimates of the first-order derivatives of solutions to the nonstationary Stokes problem. In: Nonlinear Problems in Mathematical Physics and Related Topics, I, Volume 1 of International Mathematical Series (N. Y.), pp. 203–218. Kluwer/Plenum, New York (2002)
Koskela, P., Lehrbäck, J.: Weighted pointwise Hardy inequalities. J. Lond. Math. Soc. 79(3), 757–779 (2009)
Lehrbäck, J.: Weighted Hardy inequalities beyond Lipschitz domains. Proc. Am. Math. Soc. 142(5), 1705–1715 (2014)
Lengeler, D., Růžička, M.: Weak solutions for an incompressible Newtonian fluid interacting with a Koiter type shell. Arch. Ration. Mech. Anal. 211(1), 205–255 (2014)
Lu, Y., Schwarzacher, S.: Homogenization of the compressible Navier-Stokes equations in domains with very tiny holes. J. Differ. Equ. 265(4), 1371–1406 (2018)
Maz’ya, V.: Sobolev Spaces with Applications to Elliptic Partial Differential Equations, Volume 342 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], augmented edn. Springer, Heidelberg (2011)
Mitrea, D., Mitrea, M., Monniaux, S.: The Poisson problem for the exterior derivative operator with Dirichlet boundary condition in nonsmooth domains. Commun. Pure Appl. Anal. 7(6), 1295–1333 (2008)
Moonens, L., Russ, E.: Solvability in weighted Lebesgue spaces of the divergence equation with measure data. Studia Math. 259(3), 305–326 (2021)
Muha, B., Schwarzacher, S.: Existence and regularity of weak solutions for a fluid interacting with a non-linear shell in three dimensions. Annales de l’Institut Henri Poincaré C 39(6), 1369–1412 (2023)
Nečas, J.: Sur une méthode pour résoudre les équations aux dérivées partielles du type elliptique, voisine de la variationnelle. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 16, 305–326 (1962)
Nečas, J.: Les méthodes directes en théorie des équations elliptiques. Masson et Cie, Éditeurs/Academia, Éditeurs, Prague/Paris (1967)
Neustupa, J.: Existence of a weak solution to the Navier-Stokes equation in a general time-varying domain by the Rothe method. Math. Methods Appl. Sci. 32(6), 653–683 (2009)
Neustupa, J., Penel, P.: The Navier-Stokes equations with Navier’s boundary condition around moving bodies in presence of collisions. C. R. Math. Acad. Sci. Paris 347(11–12), 685–690 (2009)
Sánchez-Palencia, E.: Nonhomogeneous Media and Vibration Theory. Lecture Notes in Physics, vol. 127. Springer-Verlag, Berlin/New York (1980)
Schwarzacher, S., Sroczinski, M.: Weak-strong uniqueness for an elastic plate interacting with the Navier-Stokes equation. SIAM J. Math. Anal. 54(4), 4104–4138 (2022)
Taylor, M.E.: Incompressible fluid flows on rough domains. In: Semigroups of Operators: Theory and Applications (Newport Beach, CA, 1998), Volume 42 of Progress in Nonlinear Differential Equations and Their Applications, pp. 320–334. Birkhäuser, Basel (2000)
Acknowledgements
This work was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy – EXC-2047/1 – 390685813 and CRC 1060. This work was also supported by the Primus research programme PRIMUS/19/SCI/01, the University Centre UNCE/SCI/023 of Charles University, the grant GJ19-11707Y of the Czech national grant agency (GAČR) as well as the ERC-CZ grant LL2105 CONTACT. S. S. wishes to thank the University of Vienna for their kind hospitality in winter 2020/21, where parts of the work were performed.
Funding
Open access publishing supported by the National Technical Library in Prague.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest statement
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
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
Saari, O., Schwarzacher, S. Construction of a Right Inverse for the Divergence in Non-cylindrical Time Dependent Domains. Ann. PDE 9, 8 (2023). https://doi.org/10.1007/s40818-023-00150-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40818-023-00150-z
Keywords
- Divergence equation
- Bogovskij operator
- Sobolev spaces
- Non-cylindrical space-time domains
- Hölder domains
- Navier–Stokes equations
- Pressure estimates