Formality theorem for g-manifolds

With any $\mathfrak{g}$-manifold M are associated two dglas $\mathrm{tot}({\mathrm{\Lambda }}^{?}{\mathfrak{g}}^{\vee }{?}_{\mathbb{k}}{T}_{\mathrm{poly}}^{?}(M))$ and $\mathrm{tot}({\mathrm{\Lambda }}^{?}{\mathfrak{g}}^{\vee }{?}_{\mathbb{k}}{D}_{\mathrm{poly}}^{?}(M))$, whose cohomologies $H_{\mathrm{CE}}^{?}(\mathfrak{g},T_{\mathrm{poly}}^{?}(M)\stackrel{0}{\to }{T}_{\mathrm{poly}}^{?+1}(M))$ and $H_{\mathrm{CE}}^{?}(\mathfrak{g},D_{\mathrm{poly}}^{?}(M)\stackrel{d_H}{\to }{D}_{\mathrm{poly}}^{?+1}(M))$ are Gerstenhaber algebras. We establish a formality theorem for $\mathfrak{g}$-manifolds: there exists an $L_{\infty }$ quasi-isomorphism $\mathrm{\Phi }:\mathrm{tot}({\mathrm{\Lambda }}^{?}{\mathfrak{g}}^{\vee }{?}_{\mathbb{k}}{T}_{\mathrm{poly}}^{?}(M))\to \mathrm{tot}({\mathrm{\Lambda }}^{?}{\mathfrak{g}}^{\vee }{?}_{\mathbb{k}}{D}_{\mathrm{poly}}^{?}(M))$ whose first ‘Taylor coefficient’ (1) is equal to the Hochschild–Kostant–Rosenberg map twisted by the square root of the Todd cocycle of the $\mathfrak{g}$-manifold M, and (2) induces an isomorphism of Gerstenhaber algebras on the level of cohomology. Consequently, the Hochschild–Kostant–Rosenberg map twisted by the square root of the Todd class of the $\mathfrak{g}$-manifold M is an isomorphism of Gerstenhaber algebras from $H_{\mathrm{CE}}^{?}(\mathfrak{g},T_{\mathrm{poly}}^{?}(M)\stackrel{0}{\to }{T}_{\mathrm{poly}}^{?+1}(M))$ to $H_{\mathrm{CE}}^{?}(\mathfrak{g},D_{\mathrm{poly}}^{?}(M)\stackrel{d_H}{\to }{D}_{\mathrm{poly}}^{?+1}(M))$.     

A uniqueness criterion of limit cycles for planar polynomial systems with homogeneous nonlinearities

This paper is devoted to study the planar polynomial system:

$\dot{x}=ax?y+P_n(x,y),\dot{y}=x+ay+Q_n(x,y),$

where $a\in \mathbb{R}$ and $P_n,Q_n$ are homogeneous polynomials of degree $n\ge 2$. Denote $\psi (\theta )=\cos ?(\theta )?Q_n(\cos ?(\theta ),\sin ?(\theta ))?\sin ?(\theta )?P_n(\cos ?(\theta ),\sin ?(\theta ))$. We prove that the system has at most 1 limit cycle surrounding the origin provided $(n?1)a\psi (\theta )+\dot{\psi }(\theta )\ne 0$. Furthermore, this upper bound is sharp. This is maybe the first uniqueness criterion, which only depends on a (linear) condition of ψ, for the limit cycles of this kind of systems. We show by examples that in many cases, the criterion is applicable while the classical ones are invalid. The tool that we mainly use is a new estimate for the number of limit cycles of Abel equation with coefficients of indefinite signs. Employing this tool, we also obtain another geometric criterion which allows the system to possess at most 2 limit cycles surrounding the origin.     

Global existence and stabilization in a degenerate chemotaxis-Stokes system with mildly strong diffusion enhancement

A class of chemotaxis-Stokes systems generalizing the prototype

$\{\begin{array}{ccc}\hfill n_t+u?\mathrm{?}n& \hfill =\hfill & \mathrm{?}?\left(n^{m?1}\mathrm{?}n\right)?\mathrm{?}?\left(n\mathrm{?}c\right),\hfill \\ \hfill c_t+u?\mathrm{?}c& \hfill =\hfill & \mathrm{\Delta }c?nc,\hfill \\ \hfill u_t+\mathrm{?}P& \hfill =\hfill & \mathrm{\Delta }u+n\mathrm{?}?,\mathrm{?}?u=0,\hfill \end{array}$

is considered in bounded convex three-dimensional domains, where $?\in W^{2,\infty }(\mathrm{\Omega })$ is given.The paper develops an analytical approach which consists in a combination of energy-based arguments and maximal Sobolev regularity theory, and which allows for the construction of global bounded weak solutions to an associated initial-boundary value problem under the assumption that

(0.1)$m>\frac{9}{8}.$

Moreover, the obtained solutions are shown to approach the spatially homogeneous steady state $(\frac{1}{|\mathrm{\Omega }|}{\int }_{\mathrm{\Omega }}{n}_0,0,0)$ in the large time limit.This extends previous results which either relied on different and apparently less significant energy-type structures, or on completely alternative approaches, and thereby exclusively achieved comparable results under hypotheses stronger than (0.1).     

Odd symmetry of least energy nodal solutions for the Choquard equation

We consider the Choquard equation (also known as the stationary Hartree equation or Schrödinger–Newton equation)

$?\mathrm{\Delta }u+u=(I_{\alpha }?|u{|}^p)|u{|}^{p?2}u.$

Here $I_{\alpha }$ stands for the Riesz potential of order $\alpha \in (0,N)$, and $\frac{N?2}{N+\alpha }<\frac{1}{p}\le \frac{1}{2}$. We prove that least energy nodal solutions have an odd symmetry with respect to a hyperplane when α is either close to 0 or close to N.     

On the number of solutions of some Kummer equations over finite fields

Let l be a prime number and let $k={\mathbb{F}}_q$ be a finite field of characteristic $p\ne l$ with $q=p^f$ elements. Let $n\ge 0$. We determine the number N of solutions $(x,y)$ in k of the Kummer equation$y^l=x(x^{l^n}-1),$ in terms of the trace of a certain Jacobi sum.     

Superconcentration,and randomized Dvoretzky's theorem for spaces with 1-unconditional bases

Let n be a sufficiently large natural number and let B be an origin-symmetric convex body in ${\mathbb{R}}^n$in the ?-position, and such that the space $({\mathbb{R}}^n,{6?6}_B)$ admits a 1-unconditional basis. Then for any $\epsilon \in (0,1/2]$, and for random $c\epsilon \log ?n/\log ?\frac{1}{\epsilon }$-dimensional subspace E distributed according to the rotation-invariant (Haar) measure, the section $B\cap E$ is $(1+\epsilon )$-Euclidean with probability close to one. This shows that the “worst-case” dependence on ε in the randomized Dvoretzky theorem in the ?-position is significantly better than in John's position. It is a previously unexplored feature, which has strong connections with the concept of superconcentration introduced by S. Chatterjee. In fact, our main result follows from the next theorem: Let B be as before and assume additionally that B has a smooth boundary and ${\mathbb{E}}_{{\gamma }_n}{6?6}_B\le n^c{\mathbb{E}}_{{\gamma }_n}{6{\mathrm{grad}}_B(?)6}_2$ for a small universal constant $c>0$, where ${\mathrm{grad}}_B(?)$ is the gradient of ${6?6}_B$ and ${\gamma }_n$ is the standard Gaussian measure in ${\mathbb{R}}^n$. Then for any $p\in [1,c\log ?n]$ the p-th power of the norm ${6?6}_B^p$ is $\frac{C}{\log ?n}$-superconcentrated in the Gauss space.     

A new type of approximation for the radical quintic functional equation in non-Archimedean (2,β)-Banach spaces

Let $\mathbb{R}$ be the set of real numbers. In this paper, we first introduce the notions of non-Archimedean $(2,\beta )$-normed spaces $(X,{6?,?6}_{?,\beta })$ and we will reformulate the fixed point theorem [10, Theorem 1] in this space, after it, we introduce and solve the radical quintic functional equation

$f\left(\sqrt[5]{x^5+y^5}\right)=f(x)+f(y),x,y\in \mathbb{R}.$

Also, under some weak natural assumptions on the function $\gamma :\mathbb{R}\times \mathbb{R}\times X\to [0,\infty )$, we show that this theorem is a very efficient and convenient tool for proving the hyperstability results when $f:\mathbb{R}\to X$ satisfy the following radical quintic inequality

${6f\left(\sqrt[5]{x^5+y^5}\right)?f(x)?f(y),z6}_{?,\beta }\le \gamma (x,y,z),x,y\in \mathbb{R}?\{0\},z\in X,$

with $x\ne ?y$.     

Y spaces and global smooth solution of fractional Navier–Stokes equations with initial value in the critical oscillation spaces

For fractional Navier–Stokes equations and critical initial spaces X, one used to establish the well-posedness in the solution space which is contained in $C({\mathbb{R}}_{+},X)$. In this paper, for heat flow, we apply parameter Meyer wavelets to introduce Y spaces $Y^{m,\beta }$ where $Y^{m,\beta }$ is not contained in $C({\mathbb{R}}_{+},{\dot{B}}_{\infty }^{1?2\beta ,\infty })$. Consequently, for $\frac{1}{2}<\beta <1$, we establish the global well-posedness of fractional Navier–Stokes equations with small initial data in all the critical oscillation spaces. The critical oscillation spaces may be any Besov–Morrey spaces ${({\dot{B}}_{p,q}^{{\gamma }_1,{\gamma }_2}({\mathbb{R}}^n))}^n$ or any Triebel–Lizorkin–Morrey spaces ${({\dot{F}}_{p,q}^{{\gamma }_1,{\gamma }_2}({\mathbb{R}}^n))}^n$ where $1\le p,q\le \infty ,0\le {\gamma }_2\le \frac{n}{p},{\gamma }_1?{\gamma }_2=1?2\beta$. These critical spaces include many known spaces. For example, Besov spaces, Sobolev spaces, Bloch spaces, Q-spaces, Morrey spaces and Triebel–Lizorkin spaces etc.     

Chemotaxis effect vs. logistic damping on boundedness in the 2-D minimal Keller–Segel model

We study the chemotaxis effect vs. logistic damping on boundedness for the well-known minimal Keller–Segel model with logistic source:

$\{\begin{array}{ccc}\hfill & u_t=\mathrm{?}?(\mathrm{?}u?\chi u\mathrm{?}v)+u?\mu u^2,\hfill & x\in \mathrm{\Omega },t>0,\hfill \\ \hfill & v_t=\mathrm{\Delta }v?v+u,\hfill & x\in \mathrm{\Omega },t>0\hfill \end{array}$

in a smooth bounded domain $\mathrm{\Omega }?{\mathbb{R}}^2$ with $\chi ,\mu >0$, nonnegative initial data $u_0$, $v_0$, and homogeneous Neumann boundary data. It is well known that this model allows only for global and uniform-in-time bounded solutions for any $\chi ,\mu >0$. Here, we carefully employ a simple and new method to regain its boundedness, with particular attention to how upper bounds of solutions qualitatively depend on χ and μ. More, precisely, it is shown that there exists $C=C(u_0,v_0,\mathrm{\Omega })>0$ such that

${6u(?,t)6}_{L^{\infty }(\mathrm{\Omega })}\le C[1+\frac{1}{\mu }+\chi K(\chi ,\mu )N(\chi ,\mu )]$

and

${6v(?,t)6}_{W^{1,\infty }(\mathrm{\Omega })}\le C[1+\frac{1}{\mu }+\frac{{\chi }^{\frac{8}{3}}}{\mu }{K}^{\frac{8}{3}}(\chi ,\mu )]=:CN(\chi ,\mu )$

uniformly on $[0,\infty )$, where

$K(\chi ,\mu )=M(\chi ,\mu )E(\chi ,\mu ),M(\chi ,\mu )=1+\frac{1}{\mu }+\sqrt{\chi }(1+\frac{1}{{\mu }^2})$

and

$E(\chi ,\mu )=\exp ?\left[\frac{\chi C_{GN}^2}{2\min ?\{1,\frac{2}{\chi }\}}\right(\frac{4}{\mu }{6u_{0}6}_{L^1(\mathrm{\Omega })}+\frac{13}{2{\mu }^2}|\mathrm{\Omega }|+{6\mathrm{?}{v}_{0}6}_{L^2(\mathrm{\Omega })}^2\left)\right].$

We notice that these upper bounds are increasing in χ, decreasing in μ, and have only one singularity at $\mu =0$, where the corresponding minimal model (removing the term $u?\mu u^2$ in the first equation) is widely known to possess blow-ups for large initial data.