Partitions of natural numbers with the same representation functions

For a set A of nonnegative integers the representation functions R₂(A,n), R₃(A,n) are defined as the number of solutions of the equation n=a+a^′,a,a^′∈A with a<a^′, a?a^′, respectively. Let D(0)=0 and let D(a) denote the number of ones in the binary representation of a. Let A₀ be the set of all nonnegative integers a with even D(a) and A₁ be the set of all nonnegative integers a with odd D(a). In this paper we show that (a) if R₂(A,n)=R₂(N?A,n) for all n?2N−1, then R₂(A,n)=R₂(N?A,n)?1 for all n?12N²−10N−2 except for A=A₀ or A=A₁; (b) if R₃(A,n)=R₃(N?A,n) for all n?2N−1, then R₃(A,n)=R₃(N?A,n)?1 for all n?12N²+2N. Several problems are posed in this paper.     

Dirichlet series related to the Riemann zeta function

A study is made of the function H(s, z) defined by analytic continuation of the Dirichlet series H(s, z) = Σ_n=1^∞n^?sΣ_m=1ⁿm^?z, where s and z are complex variables. For each fixed z it is shown that H(s, z) exists in the entire s-plane as a meromorphic function of s, and its poles and residues are determined. Also, for each fixed s ≠ 1 it is shown that H(s, z) exists in the entire z-plane as a meromorphic function of z, and again its poles and residues are determined. Two different representations of H(s, z) are given from which a reciprocity law, H(s, z) + H(z, s) = ζ(s) ζ(z) + ζ(s + z), is deduced. For each integer q ≥ 0 the function values H(s, ?q) and H(?q, s) are expressed in terms of the Riemann zeta function. Similar results are also obtained for the Dirichlet series T(s, z) = Σ_n=1^∞n^?sΣ_m=1ⁿm^?z (m + n)^?1. Applications include identities previously obtained by Ramanujan, Williams, and Rao and Sarma.     

Existence Criterion for Estimates of Derivatives of Rational Functions

Suppose that K is a compact set in the open complex plane. In this paper, we prove an existence criterion for an estimate of Markov-Bernstein type for derivatives of a rational function R(z) at any fixed point z ₀ ∈ K. We prove that, for a fixed integer s, the estimate of the form |R ^(s) (z ₀)| ≤ C(K, z ₀, s)n‖R‖ _C(K), where R is an arbitrary rational function of degree n without poles on K and C is a bounded function depending on three arguments K, z ₀, and s, holds if and only if the supremum $$\omega (K,z_0 ,s) = \sup \left\{ {\frac{{\operatorname{dist} (z,K)}}{{\left| {z - z_0 } \right|^{s + 1} }}} \right\}$$ over z in the complement of K is finite. Under this assumption, C is less than or equal to const ·s!ω(K, z ₀, s).     

The fundamental constituents of iteration digraphs of finite commutative rings

For a finite commutative ring R and a positive integer k ? 2, we construct an iteration digraph G(R, k) whose vertex set is R and for which there is a directed edge from a ∈ R to b ∈ R if b = a ^k . Let R = R ₁ ⊕ … ⊕ R _s , where s > 1 and R _i is a finite commutative local ring for i ∈ {1, …, s}. Let N be a subset of {R ₁, …, R _s } (it is possible that N is the empty set \(\not 0\) ). We define the fundamental constituents G _N ^* (R, k) of G(R, k) induced by the vertices which are of the form {(a ₁, …, a _s ) ∈ R: a _i ∈ D(R _i ) if R _i ∈ N, otherwise a _i ∈ U(R _i ), i = 1, …, s}, where U(R) denotes the unit group of R and D(R) denotes the zero-divisor set of R. We investigate the structure of G* _N (R, k) and state some conditions for the trees attached to cycle vertices in distinct fundamental constituents to be isomorphic.     

Bounds for the uniform deviation of empirical measures

If X₁,…,X_n are independent identically distributed R^d-valued random vectors with probability measure μ and empirical probability measure μ_n, and if $\text{a}$ is a subset of the Borel sets on R^d, then we show that P{sup_{A∈$\text{a}$}|μ_n(A)?μ(A)|≥ε} ≤ cs($\text{a}$, n²)e^?2n∈2, where c is an explicitly given constant, and s($\text{a}$, n) is the maximum over all (x₁,…,x_n) ∈ R^dn of the number of different sets in {{x₁…,x_n}∩A|A ∈$\text{a}$}. The bound strengthens a result due to Vapnik and Chervonenkis.     

On normal families and differential polynomials for meromorphic functions

We consider the normality criterion for a families F meromorphic in the unit disc Δ, and show that if there exist functions a(z) holomorphic in Δ, a(z)≠1, for each z∈Δ, such that there not only exists a positive number ε₀ such that |an(a(z)−1)−1|?ε₀ for arbitrary sequence of integers an(n∈N) and for any z∈Δ, but also exists a positive number B>0 such that for every f(z)∈F, B|f^′(z)|?|f(z)| whenever f(z)f^″(z)−a(z)(f^′2(z))=0 in Δ. Then is normal in Δ.     

Centralizers of generalized derivations on multilinear polynomials in prime rings

Let R be a prime ring of characteristic different from 2, with Utumi quotient ring U and extended centroid C, δ a nonzero derivation of R, G a nonzero generalized derivation of R, and f(x ₁, …, x _n ) a noncentral multilinear polynomial over C. If δ(G(f(r ₁, …, r _n ))f(r ₁, …, r _n )) = 0 for all r ₁, …, r _n ∈ R, then f(x ₁, …, x _n )² is central-valued on R. Moreover there exists a ∈ U such that G(x) = ax for all x ∈ R and δ is an inner derivation of R such that δ(a) = 0.     

On the monotonicity properties of additive representation functions, II

For a set A of positive integers and any positive integer n, let R₁(A,n), R₂(A,n) and R₃(A,n) denote the number of solutions of a+a^′=n with the additional restriction a,a^′∈A; a,a^′∈A,a<a^′ and a,a^′∈A,a≤a^′ respectively. In this paper, we specially focus on the monotonicity of R₃(A,n). Moreover, we show that there does not exist any set A⊂N such that R₂(A,n) or R₃(A,n) is eventually strictly increasing.     

On oscillation of solutions of a nonautonomous quasilinear second-order equation

Sufficient conditions are obtained for the initial values of nontrivial oscillating (for t=ω) solutions of the nonautonomous quasilinear equation $$y'' \pm \lambda (t)y = F(t,y,y'),$$ wheret ∈ Δ=[a, ω[,-∞ <a < ω ≤+ ∞, λ(t) > 0, λ(t) ∈ C _Δ ⁽¹⁾ , |F((t,x,y))|≤L(t)(|x|+|y|)^1+α, L(t) ≥-0, α ∈ [0,+∞[, F: Δ × R² →R,F ∈C _Δ×R ²,R is the set of real numbers, and R² is the two-dimensional real Euclidean space.     

On the localization of binding for Schrödinger operators and its extension to elliptic operators

In this paper we study the asymptotic behavior of the ground state energyE(R) of the Schrödinger operatorP _R=?Δ+V ₁(x)+V ₂(x-R),x,R ∈?ⁿ, where the potentialsV _i are small perturbations of the Laplacian in ?ⁿ,n≥3. The methods presented here apply also in the investigation of the ground state energyE(g) of the operatorPg=P+V ₁(x)+V ₂(gx), x ∈X,g ∈G, whereP _g is an elliptic operator which is defined on a noncompact manifoldX, G is a discrete group acting onX by diffeomorphismsG×X∈(g, x)→gx∈X, andP is aG-invariant elliptic operator which is subcritical inX.     

A Tauberian theorem related to Weyl's criterion

Let {x_n} be a sequence of real numbers and let a(n) be a sequence of positive real numbers, with A(N) = Σ_n=1^Na(n). Tsuji has defined a notion of a(n)-uniform distribution mod 1 which is related to the problem of determining those real numbers t₀ for which A(N)^?1 Σ_n=1^Na(n)e^?it₀x_n → 0 as N → ∞. In case f(s) = Σ_n=1^∞a(n)e^?sx_n, s = σ + it, is analytic in the right half-plane 0 < σ, and satisfies a certain smoothness condition as σ → 0 +, we show that f(σ)^?1f(σ + it₀) → 0 as σ → 0 + if and only if A(N)^?1 Σ_n=1^Na(n)e^?it₀x_n → 0 as N → ∞.     

On the analytic continuation of a certain Dirichlet series

A Dirichlet series associated with a positive definite form of degree δ in n variables is defined by

$\text{D}{}_{\mathrm{F}}\text{(s,p,α)}\text{=}\text{∑}\text{α∈Z}{}^{\mathrm{n}}\text{?{0}}\text{F(α)}{}^{\mathrm{?s}}\text{e(ρF(α)+〈α, α〉)}$

where ? ∈ $\text{Q}$, α ∈ $\text{Q}$ⁿ, 〈x, y〉 = x₁y₁ + ? + x_ny_n, e(a) = exp (2πia) for a ∈ $\text{R}$, and s = σ + ti is a complex number. The author proves that: (1) D_F(s, ?, α) has analytic continuation into the whole s-plane, (2) D_F(s, ?, α), ? ≠ 0, is a meromorphic function with at most a simple pole at $\text{s =}\text{n}\text{δ}$. The residue at $\text{s =}\text{n}\text{δ}$ is given explicitly. (3) ? = 0, α ? $\text{Z}$ⁿ, D_F(s, 0, α) is analytic for $\text{α>,}\text{n}\text{(δ ? 1)}$.     

Comparison of the best uniform approximations of analytic functions in the disk and on its boundary

Denote by C _A the set of functions that are analytic in the disk |z| < 1 and continuous on its closure |z| ≤ 1; let ? _n , n = 0, 1, 2, ..., be the set of rational functions of degree at most n. Denote by R _n (f) (R _n (f) _A ) the best uniform approximation of a function f ∈ C _A on the circle |z| = 1 (in the disk |z| ≤ 1) by the set ? _n . The following equality is proved for any n ≥ 1: sup{R _n (f) _A /R _n (f): f ∈ C _A ? ? _n } = 2. We also consider a similar problem of comparing the best approximations of functions in C _A by polynomials and trigonometric polynomials.     

A common property of R(E, F) and B(ℝ n , ℝ m ) and a new method for seeking a path to connect two operators

Given two Banach spaces E, F, let B(E, F) be the set of all bounded linear operators from E into F, and R(E, F) the set of all operators in B(E, F) with finite rank. It is well-known that B(? ⁿ ) is a Banach space as well as an algebra, while B(? ⁿ , ? ^m ) for m ≠ n, is a Banach space but not an algebra; meanwhile, it is clear that R(E, F) is neither a Banach space nor an algebra. However, in this paper, it is proved that all of them have a common property in geometry and topology, i.e., they are all a union of mutual disjoint path-connected and smooth submanifolds (or hypersurfaces). Let Σ _r be the set of all operators of finite rank r in B(E, F) (or B(? ⁿ , ? ^m )). In fact, we have that 1) suppose Σ _r ∈ B(? ⁿ , ? ^m ), and then Σ _r is a smooth and path-connected submanifold of B(? ⁿ , ? ^m ) and dimΣ _r = (n + m)r ? r ², for each r ∈ [0, min{n,m}; if m ≠ n, the same conclusion for Σ _r and its dimension is valid for each r ∈ [0, min{n, m}]; 2) suppose Σ _r ∈ B(E, F), and dimF = ∞, and then Σ _r is a smooth and path-connected submanifold of B(E, F) with the tangent space T _A Σ _r = {B ∈ B(E, F): BN(A) ? R(A)} at each A ∈ Σ _r for 0 ? r ? ∞. The routine methods for seeking a path to connect two operators can hardly apply here. A new method and some fundamental theorems are introduced in this paper, which is development of elementary transformation of matrices in B(? ⁿ ), and more adapted and simple than the elementary transformation method. In addition to tensor analysis and application of Thom’s famous result for transversility, these will benefit the study of infinite geometry.     

Resolvent Estimates for Operators Belonging to Exponential Classes

For a, α > 0 let E(a, α) be the set of all compact operators A on a separable Hilbert space such that s _n (A) = O(exp(-an^α)), where s _n (A) denotes the n-th singular number of A. We provide upper bounds for the norm of the resolvent (zI − A)⁻¹ of A in terms of a quantity describing the departure from normality of A and the distance of z to the spectrum of A. As a consequence we obtain upper bounds for the Hausdorff distance of the spectra of two operators in E(a, α).      

On approximation of convex functions by rational ones in integral metrics

Пустьf - действительн означная конечная фу нкция на конечном отрезке Δ=[а, b] вещественной оси, |Δ|=b?a, M(f) = sup {|f(x)|: x∈Δ}, R_n(f,p Δ) = inf∥f?r∥_Lp(Δ) (0 < p < ∞), где нижняя грань бере тся по всем рациональ ным функциямr порядка не вышеп, K(М, Δ) класс всех выпуклых на отре зке Δ функцийf, для кот орыхM(f)≦M. Теорема.При любом вещ ественном р, 0<р<∞ и вс ехп=1, 2, ... sup {R_n(f, p, Δ):f∈K(M, Δ)} ≦ C(p)M|Δ|^1/pn^?2,где С(р) - величина, зави сящая лишь от р.     

Stationary distributions of the simplest dynamical systems in Rn perturbed by generalized Poisson process

Let z(t) ∈ Rⁿ be a generalized Poisson process with parameter λ and let A: Rⁿ → Rⁿ be a linear operator. The conditions of existence and limiting properties as λ → ∞ or as λ → 0 of the stationary distribution of the process x(t) ∈ Rⁿ which satisfies the equation dx(t) = Ax(t)dt + dz(t) are investigated.     

Weighted rational approximation in the complex plane

Given a triple (G, W, γ) of an open bounded set G in the complex plane, a weight function W(z) which is analytic and different from zero in G, and a number γ with 0 ≤ γ ≤ 1, we consider the problem of locally uniform rational approximation of any function ƒ(z), which is analytic in G, by weighted rational functions W^m_i+n_i(z)R_mi, n_i(z)_{i = 0}^∞, where R_mi, n_i(z) = P_mi(z)/Q_ni(z) with deg P_mi ≤ m_i and deg Q_ni ≤ n_i for all i ≥ 0 and where m_i + n_i → ∞ as i → ∞ such that lim m_i/[m_i + n_i] = γ. Our main result is a necessary and sufficient condition for such an approximation to be valid. Applications of the result to various classical weights are also included.