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 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 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 note we shall prove that for a continuous function $\varphi :\Delta \to {ℝ}^n$, where $\Delta \subset ℝ$,  the paratingent of $\varphi$ at $a\in \Delta$ is a non-empty and compact set in ${ℝ}^n$ if and only if $\varphi$ satisfies Lipschitz condition in a neighbourhood of $a$. Moreover, in this case the paratingent is a connected set.

Let $D$ be a ${𝒞}^d$ $q$-convex intersection, $d\ge 2$, $0\le q\le n-1$, in a complex manifold $X$ of complex dimension $n$, $n\ge 2$, and let $E$ be a holomorphic vector bundle of rank $N$ over $X$. In this paper, ${𝒞}^k$-estimates, $k=2,3,\cdots ,\infty$, for solutions to the $\overline{\partial }$-equation with small loss of smoothness are obtained for $E$-valued $(0,s)$-forms on $D$ when $n-q\le s\le n$. In addition, we solve the $\overline{\partial }$-equation with a support condition in ${𝒞}^k$-spaces. More precisely, we prove that for a $\overline{\partial }$-closed form $f$ in ${𝒞}_{0,q}^k(X\setminus D,E)$, $1\le q\le n-2$, $n\ge 3$, with compact support and for $\epsilon$ with $0<\epsilon <1$ there...

We prove that if $X$ is a first countable space with property $\left(DC\left({\omega }_1\right)\right)$ and with a $G_{\delta }$-diagonal then the cardinality of $X$ is at most $𝔠$. We also show that if $X$ is a first countable, DCCC, normal space then the extent of $X$ is at most $𝔠$.

We consider linear elliptic equations $-\Delta u+q\left(x\right)u=\lambda u+f$ in bounded Lipschitz domains $D\subset {ℝ}^N$ with mixed boundary conditions $\partial u/\partial n=\sigma \left(x\right)\lambda u+g$ on $\partial D$. The main feature of this boundary value problem is the appearance of $\lambda$ both in the equation and in the boundary condition. In general we make no assumption on the sign of the coefficient $\sigma \left(x\right)$. We study positivity principles and anti-maximum principles. One of our main results states that if $\sigma$ is somewhere negative, $q\ge 0$ and ${\int }_{D}q\left(x\right)dx>0$ then there exist two eigenvalues ${\lambda }_{-1}$, ${\lambda }_1$ such the positivity...

Let $X$ be a zero-dimensional space and $C_c\left(X\right)$ be the set of all continuous real valued functions on $X$ with countable image. In this article we denote by $C_c^K\left(X\right)$ (resp., $C_c^{\psi }\left(X\right))$ the set of all functions in $C_c\left(X\right)$ with compact (resp., pseudocompact) support. First, we observe that $C_c^K\left(X\right)=O_c^{{\beta }_{0}X\setminus X}$ (resp., $C_c^{\psi }\left(X\right)=M_c^{{\beta }_{0}X\setminus {\upsilon }_{0}X}$), where ${\beta }_{0}X$ is the Banaschewski compactification of $X$ and ${\upsilon }_{0}X$ is the $\mathbb{N}$-compactification of $X$. This implies that for an $\mathbb{N}$-compact space $X$, the intersection of all free maximal ideals in $C_c\left(X\right)$ is equal to $C_c^K\left(X\right)$, i.e., $M_c^{{\beta }_{0}X\setminus X}=C_c^K\left(X\right)$. By applying...

CONTENTSPREFACE..........................................................................................................................................................................3INTRODUCTION............................................................................................................................................................. 41. Notation. 2. Subject of the paper.Chapter I. DECOMPOSITION OF Σ INTO ${\Sigma }_1$, ${\Sigma }_2$, ${\Sigma }_3$, ${\Sigma }_4$ INESSENTIAL RESTRICTIONOF GENERALITY ...............................................................................................................................................................

In this paper we prove the following theorems in incidence geometry. 1. There is $\delta >0$ such that for any $P_1,\cdots ,P_4$, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le n^{(1+\delta )/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then $P_1,\cdots ,P_4$ are collinear. If the number of the distinct lines is $<c{n}^{1/2}$ then the cross ratio of the four points is algebraic. 2. Given $c>0$, there is $\delta >0$ such that for any $P_1,P_2,P_3\in {ℂ}^2$ noncollinear, and $Q_1,\cdots ,Q_n\in {ℂ}^2$, if there are $\le c{n}^{1/2}$ many distinct lines between $P_i$ and $Q_j$ for all $i$, $j$, then for any $P\in {ℂ}^2\setminus \{P_1,P_2,P_3\}$, we have $\delta n$ distinct lines between $P$ and $Q_j$. 3. Given...

Let ${ℱ}_h^i(k,n)$ be the $i$-th ordered configuration space of all distinct points $H_1,...,H_h$ in the Grassmannian $Gr(k,n)$ of $k$-dimensional subspaces of ${ℂ}^n$, whose sum is a subspace of dimension $i$. We prove that ${ℱ}_h^i(k,n)$ is (when non empty) a complex submanifold of $Gr{(k,n)}^h$ of dimension $i(n-i)+hk(i-k)$ and its fundamental group is trivial if $i=min(n,hk)$, $hk\ne n$ and $n\&gt;2$ and equal to the braid group of the sphere $ℂ$ $P^1$ if $n=2$. Eventually we compute the fundamental group in the special case of hyperplane arrangements, i.e. $k=n-1$.