The Hopf Algebra of Fliess Operators and Its Dual Pre-lie Algebra

We study the Hopf algebra H of Fliess operators coming from Control Theory in the one-dimensional case. We prove that it admits a graded, finite-dimensional, connected grading. Dually, the vector space ? ? x ₀, x ₁ ? is both a pre-Lie algebra for the pre-Lie product dual of the coproduct of H, and an associative, commutative algebra for the shuffle product. These two structures admit a compatibility which makes ? ? x ₀, x ₁ ? a Com-Pre-Lie algebra. We give a presentation of this object as a pre-Lie algebra.     

Transition Between Linear and Exponential Propagation in Fisher-KPP Type Reaction-Diffusion Equations

We study the Fisher-KPP equation with a fractional Laplacian of order α ∈ (0, 1). We know that the stable state invades the unstable one at constant speed for α = 1, and at an exponential in time velocity for α ∈ (0, 1). The transition between these two different speeds is examined in this paper. We prove that during a time of the order -ln (1 ? α), the propagation is linear, and becomes exponential as soon as the time exceeds a large multiple of -ln (1 ? α).     

Normal Sections and Direct Product Decompositions

Abstract

In any finitely complete category, there is an internal notion of normal monomorphism. We give elementary conditions guaranteeing that a normal section s: Y → X of an arrow f: X → Y produces a direct product decomposition of the form X ? Y × W. We then show how these conditions gradually vanish in various algebraic contexts, such as Maltsev, protomodular and additive categories.     

Preserving Zeros of xy and xy*

We describe surjective additive maps θ: A → B which preserve zero products, where A is a ring with a nontrivial idempotent and B is a prime ring. We also characterize surjective additive maps θ: A → B such that for all x, y ∈ A we have θ(x)θ(y)* = 0 if and only if xy* = 0. Here A is a unital prime ring with involution that contains a nontrivial idempotent and B is a prime ring with involution.     

Functional definitions for q-analogues of Eulerian functions and applications

We explore a number of functional properties of the q-gamma function and a class of its quotients; including the q-beta function. We obtain formulas for all higher logarithmic derivatives of these quotients and give precise conditions on their sign. We prove how these and other functional properties, such as the multiplication formula or asymptotic expansion, together with the fundamental functional equation of the q-gamma function uniquely define those functions. We also study reciprocal “relatives” of the fundamental q-gamma functional equation, and prove uniqueness of solution results for them. In addition, we also use a reflection formula of Askey to derive expressions relating the classical sine function and the number π to the q-gamma function. Throughout we highlight the similarities and differences between the cases 0 < q < 1 and q > 1.     

A Note on Existence and Convergence of Best Proximity Points for Pointwise Cyclic Contractions

We introduce a notion of pointwise cyclic contraction T satisfying TA ? B and TB ? A to obtain the existence of a point x ∈ A, such that d(x, Tx) = dist(A, B), known as a best proximity point for such a map. We also prove that for any x ∈ A, the Picard iteration {T²ⁿx} converges to a best proximity point.     

Perfect Pairs of Ideals and Duals in Numerical Semigroups

This article considers numerical semigroups S that have a nonprincipal relative ideal I such that μ _S (I)μ _S (S ? I) = μ _S (I + (S ? I)). We show the existence of an infinite family of such pairs (S, I) in which I + (S ? I) = S\{0}. We also show examples of such pairs that are not members of this family. We discuss the computational process used to find these examples and present some open questions pertaining to them.     

Recent Developments in Extended Thermodynamics of Dense and Rarefied Polyatomic Gases

We summarize the recent results and current open problems in extended thermodynamics (ET) of both dense and rarefied polyatomic gases. (i) We review, in particular, extended thermodynamics with 14 independent fields (ET14), that is, the mass density, the velocity, the temperature, the shear stress, the dynamic pressure, and the heat flux. (ii) We explain that, in the case of rarefied polyatomic gases, molecular extended thermodynamics with 14 independent fields (MET14) basing on the kinetic moment theory with the maximum entropy principle can be developed. ET14 and MET14 are fully consistent with each other. (iii) We show that the ET13 theory of rarefied monatomic gases is derived from the ET14 theory as a singular limit. (iv) We discuss briefly some typical applications of the ET14 theory. (v) We study the simple case of ET theory with 6 independent fields (ET6). (vi) The METn theories (n>14) are presented briefly. We analyze, in particular, the dependence of the characteristic velocities for increasing number of moments.     

Minimality and unique ergodicity for adic transformations

We study the relationship between minimality and unique ergodicity for adic transformations. We show that three is the smallest alphabet size for a unimodular “adic counterexample”, an adic transformation which is minimal but not uniquely ergodic. We construct a specific family of counterexamples built from (3 × 3) nonnegative integer matrix sequences, while showing that no such (2 × 2) sequence is possible. We also consider (2 × 2) counterexamples without the unimodular restriction, describing two families of such maps. Though primitivity of the matrix sequence associated to the transformation implies minimality, the converse is false, as shown by a further example: an adic transformation with (2 × 2) stationary nonprimitive matrix, which is both minimal and uniquely ergodic.     

Travelling Waves in a Nonlocal Reaction-Diffusion Equation as a Model for a Population Structured by a Space Variable and a Phenotypic Trait

We consider a nonlocal reaction-diffusion equation as a model for a population structured by a space variable and a phenotypic trait. To sustain the possibility of invasion in the case where an underlying principal eigenvalue is negative, we investigate the existence of travelling wave solutions. We identify a minimal speed c* > 0, and prove the existence of waves when c ≥ c* and the nonexistence when 0 ≤ c < c*.     

Singular cardinals and strong extenders

We investigate the circumstances under which there exist a singular cardinal µ and a short (κ,µ)-extender E witnessing “κ is µ-strong”, such that µ is singular in Ult(V, E).     

On subtractive varieties,V: congruence modularity and the commutators

In a congruence modular subtractive variety there are both the commutator of ideals and the commutator of congruences. We prove that, if I^' is the smallest congruence having an ideal I as a congruence class, then [I,J] = 0 /[I^', J^']. The general identity [0/ !,0 / #] = 0/[!,#] for !, # congruences, does not always hold; we give several conditions equivalent to this identity and sufficient conditions for it to hold. In the meantime, we get some other characterizations of the commutator of ideals. We also deal with the equational definability of principal commutators in a subtractive variety and with the extension property of the commutator from ideals of a subalgebra to the commutator of ideals of the whole algebra.     

On Commutativity and Centrality in Infinite Rings

We show that if R is an infinite ring such that XY ∩ YX ≠ ? for all infinite subsets X and Y, then R is commutative. We also prove that in an infinite ring R, an element a ∈ R is central if and only if aX ∩ Xa ≠ ? for all infinite subsets X.     

Cyclic Homology of Hopf Comodule Algebras and Hopf Module Coalgebras

Abstract

In this paper we construct a cylindrical module A ? ? for an ?-comodule algebra A, where the antipode of the Hopf algebra ? is bijective. We show that the cyclic module associated to the diagonal of A ? ? is isomorphic with the cyclic module of the crossed product algebra A ? ?. This enables us to derive a spectral sequence for the cyclic homology of the crossed product algebra. We also construct a cocylindrical module for Hopf module coalgebras and establish a similar spectral sequence to compute the cyclic cohomology of crossed product coalgebras.     

Semisummands and semiideals in banach spaces

Let |·| be a fixed absolute norm onR ². We introduce semi-|·|-summands (resp. |·|-summands) as a natural extension of semi-L-summands (resp.L-summands). We prove that the following statements are equivalent. (i) Every semi-|·|-summand is a |·|-summand, (ii) (1, 0) is not a vertex of the closed unit ball ofR ² with the norm |·|. In particular semi-L ^p-summands areL ^p-summands whenever 1<p≦∞. The concept of semi-|·|-ideal (resp. |·|-ideal) is introduced in order to extend the one of semi-M-ideal (resp.M-ideal). The following statements are shown to be equivalent. (i) Every semi-|·|-ideal is a |·|-ideal, (ii) every |·|-ideal is a |·|-summand, (iii) (0, 1) is an extreme point of the closed unit ball ofR ² with the norm |·|. From semi-|·|-ideals we define semi-|·|-idealoids in the same way as semi-|·|-ideals arise from semi-|·|-summands. Proper semi-|·|-idealoids are those which are neither semi-|·|-summands nor semi-|·|-ideals. We prove that there is a proper semi-|·|-idealoid if and only if (1, 0) is a vertex and (0, 1) is not an extreme point of the closed unit ball ofR ² with the norm |·|. So there are no proper semi-L ^p-idealoids. The paper concludes by showing thatw*-closed semi-|·|-idealoids in a dual Banach space are semi-|·|-summands, so no new concept appears by predualization of semi-|·|-idealoids.     

Presimplifiable and Cyclic Group Rings

Let R be any commutative ring with identity, and let C be a (finite or infinite) cyclic group. We show that the group ring R(C) is presimplifiable if and only if its augmentation ideal I(C) is presimplifiable. We conjecture that the group rings R(C _n ) are presimplifiable if and only if n = p ^m , p ∈ J(R), p is prime, and R is presimplifiable. We show the necessity of n = p ^m , and we prove the sufficiency when n = 2, 3, 4. These results were made possible by a new formula derived herein for the circulant determinantal coefficients.     

Radford's Formula for Bifrobenius Algebras and Applications

In a biFrobenius algebra H, in particular in the case that H is a finite dimensional Hopf algebra, the antipode 𝒮:H → H can be decomposed as 𝒮 = _tc ○ c_φ where c_φ:H → H* and _tc:H* → H are the Frobenius and coFrobenius isomorphisms. We use this decomposition to present an easy proof of Radford's formula for 𝒮⁴. Then, in the case that the map 𝒮 satisfies the additional condition that 𝒮  id = id  𝒮 = u ?, we prove the trace formula tr(𝒮²) = ?(t)φ(1). We finish by applying the above results to study the semisimplicity and cosemisimplicity of H.     

The Calculus of Moving Surfaces and Laplace Eigenvalues on an Ellipse with Low Eccentricity

Our goal is to demonstrate the utility of the calculus of moving surfaces (CMS) in boundary variation problems. We discuss the relative advantages of the CMS compared to the alternative approach of interior variations. We illustrate the technique by calculating the two leading terms of a power series for the Laplace eigenvalues on an ellipse with semi-axes 1 + a and 1 + b, where a and b are small. We compare the CMS estimates with those obtained by the conventional finite element method with Richardson extrapolation. The comparison confirms the cubic rate of convergence for the CMS estimates.     

Bound and anti‐bound states for coupled‐channel scattering

We discuss bound and anti‐bound states for 2×2 matrix Schrödinger operator. We analyze the Fredholm determinant for Hamiltonians that can be represented in a multi‐channel framework. Our analysis covers the whole and the half‐line problems. We obtain some results on counting anti‐bound states between successive bound states. Copyright © 2017 John Wiley & Sons, Ltd.     

Separative Ideals,Clean Elements,and Unit-Regularity

ABSTRACT

We prove that an ideal I of a regular ring R is separative if and only if each a ? R satisfying Rr(a)aR = Ra?(a)R = RaR(1 ? a)R ? I is unit-regular. If I is a separative ideal of a regular ring R, then each a ? R satisfying Rar(a²) = ?(a²)aR = R(a ? a²) R ? I is clean. Some applications are also obtained.