Accurate estimates of deviations of spline approximations to classes of differentiable functions

We derive the approximation on [0, 1] of functionsf(x) by interpolating spline-functions s_r(f; x) of degree 2r+1 and defect r+1 (r=1, 2,...). Exact estimates for ¦f(x)–s_r(f; x) ¦ and f(x)–s_r(f; x)|_c on the class W^mH for m=1, r=1, 2, ..., and m=2, 3, r=1 for the case of convex (t),are derived.Translated from Matematicheskie Zametki, Vol. 9, No. 5, pp. 483–494, May, 1971.     

An irremovable Carleman singularity for Haar's system

An example is constructed of a continuous functionf(x) that has the property that any function in L ₍₀₁₎ ² that coincides withf(x) on a set of positive measure realizes a Carleman singularity for Haar's system.Translated from Matematicheskie Zametki, Vol. 14, No. 6, pp. 799–807, December, 1973.     

The Value Regions of the Systems {f(z 1), f′(z 1)} and {f(z 1), f(z 2)} in the Class of Typically Real Functions

In the class T consisting of regular and typically real functions in the disk |x| < 1, the value regions of the system {f(z ₁), f(z ₁)} and {f(z ₁), f(z ₂)} are found for fixed z ₁ and z ₂. As an application, the value regions of f(z ₁) and f(z ₂) are found for f T with fixed value f(z ₁). Bibliography: 11 titles.     

Spin depolarization decay rates in α-symmetric stable fields on cubic lattices

We study the asymptotic, long-time behavior of the energy function where {X_s : 0 ≤ s < ∞} is the standard random walk on the d-dimensional lattice Z^d, 1 < α ≤ 2, and f:R⁺ → R⁺ is any nondecreasing concave function. In the special case f(x) = x, our setting represents a lattice model for the study of transverse magnetization of spins diffusing in a homogeneous, α-stable, i.i.d., random, longitudinal field {λV(x) : x ∈ Z^d} with common marginal distribution, the standard α-symmetric stable distribution; the parameter λ describes the intensity of the field. Using large-deviation techniques, we show that S_c(λ α f) = lim_t→∞ E(t; λ f) exists. Moreover, we obtain a variational formula for this decay rate S_c. Finally, we analyze the behavior S_c(λ α f) as λ → 0 when f(x) = x^β for all 1 ≥ β > 0. Consequently, several physical conjectures with respect to lattice models of transverse magnetization are resolved by setting β = 1 in our results. We show that S_c(λ, α, 1) ≈ λ^α for d ≥ 3, λ^agr;(ln 1/λ)^α−1 in d = 2, and in d = 1. © 1996 John Wiley & Sons, Inc.     

Approximation by cubic splines in the classes of continuously differentiable functions

The problem of approximating continuously differentiable periodic functionsf(x) by cubic interpolation splines s_n(f; x) with equidistant nodes is considered. Asymptotically exact estimates for f(x)-s_n(f; x)_C are obtained in the classes of functions W¹H.Translated from Matematicheskie Zametki, Vol. 11, No. 2, pp. 215–226, February, 1972.In conclusion, I am deeply grateful to N. P. Korneichuk for a number of valuable remarks and conjectures utilized while working on this paper.     

Intrinsic metric preserving maps on partially ordered groups

In [11] Pap proved that a surjective mapf from an abelian lattice ordered groupG ₁ onto an abelian Archimedean lattice ordered group G₂ which preserves non-zero intrinsic metricsd ₁, andd ₂ onG ₁ andG ₂, respectively (i.e.d ₁(x,y)=d₁(z, t) implies d₂(f(x)f(y))= d₂(f(z),f(t))) and satisfiesf(0)=0 is a homomorphism and put the question whether that assertion is true in the case that G₂ is a non-Archimedean lattice ordered group. In this paper it is proved that a surjective map from an abelian directedG ₁ onto a directed group G₂ such thatf(0)=0 is a homomorphism if ¦x –y ¦=¦z – t¦ implies ¦f(x) –f(y)¦=¦f(z) –f(t)¦ and it is shown that the answer to the question of Pap is positive.Presented by M. Henriksen.     

A result on the composition of distributions

LetF be a distribution and letf be a locally summable function. The distributionF(f) is defined as the neutrix limit of the sequenceF _n (f), whereF _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 distribution (x^r)^−s is valuated forr, s = 1,2, ….     

The Rate of Convergence for Subexponential Distributions and Densities

A distribution function F on the nonnegative real line is called subexponential if lim_x(1-F ^*n (x)/(1 - F(x)) = n for all n 2, where F ^*n denotes the nfold Stieltjes convolution of F with itself. In this paper, we consider the rate of convergence in the above definition and in its density analogue. Among others we discuss the asymptotic behavior of the remainder term R _n (x) defined by R _n (x) = 1 - F*n(x) - n(1 - F(x)) and of its density analogue r_n (x) = -(R_n (x))'. Our results complement and complete those obtained by several authors. In an earlier paper, we obtained results of the form _n(x) = O(1)f(x)R(x), where f is the density of F and R(x) = ₀ ^x (1-F(y))dy. In this paper, among others we obtain asymptotic expressions of the form R _n(x)= ₂ ⁿ R₂(x) + O(1)(-f'(x))R²(x) where f' is the derivative of f.     

Length functions of lemniscates

We study metric and analytic properties of generalized lemniscates E _t (f)={z:ln|f(z)|=t}, where f is an analytic function. Our main result states that the length function |E _t (f)| is a bilateral Laplace transform of a certain positive measure. In particular, the function ln|E _t (f)| is convex on any interval free of critical points of ln|f|. As another application we deduce explicit formulae of the length function in some special cases.The author was supported the Göran Gustafsson foundation and grant RFBR no. 03-01-00304.The author was supported by Russian President grant for young doctorates no. 00-15-99274 and grant RFBR no. 03-01-00304. Mathematics Subject Classification (2000):30E05, 42A82, 44A10     

A limit theorem for the separable statistic in a random assignment scheme

One considers the following scheme of random assignment of n particles in an infinite sequence of cells. Each particle is. assigned to the k-th cell with probability pk and one assumes that p_k p_k+1 and pk > 0 for each k. Let X_k(n) be the number of particles in the k-th cell and let f₁(x), f₂(x), ... be a sequence of real-valued functions defined for x=0, 1,2, ... Under certain conditions on the distribution of the probabilities and on the sequence f₁(x), f₂(x), ..., one investigates the asymptotic normality of the random variable. (The random variable Z_n is proper since)Translated from Veroyatnostnye Raspredeleniya i Matematicheskaya Statistika, pp. 435–447, 1986.     

On the error terms for representation numbers of quadratic forms

Let f be a primitive positive integral binary quadratic form of discriminant −D, and r _f (n) the number of representations of n by f up to automorphisms of f. We first improve the error term E(x) of $ \sum\limits_{n \leqq x} {r_f (n)^\beta } $ \sum\limits_{n \leqq x} {r_f (n)^\beta } for any positive integer β. Next, we give an estimate of ∫₁ ^T |E(x)|² x ^−3/2 dx when β = 1.     

Conditions for the existence and uniqueness of bounded solutions of nonlinear differential equations

We establish conditions required for the existence and uniqueness of bounded solutions of the nonlinear differential equation f₁( \fracdx(t)dt ) = f₂( x(t) ) {f_1}\left( {\frac{{dx(t)}}{{dt}}} \right) = {f_2}\left( {x(t)} \right) , t ∈ ℝ.     

Une Remarque sur une Formule Sommatoire liée à la Somme des Chiffres

Let g ≥ 2 be an integer, and let s(n) be the sum of the digits of n in basis g. Let f(n) be a complex valued function defined on positive integers, such that ?_{n ￡ x} f(n)=o(x)\sum_{n\le x} f(n)=o(x) . We propose sufficient conditions on the function f to deduce the equality ?_{n ￡ x} f(s(n))=o(x)\sum_{n\le x} f(s(n))=o(x) . Applications are given, for instance, on the equidistribution mod 1 of the sequence (s(n))^α, where α is a positive real number.     

Generalized weighted quasi-arithmetic means

Under some natural assumptions on real functions f and g defined on a real interval I, we show that a two variable function M _f,g : I ² → I defined by

On certain functional equations related to Jordan triple (q, f){(\theta, \phi)}-derivations on semiprime rings

The main purpose of this paper is to prove the following result. Let R be a 2-torsion free semiprime ring with symmetric Martindale ring of quotients Q _s and let q{\theta} and f{\phi} be automorphisms of R. Suppose T:R? R{T:R\rightarrow R} is an additive mapping satisfying the relation T(xyx)=T(x)q(y)q(x)-f(x)T(y)q(x)+f(x)f(y)T(x){T(xyx)=T(x)\theta (y)\theta (x)-\phi (x)T(y)\theta (x)+\phi (x)\phi (y)T(x)}, for all pairs x,y ? R{x,y\in R}. In this case T is of the form 2T(x)=qq(x)+f(x)q{2T(x)=q\theta (x)+\phi (x)q}, for all x ? R{x\in R} and some fixed element q ? Q_s{q\in Q_{s}}.     

Monotonicity of Topological Entropy for One-Parameter Families of Unimodal Mappings

For a special class of one-parameter families of unimodal mappings of the form f _t(x): [0, 1] [0, 1], f _t = atx/(x + t), 0 x 1/2, we establish that, for t [0, 1/(a – 2)], a > 2, the topological entropy h(f _t) is a function monotonically increasing in the parameter. We prove that there exists a class of one-parameter families of unimodal mappings f _t that contains the family indicated above and establish conditions under which the topological entropy h(f _t) is a function monotonically increasing in the parameter.     

Error estimates for a class of quadrature formulae

The problem considered is that of estimating the error of a class of quadrature formulae for _–1 ¹ w _r (x)f(x)dx, (w _r (x) being a positive weight-function), where only values off(x) in (–1,1) and off(x) and its derivatives at the end-points of the interval are considered.     

Regions of Values of the Systems {f(z 1), f(z 2), f'(z 2)} and {f(z 1), f'(z 1), f'(z 1)} on the Class of Typically Real Functions

Let T be the class of functions f(z) = z + a ₂ z ² + . . . that are regular in the unit disk and satisfy the condition Im f(z) Im z > 0 for Im z 0, and let z ₁ and z ₂ be any distinct fixed points in the disk |z| < 1. For the systems of functionals mentioned in the title, the regions of values on T are studied. As a corollary, the regions of values of f'(z ₂) and f'(z ₁) on the subclasses of functions in T with fixed values f (z ₁), f (z ₂) and f (z ₁), f'(z ₁), respectively, are found. Bibliography: 7 titles.     

The Theorem of the k-1 Happy Divorces

Given a binary relation R between the elements of two sets X and Y and a natural number k, it is shown that there exist k injective maps f₁, f₂,...,f_k: X \hookrightarrow Y X \hookrightarrow Y with # {f₁(x), f₂(x),...,f_k(x)}=k    and    (x,f₁(x)), (x, f₂(x)),...,(x, f_k(x)) ? R \# \{f_1(x), f_2(x),...,f_k(x)\}=k \quad{\rm and}\quad (x,f_1(x)), (x, f_2(x)),...,(x, f_k(x)) \in R for all x ? X x \in X if and only if the inequality k ·# A ￡ ?_{y ? Y} min(k, #{a ? A | (a,y) ? R}) k \cdot \# A \leq \sum_{y \in Y} min(k, \#\{a \in A \mid (a,y) \in R\}) holds for every finite subset A of X, provided {y ? Y | (x,y) ? R} \{y \in Y \mid (x,y) \in R\} is finite for all x ? X x \in X .¶Clearly, as suggested by this paper's title, this implies that, in the context of the celebrated Marriage Theorem, the elements x in X can (simultaneously) marry, get divorced, and remarry again a partner from their favourite list as recorded by R, for altogether k times whenever (a) the list of favoured partners is finite for every x ? X x \in X and (b) the above inequalities all hold.¶In the course of the argument, a straightforward common generalization of Bernstein's Theorem and the Marriage Theorem will also be presented while applications regarding (i) bases in infinite dimensional vector spaces and (ii) incidence relations in finite geometry (inspired by Conway's double sum proof of the de Bruijn-Erdös Theorem) will conclude the paper.     

Designs of ϕ-optimal control for second-order processes

Consider a realization of the process on the intervalT=[0,1] for functionsf ₁(t),f ₂(t),...,f _n (t) inH(R), the reproducing kernel Hilbert space with reproducing kernelR(s,t) onT×T, whereR(s,t)=E[ξ(s)ξt)] is assumed to be continuous and known. Problems of the selection of functions {f _k (t)} _k=1 ⁿ to be ϕ-optimal design are given, and an unified approach to the solutions ofD-,A-,E- andD _s-optimal design problems are discussed.