On the applicability of Postʼs lattice

For decision problems $\Pi (B)$ defined over Boolean circuits using gates from a restricted set B only, we have $\Pi (B){?}_m^{{\mathrm{AC}}^0}\Pi (B^{\prime })$ for all finite sets B and $B^{\prime }$ of gates such that all gates from B can be computed by circuits over gates from $B^{\prime }$. In this note, we show that a weaker version of this statement holds for decision problems defined over Boolean formulae, namely that $\Pi (B){?}_m^{{\mathrm{NC}}^2}\Pi (B^{\prime }\cup \{\wedge ,\vee \})$ and $\Pi (B){?}_m^{{\mathrm{NC}}^2}\Pi (B^{\prime }\cup \{0,1\})$ for all finite sets B and $B^{\prime }$ of Boolean functions such that all $f\in B$ can be defined in $B^{\prime }$.     

Continuity and random dynamics of the non-autonomous stochastic FitzHugh–Nagumo system on RN

In this article, we use the so-called difference estimate method to investigate the continuity and random dynamics of the non-autonomous stochastic FitzHugh–Nagumo system with a general nonlinearity. Firstly, under weak assumptions on the noise coefficient, we prove the existence of a pullback attractor in $L^2\left({\mathbb{R}}^N\right)\times L^2\left({\mathbb{R}}^N\right)$ by using the tail estimate method and a certain compact embedding on bounded domains. Secondly, although the difference of the first component of solutions possesses at most $p$-times integrability where $p$ is the growth exponent of the nonlinearity, we overcome the absence of higher-order integrability and establish the continuity of solutions in $(L^p\left({\mathbb{R}}^N\right)\cap H^1\left({\mathbb{R}}^N\right))\times L^2\left({\mathbb{R}}^N\right)$ with respect to the initial values belonging to $L^2\left({\mathbb{R}}^N\right)\times L^2\left({\mathbb{R}}^N\right)$. As an application of the result on the continuity, the existence of a pullback attractor in $(L^p\left({\mathbb{R}}^N\right)\cap H^1\left({\mathbb{R}}^N\right))\times L^2\left({\mathbb{R}}^N\right)$ is proved for arbitrary $N\ge 1$ and $p>2$.     

Multiplicity of positive solutions for the Kirchhoff-type equations with critical exponent in RN

In this work we study the existence and multiplicity of solutions to the following Kirchhoff-type problem with critical nonlinearity in ${\mathbb{R}}^N$

where $N\ge 2p$, $\mu ,\lambda ,a,b>0$ and the nonlinearity $f(x,u)$ satisfies certain subcritical growth conditions. By using topological and variational methods, infinitely many positive solutions are obtained.     

On the definition of the intuitionistic fuzzy subgroups

In this paper, a new kind of intuitionistic fuzzy subgroup theory, which is different from that of Ma, Zhan and Davvaz (2008) [22], [23], is presented. First, based on the concept of cut sets on intuitionistic fuzzy sets, we establish the neighborhood relations between a fuzzy point $x_a$ and an intuitionistic fuzzy set $A$. Then we give the definitions of the grades of $x_a$ belonging to $A$, $x_a$ quasi-coincident with $A$, $x_a$ belonging to and quasi-coincident with $A$ and $x_a$ belonging to or quasi-coincident with $A$, respectively. Second, by applying the 3-valued Lukasiewicz implication, we give the definition of $(\alpha ,\beta )$-intuitionistic fuzzy subgroups of a group $G$ for $\alpha ,\beta \in \{\in ,q,\in \wedge q,\in \vee q\}$, and we show that, in 16 kinds of $(\alpha ,\beta )$-intuitionistic fuzzy subgroups, the significant ones are the $(\in ,\in )$-intuitionistic fuzzy subgroup, the $(\in ,\in \vee q)$-intuitionistic fuzzy subgroup and the $(\in \wedge q,\in )$-intuitionistic fuzzy subgroup. We also show that $A$ is a $(\in ,\in )$-intuitionistic fuzzy subgroup of $G$ if and only if, for any $a\in (0,1]$, the cut set $A_a$ of $A$ is a 3-valued fuzzy subgroup of $G$, and $A$ is a $(\in ,\in \vee q)$-intuitionistic fuzzy subgroup (or $(\in ,\in \vee q)$-intuitionistic fuzzy subgroup) of $G$ if and only if, for any $a\in (0,0.5]$(or for any $a\in (0.5,1]$), the cut set $A_a$ of $A$ is a 3-valued fuzzy subgroup of $G$. At last, we generalize the $(\in ,\in )$-intuitionistic fuzzy subgroup, $(\in ,\in \vee q)$-intuitionistic fuzzy subgroup and $(\in \wedge q,\in )$-intuitionistic fuzzy subgroup to intuitionistic fuzzy subgroups with thresholds, i.e., $(s,t]$-intuitionistic fuzzy subgroups. We show that $A$ is a $(s,t]$-intuitionistic fuzzy subgroup of $G$ if and only if, for any $a\in (s,t]$, the cut set $A_a$ of $A$ is a 3-valued fuzzy subgroup of $G$. We also characterize the $(s,t]$-intuitionistic fuzzy subgroup by the neighborhood relations between a fuzzy point $x_a$ and an intuitionistic fuzzy set $A$.     

On the blow-up criterion for the quasi-geostrophic equations in homogeneous Besov spaces

In this paper, we consider the blow-up criterion for the quasi-geostrophic equations with dissipation ${\Lambda }^{\gamma }$ ($0<\gamma <1$). By establishing a new trilinear estimate, we show that if

$\theta \in L^{\frac{\gamma }{\gamma +s?1}}(0,T;{\stackrel{?}{B}}_{\infty ,\infty }^s\left({\mathbb{R}}^2\right))$

for some $s\in \left(1?\frac{\gamma }{2},1\right)$, then the solution can be extended smoothly past $T$. This improves and extends the corresponding results in Dong and Pavlovi? (2009) ([32]) and Yuan (2010).