A new continuation method for complementarity problems with uniformP-functions

The complementarity problem with a nonlinear continuous mappingf from the nonnegative orthantR ₊ ⁿ ofR ⁿ intoR ⁿ can be written as the system of equationsF(x, y) = 0 and(x, y) R ₊ ²ⁿ , whereF denotes the mapping from the nonnegative orthantR ₊ ²ⁿ ofR ²ⁿ intoR ₊ ⁿ × Rⁿ defined byF(x, y) = (x ₁y₁,,x_ny_n, f₁(x) – y₁,, f_n(x) – y_n) for every(x, y) R ₊ ²ⁿ . Under the assumption thatf is a uniformP-function, this paper establishes that the mappingF is a homeomorphism ofR ₊ ²ⁿ ontoR ₊ ⁿ × Rⁿ. This result provides a theoretical basis for a new continuation method of tracing the solution curve of the one parameter family of systems of equationsF(x, y) = tF(x ⁰, y⁰) and(x, y) R ₊ ²ⁿ from an arbitrary initial point(x ⁰, y⁰) R ₊ ²ⁿ witht = 1 until the parametert attains 0. This approach is an extension of the one used in the polynomially bounded algorithm recently given by Kojima, Mizuno and Yoshise for solving linear complementarity problems with positive semi-definite matrices.     

Approximation of convolutions of multi-dimensional symmetric distributions by accompanying laws

Let F be a symmetric k-dimensional probability distribution, whose characteristic function satisfies for allt R ^k the inequality –1 + , where 0 < < 2. Let n be an arbitrary natural number, let Fⁿ be the n-fold convolution of the distribution F with itself, and let e(nF) be the accompanying infinitely divisible distribution with characteristic function exp(n( –1)). It is proved that the uniform distance (·,·) between corresponding distribution functions admits estimate (F ⁿ ,e(nF))c₁(k)(n^–1+exp(–n+ckn ³ n)), where c₁ (k) depends only on the dimension k, while c₂ is an absolute constant.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 177, pp. 55–72, 1989.     

Room designs and one-factorizations

The existence of a Room square of order 2n is known to be equivalent to the existence of two orthogonal one-factorizations of the complete graph on 2n vertices, where orthogonal means any two one-factors involved have at most one edge in common. DefineR(n) to be the maximal number of pairwise orthogonal one-factorizations of the complete graph onn vertices.The main results of this paper are bounds on the functionR. If there is a strong starter of order 2n–1 thenR(2n) 3. If 4n–1 is a prime power, it is shown thatR(4n) 2n–1. Also, the recursive construction for Room squares, to obtain, a Room design of sidev(u – w) +w from a Room design of sidev and a Room design of sideu with a subdesign of sidew, is generalized to sets ofk pairwise orthogonal factorizations. It is further shown thatR(2n) 2n–3.     

Finite extinction time for some perturbed Hamilton-Jacobi equations

In this paper we study initial value problems likeu _t–R¦u¦^m+u^q=0 in ⁿ× ₊, u(·,0⁺)=u_o(·) in ^N, whereR > 0, 0 <q < 1,m 1, andu _o is a positive uniformly continuous function verifying –R¦u _o¦^m+u ₀ ^q 0 in ^N . We show the existence of the minimum nonnegative continuous viscosity solutionu, as well as the existence of the function t(·) defined byu(x, t) > 0 if 0<t<t (x) andu(x, t)=0 ift t (x). Regularity, extinction rate, and asymptotic behavior of t(x) are also studied. Moreover, form=1 we obtain the representation formulau(x, t)=max{([(u _o(x – t))^1–q –(1–q)t]₊)^1/(1–q): ¦¦R}, (x, t) ₊ ^N+1 .Partially supported by the DGICYT No. 86/0405 project.     

Para-orthogonal Laurent polynomials and associated sequences of rational functions

On the space, , of Laurent polynomials (L-polynomials) we consider a linear functional which is positive definite on (0, ) and is defined in terms of a given bisequence, { _k } _– . Two sequences of orthogonal L-polynomials, {Q _n (z) ₀ and , are constructed which span in the order {1,z ^–1,z,z ^–2,z ²,...} and {1,z,z ^–1,z ²,z ^–2,...} respectively. Associated sequences of L-polynomials {P _n (z) ₀ , and are introduced and we define rational functions , wherew is a fixed positive number. The partial fraction decomposition and integral representation of,M _n (z, w) are given and correspondence of {M _n (z, w)} is discussed. We get additional solutions to the strong Stieltjes moment problem from subsequences of {M _n (z, w)}. In particular when { _k } _– is a log-normal bisequence, {M _2n (z, w)} and {M _2n+1 (z, w)} yield such solutions.Research supported in part by the National Science Foundation under Grant DMS-9103141.     

Number of no nisomorphic subgraphs in an n-point graph

LetG(n) be the set of all nonoriented graphs with n enumerated points without loops or multiple lines, and let v_k(G) be the number of mutually nonisomorphic k-point subgraphs of G G(n). It is proved that at least |G(n)| (1–1/n) graphs G G(n) possess the following properties: a) for any k [6log₂n], where c=–c log₂c–(1–c)×log₂(1–c) and c>1/2, we havev _k(G) > C _n ^k (1–1/n²); b) for any k [cn + 5 log₂n] we havev _k(G) = C _n ^k . Hence almost all graphs G G(n) containv(G) 2ⁿ pairwise nonisomorphic subgraphs.Translated from Matematicheskie Zametki, Vol. 9, No. 3, pp. 263–273, March, 1971.     

Return probabilities for random walk on a half-line

A random walk with reflecting zone on the nonnegative integers is a Markov chain whose transition probabilitiesq(x, y) are those of a random walk (i.e.,q(x, y)=p(y–x)) outside a finite set {0, 1, 2,...,K}, and such that the distributionq(x,·) stochastically dominatesp(·–x) for everyx{0, 1, 2,..., K}. Under mild hypotheses, it is proved that when xp _x>0, the transition probabilities satisfyq ⁿ(x, y)C_xyR^–nn^–3/2 asn, and when xp _x=0,q ⁿ(x, y)C_xyn^–1/2.Supported by National Science Foundation Grant DMS-9307855.     

The Distribution Solutions of Ordinary Differential Equation with Polynomial Coefficients

Consider the Differential Equation of the form ty⁽ⁿ⁾(t) + my^(n–1)(t) + ty(t) = 0 (1) where m is any integer and n 2 for t (–, ). It is found that the values of m make the solutions of (1) to be classical, that is the solutions in the space C(–, ) of continuous functions, or the Distributions which are the solutions in the space D_R of Distributions whose supports are bounded on the left.AMS Subject Classification (1991) 46F10     

The Colin de Verdière number and sphere representations of a graph

Colin de Vedière introduced an interesting linear algebraic invariant (G) of graphs. He proved that (G)2 if and only ifG is outerplanar, and (G)3 if and only ifG is planar. We prove that if the complement of a graphG onn nodes is outerplanar, then (G)n–4, and if it is planar, then (G)n–5. We give a full characterization of maximal planar graphs whose complementsG have (G)=n–5. In the opposite direction we show that ifG does not have twin nodes, then (G)n–3 implies that the complement ofG is outerplanar, and (G)n–4 implies that the complement ofG is planar.Our main tools are a geometric formulation of the invariant, and constructing representations of graphs by spheres, related to the classical result of Koebe about representing planar graphs by touching disks. In particular we show that such sphere representations characterize outerplanar and planar graphs.     

Eigenfunctions and associated functions of an n-th-order linear differential operator

For n2 we consider a differential operatorL [y] z ⁿ y ⁽ⁿ⁾ +P ₁(z)z ^n–1 y ^(n–1) +P ₂ (z)z ^n–2 y ^n–2 + ...+P _n (z)y = y, p ₁ (z), ..., P _n (z) A _R : here a_r is the space of functions which are analytic in the disk ¦z¦ < R, equipped with the topology of compact convergence. We prove the existence of sequences {f_k(z)} _k =o, consisting of a finite number of associated functions of the operator L and an infinite number of its eigenfunctions; we show that the sequence forms a basis in A_r for an arbitrary r, 0 < r <- R; and we establish some additional properties of the sequence ₀ (z), ₁ (z),..., _d–1 (z), f _d (z), f _d+1 (z),... Translated from Matematicheskie Zametki, Vol. 20, No. 6, pp. 869–878, December, 1976.     

The universal central extension of the holomorphic current algebra

We identify the universal differential module ¹(A) for the Fréchet algebra A of holomorphic functions on a complex Stein manifold X, and more generally on a Riemannian domain R over X and for the algebra of germs of holomorphic functions on a compact subset K ⁿ . It turns out to be isomorphic to the Fréchet space of holomorphic 1-forms on X, resp. R, resp. to the space ¹(K) of germs of holomorphic 1-forms in K. This determines the center of the universal central extension of the Lie algebra (R, of holomorphic maps from R to a finite-dimensional simple complex Lie algebra .     

Tate–Vogel Completions of Half-Exact Functors

We provide a general method to construct the Tate–Vogel homology theory for a general half-exact functor with one variable, aiming at a good generalization of Cohen–Macaulay approximations of modules over commutative Gorenstein rings. For a half exact functor F, using the left and right satellites (S _n and S ⁿ ), we define F (X)=lim S _n S ⁿ F(X) and F (X)=lim S _n S ⁿ F(X), and call F and F the Tate–Vogel completions of F. We provide several properties of F and F , and their relations with the G-dimension and the projective dimension of the functor F. A comparison theorem of Tate–Vogel completions with ordinary Tate–Vogel homologies is proved. If F is a half exact functor over the category of R-modules, where R is a commutative Noetherian local ring inspired by Martsinkovsky's works, we can define the invariants (F) and (F) of F. If F=Ext _R ⁱ (M, ), then they coincide with Martsinkovsky's -invariants and Auslander's delta invariants. Our advantage is that we can consider these invariants for any half exact functors. We also compute these invariants for the local cohomology functors.     

Spherical multipliers

It is proven in the paper that if functionf(x)L^p(Rⁿ), where 1/p> 1/2 + 1/(n + 1), then the restriction of the Fourier transform f() to the unit sphere S^n–1 lies in L²(S^n–1). As was shown by Fefferman [1], it follows from this that, when > (n –1)/(2(n + 1)), the Riesz-Bochner multiplier acts in LP(Rⁿ) if (n –1–2)/(2n) <1/p < (n + 1 + 2)/(2n).Translated from Matematicheskie Zametki, Vol. 23, No. 1, pp. 105–112, January, 1978.The author wishes to thank B. S. Mityagin for his attention to this work.     

A q-Analogue of Weber-Schafheitlin Integral of Bessel Functions

In an attempt to find a q-analogue of Weber and Schafheitlin's integral ₀ x ^– J (ax) J (bx) dx which is discontinuous on the diagonal a = b the integral ₀ x ^– J ⁽²⁾ (a(1 – q)x; q)J ⁽¹⁾ (b(1 – q)x; q) dx is evaluated where J ⁽¹⁾ (x; q) and J ⁽²⁾ (x; q) are two of Jackson's three q-Bessel functions. It is found that the question of discontinuity becomes irrelevant in this case. Evaluations of this integral are also made in some interesting special cases. A biorthogonality formula is found as well as a Neumann series expansion for x in terms of J ⁽²⁾ _+1+2n ((1 – q)x; q). Finally, a q-Lommel function is introduced.     

The convolution operator in weighted spaces with asymptotic conditions

We consider the operation of convolution with a homogeneous function in ^m that has a discontinuity on the subspace ^m–n , 1 n m–1.We exhibit a scale of weighted function spaces in which the convolution is continuous. The weight function is taken as a certain power of the distance to ^m–n.Bibliography: 5 titles. Translated fromProblemy Matematicheskogo Analiza, No. 12, 1992, pp. 186–213.     

A remark on the essential self-adjointness of a Schrödinger operator with a singular potential

We examine the operators=–+v, v L_{2, loe} (R ⁿ ), where S satisfies a natural additional condition of a local nature. If a condition of Titchmarsh type is fulfilled at infinity, then S is essentially self-adjoint in L₂(Rⁿ).Translated from Matematicheskie Zametki, Vol. 20, No. 4, pp. 571–580, October, 1976.     

On weak convergence of functionals of stochastic processes with continuously differentiable paths

We obtain a criterion for weak convergence of a sequence of stochastic processes _n(t), t [0, 1],n N, _n(t) R ^m in the spaceC _m ^k [0, 1] of continuously differentiable functions. We consider several examples of weakly convergent sequences of stochastic processes inC _m ^k [0, 1] and several integer functionals defined on these random variables.Translated fromTeoriya Sluchainykh Protsessov, Vol. 15, pp. 85–90, 1987.     

Formulas for best extrapolation

We considern-point Lagrange-Hermite extrapolation forf(x), x>1, based uponf(x _i ),i=1(1)n, –1x _i 1, including non-distinct pointsx _i in confluent formulas involving derivatives. The problem is to find the pointsx _i that minimize the factor in the remainderP _n (x)f ⁽ⁿ⁾()/n, –1<<x subject to the condition|P _n (x)|M, –1x1,2^–n+1M2 ⁿ . The solution is significant only when a single set of pointsx _i suffices for everyx>1. The problem is here completely solved forn=1(1)4. Forn>4 it may be conjectured that there is a single minimal , 0 rn, whererr(M) is a non-decreasing function ofM, P _n (–1)=(–1) ⁿ M, and for 0rn–2, thej-th extremumP _n (x _{e, j} )=(–1) ^n–j M,j=1(1)n–r–1 (except forM=M _r ,r=1(1)n–1, whenj=1(1)n–r).     

Interpolating them-th power ofx at the zeros of then-th Chebyshev-polynomial yields an almost best Chebyshev-approximation

LetX={x ₁,x ₂,..., _n }I=[–1, 1] and . ForfC ₁(I) definef* byf–p _f =f*, wherep _f denotes the interpolation-polynomial off with respect toX. We state some properties of the operatorf f*. In particular, we treat the case whereX consists of the zeros of the Chebyshev polynomialT _n (x) and obtain x ^m –p _x ^m8eE _n–1(x ^m ), whereE _n–1(f) denotes the sup-norm distance fromf to the polynomials of degree less thann. Finally we state a lower estimate forE _n (f) that omits theassumptionf ⁽ⁿ⁺¹⁾>0 in a similar estimate of Meinardus.     

On lower bounds in radial basis approximation

We investigate the approximation by manifolds _n() generated by linear combinations of n radial basis functions on R^d of the form (|–a|), where is the thin-plate spline type function. We obtain exact asymptotic estimates for the approximation of Sobolev classes W^r(B^d) in the space L(B^d) on the unit ball B^d. AMS subject classification 41A25, 41A63, 65D07, 41A15