On a problem of Oppenheim concerning “factorisatio numerorum”

Let f(n) denote the number of factorizations of the natural number n into factors larger than 1 where the order of the factors does not count. We say n is “highly factorable” if f(m)<f(n) for all m < n. We prove that f(n)=n·L(n)^?1+0(1) for n highly factorable, where $\text{L(n)=}\text{exp}\text{{}\text{log}\text{n}\text{logloglog}\text{n}\text{loglog}\text{n}\text{}}$. This result corrects the 1926 paper of Oppenheim where it is asserted that f(n)=n·L(n)^?2+0(1). Some results on the multiplicative structure of highly factorable numbers are proved and a table of them up to 10⁹ is provided. Of independent interest, a new lower bound is established for the function Ψ(x, y), the number of n≤x free of prime factors exceeding y.     

Sums over numbers with restricted prime factors

For k a non-negative integer, let P_k(n) denote the kth largest prime factor of n where P₀(n) = +∞ and if the number of prime factors of n is less than k, then P_k(n) = 1. We shall study the asymptotic behavior of the sum Ψ_k(x, y; g) = Σ_{1 ≤ n ≤ x, Pk(n) ≤ y}g(n), where g(n) is an arithmetic function satisfying certain general conditions regarding its behavior on primes. The special case where g(n) = μ(n), the Möbius function, is discussed as an application.     

Pringsheim type tests on the pointwise convergence of integrals conjugate to double fourier integrals

We prove sufficient conditions for the convergence of the integrals conjugate to the double Fourier integral of a complex-valued function f ∈ L ¹ (?²) with bounded support at a given point (x ₀, g ₀) ∈ ?². It turns out that this convergence essentially depends on the convergence of the integral conjugate to the single Fourier integral of the marginal functions f(x, y ₀), x ∈ ?, and f(x ₀, y), y ∈ ?, at x:= x ₀ and y:= y ₀, respectively. Our theorems apply to functions in the multiplicative Lipschitz and Zygmund classes introduced in this paper.     

Über komplementäre Ungleichungen mit drei Mittelwerten. Teil 1

Earlier investigations are extended to inequalities with three means of the formf(M _? (x;α),M _Ψ (y;α))?M _χ (f(x,y);α)≧0 (I). Replacing the given basic sets (x)=(x ₁,...,x _n ) and (y)=(y ₁,...,y _n ) by two suitably chosen sets (u)=(u ₁,...,u _m ) and (v)=(v ₁,...,v _m ), lower or upper bounds on the left side of (I) can be obtained. In the case of upper bounds these inequalities are complementary to (I). In general, the numberm is not less than 4; it may be reduced under additional hypotheses. Some examples (inequalities complementary to some additive inequalities) are given.     

The 2-circle and 2-disk problems on trees

Our purpose here is to consider on a homogeneous tree two Pompeiutype problems which classically have been studied on the plane and on other geometric manifolds. We obtain results which have remarkably the same flavor as classical theorems. Given a homogeneous tree, letd(x, y) be the distance between verticesx andy, and letf be a function on the vertices. For each vertexx and nonnegative integern let Σ _n f(x) be the sum Σ _{d(x, y)=n} f(y) and letB _n f(x)=Σ _{d(x, y)≦n} f(y). The purpose is to study to what extent Σ _n f andB _n f determinef. Since these operators are linear, this is really the study of their kernels. It is easy to find nonzero examples for which Σ _n f orB _n f vanish for one value ofn. What we do here is to study the problem for two values ofn, the 2-circle and the 2-disk problems (in the cases of Σ _n andB _n respectively). We show for which pairs of values there can exist non-zero examples and we classify these examples. We employ the combinatorial techniques useful for studying trees and free groups together with some number theory.     

Near automorphisms of cycles

Let f be a permutation of V(G). Define δ_f(x,y)=|d_G(x,y)-d_G(f(x),f(y))| and δ_f(G)=∑δ_f(x,y) over all the unordered pairs {x,y} of distinct vertices of G. Let π(G) denote the smallest positive value of δ_f(G) among all the permutations f of V(G). The permutation f with δ_f(G)=π(G) is called a near automorphism of G. In this paper, we study the near automorphisms of cycles C_n and we prove that π(C_n)=4⌊n/2⌋-4, moreover, we obtain the set of near automorphisms of C_n.     

Sharp estimates for the convergence rate of “hyperbolic” partial sums of double fourier series in orthogonal polynomials

Two-variable functions f(x, y) from the class L ₂ = L ₂((a, b) × (c, d); p(x)q(y)) with the weight p(x)q(y) and the norm $$\left\| f \right\| = \sqrt {\int\limits_a^b {\int\limits_c^d {p(x)q(x)f^2 (x,y)dxdy} } }$$ are approximated by an orthonormal system of orthogonal P _n (x)Q _n (y), n, m = 0, 1, ..., with weights p(x) and q(y). Let $$E_N (f) = \mathop {\inf }\limits_{P_N } \left\| {f - P_N } \right\|$$ denote the best approximation of f ?? L ₂ by algebraic polynomials of the form $$\begin{array}{*{20}c} {P_N (x,y) = \sum\limits_{0 < n,m < N} {a_{m,n} x^n y^m ,} } \\ {P_1 (x,y) = const.} \\ \end{array}$$ . Consider a double Fourier series of f ?? L ₂ in the polynomials P _n (x)Q _m (y), n, m = 0, 1, ..., and its ??hyperbolic?? partial sums $$\begin{array}{*{20}c} {S_1 (f;x,y) = c_{0,0} (f)P_o (x)Q_o (y),} \\ {S_N (f;x,y) = \sum\limits_{0 < n,m < N} {c_{n,m} (f)P_n (x)Q_m (y), N = 2,3, \ldots .} } \\ \end{array}$$ A generalized shift operator Fh and a kth-order generalized modulus of continuity ?? _k (A, h) of a function f ?? L ₂ are used to prove the following sharp estimate for the convergence rate of the approximation: $\begin{gathered} E_N (f) \leqslant (1 - (1 - h)^{2\sqrt N } )^{ - k} \Omega _k (f;h),h \in (0,1), \hfill \\ N = 4,5,...;k = 1,2,... \hfill \\ \end{gathered} $ . Moreover, for every fixed N = 4, 9, 16, ..., the constant on the right-hand side of this inequality is cannot be reduced.     

A stable algorithm for numerical evaluation of Hankel transforms using Haar wavelets

The purpose of the paper is to propose a stable algorithm for the numerical evaluation of the Hankel transform F _n (y) of order n of a function f(x) using Haar wavelets. The integrand \(\sqrt x f(x)\) is replaced by its wavelet decomposition. Thus representing F _n (y) as a series with coefficients depending strongly on the local behavior of the function \(\sqrt x f(x)\), thereby getting an efficient and stable algorithm for their numerical evaluation. Numerical evaluations of test functions with known analytical Hankel transforms illustrate the proposed algorithm.     

Asymptotic estimates of sums involving the Moebius function

Let p(n) denote the smallest prime factor of an integer n>1 and let p(1)=∞. We study the asymptotic behavior of the sum M(x,y)=Σ_{1≤n≤x,p(n)>y}μ(n) and use this to estimate the size of A(x)=max_|f|≤1|Σ_2≤n<xμ(n)f(p(n))|, where μ(n) is the Moebius function. Applications of bounds for A(x), M(x,y) and similar quantities are discussed.     

An Erdös-Ko-Rado theorem for the subcubes of a cube

LetP be that partially ordered set whose elements are vectors x=(x ₁, ...,x _n ) withx _i ε {0, ...,k} (i=1, ...,n) and in which the order is given byx≦y iffx _i =y _i orx _i =0 for alli. LetN _i (P)={x εP : |{j:x _j ≠ 0}|=i}. A subsetF ofP is called an Erdös-Ko-Rado family, if for allx, y εF it holdsx ≮y, x ≯ y, and there exists az εN ₁(P) such thatz≦x andz≦y. Let ? be the set of all vectorsf=(f ₀, ...,f _n ) for which there is an Erdös-Ko-Rado familyF inP such that |N _i (P) ∩F|=f _i (i=0, ...,n) and let 〈?〉 be its convex closure in the (n+1)-dimensional Euclidean space. It is proved that fork≧2 (0, ..., 0) and \(\left( {0,...,0,\overbrace {i - component}^{\left( {\begin{array}{*{20}c} {n - 1} \\ {i - 1} \\ \end{array} } \right)}k^{i - 1} ,0,...,0} \right)\) (i=1, ...,n) are the vertices of 〈?〉.     

Weighted mean convergence of Hakopian interpolation on the disk

In this paper, we study weighted mean integral convergence of Hakopian interpolation on the unit disk D. We show that the inner product between Hakopian interpolation polynomial Hn(f;x,y) and a smooth function g(x,y) on D converges to that of f(x,y) and g(x,y) on D when n →∞, provided f(x,y) belongs to C(D) and all first partial derivatives of g(x,y) belong to the space LipαM(0 ＜α≤ 1). We further show that provided all second partial derivatives of g(x,y) also belong to the space LipαM and f(x,y) belongs to C1 (D), the inner product between the partial derivative of Hakopian interpolation polynomial (6)/(6)xHn(f;x,y) and g(x,y) on D converges to that between (6)/(6)xf(x,y) and g(x,y) on D when n →∞.     

Sommes D'Exponentielles et Entiers Sans Grand Facteur Premier

Let S(x,y) be the set S(x,y)= 1 n x : P(n) y, where P(n) denotesthe largest prime factor of n. We study , where f is a multiplicative function. When f=1and when f=µ, we widen the domain of uniform approximationusing the method of Fouvry and Tenenbaum and making explicitthe contribution of the Siegel zero. Soit S(x,y) l'ensemble S(x,y)= 1 n x : P(n) y, désigne le plus grand facteur premier den. Nous étudions , lorsque f est une fonction multiplicative. Quand f=1 et quand f=µ,nous élargissons le domaine d'approximation uniformeenutilisant la méthode développée par Fouvryet Tenenbaum et en explicitant la contribution du zérode Siegel. 1991 Mathematics Subject Classification: 11N25, 11N99.     

Hypercube subgraphs with minimal detours

Define a minimal detour subgraph of the n-dimensional cube to be a spanning subgraph G of Q_n having the property that for vertices x, y of Q_n, distances are related by d_G(x, y) ≤ d_Qn(x, y) + 2. Let f(n) be the minimum number of edges of such a subgraph of Q_n. After preliminary work on distances in subgraphs of product graphs, we show that The subgraphs we construct to establish this bound have the property that the longest distances are the same as in Q_n, and thus the diameter does not increase. We establish a lower bound for f(n), show that vertices of high degree must be distributed throughout a minimal detour subgraph of Q_n, and end with conjectures and questions. © 1996 John Wiley & Sons, Inc.     

A Dini type test on the pointwise convergence of double Fourier integrals

We give sufficient conditions for the convergence of the double Fourier integral of a complex-valued function f ∈ L ¹(?²) with bounded support at a given point (x ₀,y ₀) ∈ ?². It turns out that this convergence essentially depends on the convergence of the single Fourier integrals of the marginal functions f(x,y ₀), x ∈ ?, and f(x ₀,y), y ∈ ?, at the points x:= x ₀ and y:= y ₀, respectively. Our theorem applies to functions in the multiplicative Zygmund classes of functions in two variables.     

Recurrent points and non-wandering points of graph maps

Let G be a graph and f:G→G be a continuous map. Denote by P(f), R(f) and Ω(f) the sets of periodic points, recurrent points and non-wandering points of f, respectively. In this paper we show that: (1) If L=(x,y) is an open arc contained in an edge of G such that {fm(x),fk(y)}⊂(x,y) for some m,k∈N, then R(f)∩(x,y)≠∅; (2) Any isolated point of P(f) is also an isolated point of Ω(f); (3) If x∈Ω(f)−Ω(fn) for some n∈N, then x is an eventually periodic point. These generalize the corresponding results in W. Huang and X. Ye (2001) [9] and J. Xiong (1983, 1986) [17] and [19] on interval maps or tree maps.     

The Jacobian problem as a system of ordinary differential equations

LetP=x ⁿ +P _n?1(y)x ^n?1+…+P ₀(y),Q=x ^m +Q _m?2(y)x ^m?2+…+Q ₀(y) belong toK[x, y], whereK is a field of characteristic zero. The main result of this paper is the following: Assume thatP _x Q _y ?P _y Q _x =1. Then:*

1. K[Q _m?2(y), …,Q ₀(y)]=K[y],
2. K[P, Q]=K[x, y] ifQ=x ^m +Q _k (y)x ^k +Q _r (y)x ^r

     

Copositive pointwise approximation

We prove that if a functionf ∈C ⁽¹⁾ (I),I: = [?1, 1], changes its signs times (s ∈ ?) within the intervalI, then, for everyn > C, whereC is a constant which depends only on the set of points at which the function changes its sign, andk ∈ ?, there exists an algebraic polynomialP _n =P _n (x) of degree ≤n which locally inherits the sign off(x) and satisfies the inequality $$\left| {f\left( x \right) - P_n \left( x \right)} \right| \leqslant c\left( {s,k} \right)\left( {\frac{1}{{n^2 }} + \frac{{\sqrt {1 - x^2 } }}{n}} \right)\omega _k \left( {f'; \frac{1}{{n^2 }} + \frac{{\sqrt {1 - x^2 } }}{n}} \right), x \in I$$ , where ω _k (f′;t) is thekth modulus of continuity of the functionf’. It is also shown that iff ∈C (I) andf(x) ≥ 0,x ∈I then, for anyn ≥k ? 1, there exists a polynomialP _n =P _n (x) of degree ≤n such thatP _n (x) ≥ 0,x ∈I, and |f(x) ?P _n (x)| ≤c(k)ω _k (f;n ^?2 +n ^?1 √1 ?x ²),x ∈I.     

Differential equation of Appell polynomials via the factorization method

Let {P_n(x)}^∞_n=0 be a sequence of polynomials of degree n. We define two sequences of differential operators Φ_n and Ψ_n satisfying the following properties:$\text{Φ}{}_{\mathrm{n}}\text{(P}{}_{\mathrm{n}}\text{(x))=P}{}_{\mathrm{n-1}}\text{(x),}$$\text{Ψ}{}_{\mathrm{n}}\text{(P}{}_{\mathrm{n}}\text{(x))=P}{}_{\mathrm{n+1}}\text{(x).}$By constructing these two operators for Appell polynomials, we determine their differential equations via the factorization method introduced by Infeld and Hull (Rev. Mod. Phys. 23 (1951) 21). The differential equations for both Bernoulli and Euler polynomials are given as special cases of the Appell polynomials.     

Algebraic-polynomial approximation of functions satisfying a Lipschitz condition

For functionsf(x) ε KH^(α) [satisfying the Lipschitz condition of order α (0 < α < 1) with constant K on [?1, 1], the existence is proved of a sequence P_n (f; x) of algebraic polynomials of degree n = 1, 2,..., such that $$|f(x) - P_{n - 1} (f;x)| \leqslant \mathop {\sup }\limits_{f \in KH^{(\alpha )} } E_n (f)[(1 - x^2 )^{a/2} + o(1)],$$ when n → ∞, uniformly for x ε [?1, 1], where E_n(f) is the best approximation off(x) by polynomials of degree not higher than n.     

Some theorems on the existence,uniqueness, and nonexistence of limit cycles for quadratic systems

Given a quadratic system (QS) with a focus or a center at the origin we write it in the form ẋ = y + P₂(x, y), ẏ = −x + dy + Q₂(x, y) where P₂ and Q₂ are homogeneous polynomials of degree 2. If we define F(x, y) = (x − dy) P₂(x, y) + yQ₂(x, y) and g(x, y) = xQ₂(x, y) − yP₂(x, y) we give results of existence, nonexistence, and uniqueness of limit cycles if F(x, y) g(x, y) does not change of sign. Then, by using these results plus the properties on the evolution of the limit cycles of the semicomplete families of rotated vector fields we can study some particular families of QS, i.e., the QS with a unique finite singularity and the bounded QS with either one or two finite singularities.