Note on nonparametric spectral analysis of wideband spectrum with missing data via sample-and-hold interpolation and deconvolution

In [1] a procedure for bias-free estimation of the autocorrelation function is introduced for equidistantly sampled data with randomly occurring samples being invalid. The method incorporates sample-and-hold interpolation of the missing data points. The occurring dynamic error of the primary estimate of the correlation function is treated by a deconvolution procedure with two parameters $c_0$ and $c_1$ with $c_0+2c_1=1$, which are the on-diagonal and the aside-diagonal parameters of a specific correction matrix (at all lag times except zero). The parameters $c_0$ and $c_1$ were obtained as a function of the probability α of a sample to be valid by numerical simulation. However, explicit expressions for the parameters $c_0(\alpha )=1-\frac{2}{\alpha }+\frac{2}{{\alpha }^2}$ and $c_1(\alpha )=\frac{1}{\alpha }-\frac{1}{{\alpha }^2}$ can be derived, which might improve the usability of the deconvolution procedure in [1].     

Traveling waves for epidemic models with nonlocal dispersal in time and space periodic habitats

This paper deals with the spatial spreading speed and traveling wave solutions of a general epidemic model with nonlocal dispersal in time and space periodic habitats. It should be mentioned that the existence of spreading speed and traveling wave solutions of nonlocal dispersal cooperative system in space–time periodic habitats have been established previously. In this paper, we further show that the epidemic system has a spreading speed $c^1\left(\xi \right)$ and for any $c>c^1\left(\xi \right)$, there exist a unique, continuous space–time periodic traveling wave solution $({\Phi }_1(x?ct\xi ,t,ct\xi ),{\Phi }_2(x?ct\xi ,t,ct\xi ))$ of epidemic model in the direction of $\xi$ with speed $c$, and there is no such solution for $c<c^1\left(\xi \right)$.     

Invariant and dual subtraction games resolving the Duchêne–Rigo conjecture

We prove a recent conjecture of Duchêne and Rigo, stating that every complementary pair of homogeneous Beatty sequences represents the solution to an invariant impartial game. Here invariance means that each available move in a game can be played anywhere inside the game board. In fact, we establish such a result for a wider class of pairs of complementary sequences, and in the process generalize the notion of a subtraction game. Given a pair of complementary sequences $\left(a_n\right)$ and $\left(b_n\right)$ of positive integers, we define a game $G$ by setting $\left\{\{a_n,b_n\}\right\}$ as invariant moves. We then introduce the invariant game $G^{?}$, whose moves are all non-zero $P$-positions of $G$. Provided the set of non-zero $P$-positions of $G^{?}$ equals $\left\{\{a_n,b_n\}\right\}$, this is the desired invariant game. We give sufficient conditions on the initial pair of sequences for this ‘duality’ to hold.     

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

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.     

Unsteady micropolar fluid flow in a thin domain with Tresca fluid–solid interface law

We consider a micropolar fluid flow in a two-dimensional domain. We assume that the velocity field satisfies a non-linear slip boundary condition of friction type on a part of the boundary while the micro-rotation field satisfies non-homogeneous Dirichlet boundary conditions. We prove the existence and uniqueness of a solution. Then motivated by lubrication problems we assume that the thickness and the roughness of the domain are of order $0<\epsilon <<1$ and we study the asymptotic behaviour of the flow as $\epsilon$ tends to zero. By using the two-scale convergence technique we derive the limit problem which is totally decoupled for the limit velocity and pressure $(v^0,p^0)$ on one hand and the limit micro-rotation $Z^0$ on the other hand. Moreover we prove that $v^0$, $p^0$ and $Z^0$ are uniquely determined via auxiliary well-posed problems.     

Effect of Porosity on free and forced vibration characteristics of the GPL reinforcement composite nanostructures

This article investigates the influence of porosity on free and forced vibration characteristics of a nanoshell reinforced by graphene platelets (GPL). The material properties of piece-wise graphene-reinforced composites (GPLRCs) are assumed to be graded in the thickness direction of a cylindrical nanoshell and estimated using a nanomechanical model. In addition, because of imperfection of the current structure, three kinds of porosity distributions are considered. The nanostructure is modeled using modified strain gradient theory (MSGT) which is a size-dependent theory with three length scale parameters. The novelty of the current study is to consider the effects of porosity, GPLRC and MSGT on dynamic and static behaviors of the nanostructure. Considering three length scale parameters ( $l_0=5h$, $l_1=3h$, $l_2=5h$ ) in MSGT leads to a better agreement with MD simulation in comparison by other theories. Finally, effects of different factors on static and dynamic behaviors of the porous nanostructure are examined in detail.     

On the absence of global solutions for quantum versions of Schrödinger equations and systems

We, first, consider the quantum version of the nonlinear Schrödinger equation

$i^q{D}_{q|t}u(t,x)+\Delta u(qt,x)=\lambda |u(qt,x){|}^p,t>0,x\in {\mathbb{R}}^N,$

where $0<q<1$, $i^q$ is the principal value of $i^q$, $D_{q|t}$ is the $q$-derivative with respect to $t$, $\Delta$ is the Laplacian operator in ${\mathbb{R}}^N$, $\lambda \in ??\left\{0\right\}$, $p>1$, and $u(t,x)$ is a complex-valued function. Sufficient conditions for the nonexistence of global weak solution to the considered equation are obtained under suitable initial data. Next, we study the system of nonlinear coupled equations

$i^q{D}_{q|t}u(t,x)+\Delta u(qt,x)=\lambda |v(qt,x){|}^p,t>0,x\in {\mathbb{R}}^N,$

$i^q{D}_{q|t}v(t,x)+\Delta v(qt,x)=\lambda |u(qt,x){|}^m,t>0,x\in {\mathbb{R}}^N,$     

Even-order linear dynamic equations with mixed derivatives

We consider the time scale $k$th-order differential operators $D_k^{\Delta }y≔\{\begin{array}{cc}{y}^{\Delta \nabla \dots \Delta \nabla }& k\text{ even ,}\\ y^{\Delta \nabla \dots \nabla \Delta }& k\text{ odd ,}\end{array}{\tilde{D}}_k^{\Delta }y≔\{\begin{array}{cc}{y}^{\nabla \Delta \dots \nabla \Delta }& k\text{ even ,}\\ y^{\Delta \nabla \dots \nabla \Delta }& k\text{ odd ,}\end{array}$$D_k^{\nabla }y≔\{\begin{array}{cc}{y}^{\nabla \Delta \dots \nabla \Delta }& k\text{ even ,}\\ y^{\nabla \Delta \dots \Delta \nabla }& k\text{ odd ,}\end{array}{\tilde{D}}_k^{\nabla }y≔\{\begin{array}{cc}{y}^{\Delta \nabla \dots \Delta \nabla }& k\text{ even ,}\\ y^{\nabla \Delta \dots \Delta \nabla }& k\text{ odd ,}\end{array}$ and the higher-order dynamic equations $L\left(y\right)≔\sum _{\nu =0}^n{(-1)}^{\nu }{\tilde{D}}_{\nu }^{\nabla }\left(r_{\nu }\left(t\right)D_{\nu }^{\Delta }y\right)=0\text{,}$$M\left(y\right)≔\sum _{\nu =0}^n{(-1)}^{\nu }{\tilde{D}}_{\nu }^{\Delta }\left(r_{\nu }\left(t\right)D_{\nu }^{\nabla }y\right)=0\text{.}$ We will show that these equations can be investigated as special cases of the so-called (delta or nabla) symplectic dynamic systems $z^{\Delta }=S\left(t\right)z\text{,}{z}^{\nabla }=S\left(t\right)z\text{,}$ whose qualitative theory is well developed. We also suggest further perspectives of the investigation of the qualitative properties of higher-order equations with mixed derivatives.     

Superconvergence analysis of nonconforming finite element method for time-fractional nonlinear parabolic equations on anisotropic meshes

In this paper, we prove a novel result of the consistency error estimate with order $O\left(h^2\right)$ for $E{Q}_1^{rot}$ element (see Lemma 2) on anisotropic meshes. Then, a linearized fully discrete Galerkin finite element method (FEM) is studied for the time-fractional nonlinear parabolic problems, and the superclose and superconvergent estimates of order $O(\tau +h^2)$ in broken $H^1$-norm on anisotropic meshes are derived by using the proved character of $E{Q}_1^{rot}$ element, which improve the results in the existing literature. Numerical results are provided to confirm the theoretical analysis.     

Suslin’s algorithms for reduction of unimodular rows

A well-known lemma of Suslin says that for a commutative ring $A$ if $(v_1\left(X\right),\dots ,v_n\left(X\right))\in {\left(A\left[X\right]\right)}^n$ is unimodular where $v_1$ is monic and $n\ge 3$, then there exist ${\gamma }_1,\dots ,{\gamma }_{\ell }\in E_{n-1}\left(A\left[X\right]\right)$ such that the ideal generated by $\mathrm{Res}(v_1,e_1.{\gamma }_1{}^t(v_2,\dots ,v_n)),\dots ,\mathrm{Res}(v_1,e_1.{\gamma }_{\ell }{}^t(v_2,\dots ,v_n))$ equals $A$. This lemma played a central role in the resolution of Serre’s Conjecture. In the case where $A$ contains a set $E$ of cardinality greater than $deg{v}_1+1$ such that $y-y^{\prime }$ is invertible for each $y\ne y^{\prime }$ in $E$, we prove that the ${\gamma }_i$ can simply correspond to the elementary operations $L_1\to L_1+y_i{\sum }_{j=2}^{n-1}{u}_{j+1}{L}_j$, $1\le i\le \ell =deg{v}_1+1$, where $u_1{v}_1+\cdots +u_n{v}_n=1$. These efficient elementary operations enable us to give new and simple algorithms for reducing unimodular rows with entries in $K[X_1,\dots ,X_k]$ to ${}^t(1,0,\dots ,0)$ using elementary operations in the case where $K$ is an infinite field. Another feature of this paper is that it shows that the concrete local–global principles can produce competitive complexity bounds.