Generalizations of Arnold’s version of Euler’s theorem for matrices

A recent result, conjectured by Arnold and proved by Zarelua, states that for a prime number p, a positive integer k, and a square matrix A with integral entries one has ${\textrm tr}(A^{p^k}) \equiv {\textrm tr}(A^{p^{k-1}}) ({\textrm mod}{p^k})${\textrm tr}(A^{p^k}) \equiv {\textrm tr}(A^{p^{k-1}}) ({\textrm mod}{p^k}). We give a short proof of a more general result, which states that if the characteristic polynomials of two integral matrices A,  B are congruent modulo p ^k then the characteristic polynomials of A ^p and B ^p are congruent modulo p ^k+1, and then we show that Arnold’s conjecture follows from it easily. Using this result, we prove the following generalization of Euler’s theorem for any 2 × 2 integral matrix A: the characteristic polynomials of A ^Φ(n) and A ^Φ(n)-ϕ(n) are congruent modulo n. Here ϕ is the Euler function, ?_i=1^l p_i^a_i\prod_{i=1}^{l} p_i^{\alpha_i} is a prime factorization of n and $\Phi(n)=(\phi(n)+\prod_{i=1}^{l} p_i^{\alpha_i-1}(p_i+1))/2$\Phi(n)=(\phi(n)+\prod_{i=1}^{l} p_i^{\alpha_i-1}(p_i+1))/2.     

Generalizations of Sherman’s Inequality Via Fink’s Identity and Green’s Function

Ukrainian Mathematical Journal - New generalizations of Sherman’s inequality for n-convex functions are obtained with the help of Fink’s identity and Green’s function. By using...     

Multivariate versions of Blomqvist’s beta and Spearman’s footrule

In this paper we define multivariate versions of the medial correlation coefficient and the rank correlation coefficient Spearman’s footrule in terms of copulas. We also present corresponding results for the sample statistic and provide a comparison of lower bounds among different measures of multivariate association.     

Generalizations of Sherman’s inequality

The concept of majorization is a powerful and useful tool which arises frequently in many different areas of research. Together with the concept of Schur-convexity it gives an important characterization of convex functions. The well known Majorization theorem plays a very important role in majorization theory—it gives a relation between one-dimensional convex functions and n-dimensional Schur-convex functions. A more general result was obtained by S. Sherman. In this paper, we get generalizations of these results for n-convex functions using Taylor’s interpolating polynomial and the ?eby?ev functional. We apply the exponentially convex method in order to interpret our results in the form of exponentially, and in the special case logarithmically convex functions. The outcome is some new classes of two-parameter Cauchy-type means.     

On Berndtsson’s generalization of Prékopa’s theorem

We present a new approach to Berndtssons complex extension of Prékopas theorem. This approach is inspired by the recent local proof of Prékopas theorem obtained by Ball, Barthe and Naor. In the complex setting, this approach leads to a formula expressing in terms of (derivatives of) where e^–(z)= As a consequence, we obtain new conditions ensuring that is subharmonic when is plurisubharmonic.     

Unirationality of Ueno-Campana’s threefold

We shall prove that the threefold studied in the paper “ Remarks on an Example of K. Ueno” by F. Campana is unirational. This gives an affirmative answer to a question posed in the paper above and also in the book by K. Ueno, “Classification theory of algebraic varieties and compact complex spaces”.     

Generalizations of girstmair’s formulas

In 1994 and 1995 GIRSTMAIR gave (relative) class number formulas for the imaginary quadratic field $\mathbb{Q}(\sqrt { - p} )$ , P an odd prime with p ≡ 3 (mod 4) and p ≥ 7, using the coefficients of the digit expression of 1/p and z/p, respectively, where z is an integer with 1 ≤ z ≤p - 1. We extend the formulas to an imaginary abelian number field.     

A generalization of Knopp’s Observation on Ramanujan’s tau-function

The Ramanujan Journal - We establish a vast generalization of an observation made by Marvin Knopp half a century ago concerning the nonvanishing of Ramanujan’s tau-function.     

Continuous approximations of Gol’dshtik’s model

We consider continuous approximations to the Gol’dshtik problem for separated flows in an incompressible fluid. An approximated problem is obtained from the initial problem by small perturbations of the spectral parameter (vorticity) and by approximating the discontinuous nonlinearity continuously in the phase variable. Under certain conditions, using a variational method, we prove the convergence of solutions of the approximating problems to the solution of the original problem.     

Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics

In this paper, we present sound and complete natural deduction systems for Fitting’s four-valued generalizations of Kleene’s three-valued regular logics.     

Extensions of Scott’s Graph Model and Kleene’s Second Algebra

We use a way to extend partial combinatory algebras (pcas) by forcing them to represent certain functions. In the case of Scott’s Graph Model, equality is computable relative to the complement function. However, the converse is not true. This creates a hierarchy of pcas which relates to similar structures of extensions on other pcas. We study one such structure on Kleene’s Second Algebra and one on a pca equivalent but not isomorphic to it. For the recursively enumerable sub-pca of the Graph model, results differ as we can compute the (partial) complement function using the equality.     

On improving the accuracy of Horner’s and Goertzel’s algorithms

It is known that Goertzels algorithm is much less numerically accurate than the Fast Fourier Transform (FFT) (cf. [2]). In order to improve accuracy we propose modifications of both Goertzels and Horners algorithms based on the divide-and-conquer techniques. The proof of the numerical stability of these two modified algorithms is given. The numerical tests in Matlab demonstrate the computational advantages of the proposed modifications. The appendix contains the proof of numerical stability of Goertzels algorithm of polynomial evaluation. AMS subject classification 65F35, 65G50     

New modified optimal families of King’s and Traub-Ostrowski’s methods

Based on quadratically convergent Schröder’s method, we derive many new interesting families of fourth-order multipoint iterative methods without memory for obtaining simple roots of nonlinear equations by using the weight function approach. The classical King’s family of fourth-order methods and Traub-Ostrowski’s method are obtained as special cases. According to the Kung-Traub conjecture, these methods have the maximal efficiency index because only three functional values are needed per step. Therefore, the fourth-order family of King’s family and Traub-Ostrowski’smethod are the main findings of the present work. The performance of proposed multipoint methods is compared with their closest competitors, namely, King’s family, Traub-Ostrowski’s method, and Jarratt’s method in a series of numerical experiments. All the methods considered here are found to be effective and comparable to the similar robust methods available in the literature.     

A Significant ‘False Perception’ of Wittgenstein’s Draft on Mind’s Eye

If we read the Tractatus logico-philosophicus according to the decimal numbering of its propositions, we may understand, finally, the section about the self and the limits of language and world. Proposition 5.64 follows 5.63 (not 5.634); 5.634 follows 5.633 (not 5.6331); and so on. Thus, it becomes clear that the picture of the visual field (TLP 5.6331) cannot be what scholars have always quoted and discussed, i.e. a draft of an eye inside its field of sight. Actually, Wittgenstein’s original drafts depict (to criticise it) the ordinary way of representing the visual field. Following him, the field of vision is ‘without limits’; it does not have a form that implies the existence of an eye, as far as the phenomenological experience does not have a form that implies the existence of an ‘I’. As a result, the current reproductions of the 5.6331 image must be rectified, and all references to this similitude should be radically amended.     

An extension of Jung’s theorem

Theorem. Let a set X?Rⁿ have unit circumradius and let B be the unit ball containing X. Put C =conv \(\bar X\) D =diam C (=diam X), k =dim C,d _i = √(2i + 2)/i. Then: (i) D∈[d_n, 2]; (ii) k≧m where m∈{2,3,...,n} satisfies D∈[d_m, d_m?1) (d_i decreases by i); (iii) In case k=m (by (ii), this is always the case when m=n), C contains a k-simplex Δ such that: (α) its vertices are on δB; (β) the centre of B belongs toint Δ; (γ) the inequalitiesλ _k (D) ≦l ≦D with $$\lambda _k (D) = D\sqrt {\frac{{4k - 2D^2 (k - 1)}}{{2 - (k - 2)(D^2 - 2)}}, D \in (d_k ,d_{k - 1} )} $$ are unimprovable estimates for length l of any edge of Δ.     

The converse of Schur’s theorem

Schur’s theorem states that for a group G finiteness of G/Z(G) implies the finiteness of G′. In this paper, we show the converse is true provided that G/Z(G) is finitely generated and in such case, we have |G/Z(G)| ≤ |G′| ^d(G/Z(G)). In the special case of G being nilpotent, we prove |G/Z(G)| divides |G′| ^d(G/Z(G)).     

New Solutions of Heun’s Equation

The Laplace transform and its inverse are used to obtain new solutions of Heuns equation (HE) in the form of readily computable five-fold series. These solutions are a considerable improvement on the extremely complicated solutions of perturbation type deduced by Exton [2].AMS Subject Classification (2000), 33E10, 33E10, 33E20, 33E30, 34AO53     

A Generalization of Lerch’s Formula

We give higher-power generalizations of the classical Lerch formula for the gamma function.     

A converse of Baer’s theorem

Schur’s classical theorem states that for a group $G$ , if $G/Z(G)$ is finite, then $G'$ is finite. Baer extended this theorem for the factor group $G/Z_n(G)$ , in which $Z_n(G)$ is the $n$ -th term of the upper central series of $G$ . Hekster proved a converse of Baer’s theorem as follows: If $G$ is a finitely generated group such that $\gamma _{n+1}(G)$ is finite, then $G/Z_n(G)$ is finite where $\gamma _{n+1}(G)$ denotes the $(n+1)$ st term of the lower central series of $G$ . In this paper, we generalize this result by obtaining the same conclusion under the weaker hypothesis that $G/Z_n(G)$ is finitely generated. Furthermore, we show that the index of the subgroup $Z_n(G)$ is bounded by a precisely determined function of the order of $\gamma _{n+1}(G)$ . Moreover, we prove that the mentioned theorem of Hekster is also valid under a weaker condition that $Z_{2n}(G)/Z_{n}(G)$ is finitely generated. Although in this case the bound for the order of $\gamma _{n+1}(G)$ is not achieved.     

A generalization of Forelli’s theorem

The purpose of this paper is to present a generalization of Forelli’s theorem. In particular, we prove an all dimensional version of the two-dimensional theorem of Chirka (Kompleks. Anal. i Prilozh, 232–240, 2006) of 2005.