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

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

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 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 establish the local-in-time existence of a solution to the non-resistive magneto-micropolar fluids with the initial data $u_0\in H^{s-1+\epsilon }$, $w_0\in H^{s-1}$ and $b_0\in H^s$ for $s>\frac{3}{2}$ and any $0<\epsilon <1$. The initial regularity of the micro-rotational velocity $w$ is weaker than velocity of the fluid $u$.

As observed by Yamazaki, the third component $b_3$ of the magnetic field can be estimated by the corresponding component $u_3$ of the velocity field in $L^{\lambda }$ $(2\le \lambda \le 6)$ norm. This leads him to establish regularity criterion involving $u_3,j_3$ or $u_3,{\omega }_3$. Noticing that $\lambda$ can be greater than 6 in this paper, we can improve previous results.

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 consider a class of initial-boundary value problems for quasilinear PDEs, subject to the dynamic boundary conditions. Each initial-boundary problem is denoted by (S)${}_{\epsilon }$ with a nonnegative constant $\epsilon$, and for any $\epsilon \ge 0$, (S)${}_{\epsilon }$ can be regarded as a vectorial transmission system between the quasilinear equation in the spatial domain $\Omega$, and the parabolic equation on the boundary $\Gamma :=\partial \Omega$, having a sufficient smoothness. The objective of this study is to establish a mathematical method,...

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

We take another approach to the well known theorem of Korovkin, in the following situation: X, Y are compact Hausdorff spaces, M is a unital subspace of the Banach space C(X) (respectively, $C_{ℝ}\left(X\right)$) of all complex-valued (resp., real-valued) continuous functions on X, S ⊂ M a complex (resp., real) function space on X, ϕₙ a sequence of unital linear contractions from M into C(Y) (resp., $C_{ℝ}\left(Y\right)$), and ${\varphi }_{\infty }$ a linear isometry from M into C(Y) (resp., $C_{ℝ}\left(Y\right)$). We show, under the assumption that ${\Pi }_N\subset {\Pi }_T$, where ${\Pi }_N$ is...

We consider the integral functional $J\left(u\right)={\int }_{\Omega }\left[f\right(\left|Du\right|\left)-u\right]dx$, $u\in W_0^{1,1}\left(\Omega \right)$, where $\Omega \subset {ℝ}^n$, $n\ge 2$, is a nonempty bounded connected open subset of ${ℝ}^n$ with smooth boundary, and $ℝ\ni s\mapsto f\left(\right|s\left|\right)$ is a convex, differentiable function. We prove that if $J$ admits a minimizer in $W_0^{1,1}\left(\Omega \right)$ depending only on the distance from the boundary of $\Omega$, then $\Omega$ must be a ball.

The seminal theorem of Cobham has given rise during the last 40 years to a lot of work about non-standard numeration systems and has been extended to many contexts. In this paper, as a result of fifteen years of improvements, we obtain a complete and general version for the so-called substitutive sequences. Let $\alpha$ and $\beta$ be two multiplicatively independent Perron numbers. Then a sequence $x\in A^{\mathbb{N}}$, where $A$ is a finite alphabet, is both $\alpha$-substitutive and $\beta$-substitutive if and only if $x$ is ultimately...

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

Consider the family uₜ = Δu + G(u), t > 0, $x\in {\Omega }_{\epsilon }$, ${\partial }_{{\nu }_{\epsilon }}u=0$, t > 0, $x\in \partial {\Omega }_{\epsilon }$, $\left(E_{\epsilon }\right)$ of semilinear Neumann boundary value problems, where, for ε > 0 small, the set ${\Omega }_{\epsilon }$ is a thin domain in ${ℝ}^l$, possibly with holes, which collapses, as ε → 0⁺, onto a (curved) k-dimensional submanifold of ${ℝ}^l$. If G is dissipative, then equation $\left(E_{\epsilon }\right)$ has a global attractor ${}_{\epsilon }$. We identify a “limit” equation for the family $\left(E_{\epsilon }\right)$, prove convergence of trajectories and establish an upper semicontinuity result for the family ${}_{\epsilon }$ as ε → 0⁺. ...

For a smooth curve $\Gamma$ and a set $\Lambda$ in the plane ${ℝ}^2$, let $AC(\Gamma ;\Lambda )$ be the space of finite Borel measures in the plane supported on $\Gamma$, absolutely continuous with respect to the arc length and whose Fourier transform vanishes on $\Lambda$. Following [12], we say that $(\Gamma ,\Lambda )$ is a Heisenberg uniqueness pair if $AC(\Gamma ;\Lambda )=\left\{0\right\}$. In the context of a hyperbola $\Gamma$, the study of Heisenberg uniqueness pairs is the same as looking for uniqueness sets $\Lambda$ of a collection of solutions to the Klein-Gordon equation. In this work, we mainly...