Generalized Maiorana–McFarland class and normality of p-ary bent functions

A class of bent functions which contains bent functions with various properties like regular, weakly regular and not weakly regular bent functions in even and in odd dimension, is analyzed. It is shown that this class includes the Maiorana–McFarland class as a special case. Known classes and examples of bent functions in odd characteristic are examined for their relation to this class. In the second part, normality for bent functions in odd characteristic is analyzed. It turns out that differently to Boolean bent functions, many – also quadratic – bent functions in odd characteristic and even dimension are not normal. It is shown that regular Coulter–Matthews bent functions are normal.     

The ranks of Maiorana-McFarland bent functions

In this paper, the ranks of a special family of Maiorana-McFarland bent functions are discussed. The upper and lower bounds of the ranks are given and those bent functions whose ranks achieve these bounds are determined. As a consequence, the inequivalence of some bent functions are derived. Furthermore, the ranks of the functions of this family are calculated when t 6.     

On ?-optimal points of convex, closed functions

The paper gives an estimate for the Hilbert space distance from a ?-optimal point to the minimum point of a convex, closed function, the subdifferential of which is a strongly monotone operator in its definition domain. Also, the Hausdorff distance between the ?-optimal points of the Tikhonov functions in the non-correct problems of mathematical programming is estimated.     

Henriksen?s contributions to residue class rings of analytic and entire functions

The author surveys, summarizes and generalizes results of Golasiński and Henriksen, and of others, concerning certain residue class rings.Let A(R) denote the ring of analytic functions over reals R and E(K) the ring of entire functions over R or complex numbers C. It is shown that if m is a maximal ideal of A(R), then A(R)/m is isomorphic either to the reals or a real-closed field that is η₁-set, while if m is a maximal ideal of E(K), then E(K)/m is isomorphic to one of these latter two fields or to complex numbers.     

On a general class of trigonometric functions and Fourier series†

We discuss a general class of trigonometric functions whose corresponding Fourier series can be used to calculate several interesting numerical series. Particular cases are presented.     

On positive positive-definite functions and Bochner’s Theorem

We recall an open problem on the error of quadrature formulas for the integration of functions from some finite dimensional spaces of trigonometric functions posed by Novak (1999) in [8] ten years ago and summarised recently in Novak and Wo?niakowski (2008) [9]. It is relatively easy to prove an error formula for the best quadrature rules with positive weights which shows intractability of the tensor product problem for such rules. In contrast to that, the conjecture that also quadrature formulas with arbitrary weights cannot decrease the error is still open.We generalise Novak’s conjecture to a statement about positive positive-definite functions and provide several equivalent reformulations, which show the connections to Bochner’s Theorem and Toeplitz matrices.     

On a conjecture of Erd?s, Graham and Spencer, II

It is conjectured by Erd?s, Graham and Spencer that if 1≤a₁≤a₂≤?≤a_s are integers with , then this sum can be decomposed into n parts so that all partial sums are ≤1. This is not true for as shown by a₁=?=a_n−2=1, . In 1997 Sandor proved that Erd?s-Graham-Spencer conjecture is true for . Recently, Chen proved that the conjecture is true for . In this paper, we prove that Erd?s-Graham-Spencer conjecture is true for .     

π and the hypergeometric functions of complex argument

Text

In this article we derive some new identities concerning π, algebraic radicals and some special occurrences of the Gauss hypergeometric function ₂F₁ in the analytic continuation. All of them have been derived by tackling some elliptic or hyperelliptic known integral, and looking for another representation of it by means of hypergeometric functions like those of Gauss, Appell or Lauricella. In any case we have focused on integrand functions having at least one couple of complex-conjugate roots. Founding upon a special hyperelliptic reduction formula due to Hermite (1876) [6], π is obtained as a ratio of a complete elliptic integral and the four-variable Lauricella function. Furthermore, starting with a certain binomial integral, we succeed in providing as a ratio of a linear combination of complete elliptic integrals of the first and second kinds to the Appell hypergeometric function of two complex-conjugate arguments. Each of the formulae we found theoretically has been satisfactorily tested by means of Mathematica^®.

Video

For a video summary of this paper, please click here or visit http://www.youtube.com/watch?v=rQqtVtAf-RQ.     

On a modification of a problem of Bialostocki, Erd?s, and Lefmann

For positive integers m and r, one can easily show there exist integers N such that for every map Δ:{1,2,…,N}→{1,2,…,r} there exist 2m integers

x₁<?<x_m<y₁<?<y_m,     

On the logarithmic coefficients of Bazilevic? functions

The objective of the present paper is to study the logarithmic coefficients of Bazilevic? functions. We obtain the inequality ∣γ_n∣ ? An⁻¹logn (A is an absolute constant) which holds for Bazilevic? functions.     

On the coefficients of Bazilevi c ˘ functions and circularly symmetric functions

In this work, we study the coefficients of Bazilevic? functions and circularly symmetric functions, and obtain exact estimates.     

On Taylor’s formula for functions of several variables

Elementary courses in mathematical analysis often mention some trick that is used to construct the remainder of Taylor’s formula in integral form. The trick is based on the fact that, differentiating the difference $f(x) - f(t) - f'(t)\frac{{(x - t)}} {{1!}} - \cdots - f^{(r - 1)} (t)\frac{{(x - t)^{r - 1} }} {{(r - 1)!}} $ between the function and its degree r ? 1 Taylor polynomial at t with respect to t, we obtain $ - f^{(r)} (t)\frac{{(x - t)^{r - 1} }} {{(r - 1)!}} $ , so that all derivatives of orders below r disappear. The author observed previously a similar effect for functions of several variables. Differentiating the difference between the function and its degree r ? 1 Taylor polynomial at t with respect to its components, we are left with terms involving only order r derivatives. We apply this fact here to estimate the remainder of Taylor’s formula for functions of several variables along a rectifiable curve.     

Slowly oscillating functions and closed left ideals of βS

Let S be an infinite discrete semigroup with a point s such that st≠t for any t∈S. We prove that every closed left ideal of βS, where φ is a filter with a countable basis, is determined by a function on S which is slowly oscillating in the direction φ.     

On Fox?s m-dimensional category and theorems of Bochner type

We show that catm(X)=cat(jm), where catm(X) is Fox?s m-dimensional category, jm:X→X[m] is the mth Postnikov section of X and cat(X) is the Lusternik-Schnirelmann category of X. This characterization is used to give new “Bochner-type” bounds on the rank of the Gottlieb group and the first Betti number for manifolds of non-negative Ricci curvature. Finally, we apply these methods to obtain Bochner-type theorems for manifolds of almost non-negative sectional curvature.     

Periodic points of algebraic functions and Deuring’s class number formula

The Ramanujan Journal - In this paper, transformation formulas for the function $$\begin{aligned} A_{1}\left( z,s:\chi \right) =\sum \limits _{n=1}^{\infty }\sum \limits _{m=1} ^{\infty }\chi...     

On furstenberg’s characterization of harmonic functions on symmetric spaces

We provide a necessary and sufficient condition on a radial probability measureμ on a symmetric space for whichf =f *μ, f bounded, implies thatf is harmonic. In particular, we obtain a short and elementary proof of a theorem of Furstenberg which says that iff is a bounded function on a symmetric space which satisfiesf =f *μ for some radialabsolutely continuous probability measureμ, thenf is harmonic.     

On Hukuhara’s differentiable iteration semigroups of linear set-valued functions

In this paper, we investigate the uniform convergence of continuous linear set-valued functions on compact sets. We also consider conditions under which the family of continuous linear extensions of a differential iteration semigroup of continuous linear set-valued functions is a differentiable iteration semigroup. In particular, since the cones and normed spaces are not supposed to be complete our main results generalize some recent results on Hukuhara’s derivative of set-valued functions.     

On the completeness of systems of eigenfunctions and associated functions of differential operators of orders 2 ? �� and 1 ? ��

In the space of vector-functions, we consider a boundary-value problem for differential operators of fractional orders (2 ? ??) and (1 ? ??) and prove the completeness of the system of eigenfunctions and associated functions of this problem in the space $L_1 \left( {\left[ {0,1} \right],\,\mathbb{C}^p } \right)$ .     

On functions whose symmetric part of gradient agree and a generalization of Reshetnyak’s compactness theorem

We consider the following question: Given a connected open domain ${\Omega \subset \mathbb{R}^n}$ , suppose ${u, v : \Omega \rightarrow \mathbb{R}^n}$ with det ${(\nabla u) > 0}$ , det ${(\nabla v) > 0}$ a.e. are such that ${\nabla u^T(x)\nabla u(x) = \nabla v(x)^T \nabla v(x)}$ a.e. , does this imply a global relation of the form ${\nabla v(x) = R\nabla u(x)}$ a.e. in Ω where ${R \in SO(n)}$ ? If u, v are C ¹ it is an exercise to see this true, if ${u, v\in W^{1,1}}$ we show this is false. In Theorem 1 we prove this question has a positive answer if ${v \in W^{1,1}}$ and ${u \in W^{1,n}}$ is a mapping of L ^p integrable dilatation for p > n ? 1. These conditions are sharp in two dimensions and this result represents a generalization of the corollary to Liouville’s theorem that states that the differential inclusion ${\nabla u \in SO(n)}$ can only be satisfied by an affine mapping. Liouville’s corollary for rotations has been generalized by Reshetnyak who proved convergence of gradients to a fixed rotation for any weakly converging sequence ${v_k \in W^{1,1}}$ for which $$\int \limits_{\Omega} {\rm dist}(\nabla v_k, SO(n))dz \rightarrow 0 \, {\rm as} \, k \rightarrow \infty.$$ Let S(·) denote the (multiplicative) symmetric part of a matrix. In Theorem 3 we prove an analogous result to Theorem 1 for any pair of weakly converging sequences ${v_k \in W^{1,p}}$ and ${u_k \in W^{1,\frac{p(n-1)}{p-1}}}$ (where ${p \in [1, n]}$ and the sequence (u _k ) has its dilatation pointwise bounded above by an L ^r integrable function, r > n ? 1) that satisfy ${\int_{\Omega} |S(\nabla u_k) - S(\nabla v_k)|^p dz \rightarrow 0}$ as k → ∞ and for which the sign of the det ${(\nabla v_k)}$ tends to 1 in L ¹. This result contains Reshetnyak’s theorem as the special case (u _k ) ≡ Id, p = 1.