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

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

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

Long time existence of solutions to the Navier-Stokes equations in cylindrical domains under boundary slip conditions is proved. Moreover, the existence of solutions with no restrictions on the magnitude of the initial velocity and the external force is shown. However, we have to assume that the quantity $I={\sum }_{i=1}^2\left(\right||{\partial }_{x₃}^i{v\left(0\right)\left|\right|}_{L₂\left(\Omega \right)}+\left|\right|{\partial }_{x₃}^i{f\left|\right|}_{L₂\left(\Omega \times \right(0,T\left)\right)})$ is sufficiently small, where x₃ is the coordinate along the axis parallel to the cylinder. The time of existence is inversely proportional to I. Existence of solutions is proved by...

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.

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

Existence of solutions for equations of the nonstationary Stokes system in a bounded domain Ω ⊂ ℝ³ is proved in a class such that velocity belongs to $W_p^{2,1}\left(\Omega \times (0,T)\right)$, and pressure belongs to $W_p^{1,0}\left(\Omega \times (0,T)\right)$ for p > 3. The proof is divided into three steps. First, the existence of solutions with vanishing initial data is proved in a half-space by applying the Marcinkiewicz multiplier theorem. Next, we prove the existence of weak solutions in a bounded domain and then we regularize them. Finally, the problem with...

Let u be a weak solution of the Navier-Stokes equations in a smooth bounded domain Ω ⊆ ℝ³ and a time interval [0,T), 0 < T ≤ ∞, with initial value u₀, external force f = div F, and viscosity ν > 0. As is well known, global regularity of u for general u₀ and f is an unsolved problem unless we pose additional assumptions on u₀ or on the solution u itself such as Serrin’s condition ${\left|\right|u\left|\right|}_{L^s(0,T;L^q\left(\Omega \right))}<\infty$ where 2/s + 3/q = 1. In the present paper we prove several local and global regularity properties...

The self-consistent chemotaxis-fluid system $$\left\{\begin{array}{cc}{n}_t+u·\nabla n=\Delta n-\nabla ·\left(n\nabla c\right)+\nabla ·\left(n\nabla \phi \right),\hfill & x\in \Omega ,t>0,\hfill \\ c_t+u·\nabla c=\Delta c-nc,\hfill & x\in \Omega ,t>0,\hfill \\ u_t+\kappa (u·\nabla )u+\nabla P=\Delta u-n\nabla \phi +n\nabla c,\hfill & x\in \Omega ,t>0,\hfill \\ \nabla ·u=0,\hfill & x\in \Omega ,t>0,\hfill \end{array}\right.$$ is considered under no-flux boundary conditions for $n,c$ and the Dirichlet boundary condition for $u$ on a bounded smooth domain $\Omega \subset {ℝ}^N$ $(N=2,3)$, $\kappa \in \{0,1\}$. The existence of global bounded classical solutions is proved under a smallness assumption on $\parallel c_0{\parallel }_{L^{\infty }\left(\Omega \right)}$. Both the effect of gravity (potential force) on cells and the effect of the chemotactic force on fluid are considered here, and thus the coupling is stronger than the most studied chemotaxis-fluid...

In the present paper we give a new proof of the Caffarelli-Kohn-Nirenberg theorem based on a direct approach. Given a pair (u,p) of suitable weak solutions to the Navier-Stokes equations in ℝ³ × ]0,∞[ the velocity field u satisfies the following property of partial regularity: The velocity u is Lipschitz continuous in a neighbourhood of a point (x₀,t₀) ∈ Ω × ]0,∞ [ if $limsu{p}_{R\to 0⁺}1/R{\int }_{Q_R(x₀,t₀)}|curlu\times u/|u\left|\right|²dxdt\le {\epsilon }_{*}$ for a sufficiently small ${\epsilon }_{*}>0$.

We study the Cauchy problem for the non-Newtonian incompressible fluid with the viscous part of the stress tensor ${\tau }^V\left(𝕖\right)=\tau \left(𝕖\right)-2{\mu }_1\Delta 𝕖$, where the nonlinear function $\tau \left(𝕖\right)$ satisfies ${\tau }_{ij}\left(𝕖\right)e_{ij}\ge c{\left|𝕖\right|}^p$ or ${\tau }_{ij}\left(𝕖\right)e_{ij}\ge {c\left(\right|𝕖|}^2+{\left|𝕖\right|}^p)$. First, the model for the bipolar fluid is studied and existence, uniqueness and regularity of the weak solution is proved for $p>1$ for both models. Then, under vanishing higher viscosity ${\mu }_1$, the Cauchy problem for the monopolar fluid is considered. For the first model the existence of the weak solution is proved for $p>\frac{3n}{n+2}$, its uniqueness...

We consider the dynamics of spatially periodic nematic liquid crystal flows in the whole space and prove existence and uniqueness of local-in-time strong solutions using maximal $L^p$-regularity of the periodic Laplace and Stokes operators and a local-in-time existence theorem for quasilinear parabolic equations à la Clément-Li (1993). Maximal regularity of the Laplace and the Stokes operator is obtained using an extrapolation theorem on the locally compact abelian group $G:={ℝ}^{n-1}\times ℝ/L\mathbb{Z}$ to obtain an $ℛ$-bound...

In questa Nota si fornisce un teorema di unicità per soluzioni regolari delle equazioni di Navier-Stokes in domini esterni. Tale teorema non richiede che le velocità tendano ad un prefissato limite all'infinito, mentre il gradiente di pressione è supposto essere di $q$-ma potenza sommabile nel cilindro spazio-temporale $(q\in (1,\mathrm{\infty }))$. Questo risultato non può essere ulteriormente generalizzato al caso $q=\mathrm{\infty }$, a causa di noti controesempi.

The paper examines the initial value problem for the Navier-Stokes system of viscous incompressible fluids in the three-dimensional space. We prove stability of regular solutions which tend to constant flows sufficiently fast. We show that a perturbation of a regular solution is bounded in $W_r^{2,1}\left(ℝ³\times [k,k+1]\right)$ for k ∈ ℕ. The result is obtained under the assumption of smallness of the L₂-norm of the perturbing initial data. We do not assume smallness of the $W_r^{2-2/r}\left(ℝ³\right)$-norm of the perturbing initial data or smallness...

In questa Nota si fornisce un teorema di unicità per soluzioni regolari delle equazioni di Navier-Stokes in domini esterni. Tale teorema non richiede che le velocità tendano ad un prefissato limite all'infinito, mentre il gradiente di pressione è supposto essere di $q$-ma potenza sommabile nel cilindro spazio-temporale $(q\in (1,\mathrm{\infty }))$. Questo risultato non può essere ulteriormente generalizzato al caso $q=\mathrm{\infty }$, a causa di noti controesempi.

Let $A_{\alpha }f\left(x\right)={\left|B\right(0,\left|x\right|\left)\right|}^{-\alpha /n}{\int }_{B(0,|x\left|\right)}f\left(t\right)dt$ be the n-dimensional fractional Hardy operator, where 0 < α ≤ n. It is well-known that $A_{\alpha }$ is bounded from $L^p$ to $L^{p_{\alpha }}$ with $p_{\alpha }=np/(\alpha p-np+n)$ when n(1-1/p) < α ≤ n. We improve this result within the framework of Banach function spaces, for instance, weighted Lebesgue spaces and Lorentz spaces. We in fact find a ’source’ space $S_{\alpha ,Y}$, which is strictly larger than X, and a ’target’ space $T_Y$, which is strictly smaller than Y, under the assumption that $A_{\alpha }$ is bounded from X into Y and the Hardy-Littlewood...

The aim of this paper is to introduce some new fixed point results of Hardy-Rogers-type for $\alpha$-$\eta$-$GF$-contraction in a complete metric space. We extend the concept of $F$-contraction into an $\alpha$-$\eta$-$GF$-contraction of Hardy-Rogers-type. An example has been constructed to demonstrate the novelty of our results.

We consider functions $u\in W_0^{m,1}\left(\Omega \right)$, where $\Omega \subset {ℝ}^N$ is a smooth bounded domain, and $m\ge 2$ is an integer. For all $j\ge 0,1\le k\le m-1$, such that $1\le j+k\le m$, we prove that $\frac{{\partial }^{i}u\left(x\right)}{d{\left(x\right)}^{m-j-k}}\in W_0^{k,1}\left(\Omega \right)$ with $∥{\partial }^k{\left(\frac{{\partial }^{i}u\left(x\right)}{d{\left(x\right)}^{m-j-k}}\right)}_{L^1\left(\Omega \right)}\le C∥u∥{}_{W^{m,1}\left(\Omega \right)}$, where $d$ is a smooth positive function which coincides with dist$(x,\partial \Omega )$ near $\partial \Omega$, and ${\partial }^l$ denotes any partial differential operator of order $l$.

We study the boundedness of the one-sided operator $g{⁺}_{\lambda ,\phi }$ between the weighted spaces $L^p\left(M¯w\right)$ and $L^p\left(w\right)$ for every weight w. If λ = 2/p whenever 1 < p < 2, and in the case p = 1 for λ > 2, we prove the weak type of $g{⁺}_{\lambda ,\phi }$. For every λ > 1 and p = 2, or λ > 2/p and 1 < p < 2, the boundedness of this operator is obtained. For p > 2 and λ > 1, we obtain the boundedness of $g{⁺}_{\lambda ,\phi }$ from $L^p\left({\left(M¯\right)}^{[p/2]+1}w\right)$ to $L^p\left(w\right)$, where ${\left(M¯\right)}^k$ denotes the operator M¯ iterated k times.

Given 0 < p,q < ∞ and any sequence z = zₙ in the unit disc , we define an operator from functions on to sequences by $T_{z,p}\left(f\right)={(1-|zₙ\left|²\right)}^{1/p}f\left(zₙ\right)$. Necessary and sufficient conditions on zₙ are given such that $T_{z,p}$ maps the Hardy space $H^p$ boundedly into the sequence space ${\ell }^q$. A corresponding result for Bergman spaces is also stated.