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.

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 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 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 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 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 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 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...

One shows that the linearized Navier-Stokes equation in $𝒪\subset R^d,d\ge 2$, around an unstable equilibrium solution is exponentially stabilizable in probability by an internal noise controller ${\displaystyle V(t,\xi )=\sum _{i=1}^N{V}_i\left(t\right){\psi }_i\left(\xi \right){\dot{\beta }}_i\left(t\right)}$, $\xi \in 𝒪$, where ${\left\{{\beta }_i\right\}}_{i=1}^N$ are independent Brownian motions in a probability space and ${\left\{{\psi }_i\right\}}_{i=1}^N$ is a system of functions on $𝒪$ with support in an arbitrary open subset ${𝒪}_0\subset 𝒪$. The stochastic control input ${\left\{V_i\right\}}_{i=1}^N$ is found in feedback form. One constructs also a tangential boundary noise controller which exponentially stabilizes in probability...

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”...

Let $D_j$ be a bounded hyperconvex domain in ${ℂ}^{n_j}$ and set $D=D₁\times \cdots \times D_s$, j=1,...,s, s ≥ 3. Also let ${\Omega }_{\pi }$ be the image of D under the proper holomorphic map π. We characterize those continuous functions $f:\partial {\Omega }_{\pi }\to ℝ$ that can be extended to a real-valued pluriharmonic function in ${\Omega }_{\pi }$.

We characterise the boundedness of the $H^{\infty }$ calculus of a sectorial operator in terms of dilation theorems. We show e. g. that if $-A$ generates a bounded analytic $C_0$ semigroup $\left(T_t\right)$ on a UMD space, then the $H^{\infty }$ calculus of $A$ is bounded if and only if $\left(T_t\right)$ has a dilation to a bounded group on $L^2([0,1],X)$. This generalises a Hilbert space result of C.LeMerdy. If $X$ is an $L^p$ space we can choose another $L^p$ space in place of $L^2([0,1],X)$.

We survey recent results concerning estimates of the principal eigenvalue of the Dirichlet $p$-Laplacian and the Navier $p$-biharmonic operator on a ball of radius $R$ in ${ℝ}^N$ and its asymptotics for $p$ approaching $1$ and $\infty$. Let $p$ tend to $\infty$. There is a critical radius $R_C$ of the ball such that the principal eigenvalue goes to $\infty$ for $0<R\le R_C$ and to $0$ for $R>R_C$. The critical radius is $R_C=1$ for any $N\in \mathbb{N}$ for the $p$-Laplacian and $R_C=\sqrt{2N}$ in the case of the $p$-biharmonic operator. When $p$ approaches $1$, the principal eigenvalue...

Let $f^j={\sum }_k{a}_{k}f(2^{j+1}x-2k)$, where the sum is taken over the lattice of all points k in ${ℝ}^n$ having integer-valued components, j∈ℕ and $a_k\in ℂ$. Let $A_{pq}^s$ be either $B_{pq}^s$ or $F_{pq}^s$ (s ∈ ℝ, 0 < p < ∞, 0 < q ≤ ∞) on ${ℝ}^n.$ The aim of the paper is to clarify under what conditions $\parallel f^j|A_{pq}^s\parallel$ is equivalent to $2^{j(s-n/p)}({\sum }_k|a_k{|}^p{)}^{1/p}\parallel f|A_{pq}^s\parallel$.

We show that every operator from ${\ell }_s$ to ${\ell }_p\otimes ̂{\ell }_q$ is compact when 1 ≤ p,q < s and that every operator from ${\ell }_s$ to ${\ell }_p\widehat{\otimes ̂}{\ell }_q$ is compact when 1/p + 1/q > 1 + 1/s.

Let X be a Riemann domain over ${ℂ}^k\times {ℂ}^{\ell }$. If X is a domain of holomorphy with respect to a family ℱ ⊂(X), then there exists a pluripolar set $P\subset {ℂ}^k$ such that every slice $X_a$ of X with a∉ P is a region of holomorphy with respect to the family ${f|}_{X_a}:f\in ℱ$.

Let M be a metrizable group. Let G be a dense subgroup of $M^X$. We prove that if G is domain representable, then $G=M^X$. The following corollaries answer open questions. If X is completely regular and $C_p\left(X\right)$ is domain representable, then X is discrete. If X is zero-dimensional, T₂, and $C_p(X,)$ is subcompact, then X is discrete.

In a Tychonoff space $X$, the point $p\in X$ is called a $C^{*}$-point if every real-valued continuous function on $C\setminus \left\{p\right\}$ can be extended continuously to $p$. Every point in an extremally disconnected space is a $C^{*}$-point. A classic example is the space ${𝐖}^{*}={\omega }_1+1$ consisting of the countable ordinals together with ${\omega }_1$. The point ${\omega }_1$ is known to be a $C^{*}$-point as well as a $P$-point. We supply a characterization of $C^{*}$-points in totally ordered spaces. The remainder of our time is aimed at studying when a point in a product space...