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.     

On a classical Nicoletti boundary value problem

We shall derive existence, uniqueness and comparison results for the functional differential equationx(t)=f(t, x), a. e.tI, with classical Nicoletti boundary conditionsx _i(t_i)=y _iX, iA, whereI is a real interval,A is a nonempty set andX is a Banach space.     

Analytic Approximations for a Singularly Perturbed Convection—Diffusion Problem with Discontinuous Data in a Half-Infinite Strip

We consider a singularly perturbed convection—diffusion equation, –u+v u=0, defined on a half-infinite strip, (x,y)(0,)×(0,1) with a discontinuous Dirichlet boundary condition: u(x,0)=1, u(x,1)=u(0,y)=0. Asymptotic expansions of the solution are obtained from an integral representation in two limits: (a) as the singular parameter 0⁺ (with fixed distance r to the discontinuity point of the boundary condition) and (b) as that distance r0⁺ (with fixed ). It is shown that the first term of the expansion at =0 contains an error function or a combination of error functions. This term characterizes the effect of discontinuities on the -behavior of the solution and its derivatives in the boundary or internal layers. On the other hand, near the point of discontinuity of the boundary condition, the solution u(x,y) is approximated by a linear function of the polar angle at the point of discontinuity (0,0).     

On the strong controllability of the diffusion equation

Let (x,t)y (x,t),x[0, 1],t[0,T], be the solution of the diffusion equation in one spatial variable corresponding to zero initial conditions and boundary controluL ₂(0,T). GivenfL ₂(0, 1), it is not possible, in general, to find a controlu such thaty(·,T)=f. We extend the space of controls in such a manner thatL ₂(0,T) can be considered to be a subset of a new spaceS of control elements; this space contains elements which do provide a solution to the problem of moments associated with the problem of makingy(·,T)=f inL ₂(0, 1). We show then that the action of the elements ofS can be approximated by that of control functions inL ₂(0,T) in a suitable manner.     

Laws of Iterated Logarithm and Related Asymptotics for Estimators of Conditional Density and Mode

Let (X _i , Y _i ) be a sequence of i.i.d. random vectors in R with an absolutely continuous distribution function H and let g _x (y), y R denote the conditional density of Y given X = x(F), the support of F, assuming that it exists. Also let M(x) be the (unique) conditional mode of Y given X = x defined by M(x) = arg max _y (y)). In this paper new classes of smoothed rank nearest neighbor (RNN) estimators of g _x (y), its derivatives and M(x) are proposed and the laws of iterated logarithm (pointwise), uniform a.s. convergence over – < y < and x a compact C(F) and the asymptotic normality for the proposed estimators are established. Our results and proofs also cover the Nadayara-Watson (NW) case. It is shown using the concept of the relative efficiency that the proposed RNN estimator is superior (asymtpotically) to the corresponding NW type estimator of M(x), considered earlier in literature.     

Kite-freeP- andQ-polynomial schemes

LetY = (X, {R _i } _oid) denote aP-polynomial association scheme. By a kite of lengthi (2 i d) inY, we mean a 4-tuplexyzu (x, y, z, u X) such that(x, y) R ₁,(x, z) R ₁,(y, z) R ₁,(u, y) R _i–1,(u, z) R _i–1,(u, x) R _i. Our main result in this paper is the following.     

On the Question of Generalized Solution to Algebro-Differential Systems

We study the possibility of constructing a Sobolev–Schwartz generalized solution to the problem A(t) x(t) + B (t) x (t) = f (t), t T = [0 , + ) , x ( 0 ) = a, whose coefficient (n × n)-matrix of derivatives is degenerate for every tT in the situation when there is no classical solution x(t)C ¹(T) (the initial data do not satisfy the agreement conditions and the right-hand side is not a sufficiently smooth vector-function). We prove that the generalized solution is the limit of a sequence of classical solutions of the Cauchy problem for a system with constant coefficients, obtained by the perturbation method.     

Rectangular convexity of convex domains of constant width

An E R ² is r-convex if for every x, y E there exists a closed rectangle R such that x, y R and R E. Several results about r-convexity appeared in [1]. Its authors formulated a conjecture about conditions for a compact, convex set in R ² to be r-convex. We prove this conjecture in the case of convex domains of constant width.     

A White Noise Approach to Stochastic Neumann Boundary-Value Problems

We illustrate the use of white noise analysis in the solution of stochastic partial differential equations by explicitly solving the stochastic Neumann boundary-value problem LU(x)–c(x)U(x)=0, xDR ^d ,(x)U(x)=–W(x), xD, where L is a uniformly elliptic linear partial differential operator and W(x), xR ^d , is d-parameter white noise.     

Necessary and Sufficient Conditions for Existence and Uniqueness of Bounded and Almost-Periodic Solutions of Nonlinear Differential Equations

Necessary and sufficient conditions of the existence and uniqueness of bounded and almost-periodic solutions of nonlinear dif ferential equation dx/dt+f(x)=h(t), tR, are obtained. Here f: RR is continuous, h: RR is continuous and bounded.     

A Class of Iterative Algorithms and Solvability of Nonlinear Variational Inequalities Involving Multivalued Mappings

The solvability of the following class of nonlinear variational inequality (NVI) problems based on a class of iterative procedures, which possess an equivalence to a class of projection formulas, is presented.Determine an element x ^* K and u ^* T(x ^*) such that u ^*, x – x ^* 0 for all x K where T: K P(H) is a multivalued mapping from a real Hilbert space H into P(H), the power set of H, and K is a nonempty closed convex subset of H. The iterative procedure adopted here is represented by a nonlinear variational inequality: for arbitrarily chosen initial points x ⁰, y ⁰ K, u ⁰ T(y ⁰) and v ⁰ T(x ⁰), we have u ^k + x ^k+1 – y ^k , x – x ^k+1 0, x K, for u ^k T(y ^k ) and for k 0where v ^k + y ^k – x ^k , x – y ^k 0, x K and for v ^k T(x ^k ).     

Two results concerning symmetric bi-derivations on prime rings

Summary LetR be a ring. A bi-additive symmetric mappingD(.,.): R × R R is called a symmetric bi-derivation if, for any fixedy R, the mappingx D(x, y) is a derivation. The purpose of this paper is to prove two results concerning symmetric bi-derivations on prime rings. The first result states that, ifD ₁ andD ₂ are symmetric bi-derivations on a prime ring of characteristic different from two and three such thatD ₁(x, x)D ₂(x,x) = 0 holds for allx R, then eitherD ₁ = 0 orD ₂ = 0. The second result proves that the existence of a nonzero symmetric bi-derivation on a prime ring of characteristic different from two and three, such that [[D(x, x),x],x] Z(R) holds for allx R, whereZ(R) denotes the center ofR, forcesR to be commutative.     

An implicit function theorem: Comment

In Ref. 1, Jittorntrum proposed an implicit function theorem for a continuous mappingF:R ⁿ ×R ^m R ⁿ, withF(x ⁰,y ⁰)=0, that requires neither differentiability ofF nor nonsingularity of _x F(x ⁰,y ⁰). In the proof, the local one-to-one condition forF(·,y):A R ⁿ R ⁿ for ally B is consciously or unconsciously treated as implying thatF(·,y) mapsA one-to-one ontoF(A, y) for ally B, and the proof is not perfect. A proof can be given directly, and the theorem is shown to be the strongest, in the sense that the condition is truly if and only if.     

On some additive mappings in rings with involution

Summary LetR be a *-ring. We study an additive mappingD: R R satisfyingD(x ²) =D(x)x ^* +xD(x) for allx R.It is shown that, in caseR contains the unit element, the element 1/2, and an invertible skew-hermitian element which lies in the center ofR, then there exists ana R such thatD(x) = ax ^* – xa for allx R. IfR is a noncommutative prime real algebra, thenD is linear. In our main result we prove that a noncommutative prime ring of characteristic different from 2 is normal (i.e.xx ^* =x ^* x for allx R) if and only if there exists a nonzero additive mappingD: R R satisfyingD(x ²) =D(x)x ^* +xD(x) and [D(x), x] = 0 for allx R. This result is in the spirit of the well-known theorem of E. Posner, which states that the existence of a nonzero derivationD on a prime ringR, such that [D(x), x] lies in the center ofR for allx R, forcesR to be commutative.     

Symmetrische Permutationsmengen

A permutation set (M, I) consisting of a setM and a set of permutations ofM, is calledsymmetric, if for any two permutations, the existence of anx M with (x) (x) and ^–1 (x) = ^–1 (x) implies ^–1 = ^–1 , andsharply 3-transitive, if for any two triples (x ₁,x ₂,x ₃), (y ₁,y ₂,y ₃) M ³ with|{x ₁,x ₂,x ₃ }| = |{y ₁,y ₂,y ₃ }| = 3 there is exactly one permutation with(x ₁) =y ₁,(x ₂) =y ₂,(x ₃) =y ₃. The following theorem will be proved.THEOREM.Let (M, ) be a sharply 3-transitive symmetric permutation set with |M|3, such that contains the identity. Then is a group and there is a commutative field K such that and the projective linear group PGL(2, K) are isomorphic.     

Convexity in finite metric spaces

A subsetS of a metric space (X,d) is calledd-convex if for any pair of pointsx,y S each pointz X withd(x,z) +d(z,y) =d(x,y) belongs toS. We give some results and open questions concerning isometric and convexity-preserving embeddings of finite metric spaces into standard spaces and the number ofd-convex sets of a finite metric space.     

Implicitly defined optimization problems

This paper considers the solution of the problem: inff[y, x(y)] s.t.y [y, x(y)] E ^k , wherex(y) solves: minF(x, y) s.t.x R(x, y) E ⁿ . In order to obtain local solutions, a first-order algorithm, which uses {dx(y)/dy} for solving a special case of the implicitly definedy-problem, is given. The derivative is obtained from {dx(y, r)/dy}, wherer is a penalty function parameter and {x(y, r)} are approximations to the solution of thex-problem given by a sequential minimization algorithm. Conditions are stated under whichx(y, r) and {dx(y, r)/dy} exist. The computation of {dx(y, r)/dy} requires the availability of _y F(x, y) and the partial derivatives of the other functions defining the setR(x, y) with respect to the parametersy.Research sponsored by National Science Foundation Grant ECS-8709795 and Office of Naval Research Contract N00014-89-J-1537. We thank the referees for constructive comments on an earlier version of this paper.     

Finite-dimensional attainable sets for stochastic control systems

Letx _t ^u () be a stochastic control system on the probability space (, ,P) intoR ⁿ. We say that the pointxR ⁿ is (, ) attainable at timet if there exists an admissible controlu such thatP _xo{x _t ^u ()S (x)}, wherex ₀()=x ₀, 0, 10, andS (x) is the closed Euclidean -ball inR ⁿ centered atx. We define the attainable setA (t) to be the set of all pointsxR ⁿ which are (, ) attainable at timet. For a large class of stochastic control systems, it is shown thatA (t) is compact for eacht and continuous as a function oft in an appropriate metric. From this, the existence of stochastic time-optional controls is established for a large class of nonlinear stochastic differential equations.This research was supported by the National Research Council of Canada, Grant No. A-9072.     

Derivatives of the Spectral Function and Sobolev Norms of Eigenfunctions on a Closed Riemannian Manifold

Let e(x, y, ) be the spectral function and the unit spectral projection operator, with respect to the Laplace–Beltrami operator on a closed Riemannian manifold M. We generalize the one-term asymptotic expansion of e(x, x, ) by Hörmander (Acta Math. 88 (1968), 341–370) to that of _{x y} e(x,y,)| _x=y for any multiindices , in a sufficiently small geodesic normal coordinate chart of M. Moreover, we extend the sharp (L ²,L ^p) (2 p) estimates of by Sogge (J. Funct. Anal. 77 (1988), 123–134; London Math. Soc. Lecture Note Ser. 137, Cambridge University Press, Cambridge, 1989; Vol. 1, pp. 416–422) to the sharp (L ², Sobolev L ^p) estimates of .