A relation between spline approximation and the problem of the approximation of one class by another

An investigation of the approximation in L_q(–, ) of differentiable functions whose k-th derivatives belong to L_p(–, ), by splines S_m (x) with nonfixed nodes, under the extra assumption that the norms in L_s(–, ) of theirl-th derivatives have a common bound. A relation is established with the problem of approximating functions of one class by functions of another class.Translated from Matematicheskie Zametki, Vol. 9, No. 5, pp. 501–510, May, 1971.     

On the asymptotic equivalence ofL pmetrics for convergence to normality

Summary This paper is concerned with the rate of convergence to zero of theL _pmetrics _np1p, constructed out of differences between distribution functions, for departure from normality for normed sums of independent and identically distributed random variables with zero mean and unit variance. It is shown that the _np are, under broad conditions, asymptotically equivalent in the strong sense that, for 1p, p, _np/_np is universally bounded away from zero and infinity asn.     

Characterization of regular singular linear systems of difference equations

This paper deals with linear systems of difference equations whose coefficients admit generalized factorial series representations atz=. We are concerned with the behavior of solutions near the pointz= (the only fixed singularity for difference equations). It is important to know whether a system of linear difference equations has a regular singularity or an irregular singularity. To a given system () we can assign a number , called the Moser's invariant of (), so that the system is regular singular if and only if 1. We shall develop an algorithm, implementable in a computer algebra system, which reduces in a finite number of steps the system of difference equations to an irreducible form. The computation ot the number can be done explicitly from this irreducible form.     

On Smoothness Properties and Approximability of Optimal Control Functions

The theory of discretization methods to control problems and their convergence under strong stable optimality conditions in recent years has been thoroughly investigated by several authors. A particularly interesting question is to ask for a natural smoothness category for the optimal controls as functions of time.In several papers, Hager and Dontchev considered Riemann integrable controls. This smoothness class is characterized by global, averaged criteria. In contrast, we consider strictly local properties of the solution function. As a first step, we introduce tools for the analysis of L elements at a point. Using afterwards Robinson's strong regularity theory, under appropriate first and second order optimality conditions we obtain structural as well as certain pseudo-Lipschitz properties with respect to the time variable for the control.Consequences for the behavior of discrete solution approximations are discussed in the concluding section with respect to L as well as L ₂ topologies.     

On flag-transitive affine planes of orderq 3

Let be a translation plane of orderq ³,q an odd prime power, whose kern GF(q). Letl be the line at infinity of . LetG be a solvable collineation group of in the linear translation complement, which acts transitively onl , and letH be a maximal normal cyclic subgroup ofG. Then the restriction ofH onl acts semiregularly onl and {1, 2, 3, 6}, where is the restriction ofG onl (ifq –1(mod 3), then {1, 2}). Ifq {3, 5} and {1, 2}, then is determined completely, using a computer.     

Nonlocal problems in the theory of the motion equations of Kelvin-Voight fluids

For the motion equations of Kelvin-Voight fluids one proves: 1) a global theorem for the existence and uniqueness of a solution (v;{u_e}) of the initial-boundary value problem on the semiaxis t R⁺ from the class W ¹ (R⁺); W ₂ ² () H()) with initial condition v_o(x) W ₂ ² () H() when the right-hand side f(x, t) L(R ⁺; L₂()); 2) a global theorem for the existence and uniqueness of a solution (v; {u_l}) on the entire axisR from the classW ¹ (R; W ₂ ² () H()) when the right-hand side f(x, t) L(R; L₂()); 3) a global theorem for the existence of at least one solution (v; {u_l}), periodic with respect to t with period , from the class W ¹ (R ⁺; W ₂ ² () H()) when the right-hand side f(x, t) L(R ⁺; L₂()) is periodic with respect to t with period , and a local uniqueness theorem for such a solution; 4) a theorem for the existence and uniqueness in the small of a solution (v; {u_l}), almost periodic with respect to t R, from V. V. Stepanov's class S ¹ (R; W ₂ ² ()H()) when the right-hand side f(x, t) S(R; L₂()) is almost periodic with respect to t; 5) the linearization principle (Lyapunov's first method) is justified in the theory of the exponential stability of the solutions of an initial-boundary value problem in the space H() and conditions are given for the exponential stability of a stationary and periodic solution, with respect to t R, of the system (1).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 181, pp. 146–185, 1990.     

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.     

Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen

Ohne Zusammenfassung Zusatz bei der Korrektur: Ein vollständiger und korrekter Beweis für die Entscheidbarkeit der eingangs angeführten Aanderaaschen Klasse ((0, ), (, , ...)) erscheint demnächst im JSL (S.O. Aanderaa/H.R.Lewis: Prefix classes of Krom formulas). Ebendort wird auch die Reduktionstypeneigenschaft für ((0, ), (0, 0, )) und ((0, )), (0, 0, )) nachgewiesen, während ((0, ), (, )) sich als entscheidbar herausgestellt hat (s. E. Börger: Eine entscheidbare Klasse von Kromformeln. ZMLG 19 (1973), 117–120.) Der Kromsche Reduktionstyp konnte mittlerweile einerseits zu ((0, ), (0, 4)) verschärft werden (s. D. Rödding, E. Börger: The undecidability of (0, 4)-formulae with binary disjunctions, vorgetragen auf dem Logic Coll. Bristol 1973, ein abstract erscheint im JSL), andererseits kündigt H.R.Lewis die Reduktionstypeneigenschaft für ((0, ), (0, 1)) an (s. H.R.Lewis: Krom formulas with one dyadic predicate letter. Notices AMS 20, 5 (1973) A-500, abstr. no. 73T-E78.)Dieser Aufsatz geht aus der Dissertation [2] hervor, die dem Fachbereich Mathematik der Mathematisch-Naturwissenschaftlichen Fakultät der Universität Münster im Sommersemester 1971 vorgelegt worden ist. Die Ergebnisse stammen aus dem Wintersemester 1970/71. Eine Ankündigung der hauptsächlichen Resultate ist in den Notices of the American Mathematical Society 19, 2 (1972) A-333 unter der abstract no. * 72T-E24 erschienen.     

Path properties of kernel generated two-time parameter Gaussian processes

Summary We study path properties of two-parameter Gaussian processes {X(t,v),t R} of the formX(t,v)= _{0 –} (t,v,x,y)dW(x,y), where the kernel function (t, v, x, y) is assumed to be square integrable in (x, y) onR×R ⁺, andW(x, y) is a standard two-parameter Wiener process.Work partially supported by an NSERC Canada Operating Grant at Carleton UniversityWork supported by an NSERC Canada International Scientific Exchange Award at Carleton University and by National Natural Science Foundation of China     

Convex Hulls in Singular Spaces of Negative Curvature

The paper gives a simple example of a complete CAT(–1)-space containing a set S with the following property: the boundary at infinity CH(S)of the convex hull of S differs from S by an isolated point. In contrast to this it is shown that if S is a union of finitely many convex subsets of a complete CAT(–1)-space X, then CH(S) = S. Moreover, this identity holds without restrictions on S if CH is replaced by some notion of almost convex hull.     

Sample function behavior of increasing processes of class L

Summary We consider increasing processes {X(t)t0} of classL, that is, increasing self-similar processes with inswpendent increments. Leth(t) be an increasing positive function on (0,) withh(0+)=0 andh()=. By virtue of the zero-one laws, there existsc (resp.C) [0,] such that lim inf (resp. lim sup)X(t)/h(t)=c (resp.C) a.s. both ast tends to 0 and ast tends to . We decide a necessary and sufficient condition for the existence ofh(t) withc orC=1 and explicitly constructh(t) in caseh(t) exists withc orC=1. Moreover, we give a criterion to classify functionsh(t) withc (orC)=0 andh(t) withc (orC)= in caseh(t) does not exist withc (orC)=1.     

Limiting behavior of weighted central paths in linear programming

We study the limiting behavior of the weighted central paths{(x(), s())} > 0 in linear programming at both = 0 and = . We establish the existence of a partition (B ,N ) of the index set { 1, ,n } such thatx _i() ands _j () as fori B , andj N , andx _N (),s _B () converge to weighted analytic centers of certain polytopes. For allk 1, we show that thekth order derivativesx ^(k) () ands ^(k) () converge when 0 and . Consequently, the derivatives of each order are bounded in the interval (0, ). We calculate the limiting derivatives explicitly, and establish the surprising result that all higher order derivatives (k 2) converge to zero when .     

A correction theorem and the dyadic space H1, ∞

It is shown that for every l-function f and for every , >0, there exists a function g such that mes {t=g} <, while the partial sums of the Fourier and Fourier-Walsh series of the function g are uniformly bounded by the number C log (^–1)f. In the proof we make use of the characterization of the dyadic space H^1, in terms of atomic decompositions (it is, apparently, new).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 149, pp. 67–75, 1986.     

The intersection of complete geodesics on <Emphasis Type="Italic">S</Emphasis><Superscript>2</Superscript> with positive curvature

Let M be a Riemannian manifold. A complete geodesic on M means that :(-,+)M is a normalized geodesic. In this paper, we prove that on (S²,g) with positive curvature, any two complete geodesics must intersect an infinite number of times, and a complete geodesic must self-intersect an infinite number of times. Mathematics Subject Classification (2000) 53C40 (53C22)     

Random Walks Crossing High Level Curved Boundaries

Let {S _n} be a random walk, generated by i.i.d. increments X _i which drifts weakly to in the sense that as n . Suppose k0, k1, and E|X ₁|^1\k = if k>1. Then we show that the probability that S. crosses the curve nan ^K before it crosses the curve n –an ^k tends to 1 as a . This intuitively plausible result is not true for k = 1, however, and for 1/2 <k<1, the converse results are not true in general, either. More general boundaries g(n) than g(n) = n ^k are also considered, and we also prove similar results for first passages out of regions like { (n, y): n1, |y| (a + n) ^k } as a .     

Some remarks on the modulus of continuity of a conformal mapping of the disk onto a Jordan domain

Letd(;z, t) be the smallest diameter of the arcs of a Jordan curve with endsz andt. Consider the rapidity of decreasing ofd(;)=sup{d(;z, t):z, t , ¦z–t¦} (as 0,0) as a measure of nicety of . Letg(x) (x0) be a continuous and nondecreasing function such thatg(x)x,g(0)=0. Put¯g(x)=g(x)+x, h(x)=(¯g(x))². LetH(x) be an arbitrary primitive of 1/h ^–1(x). Note that the functionH ^–1 x is positive and increasing on (–, +),H ^–1 0 asx– andH ^–1+ asx +. The following statement is proved in the paper.Translated fromMatematicheskie Zametki, Vol. 60, No. 2, pp. 176–184, August, 1996.This research was supported by the Russian Foundation for Basic Research under grant No. 93-01-00236 and by the International Science Foundation under grant No. NCF000.     

Upper classes for the increments of the fractional Wiener process

Summary LetX(t) be a fractional Wiener process, i.e., a centered Gaussian process on [0, ) with stationary increments and varianceEX ² (t)=t ², anda(t) a positive nondecreasing function witha(t)t. We investigate the a.s. asymptotic behaviour of the incrementsI(t, a (t))=max{X{u+a(t))–X(u): 0ut–a(t)} (and some others that are similarly defined) ast.     

Continuation of semicontinuous processes with independent increments

We consider a process X _t ¹ with independent increments without positive jumps in the state space (–; +) VarX _t ¹ =+. For a stopped process in the space E⁰ we construct its continuation in E⁰ U {0}.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 43, No. 9, pp. 1269–1272, September, 1991.     

Characterization,structure and analysis on abelian ℒ∞ groups

An abelian topological group is an group if and only if it is a locally -compactk-space and every compact subset in it is contained in a compactly generated locally compact subgroup. Every abelian groupG is topologically isomorphic to G ₀ where ₀ andG ₀ is an abelian group where every compact subset is contained in a compact subgroup. Intrinsic definitions of measures, convolution of measures, measure algebra,L ₁-algebra, Fourier transforms of abelian groups are given and their properties are studied.