Estimates of the generalized Stokes resolvent system, i.e. with prescribed divergence, in an infinite cylinder Ω = Σ × ℝ with $\Sigma \subset {ℝ}^{n-1}$, a bounded domain of class $C^{1,1}$, are obtained in the space $L^q(ℝ;L²\left(\Sigma \right))$, q ∈ (1,∞). As a preparation, spectral decompositions of vector-valued homogeneous Sobolev spaces are studied. The main theorem is proved using the techniques of Schauder decompositions, operator-valued multiplier functions and R-boundedness of operator families.

In this paper we deal with the stationary Navier-Stokes problem in a domain $\Omega$ with compact Lipschitz boundary $\partial \Omega$ and datum $a$ in Lebesgue spaces. We prove existence of a solution for arbitrary values of the fluxes through the connected components of $\partial \Omega$, with possible countable exceptional set, provided $a$ is the sum of the gradient of a harmonic function and a sufficiently small field, with zero total flux for $\Omega$ bounded.

We prove the existence of solutions to the evolutionary Stokes system in a bounded domain Ω ⊂ ℝ³. The main result shows that the velocity belongs either to $W_p^{2s+2,s+1}\left({\Omega }^T\right)$ or to $B_{p,q}^{2s+2,s+1}\left({\Omega }^T\right)$ with p > 3 and s ∈ ℝ₊ ∪ 0. The proof is divided into two steps. First the existence in $W_p^{2k+2,k+1}$ for k ∈ ℕ is proved. Next applying interpolation theory the existence in Besov spaces in a half space is shown. Finally the technique of regularizers implies the existence in a bounded domain. The result is generalized to the spaces...

We consider sequences of solutions of the Navier-Stokes equations in ${ℝ}^3$, associated with sequences of initial data bounded in ${\dot{H}}^{1/2}$. We prove, in the spirit of the work of H.Bahouri and P.Gérard (in the case of the wave equation), that they can be decomposed into a sum of orthogonal profiles, bounded in ${\dot{H}}^{1/2}$, up to a remainder term small in $L^3$; the method is based on the proof of a similar result for the heat equation, followed by a perturbation–type argument. If $𝒜$ is an “admissible” space (in...

We consider the Keller-Segel-Navier-Stokes system $$\left\{\begin{array}{cc}{n}_t+𝐮·\nabla n=\Delta n-\nabla ·\left(n\nabla v\right),\hfill & x\in \Omega ,t>0,\hfill \\ v_t+𝐮·\nabla v=\Delta v-v+w,\hfill & x\in \Omega ,t>0,\hfill \\ w_t+𝐮·\nabla w=\Delta w-w+n,\hfill & x\in \Omega ,t>0,\hfill \\ {𝐮}_t+(𝐮·\nabla )𝐮=\Delta 𝐮+\nabla P+n\nabla \phi ,\nabla ·𝐮=0,\hfill & x\in \Omega ,t>0,\hfill \end{array}\right.$$ which is considered in bounded domain $\Omega \subset {ℝ}^N$ $(N\in \{2,3\left\}\right)$ with smooth boundary, where $\phi \in C^{1+\delta }\left(\overline{\Omega }\right)$ with $\delta \in (0,1)$. We show that if the initial data $\parallel n_0{\parallel }_{L^{N/2}\left(\Omega \right)}$, $\parallel \nabla v_0{\parallel }_{L^N\left(\Omega \right)}$, $\parallel \nabla w_0{\parallel }_{L^N\left(\Omega \right)}$ and $\parallel {𝐮}_0{\parallel }_{L^N\left(\Omega \right)}$ is small enough, an associated initial-boundary value problem possesses a global classical solution which decays to the constant state $({\overline{n}}_0,{\overline{n}}_0,{\overline{n}}_0,0)$ exponentially with ${\overline{n}}_0:=(1/|\Omega \left|\right){\int }_{\Omega }{n}_0\left(x\right)\mathrm{d}x$.

We deal with the steady Stokes problem, associated with a flow of a viscous incompressible fluid through a spatially periodic profile cascade. Using the reduction to domain $\Omega$, which represents one spatial period, the problem is formulated by means of boundary conditions of three types: the conditions of periodicity on curves ${\Gamma }_{-}$ and ${\Gamma }_{+}$ (lower and upper parts of $\partial \Omega$), the Dirichlet boundary conditions on ${\Gamma }_{\mathrm{in}}$ (the inflow) and ${\Gamma }_0$ (boundary of the profile) and an artificial “do nothing”-type boundary...

This paper proves a Serrin’s type blow-up criterion for the 3D density-dependent Navier-Stokes-Korteweg equations with vacuum. It is shown that if the density $\rho$ and velocity field $u$ satisfy ${\parallel \nabla \rho \parallel }_{L^{\infty }(0,T;W^{1,q})}+{\parallel u\parallel }_{L^s(0,T;L_{\omega }^r)}<\infty$ for some $q>3$ and any $(r,s)$ satisfying $2/s+3/r\le 1$, $3<r\le \infty ,$ then the strong solutions to the density-dependent Navier-Stokes-Korteweg equations can exist globally over $[0,T]$. Here $L_{\omega }^r$ denotes the weak $L^r$ space.

We examine the regularity of solutions to the Stokes system in a neighbourhood of the distinguished axis under the assumptions that the initial velocity v₀ and the external force f belong to some weighted Sobolev spaces. It is assumed that the weight is the (-μ )th power of the distance to the axis. Let $f\in L_{2,-\mu }$, $v₀\in H_{-\mu }¹$, μ ∈ (0,1). We prove an estimate of the velocity in the $H_{-\mu }^{2,1}$ norm and of the gradient of the pressure in the norm of $L_{2,-\mu }$. We apply the Fourier transform with respect to the variable along...

We study higher local integrability of a weak solution to the steady Stokes problem. We consider the case of a pressure- and shear-rate-dependent viscosity, i.e., the elliptic part of the Stokes problem is assumed to be nonlinear and it depends on $p$ and on the symmetric part of a gradient of $u$, namely, it is represented by a stress tensor $T(Du,p):=\nu (p,|D{|}^2)D$ which satisfies $r$-growth condition with $r\in (1,2]$. In order to get the main result, we use Calderón-Zygmund theory and the method which was presented for...

We study embeddings of spaces of Besov-Morrey type, $i{d}_{\Omega }{:}_{p₁,u₁,q₁}^{s₁}\left(\Omega \right){\hookrightarrow }_{p₂,u₂,q₂}^{s₂}\left(\Omega \right)$, where $\Omega \subset {ℝ}^d$ is a bounded domain, and obtain necessary and sufficient conditions for the continuity and compactness of $i{d}_{\Omega }$. This continues our earlier studies relating to the case of ${ℝ}^d$. Moreover, we also characterise embeddings into the scale of $L_p$ spaces or into the space of bounded continuous functions.

CONTENTSIntroduction............................................................................................................ 51. Preliminaries............................................................................................................. 82. Embedding into $W^{m,p}\left(\Omega \right)$ into $L^S\left(\Omega \right)$ (n>1).......................................... 103. The case n = 1.......................................................................................................... 284. Embedding $W^{m,p}\left(\Omega \right)$ into $L^{\phi }\left(\Omega \right)$...............................................................

Let $\Theta :={\theta }_I^e:e\in E,I\in D$ be a decomposition system for $L₂\left({ℝ}^d\right)$ indexed over D, the set of dyadic cubes in ${ℝ}^d$, and a finite set E, and let $\Theta ̃:=\Theta {̃}_I^e:e\in E,I\in D$ be the corresponding dual functionals. That is, for every $f\in L₂\left({ℝ}^d\right)$, $f={\sum }_{e\in E}{\sum }_{I\in D}⟨f,\Theta {̃}_I^e⟩{\theta }_I^e$. We study sufficient conditions on Θ,Θ̃ so that they constitute a decomposition system for Triebel-Lizorkin and Besov spaces. Moreover, these conditions allow us to characterize the membership of a distribution f in these spaces by the size of the coefficients $⟨f,\Theta {̃}_I^e⟩$, e ∈ E, I ∈ D. Typical examples of such decomposition...

A two-sided sequence ${\left(cₙ\right)}_{n\in \mathbb{Z}}$ with values in a complex unital Banach algebra is a cosine sequence if it satisfies $c_{n+m}+c_{n-m}=2cₙcₘ$ for any n,m ∈ ℤ with c₀ equal to the unity of the algebra. A cosine sequence ${\left(cₙ\right)}_{n\in \mathbb{Z}}$ is bounded if $su{p}_{n\in \mathbb{Z}}\left|\right|cₙ\left|\right|<\infty$. A (bounded) group decomposition for a cosine sequence $c={\left(cₙ\right)}_{n\in \mathbb{Z}}$ is a representation of c as $cₙ=(bⁿ+b^{-n})/2$ for every n ∈ ℤ, where b is an invertible element of the algebra (satisfying $su{p}_{n\in \mathbb{Z}}\left|\right|bⁿ\left|\right|<\infty$, respectively). It is known that every bounded cosine sequence possesses a universally defined group decomposition, the...

We prove some optimal estimates of Hölder-logarithmic type in the Hardy-Sobolev spaces $H^{k,p}\left(G\right)$, where $k\in {\mathbb{N}}^{*}$, $1\le p\le \infty$ and $G$ is either the open unit disk $𝔻$ or the annular domain $G_s$, $0<s<1$ of the complex space $ℂ$. More precisely, we study the behavior on the interior of $G$ of any function $f$ belonging to the unit ball of the Hardy-Sobolev spaces $H^{k,p}\left(G\right)$ from its behavior on any open connected subset $I$ of the boundary $\partial G$ of $G$ with respect to the $L^1$-norm. Our results can be viewed as an improvement and generalization of...

The distributional $k$-dimensional Jacobian of a map $u$ in the Sobolev space $W^{1,k-1}$ which takes values in the sphere $S^{k-1}$ can be viewed as the boundary of a rectifiable current of codimension $k$ carried by (part of) the singularity of $u$ which is topologically relevant. The main purpose of this paper is to investigate the range of the Jacobian operator; in particular, we show that any boundary $M$ of codimension $k$ can be realized as Jacobian of a Sobolev map valued in $S^{k-1}$. In case $M$ is polyhedral, the...

For a function $f\in L_{loc}^p\left(ℝⁿ\right)$ the notion of p-mean variation of order 1, ${₁}^p(f,ℝⁿ)$ is defined. It generalizes the concept of F. Riesz variation of functions on the real line ℝ¹ to ℝⁿ, n > 1. The characterisation of the Sobolev space $W^{1,p}\left(ℝⁿ\right)$ in terms of ${₁}^p(f,ℝⁿ)$ is directly related to the characterisation of $W^{1,p}\left(ℝⁿ\right)$ by Lipschitz type pointwise inequalities of Bojarski, Hajłasz and Strzelecki and to the Bourgain-Brezis-Mironescu approach.

G. B. Belyavskaya and G. L. Mullen showed the existence of a complement for a $k$-tuple of orthogonal $n$-ary operations, where $k<n$, to an $n$-tuple of orthogonal $n$-ary operations. But they proposed no method for complementing. In this article, we give an algorithm for complementing a $k$-tuple of orthogonal $n$-ary operations to an $n$-tuple of orthogonal $n$-ary operations and an algorithm for complementing a $k$-tuple of orthogonal $k$-ary operations to an $n$-tuple of orthogonal $n$-ary operations. Also...

We consider real Banach spaces X for which the quotient algebra (X)/ℐn(X) is finite-dimensional, where ℐn(X) stands for the ideal of inessential operators on X. We show that these spaces admit a decomposition as a finite direct sum of indecomposable subspaces $X_i$ for which $\left(X_i\right)/ℐn\left(X_i\right)$ is isomorphic as a real algebra to either the real numbers ℝ, the complex numbers ℂ, or the quaternion numbers ℍ. Moreover, the set of subspaces $X_i$ can be divided into subsets in such a way that if $X_i$ and $X_j$ are in different...

To each set of knots $t_i=i/2n$ for i = 0,...,2ν and $t_i=(i-\nu )/n$ for i = 2ν + 1,..., n + ν, with 1 ≤ ν ≤ n, there corresponds the space ${}_{\nu ,n}$ of all piecewise linear and continuous functions on I = [0,1] with knots $t_i$ and the orthogonal projection $P_{\nu ,n}$ of L²(I) onto ${}_{\nu ,n}$. The main result is $li{m}_{(n-\nu )\wedge \nu \to \infty }\left|\right|P_{\nu ,n}\left|\right|₁=su{p}_{\nu ,n:1\le \nu \le n}\left|\right|P_{\nu ,n}\left|\right|₁=2+(2-\surd 3)²$. This shows that the Lebesgue constant for the Franklin orthogonal system is 2 + (2-√3)².

We define a new function space $B$, which contains in particular BMO, BV, and $W^{1/p,p}$, $1<p<\infty$. We investigate its embedding into Lebesgue and Marcinkiewicz spaces. We present several inequalities involving $L^p$ norms of integer-valued functions in $B$. We introduce a significant closed subspace, $B_0$, of $B$, containing in particular VMO and $W^{1/p,p}$, $1\le p<\infty$. The above mentioned estimates imply in particular that integer-valued functions belonging to $B_0$ are necessarily constant. This framework provides a “common roof”...

The existence of at least one non-decreasing sequence of positive eigenvalues for the problem driven by both $p(·)$-Harmonic and $p(·)$-biharmonic operators $$\begin{array}{c}{\Delta }_{p\left(x\right)}^{2}u-{\Delta }_{p\left(x\right)}u=\lambda w\left(x\right){\left|u\right|}^{q\left(x\right)-2}u\text{in}\Omega ,\\ u\in W^{2,p(·)}\left(\Omega \right)\cap W_0^{1,p(·)}\left(\Omega \right),\end{array}$$ is proved by applying a local minimization and the theory of the generalized Lebesgue-Sobolev spaces $L^{p(·)}\left(\Omega \right)$ and $W^{m,p(·)}\left(\Omega \right)$.

Let ${\left(F_n\right)}_{n\in \mathbb{N}}$ be a sequence of non-decreasing functions from $[0,+\infty )$ into $[0,+\infty )$. Under some suitable hypotheses of ${\left(F_n\right)}_{n\in \mathbb{N}}$, we will prove that if $g\in L^p\left({ℝ}^N\right)$, $1<p<+\infty$, satisfies ${lim\; inf}_{n\to \infty }{\int }_{{ℝ}^N}{\int }_{{ℝ}^N}{F}_n{\left(\right|g\left(x\right)-g\left(y\right)\left|\right)/|x-y|}^{N+p}dxdy<+\infty$, then $g\in W^{1,p}\left({ℝ}^N\right)$ and moreover ${lim}_{n\to \infty }{\int }_{{ℝ}^N}{\int }_{{ℝ}^N}{F}_n{\left(\right|g\left(x\right)-g\left(y\right)\left|\right)/|x-y|}^{N+p}dxdy=K_{N,p}{\int }_{{ℝ}^N}{\left|\nabla g\left(x\right)\right|}^{p}dx$, where $K_{N,p}$ is a positive constant depending only on $N$ and $p$. This extends some results in J. Bourgain and H-M. Nguyen [A new characterization of Sobolev spaces, C. R. Acad Sci. Paris, Ser. 343 (2006) 75-80] and H-M. Nguyen [Some new characterizations of Sobolev spaces, J. Funct. Anal. 237 (2006) 689-720]. We also present some...

Let A be a unital C*-algebra. Denote by P the space of selfadjoint projections of A. We study the relationship between P and the spaces of projections $P_a$ determined by the different involutions ${}_a$ induced by positive invertible elements a ∈ A. The maps $\phi :P\to P_a$ sending p to the unique $q\in P_a$ with the same range as p and ${\Omega }_a:P_a\to P_a$ sending q to the unitary part of the polar decomposition of the symmetry 2q-1 are shown to be diffeomorphisms. We characterize the pairs of idempotents q,r ∈ A with ||q-r|| <...

Let $\Omega \subset {ℝ}^n,n\ge 3$, and let $p,1<p<\infty ,p\ne 2$, be given. In this paper we study the dimension of $p$-harmonic measures that arise from non-negative solutions to the $p$-Laplace equation, vanishing on a portion of $\partial \Omega$, in the setting of $\delta$-Reifenberg flat domains. We prove, for $p\ge n$, that there exists $\tilde{\delta }=\tilde{\delta }(p,n)>0$ small such that if $\Omega$ is a $\delta$-Reifenberg flat domain with $\delta <\tilde{\delta }$, then $p$-harmonic measure is concentrated on a set of $\sigma$-finite $H^{n-1}$-measure. We prove, for $p\ge n$, that for sufficiently flat Wolff snowflakes the Hausdorff dimension of $p$-harmonic...