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

Pancyclic out-arcs of a vertex in oriented graphs

Let D be an oriented graph with $n?9$ vertices and minimum degree at least $n?2$, such that, for any two vertices x and y, either x dominates y or $d_D^{+}(x)+d_D^{?}(y)?n?3$. Song (1994) [5] proved that D is pancyclic. Bang-Jensen and Guo (1999) [2] proved, based on Song?s result, that D is vertex pancyclic. In this article, we give a sufficient condition for D to contain a vertex whose out-arcs are pancyclic in D, when $n?14$.     

State complexity of power

The number of states in a deterministic finite automaton (DFA) recognizing the language $L^k$, where $L$ is regular language recognized by an $n$-state DFA, and $k?2$ is a constant, is shown to be at most $n{2}^{(k?1)n}$ and at least $(n?k)2^{(k?1)(n?k)}$ in the worst case, for every $n>k$ and for every alphabet of at least six letters. Thus, the state complexity of $L^k$ is $\Theta \left(n{2}^{(k?1)n}\right)$. In the case $k=3$ the corresponding state complexity function for $L^3$ is determined as $\frac{6n?3}{8}{4}^n?(n?1)2^n?n$ with the lower bound witnessed by automata over a four-letter alphabet. The nondeterministic state complexity of $L^k$ is demonstrated to be $nk$. This bound is shown to be tight over a two-letter alphabet.     

Nonexistence of global solutions for a class of nonlocal in time and space nonlinear evolution equations

In this paper, we study the nonlocal nonlinear evolution equation

${}^C{D}_{0|t}^{\alpha }u(t,x)?(J1\left|u\right|?\left|u\right|)(t,x){+}^C{D}_{0|t}^{\beta }u(t,x)={\left|u(t,x)\right|}^p,t>0,x\in {\mathbb{R}}^d,$

where $1<\alpha <2$, $0<\beta <1$, $p>1$, $J:{\mathbb{R}}^d\to {\mathbb{R}}_{+}$, $1$ is the convolution product in ${\mathbb{R}}^d$, and ${}^C{D}_{0|t}^q$, $q\in \{\alpha ,\beta \}$, is the Caputo left-sided fractional derivative of order $q$ with respect to the time $t$. We prove that the problem admits no global weak solution other than the trivial one with suitable initial data when $1<p<1+\frac{2\beta }{d\beta +2(1?\beta )}$. Next, we deal with the system

where $1<\alpha <2$, $0<\beta <1$, $p>1$, and $q>1$. We prove that the system admitsnon global weak solution other than the trivial one with suitable initial data when $1<pq<1+\frac{2\beta }{d\beta +2(1?\beta )}max\{p+1,q+1\}$. Our approach is based on the test function method.     

Existence of ground states for a Kirchhoff type problem without 4-superlinear condition

We consider the existence of ground state solutions for the Kirchhoff type problem

where $a,b>0$, $N=1,2,3$ and $2<p<2^1$. Here we are interested in the case that $2<p\le 4$ since the existence of ground state for $4<p\le 2^1$ is easily obtained by a standard variational argument. Our method is based on a Poho$\stackrel{?}{z}$aev type identity.     

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

Existence of positive ground state solutions for a critical Kirchhoff type problem with sign-changing potential

In this work, we are interested in studying the following Kirchhoff type problem

where $\Omega ?{\mathbb{R}}^N(N\ge 3)$ is a smooth bounded domain, $2^1=\frac{2N}{N?2}$ is the critical Sobolev exponent, $0<q<1,\lambda >0$, and $f\in L^{\infty }\left(\Omega \right)$ with the set $\{x\in \Omega :f\left(x\right)>0\}$ of positive measures, and $g\in L^{\infty }\left(\Omega \right)$ with $g\left(x\right)\ge 0,g?0.$ By the Nehari method and variational method, the existence of positive ground state solutions is obtained.     

Existence and multiplicity of solutions for a nonlocal problem with critical Sobolev exponent

In this work, we are interested in considering the following nonlocal problem

where $\Omega ?{\mathbb{R}}^N(N\ge 4)$ is a smooth bounded domain, $a\ge 0,b>0,1<q<2,\mu ,\lambda >0$ and $2^1=\frac{2N}{N?2}$ is the critical Sobolev exponent. By using the variational method and the critical point theorem, some existence and multiplicity results are obtained.     

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