\documentclass[twoside]{article}
\usepackage{amssymb,amsmath} % font used for R in Real numbers
\pagestyle{myheadings}

\markboth{\hfil Regularity for solutions to the Navier-Stokes equations 
\hfil EJDE--2002/29}
{EJDE--2002/29\hfil Cheng  He \hfil}
\begin{document}
\title{\vspace{-1in}\parbox{\linewidth}{\footnotesize\noindent
{\sc  Electronic Journal of Differential Equations},
Vol. {\bf 2002}(2002), No. 29, pp. 1--13. \newline
ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu
\newline ftp  ejde.math.swt.edu  (login: ftp)}
 \vspace{\bigskipamount} \\
 %
  Regularity for solutions to the Navier-Stokes equations
  with one velocity component regular
 %
\thanks{ {\em Mathematics Subject Classifications:} 35Q30, 76D05.
\hfil\break\indent
{\em Key words:} Navier-Stokes equations,  weak solutions,  regularity.
\hfil\break\indent
\copyright 2002 Southwest Texas State University. \hfil\break\indent
Submitted November 7, 2001. Published March 17, 2002.} }
\date{}
%
\author{Cheng  He}
\maketitle

\begin{abstract}
 In this paper, we establish a regularity criterion for solutions
 to the Navier-stokes equations, which is only related to one
 component of the velocity field. Let $(u, p)$ be a weak solution
 to the Navier-Stokes equations.
 We show that if any one component of the velocity field $u$,
 for example $u_3$, satisfies either
 $u_3 \in L^\infty({\mathbb{R}}^3\times (0, T))$
 or $\nabla u_3 \in L^p (0, T; L^q({\mathbb{R}}^3))$
 with $1/p + 3/2q = 1/2$ and $q \geq 3$ for some $T > 0$,
 then $u$ is regular on $[0, T]$.
\end{abstract}

\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\renewcommand{\theequation}{\arabic{section}.\arabic{equation}}
\catcode`@=11 \@addtoreset{equation}{section} \catcode`@=12

\section{Introduction}

We consider the initial-value problem of the Navier-Stokes equations in
${\mathbb{R}}^3$ as follows:
\begin{equation}\label{1.1}
\begin{gathered}
\frac{\partial u}{\partial t} - \nu\Delta u + (u\cdot\nabla)u = -
\nabla p,\\
\mathop{\rm div}u = 0,\quad (x, t=0) = a(x) \end{gathered}
\end{equation}
in which $u = u(x,t) = (u_1(x,t), u_2(x,t), u_3(x,t))$ and $p = p(x,t)$
denote the unknown velocity field and the scalar pressure function of the fluid
at the point $(x, t) \in {\mathbb{R}}^3\times (0, +\infty)$, while $a$ is a given
initial velocity field, and $\nu$ is the viscosity coefficient of the fluid.
We will assume that $\nu \equiv 1$ for simplicity.

For any given $a \in L^2({\mathbb{R}}^3)$ and $\mathop{\rm div}a = 0$ in
the sense of the distribution,
a global weak solution $u \in L^\infty(0, \infty; L^2({\mathbb{R}}^3))$ to (\ref{1.1})
with $\nabla u \in L^2({\mathbb{R}}^3\times (0, \infty))$ was constructed by
Leary \cite{leray} for a long time ago. But the regularity and the uniqueness of
his weak solutions remain yet open, in the general case, till now, in spite
of the great efforts made. Moreover, the uniqueness of the weak solutions
follows if the regularity for weak solutions can be obtained. Cf. \cite{von}.
Therefore many regularity criteria have been obtained for weak solutions. In
a space-time cylinder ${\mathbb{R}}^3\times (0, T)$, the regularity class was showed for
weak solutions which belong to the class $L^p(0, T; L^q({\mathbb{R}}^3))$ by Serrin
\cite{serrin} in the case of $1/p + 3/2q < 1$ and $q > 3$; by Fabes, Jones and
Riviere \cite{fabe}, Sohr and von Wahl \cite{sohr} in the case of $1/p + 3/2q
= 1$ and $q > 3$. Also see Giga \cite{giga} and Takahashi \cite{takahashi}.
For the critical case as $p = \infty$ and $q = 3$, W.von Wahl showed that
$C([0, T]; L^3({\mathbb{R}}^3))$ is a regularity class for weak solutions. Also see
\cite{da97}. Another kind of regularity class was obtained by da Veiga
\cite{da95}, in which he showed that $u$ is regular if $\nabla u \in L^\alpha
(0, T; L^\beta({\mathbb{R}}^3))$ with $1/\alpha + 3/2\beta = 1/2$ and $1 < \alpha \leq 2$.
It is obvious that, for the assumptions of all regularity criteria, it need
that every components of the velocity field must satisfies the same assumptions,
and it don't make any difference between the components of the velocity field.
Thus, it don't exploit the relation between the regularity of velocity field
and that of any one component of the velocity field, which is hard to be used
in some applications. As pointed out by Neustupa and Penel \cite{neustupa}, it
is interesting to know how to effect the regularity of the velocity field by
the regularity of only one component of the velocity field, when one try to
construct an counter-example of solutions to (\ref{1.1}), which develops blowup
at finite time, i.e., construct an irregular solution. In this respect, the
first result was obtained by Neustupa and Penel \cite{neustupa}. They showed
that, for the suitable weak solutions which essentially differ from the usual
weak solutions in that they should verify a generalized energy inequality, if
$u_3$ is essentially bounded in one subdomain $D$, then $u$ has no singular
points in $D$. Their arguments depend heavily on the partial regularity of the
suitable weak solutions developed by Caffarelli, Kohn and Nirenberg \cite{ckn}.

In this paper, we are also interested in establishing the regularity criteria
which is only related to one component of the velocity field, and which is
valid for any weak solutions satisfying the energy inequality. Actually, let
$u$ be any weak solution to the Navier-Stokes equations (\ref{1.1}) in $L^
\infty(0, \infty; L^2({\mathbb{R}}^3))\cap L^2_{loc}(0, \infty; H^1(
{\mathbb{R}}^3))$ which verifies the energy inequality, if any one component,
e.g., $u_3$ of the velocity field $u$ satisfying either $u_3 \in L^\infty(
{\mathbb{R}}^3\times (0, T))$ or $\nabla u_3 \in L^p(0, T; L^q({\mathbb{R}}^3))$
with $1/p + 3/2q = 1/2$ and $q \geq 3$, then $u$ is regular. Our analysis is
motivated by the argument of Neustupa and Penel \cite{neustupa}, and here we
improve their arguments.

This paper is organized as follows: in section 2, we state our main results
after introducing some notations, in section 3, we given the proof of the main
result.


\section{Main Result}

In this section, we first introduce some notations and the definition of weak
solutions, then state our main result.

Let $L^p({\mathbb{R}}^3), 1 \leq p \leq +\infty$, represent the usual
Lesbegue space of scalar functions as well as that of vector-valued functions with
norm denoted by $\|\cdot\|_p$. Let $C^\infty_{0,\sigma}({\mathbb{R}}^3)$ denote the
set of all $C^\infty$ real vector-valued functions $\phi = (\phi_1, \phi_2,
\phi_3)$ with compact support in ${\mathbb{R}}^3$, such that $\mathop{\rm div}\phi = 0$.
$L_\sigma^p({\mathbb{R}}^3)$, $1 \leq p < \infty$, is the closure of $C^\infty_
{0,\sigma}({\mathbb{R}}^3)$ with respect to $\|\cdot\|_p$. $H^m({\mathbb{R}}^3)$ denotes the usual
Sobolev Space. Finally, given a Banach space X with norm $\|\cdot \|_X$,
we denote by $L^p(0, T; X), 1 \leq p \leq +\infty$, the set of function $f(t)$
defined on $(0, T)$ with values in X such that $\int^T_0\|f(t)\|^p_X dt <
+\infty$. Let $Q_T = {\mathbb{R}}^3\times (0, T)$. At last, by symbol $C$, we denote a
generic constant whose value is unessential to our aims, and it may change
from line to line.


\paragraph{Definition.} A measurable vector $u$ on $Q_T$ is called a weak
solution to the Navier-Stokes equations (\ref{1.1}), if
\begin{enumerate}
\item $u \in L^\infty(0, T; L^2_\sigma({\mathbb{R}}^3))\cap L^2(0, T; H^1({\mathbb{R}}^3));$

\item $u$ verifies the Navier-Stokes equations in the sense of the distribution,
i.e.,
\begin{eqnarray*}
\int^\infty_0\int_{{\mathbb{R}}^3}\big(u(x,t)
\cdot\frac{\partial\phi}{\partial t} -
\nabla u(x,t)\cdot\nabla\phi + (u(x,t)\cdot\nabla)\phi\cdot u(x,t)\big)dxdt &&\\
+ \int_{{\mathbb{R}}^3}a(x)\phi(x,0)dx &=& 0
\end{eqnarray*}
for every $\phi \in C^\infty_0({\mathbb{R}}^3\times {\mathbb{R}})$ with $\mathop{\rm div}\phi = 0$.
\end{enumerate}
Our main result can be stated as follows.

\begin{theorem} \label{thm1}
Let the initial velocity $a \in L^2_\sigma({\mathbb{R}}^3)\cap H^1({\mathbb{R}}^3)$,
and $u$ is the weak solution to (\ref{1.1}) which satisfies the energy inequality.
If any one component of the velocity field $u$, e.g., $u_3$ satisfies either
$u_3 \in L^\infty({\mathbb{R}}^3\times(0, T))$ or $\nabla u_3 \in L^p(0, T;
L^q({\mathbb{R}}^3))$ with $1/p + 3/2q = 1/2$ for $q \geq 3$, then $u$ is
regular on $[0, T]$, and for $t \in [0, T]$ the following two estimates are
satisfied.
\begin{gather}
\label{2.1}
\|u(t)\|_2^2 + 2\int^t_0\|\nabla u(s)\|_2^2ds \leq \|a\|_2^2,\\
\label{2.2}
\|\nabla u(t)\|_2^2 + \int^t_0\|\Delta u(s)\|_2^2ds \leq A
\end{gather}
\end{theorem}
 In the various cases, $A$ depends on the initial data as follows:
\begin{eqnarray*}
A_1 &=&  \|\nabla a\|_2^2 + CM_1^2\|a\|_2^2\big(1 + \|a\|_2^4M_1^2
\big) + C\|a\|_2^2\big(\|a\|_2M_1 + \|\nabla a\|_2\big) \\
&&\times\big[\|\nabla a\|_2^2 + \|a\|_2^2M_1^2\big(1 + \|a\|_2
^4M_1^2\big)\big]e^{C\|a\|_2\big(\|a\|_2M_1 + \|\nabla a\|_2\big)}
\end{eqnarray*}
where $M_1 := \|\nabla u_3\|_{L^\infty(0, T; L^3({\mathbb{R}}^3))} <\infty$,
\begin{eqnarray*}
A_2 &=&  \|\nabla a\|_2^2 + CA_3\big\{\|a\|_2^{4q\over q-3}M_2 + \|a\|_
2\big(\|a\|_{H^1({\mathbb{R}}^3)}(1 + M_2^{1/2}e^{CM_2})\big) + M_2\big\} \\
&& + C\|a\|_2^2M_2^{q-3\over q},
\end{eqnarray*}
where $M_2 := \int^T_0
\|\nabla u_3\|_{L^p(0, T; L^q({\mathbb{R}}^3))}^pds < \infty$,
\begin{eqnarray*}
A_3 &=& \big\{\|\nabla a\|_2^2 + C\|a\|_2^2M_2^{q-3\over q}\big\}\\
&&\times \exp\big\{M_2\|a\|_2^{4q\over q-3}+\|a\|_2\|a\|_{H^1({\mathbb{R}}^3)}\big(1 + M^{1/2}
e^{CM_2}\big) + M_2\big\},\\
A_4 &=&  \|\nabla a\|_2^2 + C\big(M_0^2 + M_0^{8/3}\|a\|_2^{4/3}\big)\|a\|_2^2\\
&&+ A_5\|a\|_2\big(\|\nabla a\|_2 + M_0\|a\|_2 +
M_0^{4/3}\|a\|_2^{5/3}\big),
\end{eqnarray*}
where $M_0:= \|u_3\|_{L^\infty({\mathbb{R}}^3\times (0, T))} < \infty$, and
\begin{eqnarray*}
A_5 &=& \big(\|\nabla a\|_2^2 + C(M_0^2 + \|a\|_2^{4/3}
M_0^{8/3})\|a\|_2^2\big) \\
&&\times \exp\big\{C\|a\|_2\big(\|\nabla a\|_2 + M_0\|a\|_2
+ M_0^{4/3}\|a\|_2^{5/3}\big)\big\}.
\end{eqnarray*}
The constant $C$, above, is independent of $T$. Thus $T$
can approach $+\infty$.

\paragraph{Remarks.}
1. The weak solution $u \in L^\infty(0, T; L^2_\sigma({\mathbb{R}}^3))\cap
L^2(0, T; H^1({\mathbb{R}}^3))$ was constructed by Leray \cite{leray} as the
initial velocity field $a \in L^2_\sigma({\mathbb{R}}^3)$, such that $u$ satisfies
the energy inequality.
\\
2. Neustupa and Penel \cite{neustupa} showed that, for the suitable weak solution
$u$, if $u_3$ is essentially bounded in a subdomain $D$ of a time-space cylinder
$\Omega\times (0, T)$, then $u$ has no singular points in $D$.
\\
3. For solutions to the Navier-Stokes equations, either the class
$L^p(0, T; L^q)$ for $1/p + 3/2q \leq 1/2$ and $q > 3$, or $C([0, T]; L^3(
\Omega))$ is a regularity class, Cf. \cite{fabe}, \cite{giga}, \cite{serrin},
\cite{takahashi},\cite{von} and \cite{da97}. Further, if $\nabla u
\in L^\alpha(0, T; L^\beta({\mathbb{R}}^3))$ with $1/\alpha + 3/2\beta = 1$ for $1 < \alpha
\leq 2$, then $u$ also is regular, see \cite{da95}.

\section{Proof of the main theorem}

In this section, we present the proof of Theorem \ref{thm1}, preceded by the
following Lemmas. The first lemma follows from direct calculations.

\begin{lemma} \label{lm3.1}
Let $a \in L^2_\sigma({\mathbb{R}}^3)$. Then for any $t \geq 0$,
\begin{equation}\label{3.1}
\|u(t)\|_2^2 + 2\int^t_0\|\nabla u(s)\|_2^2ds \leq \|a\|_2^2.
\end{equation}
\end{lemma}

Let $\omega = \mathop{\rm curl}u(x,t)$. Then $\omega$ satisfies weakly the
equations
\begin{equation}\label{3.2}
\frac{\partial \omega}{\partial t} - \Delta\omega + (u\cdot\nabla)\omega =
(\omega\cdot\nabla)u.
\end{equation}
For the third component $\omega_3$, of $\omega$, one obtain the following
estimate.

\begin{lemma} \label{lm3.2}
Let $a \in L^2_\sigma({\mathbb{R}}^3)\cap H^1({\mathbb{R}}^3)$.
If $u_3 \in L^\infty
({\mathbb{R}}^3\times (0, T))$, then
\begin{equation}\label{3.3}
\|\omega_3(t)\|_2^2 + \int^t_0\|\nabla\omega_3(s)\|_2^2ds \leq \|\omega_3(0)
\|_2^2 + M_0^2\|a\|_2^2
\end{equation}
for any $0 \leq t \leq T$ with
$M_0 = \|u_3\|_{L^\infty({\mathbb{R}}^3\times (0, T))}$.
\end{lemma}


\paragraph{Proof.} Multiplying both sides of the third equation of (\ref{3.2})
by $\omega_3$ and integrating for $x \in {\mathbb{R}}^3$, we obtain
\begin{equation}\label{3.4}
\frac{1}{2}\frac{d}{dt}\|\omega_3\|_2^2 + \|\nabla\omega_3\|_2^2 = \int_{{\mathbb{R}}^3}
(\omega\cdot\nabla)u_3\cdot\omega_3dx.
\end{equation}
Using integration by parts and the Cauchy inequality, the right term of
(\ref{3.4}) can be estimated as
\begin{eqnarray*}
\int_{{\mathbb{R}}^3}(\omega\cdot\nabla)u_3\cdot\omega_3dx
& =& -\int_{{\mathbb{R}}^3}(\omega\cdot\nabla)\omega_3\cdot u_3dx\\
&\leq& \|\nabla\omega_3\|_2\|u_3\|_\infty\|\omega\|_2\\
&\leq& \frac{1}{2}\|\nabla\omega_3\|_2^2 + \frac{1}{2}\|u_3\|_\infty
^2\|\nabla u\|_2^2,
\end{eqnarray*}
where we used the fact that $\|\omega\|_2 \leq \|\nabla u\|_2$. Thus
\begin{equation}\label{3.5}
\frac{d}{dt}\|\omega_3\|_2^2 + \|\nabla\omega_3\|_2^2 \leq M_0^2\|\nabla u\|_2^2.
\end{equation}
Integrating (\ref{3.5}) over $(0, t)$ gives (\ref{3.3}).
\hfill$\Box$

\begin{lemma} \label{lm3.3}
Let $a \in L^2_\sigma({\mathbb{R}}^3)\cap H^1({\mathbb{R}}^3)$.
If $\nabla u_3 \in L^p(0, T; L^q({\mathbb{R}}^3))$ with
$1/p + 3/2q = 1/2$ for $q \geq 3$, then
\begin{equation}\label{3.6}
\|\omega_3(t)\|_2^2 + \int^t_0\|\nabla\omega_3(s)\|_2^2ds \leq
\begin{cases}
C\big(\|a\|_{H^1({\mathbb{R}}^3)}^2 + \|a\|_2^2M_1^2\big)
& \mbox{for }q = 3,\\
C\|a\|_{H^1({\mathbb{R}}^3)}\big(1 + M_2e^{CM_2}\big)
&\mbox{for }q > 3
\end{cases}\end{equation}
for  $0 < t \leq T$. Here
$M_1 := \|\nabla u_3\|_{L^\infty(0, T; L^3({\mathbb{R}}^3))}$ and
$M_2 :=  \int^T_0\|\nabla u_3(s)\|_q^pds$ for $q > 3$.
\end{lemma}

\paragraph{Proof.}
If $q = 3$, by the H\"{o}lder inequality and the Sobolev inequality, the
right term of (\ref{3.4}) can be estimated as
\begin{eqnarray*}
 |\int_{{\mathbb{R}}^3}(\omega\cdot\nabla)u_3\cdot\omega_3dx| & \leq&
\|\omega\|_2\|\nabla u_3\|_3\|\omega_3\|_6\\
&\leq& C\|\omega\|_2\|\nabla u_3\|_3\|\nabla \omega_3\|_2\\
&\leq& \frac{1}{2}\|\nabla\omega_3\|_2^2 + C\|\nabla u_3\|_3^2\|
\nabla u\|_2^2.
\end{eqnarray*}
Then
$$
\frac{d}{dt}\|\omega_3\|_2^2 + \|\nabla\omega_3\|_2^2 \leq C\|\nabla u_3\|_2^2
\|\nabla u\|_2^2
$$
which implies (\ref{3.6}) as $q = 3$.

If $ q > 3$, by the H\"{o}lder inequality and the Gagliardo-Nirenberg inequality,
we estimate the right term of (\ref{3.4}) as
\begin{eqnarray*}
 |\int_{{\mathbb{R}}^3}(\omega\cdot\nabla)u_3\cdot\omega_3dx| & \leq&
\|\omega\|_2\|\nabla u_3\|_q\|\omega_3\|_{2q/(q-2)}\\
&\leq& C\|\omega\|_2\|\nabla u_3\|_q\|\omega_3\|_2^{1-3/q}\|\nabla \omega_3\|
_2^{3/q}\\
&\leq& \frac{1}{2}\|\nabla\omega_3\|_2^2 + C\|\nabla u_3\|_q^p\|
\omega_3\|_2^2 + C\|\nabla u\|_2^2.
\end{eqnarray*}
Then
\begin{equation}\label{3.7}
\frac{d}{dt}\|\omega_3\|_2^2 + \|\nabla\omega_3\|_2^2 \leq C\|\nabla u_3\|_q
^p\|\omega_3\|_2^2 + C\|\nabla u\|_2^2
\end{equation}
which implies that
$$\frac{d}{dt}\big(e^{-C\int^t_0\|\nabla u_3\|_q^pds}\|\omega_3\|_2^2\big) \leq
Ce^{-C\int^t_0\|\nabla u_3\|_q^pds}\|\nabla u\|_2^2.$$
Thus using Lemma \ref{lm3.1},
\begin{equation}\label{3.8}
\|\omega_3\|_2^2 \leq Ce^{CM_2}\big(\|\omega_3(0)\|_2^2 + \|a\|_2^2\big).
\end{equation}
Substituting (\ref{3.8}) into (\ref{3.7}), (\ref{3.6})
follows for $q > 3$.\hfill$\Box$

\begin{lemma} \label{lm3.4}
Let $a \in L^2_\sigma({\mathbb{R}}^3)\cap H^1({\mathbb{R}}^3)$. If $\nabla u_3
\in L^p(0, T; L^q({\mathbb{R}}^3))$ with $1/p + 3/2q = 1/2$ for $q \geq 3$, then for
any $t \geq 0$,
\begin{equation}\label{3.9}
\|\nabla u(t)\|_2^2 + \int^t_0\|\Delta u(s)\|_2^2ds \leq A_1\,,
\end{equation}
where, for  $q = 3$,
\begin{eqnarray*}
A_1 &= &\|\nabla a\|_2^2 + CM_1^2\|a\|_2^2\big(1 + \|a\|_2^4M_1^2
\big) + C\|a\|_2^2\big(\|a\|_2M_1 + \|\nabla a\|_2\big) \\
&&\times\big[\|\nabla a\|_2^2 + \|a\|_2^2M_1^2\big(1 + \|a\|_2
^4M_1^2\big)\big]e^{C\|a\|_2\big(\|a\|_2M_1 + \|\nabla a\|_2\big)}.
\end{eqnarray*}
When $q > 3$, then for any $t \geq 0$,
\begin{equation}\label{3.10}
\|\nabla u(t)\|_2^2 + \int^t_0\|\Delta u(s)\|_2^2ds \leq A_2
\end{equation}
with
\begin{eqnarray*}
A_2 &=&  \|\nabla a\|_2^2 + CA_3\big\{\|a\|_2^{4q\over q-3}M_2 + \|a\|_
2\big(\|a\|_{H^1({\mathbb{R}}^3)}(1 + M_2^{1/2}e^{CM_2})\big)\\
&& + M_2\big\} + C\|a\|_2^2M_2^{q-3\over q}\\
A_3 &=& \big\{\|\nabla a\|_2^2 + C\|a\|_2^2M_2^{q-3\over q}\big\}
\exp\big\{M_2\|a\|_2^{4q\over q-3}\\
&&+ \|a\|_2\|a\|_{H^1({\mathbb{R}}^3)}\big(1 + M^{1/2}
e^{CM_2}\big) + M_2\big\}.
\end{eqnarray*}
The constant $C$, above, is independent of $T$. Thus $T$
can approach $+\infty$.
\end{lemma}

\paragraph{Proof.}
The Navier-Stokes equations (\ref{1.1}) can be rewritten as
\begin{equation}\label{3.11}
\frac{\partial u}{\partial t} - \Delta u + \omega\times u = -\nabla (p +
\frac{1}{2}|u|^2).
\end{equation}
Multiplying both sides of (\ref{3.11}) by $\Delta u$, it follows that
\begin{eqnarray} \label{3.12}
\frac{1}{2}\frac{d}{dt}\|\nabla u\|_2^2 + \|\Delta u\|_2^2
& = &  \int_{{\mathbb{R}}^3}\omega\times u\cdot\Delta udx \nonumber\\
&=&  \int_{{\mathbb{R}}^3}(\omega_2u_3-\omega_3u_2)\Delta u_1dx + \int_{{\mathbb{R}}^3}
(\omega_3u_1-\omega_1u_3)\Delta u_2dx \nonumber\\
&&+ \int_{{\mathbb{R}}^3}(\omega_1u_2-\omega_2u_1)\Delta u_3dx.
\end{eqnarray}

In the following, we estimate the each terms at the right hand side of
(\ref{3.12}) by the H\"{o}lder inequality, Young inequality and Gagliardo-
Nirenberg inequality. Let $\delta$ be one small parameter determined later.
One has that
\begin{eqnarray*}
I_1 &=& \big|\int_{{\mathbb{R}}^3}\omega_2u_3\Delta u_1dx\big| \leq \|\Delta u_1\|_2\|\omega_2\|_4
\|u_3\|_4\\
&\leq & C\|\Delta u\|_2\|u_3\|_2^{1/2}\|\nabla u_3\|_3^{1/2}\|\omega
_2\|_2^{1/4}\|\nabla\omega_2\|_2^{3/4}\\
&\leq & C\|\Delta u\|_2^{7\over 4}\|u\|_2^{1/2}\|\nabla u_3\|_3^{1/2}
\|\nabla u\|_2^{1/4}\\
&\leq & \delta\|\Delta u\|_2^2 + C(\delta)\|a\|_2^4\|\nabla u_3\|_3^4\|\nabla
u\|_2^2,
\end{eqnarray*}
for $q = 3$, and
\begin{eqnarray*}
I_1 &=& |\int_{{\mathbb{R}}^3}\omega_2u_3\Delta u_1dx| \leq \|\Delta u_1\|_2\|\omega_2\|
_{2r/(r-2)}\|u_3\|_r\\
&\leq & C\|\Delta u\|_2\|u_3\|_2^{2rq+6q-6r\over r(5q-6)}\|\nabla u_3\|_q^
{3q(r-2)\over r(5q-6)}\|\omega_2\|_2^{r-3\over r}\|\nabla\omega_2\|_2^
{3\over r}\\
&\leq & C\|\Delta u\|_2^{r+3\over r}\|u\|_2^{2rq+6q-6r\over r(5q-6)}
\|\nabla u_3\|_q^{3q(r-2)\over r(5q-6)}\|\nabla u\|_2^{r-3\over r}\\
&\leq & \delta\|\Delta u\|_2^2 + C(\delta)\|a\|_2^{4q\over q-3}
\|\nabla u_3\|_q^p\|\nabla u\|_2^2,
\end{eqnarray*}
for $q > 3$ with $r = 9q/(2q+3) > 3$.
\begin{eqnarray*}
I_2 &=& |\int_{{\mathbb{R}}^3}\omega_3u_2\Delta u_1dx| \leq \|\Delta u_1\|_2\|\omega_3\|
_3\|u_2\|_6\\
&\leq & \delta\|\Delta u\|_2^2 + C(\delta)\|\nabla u_2\|_2^2\|\omega_3\|_2
\|\nabla\omega_3\|_2\\
&\leq & \delta\|\Delta u\|_2^2 + C(\delta)\|\nabla\omega_3\|_2\|\nabla u\|
_2^3.
\end{eqnarray*}
Similar to the estimates as $I_2$,
$$
I_3 = |\int_{{\mathbb{R}}^3}\omega_3u_1\Delta u_2dx| \leq  \delta\|\Delta u\|_2^2 +
C(\delta)\|\nabla\omega_3\|_2\|\nabla u\|_2^3.
$$
Similar to the estimates as $I_1$, one can obtain that
\begin{eqnarray*}
I_4 &=& \big|\int_{{\mathbb{R}}^3}\omega_1u_3\Delta u_2dx\big|\\
&\leq& \begin{cases}
\delta\|\Delta u\|_2^2 + C(\delta)\|a\|_2^4\|\nabla u_3\|_3^4\|\nabla u\|
_2^2, & \mbox{if }q = 3, \\
\delta\|\Delta u\|_2^2 + C(\delta)\|a\|_2^{4q\over q-3}
\|\nabla u_3\|_q^p\|\nabla u\|_2^2,
& \mbox{if } q > 3.
\end{cases}
\end{eqnarray*}
Let
$$I_5 = |\int_{{\mathbb{R}}^3}\omega_1u_2\Delta u_3dx| \leq |\int_{{\mathbb{R}}^3}\partial_2u_3\cdot
u_2\cdot\Delta u_3dx| + |\int_{{\mathbb{R}}^3}\partial_3u_2\cdot u_2\cdot\Delta u_3dx|.$$
Then
\begin{eqnarray*}
I_{51} &=& |\int_{{\mathbb{R}}^3}\partial_2u_3\cdot u_2\cdot\Delta u_3dx| \leq \|\Delta
u_3\|_2\|\nabla u_3\|_q\|u_2\|_{2q/(q-2)}\\
&\leq & C\|\Delta u\|_2\|\nabla u_3\|_q\|u\|_2^{q-3\over q}\|\nabla u\|_2^{3
\over q}\\
&\leq & \delta\|\Delta u\|_2^2 + C(\delta)\|a\|_2^{2(q-3)\over q}\|\nabla u_3
\|_q^2\|\nabla u\|_q^{6\over q}
\end{eqnarray*}
and
\begin{eqnarray*}
I_{52} &=& |\int_{{\mathbb{R}}^3}\partial_2u_2\cdot u_2\cdot\Delta u_3dx| = |\frac{1}{2}
\int_{{\mathbb{R}}^3}|u_2|^2\Delta\partial u_3dx|\\
&\leq & |\int_{{\mathbb{R}}^3}u_2\Delta u_2\cdot\partial u_3dx| + |\int_{{\mathbb{R}}^3}|\nabla u_2|
^2\partial_3u_3dx|\\
&\leq & \frac{\delta}{2}\|\Delta u_2\|_2^2 + C(\delta)\|\nabla u_3\|_q^2\|u_2\|
_{2q/(q-2)}^2 + \|\nabla u_3\|_q\|\nabla u_2\|^2_{2q/(q-2)}\\
&\leq & \frac{\delta}{2}\|\Delta u\|_2^2 + C(\delta)\|\nabla u_3\|_q^2\|u\|_2
^{2(q-3)\over q}\|\nabla u\|_2^{6\over q} + C\|\nabla u_3\|_q\|\nabla u\|_2^
{2q-3\over q}\|\Delta u\|_2^{3\over q}\\
&\leq & \delta\|\Delta u\|_2^2 + C(\delta)\|\nabla u_3\|_q^2\|a\|_2^{2(q-3)\over q}
\|\nabla u\|_2^{6\over q} + C(\delta)\|\nabla u_3\|_q^p\|\nabla u\|_2^2.
\end{eqnarray*}
Similarly,
\begin{eqnarray*}
I_6 &=& |\int_{{\mathbb{R}}^3}\omega_2u_1\Delta u_3dx| \leq |\int_{{\mathbb{R}}^3}\partial_3u_1\cdot
u_1\cdot\Delta u_3dx| + |\int_{{\mathbb{R}}^3}\partial_1u_3\cdot u_1\cdot\Delta u_3dx|\\
I_{61} &=& |\int_{{\mathbb{R}}^3}\partial_3u_1\cdot u_1\cdot\Delta u_3dx|\\
&\leq & \delta\|\Delta u\|_2^2 + C(\delta)\|\nabla u_3\|_q^2\|a\|_2^{2(q-3)\over q}
\|\nabla u\|_2^{6\over q} + C(\delta)\|\nabla u_3\|_q^p\|\nabla u\|_2^2\\
I_{62} &=& |\int_{{\mathbb{R}}^3}\partial_1u_3\cdot u_1\cdot\Delta u_3dx| \\
&\leq & \delta\|\Delta u\|_2^2 + C(\delta)\|a\|_2^{2(q-3)\over q}\|\nabla u_3
\|_q^2\|\nabla u\|_q^{6\over q}.
\end{eqnarray*}
Let $\delta = 1/16$. Substituting above estimates into (\ref{3.12}),
it follows that
\begin{equation}\label{3.13}
\frac{d}{dt}\|\nabla u\|_2^2 + \|\Delta u\|_2^2 \leq CM_1^2\big(1 + \|a\|_2^4
M_1^2\big)\|\nabla u\|_2^2 + C\|\nabla\omega_3\|_2\|\nabla u\|_2^3
\end{equation}
for $q = 3$, and
\begin{eqnarray}\label{3.14}
\frac{d}{dt}\|\nabla u\|_2^2 + \|\Delta u\|_2^2 &\leq &
C\big(\|a\|_2^{4q\over q-3}\|\nabla u_3\|_q^p + \|\nabla \omega_3\|_2\|\nabla
u\|_2 + \|\nabla u_3\|_q^p \big)\|\nabla u\|_2^2\nonumber \\
&& + C\|a\|_2^{2(q-3)\over q}\|\nabla u_3\|_q^2\|\nabla u\|_2^{6/q}
\end{eqnarray}
for $q > 3$.  (\ref{3.13}) implies that
\begin{eqnarray*}
\lefteqn{\frac{d}{dt}\big(\exp\big\{-C\int^t_0\|\nabla\omega_3\|_2\|\nabla u\|_2ds\big\}
\|\nabla u\|_2^2\big)}\\
& \leq& CM_1^2\big(1 + \|a\|_2^4M_1^2\big)\exp\big\{-C
\int^t_0\|\nabla\omega_3\|_2\|\nabla u\|_2ds\big\}\|\nabla u\|_2^2,
\end{eqnarray*}
which implies
\begin{eqnarray*}
\lefteqn{\|\nabla u(t)\|_2^2 }\\
&\leq & \big[\|\nabla a\|_2^2 + CM_1^2\|a\|_2^2\big(1 +
\|a\|_2^4M_1^2\big)\big]\exp\big\{C\int^t_0\|\nabla\omega_3\|_2\|\nabla u\|_2ds
\big\}\\
&\leq & \big[\|\nabla a\|_2^2 + CM_1^2\|a\|_2^2\big(1 + \|a\|_2^4M_1^2\big)
\big]\exp\big\{C\|a\|_2\big(\|a\|_2M_1 + \|\nabla u\|_2\big)\big\},
\end{eqnarray*}
This inequality and (\ref{3.13}) imply (\ref{3.9}).
From (\ref{3.14}), it follows that
\begin{eqnarray*}
\lefteqn{\frac{d}{dt}
\big(\exp\big\{C\int^t_0\big[\|a\|_2^{4q\over q-3}\|\nabla u_3
\|_q^p + \|\nabla\omega_3\|_2\|\nabla u\|_2 + \|\nabla u_3\|_q^p\big]ds\big\}
\|\nabla u\|_2^2\big)}\\
&\leq & C\|a\|_2^{2(q-3)\over q}\|\nabla u_3\|_q^2\|\nabla u\|_2^{6\over q}\\
&&\times \exp\big\{C\int^t_0\big[\|a\|_2^{4q\over q-3}\|\nabla u_3\|_q^p
 + \|\nabla\omega_3\|_2\|\nabla u\|_2 + \|\nabla u_3\|_q^p
\big]ds\big\},
\end{eqnarray*}
which implies
\begin{eqnarray*}
\|\nabla u(t)\|_2^2
&\leq & \big(\exp\big\{C\int^t_0\big[\|a\|_2^{4q\over q-3}\|\nabla u_3
\|_q^p + \|\nabla\omega_3\|_2\|\nabla u\|_2 + \|\nabla u_3\|_q^p\big]ds\big\}
\big)\\
&& \times \big\{\|\nabla a\|_2^2 + C\|a\|_2^{2(q-3)\over q}\big(\int^T_0\|\nabla u_3
\|_q^pdt\big)^{q-3\over q}\big(\int^T_0\|\nabla u\|_2dt\big)^{3\over q}\big\}\\
&\leq & \big\{\|\nabla a\|_2^2 + C\|a\|_2^2M_2^{q-3\over q}\big\}\exp\big\{
M_2\|a\|_2^{4q\over q-3} \\
&&+ \|a\|_2\|a\|_{H^1({\mathbb{R}}^3)}\big(1 + M_2^{1/2}
e^{CM_2}\big)\big\}
\stackrel{\Delta}= A_3,
\end{eqnarray*}
This inequality and (\ref{3.14}) imply  (\ref{3.10}).
\hfill$\Box$

\begin{lemma} \label{lm3.5}
Let $a \in L^2_\sigma({\mathbb{R}}^3)\cap H^1({\mathbb{R}}^3)$. If $u_3
\in L^\infty({\mathbb{R}}^3\times (0, T))$, then for any $t \geq 0$,
\begin{equation}\label{3.15}
\|\nabla u(t)\|_2^2 + \int^t_0\|\Delta u(s)\|_2^2ds \leq A_4
\end{equation}
with
\begin{eqnarray*}
A_4 &=&  \|\nabla a\|_2^2 + C(M_0^2 + M_0^{8/3}\|a\|_2^
{4\over 3}\big)\|a\|_2^2 \\
&&+ A_5\|a\|_2\big(\|\nabla a\|_2 + M_0\|a\|_2 +
M_0^{4/3}\|a\|_2^{5/3}\big),\\
A_5 &=& \big(\|\nabla a\|_2^2 + C(M_0^2 + \|a\|_2^{4/3}
M_0^{8/3})\|a\|_2^2\big)\\
&&\times \exp\big\{C\|a\|_2\big(\|\nabla a\|_2 + M_0
\|a\|_2+ M_0^{4/3}\|a\|_2^{5/3}\big)\big\}.
\end{eqnarray*}
In above, constant $C$ is a absolute constant and independent of $T$. Thus $T$
can be taken as $+\infty$.
\end{lemma}

\paragraph{Proof.}
We need to re-estimate the terms at the right hand side of (\ref{3.12})
by the assumption that $u_3 \in L^\infty(Q_T)$ to replace the assumption that
$\nabla u_3 \in L^p(0, T; L^q({\mathbb{R}}^3))$. In view of the above procedure, we don't
use the assumption as estimating the $I_2$ and $I_3$, except the estimates
about $\|\nabla\omega_3\|_2$ obtained in Lemmas \ref{lm3.2} and \ref{lm3.3}.
So there are same
as $u_3 \in L^\infty(Q_T)$, i.e.,
\begin{eqnarray*}
I_2 &=& |\int_{{\mathbb{R}}^3}\omega_3u_2\Delta u_1dx| \leq  \delta\|\Delta u\|_2^2 +
C(\delta)\|\nabla\omega_3\|_2\|\nabla u\|_2^3\\
I_3 &=& |\int_{{\mathbb{R}}^3}\omega_3u_1\Delta u_2dx| \leq  \delta\|\Delta u\|_2^2 +
C(\delta)\|\nabla\omega_3\|_2\|\nabla u\|_2^3.
\end{eqnarray*}
Now we estimate other terms. By H\"{o}lder inequality, the estimate of $I_1$
is easy. In fact,
\begin{eqnarray*}
I_1 = |\int_{{\mathbb{R}}^3}\omega_2u_3\Delta u_1dx| &\leq & \|\Delta u\|_2\|u_3\|_\infty
\|\omega_2\|_2\\
&\leq &\delta\|\Delta u\|_2^2 + C(\delta)\|u_3\|_\infty^2\|\nabla u\|_2^2.
\end{eqnarray*}
Similarly,
$$
I_4 = |\int_{{\mathbb{R}}^3}\omega_1u_3\Delta u_2dx| \leq \delta\|\Delta u\|_2^2 +
C(\delta)\|u_3\|_\infty^2\|\nabla u\|_2^2.
$$
By H\"{o}lder inequality again, one has
$$I_{51} = |\int_{{\mathbb{R}}^3}\partial_2u_3u_2\Delta u_3dx| \leq \delta\|\Delta u\|_2^2
+ C_0\int_{{\mathbb{R}}^3}|u_2|^2|\partial_2u_3|^2dx.$$
Integrating by parts, we have
\begin{eqnarray*}
\lefteqn{\int_{{\mathbb{R}}^3}|u_2|^2|\partial_2u_3|^2dx }\\
&\leq & |2\int_{{\mathbb{R}}^3}u_2\partial_2u_2
\partial_2u_3u_3dx| + |\int_{{\mathbb{R}}^3}|u_2|^2|\partial^2_{22}u_3u_3dx|\\
&\leq & |\int_{{\mathbb{R}}^3}|\partial_2u_2|^2|u_3|^2dx| + |\int_{{\mathbb{R}}^3}u_2\partial^2_{22}
u_2|u_3|^2dx| \\
&&+ \|\Delta u_3\|_2\|u_2\|_6^2\|u_3\|_2^{1/3}\|u_3\|_\infty^{2/3}\\
&\leq & \|u_3\|_\infty^2\|\nabla u_2\|_2^2 + \|\Delta u_2\|\|u_2\|_6\|u_3\|_2
^{2/3}\|u_3\|_\infty^{4/3} \\
&&+ \|\Delta u_3\|_2\|u_2\|_6^2\|u_3\|_2^{1/3}\|u_3\|_\infty^{2/3}
\\
&\leq & \frac{\delta}{C_0}\|\Delta u\|_2^2 + C(\delta)\|a\|_2^{2/3}\|u_3
\|_\infty^{4/3}\|\nabla u\|_2^4 \\
 &&+ C\big(\|u_3\|_\infty^2 + \|a\|_2^{4/3}\|u_3\|_\infty^{8/3}
\big)\|\nabla u\|_2^2.
\end{eqnarray*}
For $I_{52}$, by integration by part, we can treat as
\begin{eqnarray*}
I_{52} &=& |\int_{{\mathbb{R}}^3}\partial_3u_2u_2\Delta u_3dx| = \frac{1}{2}|\int_{{\mathbb{R}}^3}
|u_2|^2\Delta\partial_3u_3dx|\\
&\leq & |\int_{{\mathbb{R}}^3}(u_2\Delta u_2)\partial_3u_3dx| + |\int_{{\mathbb{R}}^3}|\nabla u_2|^2
\partial_3u_3dx|\\
&\leq & |\int_{{\mathbb{R}}^3}(u_2\Delta u_2)\partial_3u_3dx| + |2\int_{{\mathbb{R}}^3}(\nabla u_2
\cdot\nabla \partial_3u_2)u_3dx|\\
&\leq & \delta\|\Delta u\|_2^2 + C_1(\delta)\int_{{\mathbb{R}}^3}|u_2|^2|\partial_3u_3|^2dx
+ C(\delta)\|u_3\|_\infty^2\|\nabla u_2\|_2^2.
\end{eqnarray*}
Integrating by parts again,
\begin{eqnarray*}
\lefteqn{|\int_{{\mathbb{R}}^3}|u_2|^2|\partial_3u_3|^2dx| }\\
&\leq & 2|\int_{{\mathbb{R}}^3}u_2\cdot\partial_3
u_2\cdot\partial_3u_3\cdot u_3dx| + |\int_{{\mathbb{R}}^3}|u_2|^2\partial_{33}^2u_3\cdot
u_3dx|\\
&\leq & |\int_{{\mathbb{R}}^3}|\partial_3u_2|^2|u_3|^2dx| + |\int_{{\mathbb{R}}^3}u_2\partial^2_{33}
u_2\cdot |u_3|^2dx|\\
&& + \|\Delta u_3\|_2\|u_2\|_6^2\|u_3\|_2^{1/3}\|u_3\|_\infty^{2/3}\\
&\leq & \|u_3\|_\infty^2\|\nabla u\|_2^2 + \|\Delta u_2\|_2\|u_2\|_6\|u_3\|_2^
{2\over 3}\|u_3\|_\infty^{4/3}\\
&& + \|\Delta u_3\|_2\|u_2\|_6^2\|u_3\|_2^{1/3}\|u_3\|_\infty^{2/3}
\\
&\leq & \frac{\delta}{C_1}\|\Delta u\|_2^2 + C\|a\|_2^{2/3}\|u_3\|_\infty
^{4/3}\|\nabla u\|_2^4 \\
&& + C \big(\|u_3\|_\infty^2 + \|a\|_2^{4/3}\|u_3\|_\infty^{8/3}
\big)\|\nabla u\|_2^2.
\end{eqnarray*}
Therefore,
\begin{eqnarray*}
I_5 &=& |\int_{{\mathbb{R}}^3}\omega_1u_2\Delta u_3dx| \\
&\leq & 4\delta\|\Delta u\|_2^2 + C\|a\|_2^{2/3}\|u_3\|_\infty
^{4/3}\|\nabla u\|_2^4
+ C \big(\|u_3\|_\infty^2 + \|a\|_2^{4/3}\|u_3\|_\infty^{8/3}
\big)\|\nabla u\|_2^2.
\end{eqnarray*}
Similarly,
\begin{eqnarray*}
I_6 &=& |\int_{{\mathbb{R}}^3}\omega_2u_1\Delta u_3dx| \\
&\leq & 4\delta\|\Delta u\|_2^2 + C\|a\|_2^{2/3}\|u_3\|_\infty
^{4/3}\|\nabla u\|_2^4
+ C \big(\|u_3\|_\infty^2 + \|a\|_2^{4/3}\|u_3\|_\infty^{8/3}
\big)\|\nabla u\|_2^2.
\end{eqnarray*}
Substituting above estimates into (\ref{3.12}) and taking $\delta = 1/16$, one
obtain that
\begin{eqnarray}\label{3.16}
\frac{d}{dt}\|\nabla u\|_2^2 + \|\Delta u\|_2^2 &\leq &C\big(
\|\nabla\omega_3\|_2\|\nabla u\|_2 + \|a\|_2^{2/3}\|u_3\|_\infty^{4/3}
\|\nabla u\|_2^2\big)\|\nabla u\|_2^2 \nonumber\\
&& + C\big(\|u_3\|_\infty^2 + \|a\|_2^{4/3}\|u_3\|_\infty^{8/3}\big)
\|\nabla u\|_2^2,
\end{eqnarray}
which implies
\begin{eqnarray*}
\|\nabla u(t)\|_2^2 &\leq& \big\{\|\nabla a\|_2^2 + C\big(M_0^2 + \|a\|_2^
{4/3}M_0^{8/3}\big)\|a\|_2^2\big\}\\
&&\times \exp\big\{C\|a\|_2\big(\|\nabla a\|_2
+ M_0\|a\|_2 + \|a\|_2^{5/3}M_0^{4/3}\big)\big\},
\end{eqnarray*}
here we used Lemmas \ref{lm3.1} and \ref{lm3.2}. The above inequality and
(\ref{3.16}) implies (\ref{3.15}). \hfill $\Box$

\paragraph{Proof of Theorem \ref{thm1}}
Since the initial velocity field $a$ is in $L^2_\sigma({\mathbb{R}}^3)
\cap H^1({\mathbb{R}}^3)$, it is well-known that there is a $T_0 > 0$, such
that there is a unique strong solution $u \in L^\infty(0, T_0; H^1(
{\mathbb{R}}^3))\cap L^2(0, T_0; H^2({\mathbb{R}}^3))$ to the Navier-Stokes
equations (\ref{1.1}). See \cite{sohr}. According the result about uniqueness
\cite{sohr}, our weak solution identity with the strong solution in $(0, T_0)$.
If $u_3 \in L^\infty({\mathbb{R}}^3\times (0, T)) (t_0 < T \leq +\infty)$ or
$\nabla u_3 \in L^s(0, T; L^q({\mathbb{R}}^3))$ for $1/s + 3/2q = 1/2$ with
$q \geq 3$, then Lemmas \ref{lm3.1}-\ref{lm3.5} imply
$$\sup_{0\leq t \leq T}\|u(t)\|_{H^1({\mathbb{R}}^3)} + \int^T_0\big(\|\nabla u(s)\|_2^2
+ \|\Delta u(s)\|_2^2\big)ds \leq C(\|a\|_{H^1({\mathbb{R}}^3)}). $$
Thus the local strong solution $u$ can be extended to time $T$, and also identity
with the weak solution. Moreover the classical regular criteria \cite{sohr}
implies that $u$ is a regular solution on $[0, T]$.
\hfill $\Box$

\paragraph{Remark.}
The referee has kindly pointed out the recent works \cite{new1}
-\cite{new3}. In \cite{new1}, the authors consider the interior regularity
of the suitable weak solutions under the assumption that one component of
the velocity is assumed to belong to the anisotropic Lebesgue space $L^{p,q}$
(p in time and q in space) with $2/p + 3/q \leq 1/2$ for $p \geq 4$ and $q >
6$; In \cite{new2}, the authors obtained the regular criteria under the
different assumptions on three components of velocity; While in \cite{new3},
the authors defined many regularity classes by means of derivatives of some
components of velocity. For example, they obtained the regularity of the weak
solutions which satisfy the energy inequality and $\partial_3 u$ belong to
$L^p(0, T; L^q({\mathbb{R}}^3))$ with $1/p + 3/2q \leq 3/4$ for $q \geq 2$,
or $\partial_3u_3 \in L^\infty(0, T; L^\infty(\mathbb{R}))$, etc. But our
assumptions are different from theirs. Through our arguments also based on
some estimates of vorticity as do in \cite{new1}-\cite{new3}, the particular
technique is different.


\paragraph{Acknowledgement.}
 The author would like to express his sincere gratitude to researchers:
Professor Tetsuro Miyakawa for his heuristic discussion about this problem,
the anonymous referee for his helpful comments and for
pointing out the existence of related works \cite{new1}-\cite{new3},
Professor M. Pokorny for sending me his preprint \cite{new3},
and for pointing out that the weak solution here should satisfy the
energy inequality. The present work was completed while the author was
visiting the Department of Mathematics at Kobe University as a reseach
fellow of the Japan Society for the Promotion of Sciences (JSPS). The
financial support and the warm hospitality at these institutions are
gratefully acknowledged here.


\begin{thebibliography}{00} \frenchspacing

\bibitem{da95}H. Beir\~{a}o da Veiga, A new regularity class for the Navier-
Stokes equations in ${\mathbb{R}}^n$, Chin. Ann. of Math., 16B:4(1995), 407-412.

\bibitem{da97}H. Beir\~{a}o da Veiga, Remarks on the smoothness of the $L^
\infty(0, T; L^3)$ solutions of the 3-D Navier-Stokes equations, Portugaliae
Math., 54(1997), 381-391.

\bibitem{ckn}L. Caffarelli, R. Kohn \& L. Nirenberg, Partial regularity of
suitable weak solution of the Navier-Stokes equations, Comm. Pure Appl. Math.,
35(1982) 771-837.

\bibitem{fabe}E. Fabes, B. Jones \& N. Riviere, The initial value problem
for the Navier-Stokes equations with data in $L^p$, Archive Rational Mech.
Anal., 45(1972), 222-248.

\bibitem{giga}Y. Giga, Solutions for semilinear parabolic
equations in $L^p$ and regularity of weak solutions of the Navier-Stokes system,
 J. Diff. Eqns., 61(1986), 186-212.

\bibitem{leray}J. Leray, Sur le mouvement d'un liquide visqueux emplissant
l'espace, Acta Math., 63(1934), 193-248.

\bibitem{neustupa}J. Neustupa and P. Penel, Regularity of a suitable weak
solution to the Navier-Stokes equations as a consequence of regularity of one
velocity component, Applied Nonlinear Analysis, edited by Sequeira et al.
Kluwer Academic/Plenum Publishers, New York, 1999.

\bibitem{serrin}J. Serrin, On the interior regularity of weak
solutions of the Navier-Stokes equations, Archive Rational Mech. Anal., 9(1962),
187-195.

\bibitem{takahashi}S. Takahashi, On interior regularity criteria for weak solutions
of the Navier-Stokes equations, Manuscripta Math., 69(1990), 237-254.

\bibitem{von}Wolf von Wahl, Regularity of weak solutions of the
Navier-Stokes equations, Symposia in Pure Mathematics, Vol.45, (F.E. Browder, ed.)
Providence, R.I., Amer. Math. Soc., 1986, 497-503.


\bibitem{sohr}W. von Wahl, The Equations of Navier-Stokes and Abstract Parabolic
Equations, Aspects of Mathematics No. E8, Vieweg, Braunschweig, 1985.

\bibitem{new1}J. Neustupa, A. Novotny and P. Penel, An interior regularity of
a weak solution to the Navier-Stokes equations in dependence on one component
of velocity. In``Topics in Mathematical Fluid Mechanics", a special issue of
Quaderni di Matematica in 2002.

\bibitem{new2}J. Neustupa and P.Penel, Anisotropic and geometric criteria for
interior regularity of weak solutions to the 3D Navier-Stokes. In ``Mathematical
Fluid Mechanics, Recent Results and Open Questions", J. Neustupa and P. Penel
Eds., Birkhauser Verlag, Basel-Boston-Berlin, 2001, 237-268.

\bibitem{new3}P.Penel and M. Pokorny, Some new regularity criteria for the
Navier-Stokes equations containing the gradient of the velocity. Preprint.
http://www.karlin.mff.cuni.cz/ms-preprints/.

\end{thebibliography}

\noindent \textsc{Cheng  He }\\
Department of Mathematics, Faculty of Science\\
Kobe University\\
Rokko, Kobe, 657-8501, Japan\\
e-mail:  chenghe@math.kobe-u.ac.jp \\
On leave from:\\
Academy of Mathematics and System Sciences,\\
Academia Sinica, Beijing, 100080, China.

\end{document}