Convexity of Nonlinear Image of a Small Ball with Applications to Optimization

Let f: XY be a nonlinear differentiable map, X,Y are Hilbert spaces, B(a,r) is a ball in X with a center a and radius r. Suppose f (x) is Lipschitz in B(a,r) with Lipschitz constant L and f (a) is a surjection: f (a)X=Y; this implies the existence of >0 such that f (a)^* yy, yY. Then, if r,/(2L), the image F=f(B(a,)) of the ball B(a,) is convex. This result has numerous applications in optimization and control. First, duality theory holds for nonconvex mathematical programming problems with extra constraint x–a. Special effective algorithms for such optimization problems can be constructed as well. Second, the reachability set for small power control is convex. This leads to various results in optimal control.     

On a new class of multiplicative pseudo-random number generators

In the computing literature, there are few detailed analytical studies of the global statistical characteristics of a class of multiplicative pseudo-random number generators.We comment briefly on normal numbers and study analytically the approximately uniform discrete distribution or (j,)-normality in the sense of Besicovitch for complete periods of fractional parts {x _{0 1} ⁱ /p} on [0, 1] fori=0, 1,..., (p–1)p^–1–1, i.e. in current terminology, generators given byx _{n+1 1} x _n mod p wheren=0, 1,..., (p–1)p ^–1–1,p is any odd prime, (x ₀,p)=1, ₁ is a primitive root modp ², and 1 is any positive integer.We derive the expectationsE(X, ),E(X ², ),E(X _nX_n+k); the varianceV(X, ), and the serial correlation coefficient k. By means of Dedekind sums and some results of H. Rademacher, we investigate the asymptotic properties of k for various lagsk and integers 1 and give numerical illustrations. For the frequently used case =1, we find comparable results to estimates of Coveyou and Jansson as well as a mathematical demonstration of a so-called rule of thumb related to the choice of ₁ for small k.Due to the number of parameters in this class of generators, it may be possible to obtain increased control over the statistical behavior of these pseudo-random sequences both analytically as well as computationally.     

Extensions and selections in subspaces ofC(K)

LetK be a compact Hausdorff space and letFK be a peak interpolation set for a function algebraAC(K). Let be a map fromK to the family of all convex subsets of such that the set {(z, x)zK, x(z)} is open inK×C and such thatg(z)(z) (zK) for somegA. We prove that everyfC(F) satisfyingf(s)(s) (sF) (f(s)closure (s) (sF)) admits an extensionfAA} satisfyingf(z)(z) (zK) (f(z))}closure (z) (zK), respectively). We prove a more general theorem of this kind and present various applications which generalize known dominated interpolation theorems for subspaces ofC(K).     

Stabilization of solutions of certain parabolic equations and systems

This paper concerns the investigation of the stabilization of solutions of the Cauchy problem for a system of equations of the form u/t = u + f_i(u, v); v/t = v + F₂(u, v). It is proved that under certain assumptions the behavior of solutions as t is determined by mutual arrangement of the set of initial conditions {(u, v): u = f₁(x), v =f ₂(x), xRⁿ} and the trajectories of the system of ordinary differential equations du/dt = F₁(u, v), dv/dt = F₂(u, v). The question of stabilization of the solutions of a single quasilinear parabolic equation is also considered.Translated from Matematicheskie Zametki, Vol. 3, No. 1, pp. 85–92, January, 1968.     

Extremal problems of Bloch function spaces

Letf be analytic in a hyperbolic region . The Bloch constant _f off is defined by , where (z)|dz| is the Poincaré metric in . Suppose is hyperbolic and where . Then for allf withf() , we have _f 1/(). In this paper we study the extremal functions defined by _f =1/() and the existence of those functions.Supported by the National Natural Science Foundation of China.     

The evaluation of Cauchy principal value integrals involving unknown poles

A method is described for the evaluation of a Cauchy principal value integral of the formf ₀ ^p f(t)dt, wheref is analytic in the interval [0,p] except at a simple pole at an unknown point in (0,p), with an unknown residue. The method is based on the trapezoidal rule.     

G8 estimator of solutions of systems of linear algebraic equations

For linear forms of regularized solutions (x, c)=Re c' · Re[I + i)+A'A_n ^–1]^–1 A'_nb of systems of equations Ax=b, where A is an n×m matrix, x, c, b are vectors, and _n is a sequence of constants, we propose the estimator , where is any measurable solution of the equation ()Re[1+₁a(())]²+ (₁–₂)(1+₁(gq()))=, a(y)=n^–1 Sp[Iy+^–1Z_s'Z^s+ iI]^–1, , _i=n_n ²_n ^–1s_n ^–1, ⁿ=mI_n ²_n ^–1s_n ^–1, X_i are independent observations on the matrix A. Under certain conditions, it is proved that G₈ is a consistent estimator for n and 0.Translated from Vychislitel'naya i Prikladnaya Matematika, No. 66, pp. 111–119, 1988.     

On the boundedness of Cauchy singular operator from the spaceL p toL q,p>q>-1

It is proved that for a Cauchy type singular operator, given by equality (1), to be bounded from the Lebesgue spaceL _p () tol _q (), as = _n=1 ^Ȟ _n , _n ={z:|z|=r _n }, it is necessary and sufficient that either condition (4) or (5) be fulfilled.     

Certain Convolution Operators for Meromorphic Functions

Let (p N) be the class of functions analytic in 0 < |z| < 1. A convolution operator L_p(a, c) on p is introduced. This paper gives some sharp inequalities for f(z) satisfying Re{(1 – )z^pL_p(a, c) f(z) + z^pL_p(a + 1, c) f(z)} > , where 0, < 1, a > 0 and c 0, –1, –2,....AMS Subject Classification (1991) 30C45 30A10     

Remarks on ergodicity of stationary irreducible transient Markov chains

Summary Consider a stationary process {X _n(), – < n < . If the measure of the process is finite (the measure of the whole sample space finite), it is well known that ergodicity of the process {X _n(), - < n < and of each of the subprocesses {X _n(), 0 n < , {X _n(), – < n 0 are equivalent (see [3]). We shall show that this is generally not true for stationary processes with a sigma-finite measure, specifically for stationary irreducible transient Markov chains. An example of a stationary irreducible transient Markov chain {X _n(), - < n <} with {itX_n(), 0 n < < ergodic but {X _n(), < n 0 nonergodic is given. That this can be the case has already been implicitly indicated in the literature [4]. Another example of a stationary irreducible transient Markov chain with both {X _n(), 0 n < and {itX _n(),-< < n 0} ergodic but {X _n(), - < n < nonergodic is presented. In fact, it is shown that all stationary irreducible transient Markov chains {X _n(), - < n < < are nonergodic.This research was supported in part by the Office of Naval Research.John Simon Guggenheim Memorial Fellow.     

Quasi-conformal mapping theorem and bifurcations

LetH be a germ of holomorphic diffeomorphism at 0 . Using the existence theorem for quasi-conformal mappings, it is possible to prove that there exists a multivalued germS at 0, such thatS(ze ²ⁱ )=HS(z) (1). IfH is an unfolding of diffeomorphisms depending on (,0), withH ₀=Id, one introduces its ideal . It is the ideal generated by the germs of coefficients (a _i (), 0) at 0 ^k , whereH (z)–z=a _i ()z ⁱ . Then one can find a parameter solutionS (z) of (1) which has at each pointz ₀ belonging to the domain of definition ofS ₀, an expansion in seriesS (z)=z+b _i ()(z–z ₀) ⁱ with , for alli.This result may be applied to the bifurcation theory of vector fields of the plane. LetX be an unfolding of analytic vector fields at 0 ² such that this point is a hyperbolic saddle point for each . LetH (z) be the holonomy map ofX at the saddle point and its associated ideal of coefficients. A consequence of the above result is that one can find analytic intervals , , transversal to the separatrices of the saddle point, such that the difference between the transition mapD (z) and the identity is divisible in the ideal . Finally, suppose thatX is an unfolding of a saddle connection for a vector fieldX ₀, with a return map equal to identity. It follows from the above result that the Bautin ideal of the unfolding, defined as the ideal of coefficients of the difference between the return map and the identity at any regular pointz, can also be computed at the singular pointz=0. From this last observation it follows easily that the cyclicity of the unfoldingX , is finite and can be computed explicity in terms of the Bautin ideal.Dedicated to the memory of R. Mañé     

Properties of Certain Integral Operators

For analytic functions f() belonging to the class A_p, integral operators I_n^a (f()) are introduced. The object of the present paper is to derive some interesting properties of integral operators I_n^a(f(z)). Our results contain some previous results by M. Obradovié [4], S. Owa, M. Obradovi, and M. Nunokawa [6], and by D.K. Thomas [7].AMS Subject Classification (2000) primary 30C45 secondary 32A20Supported, in part, by the Japanese Ministry of Education, Science and Culture under a grant-in-aid for general scientific research.     

Formula for the differentiation of operator-valued functions depending on a parameter

A study of the convergence of the differentiation formula (f(A))=f (A)A+f ^m(A)/21[AA]+f ^m(A)/3l[[AA]A]'+... where [XY]=XY–YX, and A=A(t) is a function of the real variable t with values in a Banach algebra.Translated from Matematicheskie Zametki, Vol. 10, No. 2, pp. 207–218, August, 1971.The author wishes to thank A. G. Aslanyan for his comments concerning this work.     

Black holes on the plane drawn by a Wiener process

Summary We say that the discD()R ², of radius , located around the origin isp-covered in timeT by a Wiener processW(·) if for anyzD() there exists a 0tT such thatW(t) is a point of the disc of radiusp, located aroundz. The supremum of those 's (0) is studied for which,D() isp-covered inT.     

The problem of conformal transformations of a circle into nonoverlapping regions

Let a, a0, a, be a fixed point in the z-plane, (a, 0, ), the class of all systemsf _k()_l ³ of functions z=f ^k(), k=1, 2, 3, of which the first two map conformally and in a s ingle-sheeted manner the circle ¦¦<1, and the third maps in a similar manner the region ¦¦>1, into pair-wise nonintersecting regions B_k, k=1, 2, 3, containing the points a, 0, and , respectively, so thatf ₁(0)=a,f ₂(0)=0 andf ₃()=. The region of values (a, 0, ) of the system M(¦f ₁'(0)¦, ¦f ₂'(0)¦, 1/¦f ₃'()¦) in the class (a, 0, ) is determined.Translated from Matematicheskie Zametki, Vol. 6, No. 4, pp. 417–424, October, 1969.     

Quadratic spline interpolation on uniform meshes

The interpolation problem at uniform mesh points of a quadratic splines(x _i)=f _i,i=0, 1,...,N ands(x ₀)=f₀ is considered. It is known that s–f=O(h ³) and s–f=O(h ²), whereh is the step size, and that these orders cannot be improved. Contrary to recently published results we prove that superconvergence cannot occur for any particular point independent off other than mesh points wheres=f by assumption. Best error bounds for some compound formulae approximatingf _i andf _i ⁽³⁾ are also derived.     

Asymptotic estimates of approximation of continuous periodic functions by Fourier sums

Asymptotic estimates, expressed in terms of the value of the modulus of continuity of r-th order (r2) at the point t=/n of a functionf C ₂ or of the (, )-derivative of a functionf C _B C, are established for the deviations of continuous periodic functions from their Fourier sums.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 6, pp. 747–755, June, 1990.     

Malmquist theorem for solutions of differential equations in a neighborhood of a logarithmic singular point

The Malmquist theorem (1913) on the growth of meromorphic solutions of the differential equation f = P(z,f) / Q(z,f), where P(z,f) and Q(z,f) are polynomials in all variables, is proved for the case of meromorphic solutions with logarithmic singularity at infinity.Translated from Ukrainskyi Matematychnyi Zhurnal, Vol. 56, No. 4, pp. 476–483, April, 2004.     

On recurrence

Summary LetT be a non-singular ergodic automorphism of a Lebesgue space (X,L,) and letf: X be a measurable function. We define the notion of recurrence of such a functionf and introduce the recurrence setR(f)={:f– is recurrent}. If , then R()={0}, but in general recurrence sets can be very complicated. We prove various conditions for a number to lie in R(f) and, more generally, forR(f) to be non-empty. The results in this paper have applications to the theory of random walks with stationary increments.     

On the Rate of Clustering to the Strassen Set for Increments of the Uniform Empirical Process

We obtain outer rates of clustering in the functional laws of the iterated logarithm of Deheuvels and Mason⁽¹¹⁾ and Deheuvels,⁽⁷⁾ which describe local oscillations of empirical processes. Considering increment sizes a _n 0 such that na _n and na _n(log n)^–7/3 we show that the sets of properly rescaled increment functions cluster with probability one to the _n-enlarged Strassen ball in B(0, 1) endowed with the uniform topology, where _n 0 may be chosen so small as (log (1/a _n) + log log n)^–2/3 for any sufficiently large . This speed of coverage is reduced for smaller a _n.