In this paper our aim is to deduce some sharp Turán type inequalities for modified Bessel functions of the first and second kinds. Our proofs are based on explicit formulas for the Turánians of the modified Bessel functions of the first and second kinds and on a formula which is related to the infinite divisibility of the Student t-distribution.

In various papers on some of the theoretical aspects of computing, the reader is confronted with a mathematical entity called a “multiset”, and is told that a multiset is “an unordered collection of elements that may have repeated occurrences of identical elements” (see, for example, Nachum Dershowitz and Zohar Manna, “Proving termination with multiset orderings”, Lecture Notes in Computer Science, 71). These entities are then manipulated in accordance with the classical laws of set algebra. The purpose of this note is to present a formal foundation for this concept of multiset, and to show by means of examples that if this foundation is adopted then, although certain sections of classical set algebra can be applied to multisets, it certainly cannot be applied in total.

We show that the Hypercyclicity Criterion coincides with other existing hypercyclicity criteria and prove that a wide class of hypercyclic operators satisfy the Criterion. The results obtained extend or improve earlier work of several authors. We also unify the different versions of the Supercyclicity Criterion and show that operators with dense generalised kernel and dense range are supercyclic.

In this paper, it is proved that every isometry between the unit spheres of two real Banach spaces preserves the frames of the unit balls. As a consequence, if $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}X$ and $Y$ are $n$-dimensional Banach spaces and $T_0$ is an isometry from the unit sphere of $X$ onto that of $Y$ then it maps the set of all $(n-1)$-extreme points of the unit ball of $X$ onto that of $Y$.

A refinement of the Sobolev imbedding theorem, due to Trudinger, is shown to be optimal in a natural sense.

We apply the Schwarz lemma to find general formulas for the third coefficient of Carathéodory functions dependent on a parameter in the closed unit polydisk. Next we find sharp estimates of the Hankel determinant $H_{2,2}$ and Zalcman functional $J_{2,3}$ over the class ${\mathcal{C}}{\mathcal{V}}$ of analytic functions $f$ normalised such that $\text{Re}\{(1-z^{2})f^{\prime }(z)\}>0$ for $z\in \mathbb{D}:=\{z\in \mathbb{C}:|z|<1\}$, that is, the subclass of the class of functions convex in the direction of the imaginary axis.

Semigroups consisting of composition operators are considered on weighted Bergman spaces. They are strongly continuous, and their infinitesimal generators are identified. One specific semigroup is used to obtain information on an averaging operator.

In this note we give a simple proof of the endpoint regularity for the uncentred Hardy–Littlewood maximal function on $\mathbb{R}$. Our proof is based on identities for the local maximum points of the corresponding maximal functions, which are of interest in their own right.

Suppose there exist a balanced incomplete block design with λ = 1 and an affine resolvable balanced incomplete block design, the two designs having the same replication number. Combining these designs we construct two strongly regular graphs. This is applied to give a new family of design graphs ((v, k, λ)-graphs). Finally, we show that for any prime power n there are two non-isomorphic design graphs with v = n2(n+2), k = n(n+1) and λ = n.

We obtain some results on approximate solutions of the generalised linear functional equation $\sum _{i=1}^{m}L_{i}f(\sum _{j=1}^{n}a_{ij}x_{j})=0$ for functions mapping a normed space into a normed space. We show that, under suitable assumptions, the approximate solutions are in fact exact solutions. The theorems correspond to and complement recent results on the hyperstability of generalised linear functional equations.

In this paper we investigate the center, radius and girth of comaximal graphs of commutative rings. We also provide some counterexamples to the results concerning the relation between isomorphisms of comaximal graphs and the rings in question. In addition, we investigate the relation between the comaximal graph of a ring and its subrings of a certain type.

We show that continuous triangular maps of the square I1, F: (x, y) → (f(x), g(x, y)), exhibit phenomena impossible in the one-dimensional case. In particular: (1) A triangular map F with zero topological entropy can have a minimal set containing an interval {a} × I, and can have recurrent points that are not uniformly recurrent; this solves two problems by S.F. Kolyada.

(2) In the class of mappings satisfying Per(F) = Fix(F), there are non-chaotic maps with positive sequence topological entropy and chaotic maps with zero sequence topological entropy.

We study real hypersurfaces M of a complex projective space and show that a condition on the derivative of the Ricci Tensor of M implies M is locally homogeneous with two or three principal curvatures.

Effect algebras, introduced by Foulis and Bennett in 1994, are partial algebras which generalise some well known classes of algebraic structures (for example orthomodular lattices, MV algebras, orthoalgebras et cetera). In the present paper, we introduce a new class of effect algebras, called homogeneous effect algebras. This class includes orthoalgebras, lattice ordered effect algebras and effect algebras satisfying the Riesz decomposition property. We prove that every homogeneous effect algebra is a union of its blocks, which we define as maximal sub-effect algebras satisfying the Riesz decomposition property. This generalizes a recent result by Riec˘anová, in which lattice ordered effect algebras were considered. Moreover, the notion of a block of a homogeneous effect algebra is a generalisation of the notion of a block of an orthoalgebra. We prove that the set of all sharp elements in a homogeneous effect algebra E forms an orthoalgebra Es. Every block of Es is the centre of a block of E. The set of all sharp elements in the compatibility centre of E coincides with the centre of E. Finally, we present some examples of homogeneous effect algebras and we prove that for a Hilbert space ℍ with dim (ℍ) > 1, the standard effect algebra ℰ(ℍ) of all effects in ℰ is not homogeneous.

We introduce the concept of ‘shift operators’ in order to establish sufficient conditions for the existence of the resolvent for the Volterra integral equation on time scales. The paper will serve as the foundation for future research on the qualitative analysis of solutions of Volterra integral equations on time scales, using the notion of the resolvent.

Let sln denote the set of all n × n complex matrices with trace zero. Suppose that ø: sln → sln is a bijective linear mapping preserving square-zero matrices. Then ø is either of the form ø(A) = cUAU-1 or ø(A) = cUAtU-1 where U is an invertible n × n matrix and c is a nonzero complex number. The same result holds if we assume that ø is a linear mapping preserving square-zero matrices in both directions. Applying this result we prove that a linear mapping ø defined on the algebra of all n × n matrices is an automorphism if and only if it preserves zero products in both directions and satisfies ø(I) = I. An extension of this last result to the infinite-dimensional case is considered.

Using the LLL-algorithm for finding short vectors in lattices, we show how to compute a Jacobi sum for the prime field Fp in Q(e2πi/n) in time O(log3p), where n is small and fixed, p is large, and p = 1 (mod n). This result is useful in the construction of hyperelliptic cryptosystems.

In this paper we establish new optimal bounds for the derivative of some discrete maximal functions, in both the centred and uncentred versions. In particular, we solve a question originally posed by Bober et al. [‘On a discrete version of Tanaka’s theorem for maximal functions’, Proc. Amer. Math. Soc.140 (2012), 1669–1680].

A central theorem in the theory of graphic sequences is due to P. Erdos and T. Gallai. Here, we give a simple proof of this theorem by induction on the sum of the sequence.

In this paper we calculate the number of congugacy classes in the following finite classical groups: GLn(Fq); PGLn(Fq), SLn(Fq), and more generally G(Fq), where G is any algebraic group isogenous to SLn; PSLn(Fq); ; , , and more generally where G is any group isogenous to SUn over Fq; and .