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

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 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 investigate the recovery of $k$-sparse signals using the ${\ell }_1$-${\ell }_2$ minimization model with prior support set information. The prior support set information, which is believed to contain the indices of nonzero signal elements, significantly enhances the performance of compressive recovery by improving accuracy, efficiency, reducing complexity, expanding applicability, and enhancing robustness. We assume $k$-sparse signals $𝐱$ with the prior support $T$ which is composed of $g$ true indices and $b$ wrong...

Let $\Omega$ be a bounded domain of class $C^2$ in $ℝ$N and let $K$ be a compact subset of $\partial \Omega$. Assume that $q\ge (N+1)/\left(N-1\right)$ and denote by $U_K$ the maximal solution of $-\Delta u+u^q=0$ in $\Omega$ which vanishes on $\partial \Omega \setminus K$. We obtain sharp upper and lower estimates for $U_K$ in terms of the Bessel capacity $C_{2/q,q^{\text{'}}}$ and prove that $U_K$ is $\sigma$-moderate. In addition we describe the precise asymptotic behavior of $U_K$ at points $\sigma \in K$, which depends on the “density” of $K$ at $\sigma$, measured in terms of the capacity $C_{2/q,q^{\text{'}}}$.

Let ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ be the following algorithmic problem: Given a finite simplicial complex $K$ of dimension at most $k$, does there exist a (piecewise linear) embedding of $K$ into ${ℝ}^d$? Known results easily imply polynomiality of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2}$ ($k=1,2$; the case $k=1,d=2$ is graph planarity) and of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to 2k}$ for all $k\ge 3$. We show that the celebrated result of Novikov on the algorithmic unsolvability of recognizing the 5-sphere implies that ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{d\to d}$ and ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{(d-1)\to d}$ are undecidable for each ${}_d\ge 5$. Our main result is NP-hardness of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{2\to 4}$ and, more generally, of ${\mathrm{𝙴𝙼𝙱𝙴𝙳}}_{k\to d}$ for all...

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

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