Optimal point-wise error estimate of a compact difference scheme for the Klein–Gordon–Schrödinger equation

In this paper, we propose a compact finite difference scheme for computing the Klein–Gordon–Schrödinger equation (KGSE) with homogeneous Dirichlet boundary conditions. The proposed scheme not only conserves the total mass and energy in the discrete level but also is linearized in practical computation. Except for the standard energy method, a new technique is introduced to obtain the optimal convergent rate, without any restriction on the grid ratios, at the order of O(h⁴+τ²)$O(h^4+{\tau }^2)$ in the l^∞$l^{\infty }$-norm with time step τ and mesh size h. Finally, numerical results are reported to test the theoretical results.     

Coarse topological transitivity on open cones and coarsely J-class and D-class operators

We generalize the concept of coarse hypercyclicity, introduced by Feldman in [13], to that of coarse topological transitivity on open cones. We show that a bounded linear operator acting on an infinite dimensional Banach space with a coarsely dense orbit on an open cone is hypercyclic and a coarsely topologically transitive (mixing) operator on an open cone is topologically transitive (mixing resp.). We also “localize” these concepts by introducing two new classes of operators called coarsely J-class and coarsely D  -class operators and we establish some results that may make these classes of operators potentially interesting for further studying. Namely, we show that if a backward unilateral weighted shift on l²(N)$l^2(\mathbb{N})$ is coarsely J-class (or D  -class) on an open cone then it is hypercyclic. Then we give an example of a bilateral weighted shift on l^∞(Z)$l^{\infty }(\mathbb{Z})$ which is coarsely J-class, hence it is coarsely D-class, and not J  -class. Note that, concerning the previous result, it is well known that the space l^∞(Z)$l^{\infty }(\mathbb{Z})$ does not support J-class bilateral weighted shifts, see [10]. Finally, we show that there exists a non-separable Banach space which supports no coarsely D-class operators on open cones. Some open problems are added.     

Uniform point-wise error estimates of semi-implicit compact finite difference methods for the nonlinear Schrödinger equation perturbed by wave operator

This study is devoted to analysis of semi-implicit compact finite difference (SICFD) methods for the nonlinear Schrödinger equation (NLS) perturbed by the wave operator (NLSW) with a perturbation strength described by a dimensionless parameter ε∈(0,1]$\epsilon \in (0,1]$. Uniform l^∞$l^{\infty }$-norm error bounds of the proposed SICFD schemes are built to give immediate insight on point-wise error occurring as time increases, and the explicit dependence of the mesh size and time step on the parameter ε is also figured out. In the small ε   regime, highly oscillations arise in time with O(ε²)$O({\epsilon }^2)$-wavelength. This highly oscillatory nature in time as well as the difficulty raised by the compact FD discretization make establishing the l^∞$l^{\infty }$-norm error bounds uniformly in ε   of the SICFD methods for NLSW to be a very interesting and challenging issue. The uniform l^∞$l^{\infty }$-norm error bounds in ε   are proved to be of O(h⁴+τ)$O(h^4+\tau )$ and O(h⁴+τ^2/3)$O(h^4+{\tau }^{2/3})$ with time step τ and mesh size h for well-prepared and ill-prepared initial data. Finally, numerical results are reported to verify the error estimates and show the sharpness of the convergence rates in the respectively parameter regimes.     

Inverse Jacobian multipliers and Hopf bifurcation on center manifolds

In this paper we consider a class of higher dimensional differential systems in Rⁿ${\mathbb{R}}^n$ which have a two dimensional center manifold at the origin with a pair of pure imaginary eigenvalues. First we characterize the existence of either analytic or C^∞$C^{\infty }$ inverse Jacobian multipliers of the systems around the origin, which is either a center or a focus on the center manifold. Later we study the cyclicity of the system at the origin through Hopf bifurcation by using the vanishing multiplicity of the inverse Jacobian multiplier.     

On rigidity of Roe algebras

Roe algebras are C^?$C^{?}$-algebras built using large scale (or ‘coarse’) aspects of a metric space (X,d)$(X,d)$. In the special case that X=Γ$X=\Gamma$ is a finitely generated group and d   is a word metric, the simplest Roe algebra associated to (Γ,d)$(\Gamma ,d)$ is isomorphic to the crossed product C^?$C^{?}$-algebra l^∞(Γ)_?rΓ$l^{\infty }(\Gamma ){?}_r\Gamma$.     

Fixed points of non-expansive mappings associated with invariant means in a Banach space

In this paper, we study the fixed point set of the non-expansive mapping _Tμ$T_{\mu }$ for a Banach space with uniformly Gâteaux differentiable norm when μ$\mu$ is a multiplicative left invariant mean on l^∞(S)$l^{\infty }\left(S\right)$. As an application, we establish nonlinear ergodic properties for an extremely amenable semigroup of non-expansive mappings in a Banach space with uniformly Gâteaux differentiable norm. Furthermore, we improve a recent result of Atsushiba and Takahashi [S. Atsushiba, W. Takahashi, Weak and strong convergence theorems for non-expansive semigroups in a Banach spaces satisfying Opial’s condition, Sci. Math. Jpn. (in press)] on the fixed point set of non-expansive mappings associated with a left invariant mean on a left amenable semigroup.     

A note on weakly hyperbolic equations with analytic principal part

In this note we show how to include low order terms in the C^∞$C^{\infty }$ well-posedness results for weakly hyperbolic equations with analytic time-dependent coefficients. This is achieved by doing a different reduction to a system from the previously used one. We find the Levi conditions such that the C^∞$C^{\infty }$ well-posedness continues to hold.     

Quantitative Grothendieck property

A Banach space X is Grothendieck if the weak and the weak^? convergence of sequences in the dual space X^?$X^{?}$ coincide. The space ?^∞${?}^{\infty }$ is a classical example of a Grothendieck space due to Grothendieck. We introduce a quantitative version of the Grothendieck property, we prove a quantitative version of the above-mentioned Grothendieck?s result and we construct a Grothendieck space which is not quantitatively Grothendieck. We also establish the quantitative Grothendieck property of L^∞(μ)$L^{\infty }(\mu )$ for a σ-finite measure μ.     

Robust chaos suppression for the family of nonlinear chaotic systems with noise perturbation

This paper investigates the robust chaos suppression problem for some classical Rössler systems using the sliding mode controller (SMC). Based on the proportional-integral (PI) switching surface, a SMC is derived to not only guarantee asymptotical stability of the equilibrium points of the Rössler systems but also reduce the effect of noise perturbation to an _H∞$H_{\infty }$-norm performance. The parameter matrix necessary for constructing both PI switching surface and the SMC can be easily solved by the linear matrix inequality (LMI) optimization technique. Finally, two illustrative examples are provided to demonstrate the efficacy of the proposed control methodology.     

Limitations of learning in automata-based systems

In this article, we aim to analyze the limitations of learning in automata-based systems by introducing the L⁺$L^{+}$ algorithm to replicate quasi-perfect learning, i.e., a situation in which the learner can get the correct answer to any of his queries. This extreme assumption allows the generalization of any limitations of the learning algorithm to less sophisticated learning systems. We analyze the conditions under which the L⁺$L^{+}$ infers the correct automaton and when it fails to do so. In the context of the repeated prisoners’ dilemma, we exemplify how the L⁺$L^{+}$ may fail to learn the correct automaton. We prove that a sufficient condition for the L⁺$L^{+}$ algorithm to learn the correct automaton is to use a large number of look-ahead steps. Finally, we show empirically, in the product differentiation problem, that the computational time of the L⁺$L^{+}$ algorithm is polynomial on the number of states but exponential on the number of agents.     

Global attractor for a nonlinear thermoviscoelastic model with a non-convex free energy density

This paper is concerned with the existence of a global attractor for a semiflow governed by the weak solutions to a nonlinear one-dimensional thermoviscoelasticity with a non-convex free energy density. The constitutive assumptions for the Helmholtz free energy include the model for the study of martensitic phase transitions in shape memory alloys. To describe physically phase transitions between different configurations of crystal lattices, we work in a framework in which the strain u$u$ belongs to L^∞$L^{\infty }$. New approaches are introduced and more delicate estimates are derived to establish the crucial L^∞$L^{\infty }$-estimate of strain u$u$ in deriving the compactness of the orbit of the semiflow and the existence of an absorbing set.     

L -decay rates of planar viscous rarefaction wave for scalar conservation law with degenerate viscosity in n -dimensions

We investigate the Cauchy problem and the initial-boundary value problem for multi-dimensional conservation laws with degenerate viscosity in the whole space and in the half-space respectively. We give the optimal decay estimates in the W^1,p(1≤p≤∞)$W^{1,p}(1\le p\le \infty )$ norm for the perturbation from the planar viscous rarefaction wave. The analysis based on the new L^p$L^p$-energy method and L¹$L^1$-estimates.     

Exponential growth of the vorticity gradient for the Euler equation on the torus

We prove that there are solutions to the Euler equation on the torus with C^1,α$C^{1,\alpha }$ vorticity and smooth except at one point such that the vorticity gradient grows in L^∞$L^{\infty }$ at least exponentially as t→∞$t\to \infty$. The same result is shown to hold for the vorticity Hessian and smooth solutions. Our proofs use a version of a recent result by Kiselev and Šverák [6].     

Observer-based fault detection for networked control systems with network Quality of Services

This paper addresses the problem of the fault detection for linear time-invariant systems over data networks with limited network Quality of Services (QoS). An integrated index _ηk${\eta }_k$, which related with data dropout, network-induced delay and error sequence, is presented to described the non-ideal QoS, the probabilistic switching between different _ηk${\eta }_k$ is assumed to obey a homogeneous Markovian chain. Then by view of the augmented matrices approach, the fault detection error dynamic systems are transferred to Markov jumping systems (MJSs). With the developed model and using the bounded real lemma (BRL) for MJSs, an _H∞$H_{\infty }$ observer-based fault detection filter is established in terms of linear matrix inequalities (LMIs) to guarantee that the error between the residual and the weighted faults is made as small as possible. A simulation example is provided to show the effectiveness of the present methods.     

Relative weak injectivity of operator system pairs

The concept of a relatively weakly injective pair of operator systems is introduced and studied in this paper, motivated by relative weak injectivity in the C*-algebra category. E. Kirchberg [11] proved that the C^?${\mathrm{C}}^{?}$-algebra C^?(_F∞)${\mathrm{C}}^{?}({\mathbb{F}}_{\infty })$ of the free group _F∞${\mathbb{F}}_{\infty }$ on countably many generators characterises relative weak injectivity for pairs of C^?${\mathrm{C}}^{?}$-algebras by means of the maximal tensor product. One of the main results of this paper shows that C^?(_F∞)${\mathrm{C}}^{?}({\mathbb{F}}_{\infty })$ also characterises relative weak injectivity in the operator system category. A key tool is the theory of operator system tensor products  and .     

Optimal decay rates of solutions for a multidimensional generalized Benjamin–Bona–Mahony equation

In this paper, we study the optimal decay rates of solutions for the generalized Benjamin–Bona–Mahony equation in multi-dimensional space (n≥3$n\ge 3$). By using Fourier transform and the energy method, we obtain the L^q(2≤q≤∞)$L^q(2\le q\le \infty )$ convergence rates of the solutions under the condition that the initial data is small. The optimal decay rates obtained in this paper are found to be the same as the decay rate for the Heat equation.     

The cutoff phenomenon for Ehrenfest chains

We consider families of Ehrenfest chains and provide a simple criterion on the L^p$L^p$-cutoff and the L^p$L^p$-precutoff with specified initial states for 1≤p<∞$1\le p<\infty$. For the family with an L^p$L^p$-cutoff, a cutoff time is described and a possible window is given. For the family without an L^p$L^p$-precutoff, the exact order of the L^p$L^p$-mixing time is determined. The result is consistent with the well-known conjecture on cutoffs of Markov chains proposed by Peres in 2004, which says that a cutoff exists if and only if the multiplication of the spectral gap and the mixing time tends to infinity.