Sums and Differences of Two Cubic Polynomials

 When f(x) is a cubic polynomial with integral coefficients, we show that almost all integers represented as the sum or difference of two values of f(x), with , are thus represented essentially uniquely.     

Algorithm for the computation of Bessel function integrals

A fortran subroutine is given for the computation of integrals of the form ∫^c₀f(x)J_v(αx)dx, where v = 0, 1,…,10.     

Fractional Modified Dyadic Integral and Derivative on ℝ<Subscript>+</Subscript>

For functions in the Lebesgue space L(ℝ₊), a modified strong dyadic integral J _α and a modified strong dyadic derivative D ^(α) of fractional order α > 0 are introduced. For a given function f ∈ L(ℝ₊), criteria for the existence of these integrals and derivatives are obtained. A countable set of eigenfunctions for the operators J _α and D ^(α) is indicated. The formulas D ^(α)(J ^α(f)) = f and J _α(D ^(α)(f)) = f are proved for each α > 0 under the condition that . We prove that the linear operator is unbounded, where is the natural domain of J _α. A similar statement for the operator is proved. A modified dyadic derivative d ^(α)(f)(x) and a modified dyadic integral j _α(f)(x) are also defined for a function f ∈ L(ℝ₊) and a given point x ∈ ℝ₊. The formulas d ^(α)(J _α(f))(x) = f(x) and j _α(D ^(α)(f)) = f(x) are shown to be valid at each dyadic Lebesgue point x ∈ ℝ₊ of f.__________Translated from Funktsional’nyi Analiz i Ego Prilozheniya, Vol. 39, No. 2, pp. 64–70, 2005Original Russian Text Copyright © by B. I. GolubovSupported by the Russian Foundation for Basic Research (grant no. 05-01-00206).     

Sums and Differences of Two Cubic Polynomials

 When f(x) is a cubic polynomial with integral coefficients, we show that almost all integers represented as the sum or difference of two values of f(x), with , are thus represented essentially uniquely. (Received 18 January 1999; in revised form 17 May 1999)     

Investigating derivatives by means of combinatorial analysis of the components of the function

Given a composite function of the form h(x) = f(g(x)), difficulties are often encountered in calculating the value of the nth derivative at some point x = x₀ when one attempts to determine whether its nth derivative becomes zero at this point, or attempts to find the sign of the nth derivative by differentiating it n times and substituting x₀.

This present paper offers an alternative method that allows the investigation of the nth derivative of function h(x) based on the investigation of functions f?(x) and g(x) only.

Several examples are given, which implement the conclusions on the properties of the relation.     

On the Semicontinuity of Curvature Integrals

Let H_j(K, ·) be the j – th elementary symmetric function of the principal curvatures of a convex body K in Euclidean d – space. We show that the functionals ∫_bd f(H_j(K, x)) dℋ︁^d—1(x) depend upper semicontinuously on K, if f : [0, ∞) is concave, lim_t→0f(t) = 0, and lim_t→∞f(t)/t = 0. An analogous statement holds for integrals of elementary symmetric functions of the principal radii of curvature.     

On trigonometric series and primitive functions

It is proved that any measurable, finite function f(x) has a smooth primitive F(x), i.e. there is a function F(x) such that F′(x) = f(x) almost everywhere, and particularly ω(δ; F) = o(δ ln δ). This is an improvement of N. N. Luzin’s theorem which states just the continuity of the primitive F(x).     

On the distribution of values of certain divisor functions

Let {?_d} be a sequence of nonnegative numbers and f(n) = Σ?_d, the sum being over divisors d of n. We say that f has the distribution function F if for all c ≥ 0, the number of integers n ≤ x for which f(n) > c is asymptotic to xF(c), and we investigate when F exists and when it is continuous.     

Integral points on quadrics in three variables whose coordinates have few prime factors

The main theorem states that if f(x ₁, x ₂, x ₃) is an indefinite anisotropic integral quadratic form with determinant d(f), and t a non-zero integer such that d(f)t is square-free, then as long as there is one integer solution to f(x ₁, x ₂, x ₃) = t there are infinitely many such solutions for which the product x ₁ x ₂ x ₃ has at most 26 prime factors. The proof relies on the affine linear sieve and in particular automorphic spectral methods to obtain a sharp level of distribution in the associated counting problem. The 26 comes from applying the sharpest known bounds towards Selberg’s eigenvalue conjecture. Assuming the latter the number 26 may be reduced to 22.     

Complete rank theorem of advanced calculus and singularities of bounded linear operators

Let E and F be Banach spaces, f: U ⊂ E → F be a map of C ^r (r ⩾ 1), x ₀ ∈ U, and ft (x ₀) denote the FréLechet differential of f at x ₀. Suppose that f′(x ₀) is double split, Rank(f′(x ₀)) = ∞, dimN(f′(_{x 0})) > 0 and codimR(f′(x ₀)) s> 0. The rank theorem in advanced calculus asks to answer what properties of f ensure that f(x) is conjugate to f′(x ₀) near x ₀. We have proved that the conclusion of the theorem is equivalent to one kind of singularities for bounded linear operators, i.e., x ₀ is a locally fine point for f′(x) or generalized regular point of f(x); so, a complete rank theorem in advanced calculus is established, i.e., a sufficient and necessary condition such that the conclusion of the theorem to be held is given.      

A Priori Estimates for Solutions of Singular Perturbations with a Turning Point

A priori estimates are derived for the solutions of the boundary value problem εy″ + a(x)y′ + b(x)y = f(x), c ? x ? d, y(c) = α, y(d) = β. Here 0 < ε ? 1 is a small parameter and a(x) has a single simple zero in [c,d] (the turning point). It is shown that the solutions of this problem are uniformly bounded for ε→0 by the norms of f, α and β if and only if b(x)<0 at the turning point. However, in certain cases there are weak a priori estimates for the solutions even if this condition is not fulfilled.     

ADDITIVE FAMILIES OF INVARIANTS OF FORMS OF DEGREE d

Abstract

Let d be a positive integer, and F be a field of characteristic zero. Suppose that for each positive integer n, I _n, is a GL _n,(F)- invariant of forms of degree d in x₁, …, x _n, over F. We call {I _n} an additive family of invariants if I _p+q (f ⊥ g) = I _p(f).I _q(g) whenever f; g are forms of degree d over F in x _l, …, x _p; …, x _q respectively, and where (f ⊥ g)(x _l, …, x _p+q) = f(x ₁, …, x _p,) + g (x _p+1, …, x _p+q). It is well-known that the family of discriminants of the quadratic forms is additive. We prove that in odd degree d each invariant in an additive family must be a constant. We also give an example in each even degree d of a nontrivial family of invariants of the forms of degree d. The proofs depend on the symbolic method for representing invariants of a form, which we review.     

Implicitly defined optimization problems

This paper considers the solution of the problem: inff[y, x(y)] s.t.y [y, x(y)] E ^k , wherex(y) solves: minF(x, y) s.t.x R(x, y) E ⁿ . In order to obtain local solutions, a first-order algorithm, which uses {dx(y)/dy} for solving a special case of the implicitly definedy-problem, is given. The derivative is obtained from {dx(y, r)/dy}, wherer is a penalty function parameter and {x(y, r)} are approximations to the solution of thex-problem given by a sequential minimization algorithm. Conditions are stated under whichx(y, r) and {dx(y, r)/dy} exist. The computation of {dx(y, r)/dy} requires the availability of _y F(x, y) and the partial derivatives of the other functions defining the setR(x, y) with respect to the parametersy.Research sponsored by National Science Foundation Grant ECS-8709795 and Office of Naval Research Contract N00014-89-J-1537. We thank the referees for constructive comments on an earlier version of this paper.     

Error bounds for multidimensional Laplace approximation

A numerical estimate is obtained for the error associated with the Laplace approximation of the double integral I(λ) = ∝∝_D g(x,y) e^−λf(x,y) dx dy, where D is a domain in , λ is a large positive parameter, f(x, y) and g(x, y) are real-valued and sufficiently smooth, and ∝(x, y) has an absolute minimum in D. The use of the estimate is illustrated by applying it to two realistic examples. The method used here applies also to higher dimensional integrals.     

Modified Dyadic Integral and Fractional Derivative on ℝ+

For functions from the Lebesgue space L(?₊), we introduce the modified strong dyadic integral J _α and the fractional derivative D ^(α) of order α > 0. We establish criteria for their existence for a given function f ∈ L(?₊). We find a countable set of eigenfunctions of the operators D ^(α) and J _α, α > 0. We also prove the relations D ^(α)(J _α(f)) = f and J _α(D ^(α)(f)) = f under the condition that $\smallint _{\mathbb{R}_ + } f(x)dx = 0$ . We show the unboundedness of the linear operator $J_\alpha :L_{J_{_\alpha } } \to L(\mathbb{R}_ + )$ , where L _{J α} is its natural domain of definition. A similar assertion is proved for the operator $D^{(\alpha )} :L_{D^{(\alpha )} } \to L(\mathbb{R}_ + )$ . Moreover, for a function f ∈ L(?₊) and a given point x ∈ ?₊, we introduce the modified dyadic derivative d ^(α)(f)(x) and the modified dyadic integral j _α(f)(x). We prove the relations d ^(α)(J _α(f))(x) = f(x) and j _α(D ^(α)(f)) = f(x) at each dyadic Lebesgue point of the function f.     

Partial Parity (g,f )-Factors and Subgraphs Covering Given Vertex Subsets

 Let G be a graph and W a subset of V(G). Let g,f:V(G)→Z be two integer-valued functions such that g(x)≤f(x) for all x∈V(G) and g(y)≡f(y) (mod 2) for all y∈W. Then a spanning subgraph F of G is called a partial parity (g,f)-factor with respect to W if g(x)≤deg _F (x)≤f(x) for all x∈V(G) and deg _F (y)≡f(y) (mod 2) for all y∈W. We obtain a criterion for a graph G to have a partial parity (g,f)-factor with respect to W. Furthermore, by making use of this criterion, we give some necessary and sufficient conditions for a graph G to have a subgraph which covers W and has a certain given property. Received: June 14, 1999?Final version received: August 21, 2000     

On the neutrix composition of the distributions x −s ln m |x| and x r

Let F be a distribution and let f be a locally summable function. The distribution F(f) is defined as the neutrix limit of the sequence {F _n (f)}, where F _n (x) = F(x) * δ _n (x) and {δ _n (x)} is a certain sequence of infinitely differentiable functions converging to the Dirac delta-function δ(x). The composition of the distributions x ^?s ln ^m |x| and x ^r is proved to exist and be equal to r ^m x ^?rs ln ^m |x| for r, s, m = 2, 3….     

On homomorphisms from the Hamming cube to Z

WriteF for the set of homomorphisms from {0, 1} ^d toZ which send0 to 0 (think of members ofF as labellings of {0, 1} ^d in which adjacent strings get labels differing by exactly 1), andF ₁ for those which take on exactlyi values. We give asymptotic formulae for |F| and |F|. In particular, we show that the probability that a uniformly chosen memberf ofF takes more than five values tends to 0 asd→∞. This settles a conjecture of J. Kahn. Previously, Kahn had shown that there is a constantb such thatf a.s. takes at mostb values. This in turn verified a conjecture of I. Benjaminiet al., that for eacht>0,f a.s. takes at mosttd values. Determining |F| is equivalent both to counting the number of rank functions on the Boolean lattice 2^[d] (functionsf: 2^[d]→N satisfyingf( ) andf(A)≤f(A∪x)≤f(A)+1 for allA∈2^[d] andx∈[d]) and to counting the number of proper 3-colourings of the discrete cube (i.e., the number of homomorphisms from {0, 1} ^d toK ₃, the complete graph on 3 vertices). Our proof uses the main lemma from Kahn’s proof of constant range, together with some combinatorial approximation techniques introduced by A. Sapozhenko. Research supported by a Graduate School Fellowship from Rutgers University.     

Vanishing Derivations and Co-Centralizing Generalized Derivations on Multilinear Polynomials in Prime Rings

Let R be a noncommutative prime ring of characteristic different from 2 with Utumi quotient ring U and extended centroid C, and f(x₁,…, x_n) be a multilinear polynomial over C, which is not central valued on R. Suppose that F and G are two generalized derivations of R and d is a nonzero derivation of R such that d(F(f(r))f(r) ? f(r)G(f(r))) = 0 for all r = (r₁,…, r_n) ∈ Rⁿ, then one of the following holds:

1. There exist a, p, q, c ∈ U and λ ∈C such that F(x) = ax + xp + λx, G(x) = px + xq and d(x) = [c, x] for all x ∈ R, with [c, a ? q] = 0 and f(x₁,…, x_n)² is central valued on R;

2. There exists a ∈ U such that F(x) = xa and G(x) = ax for all x ∈ R;

3. There exist a, b, c ∈ U and λ ∈C such that F(x) = λx + xa ? bx, G(x) = ax + xb and d(x) = [c, x] for all x ∈ R, with b + αc ∈ C for some α ∈C;

4. R satisfies s₄ and there exist a, b ∈ U and λ ∈C such that F(x) = λx + xa ? bx and G(x) = ax + xb for all x ∈ R;

5. There exist a′, b, c ∈ U and δ a derivation of R such that F(x) = a′x + xb ? δ(x), G(x) = bx + δ(x) and d(x) = [c, x] for all x ∈ R, with [c, a′] = 0 and f(x₁,…, x_n)² is central valued on R.