Existence and construction of Δ1-splines of class Ck on a three-directional mesh

Let ^* be the equilateral triangulation of the plane and let ₁ ^* be the equilateral triangle formed by four triangles of ^*. We study the space of piecewise polynomial functions in C ^k (R ²) with support ₁ ^*, having a sufficiently high degree n and which are invariant with respect to the group of symmetries of ₁ ^*. Such splines are called ₁ ^*-splines. We first compute the dimension of this space in function of n and k. Then, for any fixed k0, we prove the existence of ₁ ^*-splines of class C ^k and minimal degree, but these splines are not unique. Finally, we describe an algorithm computing the Bernstein–Bézier coefficients of these splines.     

Topological influence of the presence of fully-λ-bases in locally convex spaces

This article reveals the topological impact of fully--bases in locally convex spaces where carries either the traditional normal topology or the fairly generalized-topology of Ruckle. It has been established that the generalized nuclearity of plays a significant role in influencing the topology of the space. Further, the equivalence of normal topology and the topology arising out of the fully--base ( being equipped with normal topology or-topology) has been investigated.We acknowledge with thanks the suggestions of the referee.     

Sensitivity analysis of the greatest eigenvalue of a symmetric matrix via the ɛ-subdifferential of the associated convex quadratic form

LetA(·) be ann × n symmetric affine matrix-valued function of a parameteruR ^m , and let (u) be the greatest eigenvalue ofA(u). Recently, there has been interest in calculating (u), the subdifferential of atu, which is useful for both the construction of efficient algorithms for the minimization of (u) and the sensitivity analysis of (u), namely, the perturbation theory of (u). In this paper, more generally, we investigate the Legendre-Fenchel conjugate function of (·) and the -subdifferential (u) of atu. Then, we discuss relations between the set (u) and some perturbation bounds for (u).The author is deeply indebted to Professor J. B. Hiriart-Urruty who suggested this study and provided helpful advice and constant encouragement. The author also thanks the referees and the editors for their substantial help in the improvement of this paper.     

The lower algebraicK-theory of virtually infinite cyclic groups

This paper gives a proof of a conjecture of W.-C. Hsiang for the negativeK-theory of integral grouprings , when the group is a subgroup of a uniform lattice in a Lie group. The authors' earlier paper reduced this result to the very special cases where either is finite or is virtually infinite cyclic. The finite case was done much earlier by Carter extending results of Bass and Murthy. The major work of the present paper consists of proving the conjecture when is virtually infinite cyclic.Both authors were supported in part by the National Science Foundation.     

On Some Isomorphism on the Category of b-Spaces

Given a nuclear b-space N, we show that if is a finite or -finite measure space and 1p, then the functors L _loc ^p (,N.) and NL ^p (,.) are isomorphic on the category of b-spaces of L. Waelbroeck.     

Fine Analysis of the Quasi-Orderings on the Power Set

We pursue the fine analysis of the quasi-orderings and on the power set of a quasi-ordering (Q,). We set X Y if every xX is majorized in by some yY, and X Y if every yY is minorized in by some xX. We show that both these quasi-orderings are -wqo if and only if the original quasi-ordering is ( )-wqo. For this holds also restricted to finite subsets, thus providing an example of a finitary operation on quasi-orderings which does not preserve wqo but preserves bqo.     

Computational complexity of the integration problem for anisotropic classes

We determine the exact order of -complexity of the numerical integration problem for the anisotropic class W^r(I^d) and H^r(I^d) with respect to the worst case randomized methods and the average case deterministic methods. We prove this result by developing a decomposition technique of Borel measure on unit cube of d-dimensional Euclidean space. Moreover by the imbedding relationship between function classes we extend our results to the classes of functions W_p(I^d) and H_p(I^d). By the way we highlight some typical results and stress the importance of some open problems related to the complexity of numerical integration. Project supported by the fund of Personnel Division of Nankai University and the Program of One Hundred Distinguished Chinese Scientists of the Chinese Academy of Sciences.     

A Full Characterization of Multipliers for the Strong ϱ-Integral in the Euclidean Space

We study a generalization of the classical Henstock-Kurzweil integral, known as the strong -integral, introduced by Jarník and Kurzweil. Let be the space of all strongly -integrable functions on a multidimensional compact interval E, equipped with the Alexiewicz norm We show that each element in the dual space of can be represented as a strong -integral. Consequently, we prove that fg is strongly -integrable on E for each strongly -integrable function f if and only if g is almost everywhere equal to a function of bounded variation (in the sense of Hardy-Krause) on E.     

Quasi-P*-Maps,P(τ, α, β)-Maps,Exceptional Family of Elements,and Complementarity Problems

Quasi-P_*-maps and P(, , )-maps defined in this paper are two large classes of nonlinear mappings which are broad enough to include P_*-maps as special cases. It is of interest that the class of quasi-P_*-maps also encompasses quasimonotone maps (in particular, pseudomonotone maps) as special cases. Under a strict feasibility condition, it is shown that the nonlinear complementarity problem has a solution if the function is a nonlinear quasi-P_*-map or P(, , )-map. This result generalizes a classical Karamardian existence theorem and a recent result concerning quasimonotone maps established by Hadjisawas and Schaible, but restricted to complementarity problems. A new existence result under an exceptional regularity condition is also established. Our method is based on the concept of exceptional family of elements for a continuous function, which is a powerful tool for investigating the solvability of complementarity problems.     

Almost π-Lattices

In this paper we establish some conditions for an almost -domain to be a -domain. Next -lattices satisfying the union condition on primes are characterized. Using these results, some new characterizations are given for -rings.     

The Newton modified barrier method for QP problems

The Modified Barrier Functions (MBF) have elements of both Classical Lagrangians (CL) and Classical Barrier Functions (CBF). The MBF methods find an unconstrained minimizer of some smooth barrier function in primal space and then update the Lagrange multipliers, while the barrier parameter either remains fixed or can be updated at each step. The numerical realization of the MBF method leads to the Newton MBF method, where the primal minimizer is found by using Newton's method. This minimizer is then used to update the Lagrange multipliers. In this paper, we examine the Newton MBF method for the Quadratic Programming (QP) problem. It will be shown that under standard second-order optimality conditions, there is a ball around the primal solution and a cut cone in the dual space such that for a set of Lagrange multipliers in this cut cone, the method converges quadratically to the primal minimizer from any point in the aforementioned ball, and continues, to do so after each Lagrange multiplier update. The Lagrange multipliers remain within the cut cone and converge linearly to their optimal values. Any point in this ball will be called a hot start. Starting at such a hot start, at mostO(In In ^-1) Newton steps are sufficient to perform the primal minimization which is necessary for the Lagrange multiplier update. Here, >0 is the desired accuracy. Because of the linear convergence of the Lagrange multipliers, this means that onlyO(In ^-1)O(In In ^-1) Newton steps are required to reach an -approximation to the solution from any hot start. In order to reach the hot start, one has to perform Newton steps, wherem characterizes the size of the problem andC>0 is the condition number of the QP problem. This condition number will be characterized explicitly in terms of key parameters of the QP problem, which in turn depend on the input data and the size of the problem.Partially supported by NASA Grant NAG3-1397 and National Science Foundation Grant DMS-9403218.     

Stabilized multistep methods for index 2 Euler-Lagrange DAEs

We consider multistep discretizations, stabilized by -blocking, for Euler-Lagrange DAEs of index 2. Thus we may use nonstiff multistep methods with an appropriate stabilizing difference correction applied to the Lagrangian multiplier term. We show that orderp =k + 1 can be achieved for the differential variables with orderp =k for the Lagrangian multiplier fork-step difference corrected BDF methods as well as for low orderk-step Adams-Moulton methods. This approach is related to the recently proposed half-explicit Runge-Kutta methods.     

On the Integrability of Eigenfunctions of the Laplace-Beltrami Operator in the Unit Ball of C n

Let B denote the unit ball in C ⁿ , n1, and let , , and denote the volume measure, gradient, and Laplacian respectively, with respect to the Bergman metric on B. For R and 0<p<, we denote by L ^p the set of real, or complex-valued measurable functions f on B for which _B (1–|z|²)|f(z)| ^p d(z)<, and by D ^p the Dirichlet space of C ¹ functions f on B for which | f|L ^p . Also, for C, we denote by X the set of C ² real, or complex-valued functions f on B for which f=f. The main result of the paper is as follows: Let 0<p< and suppose R with –n ². Then L ^p X ={0}, and for 0, D ^p X ={0}(a) for all n+ when p1, and(b) for all when 0<p<1.By example it is shown that the result is best possible for all values of p with pn/(n+ .     

Function Spaces of Posets with Projections

This paper investigates function spaces of structures consisting of a partially ordered set together with some directed family of projections.More precisely, given a fixed directed index set (I,), we consider triples (D,,(p _i ) _iI ) with (D,) a poset and (p _i ) _iI a monotone net of projections of D. We call them (I,)-pop's (posets with projections). Our main purpose is to study structure preserving maps between (I,)-pop's. Such homomorphisms respect both order and projections.Any (I,)-pop is known to induce a uniformity and thus a topology. The set of all homomorphisms between two (I,)-pop's turns out to form an (I,)-pop itself. We show that its uniformity is the uniformity of uniform convergence. This enables us to prove that properties such as completeness and compactness transfer to function pop's.Concerning categorical properties of (I,)-pop's, we will see that we are in a lucky situation from a computer scientist's point of view: we obtain Cartesian closed categories. Moreover, by a D -construction we get (I,)-pop's that are isomorphic to their own exponent. This yields new models for the untyped -calculus.     

A Note on μ(Z)-homeomorphisms

This paper is a continuation work of the authors on (z)-homeomorphisms. We establish similar relationships between quasisymmetric function and dilatation function as in quasiconformal mappings under (z)-homeomorphisms. Furthermore, a weighted quasiisometric inequality is presented.AMS Subject Classification (1991) 30C62 30C65     

Hulls for Various Kinds of α-Completeness in Archimedean Lattice-Ordered Groups

Within Archimedean -groups, and with an infinite cardinal or , we consider X-hulls where X stands for any of the following classes of -groups: -projectable; laterally -complete; boundedly laterally -complete; conditionally -complete; combinations of the preceding, together with divisibility and/or relative uniform completeness. All these hulls exist, and may be obtained by iterated adjunction of the required extra elements, within the essential hull. When the -groups is relatively -complemented one step in the iteration suffices for several crucial properties. We derive from the above a considerable number of equations involving combinations of these hull operators.     

Relative K homology and C* algebras

Let A be a separable nuclear C ⁺ algebra with unit. Let be a closed two-sided ideal in A. A relative K homology group K ⁰(A,) is defined. Closely related are topological definitions of properly supported K homology and of compactly supported relative K homology. Applications are to indices of Toeplitz operators and existence of coercive boundary conditions for elliptic differential operators.     

Uniform Continuity of a Family of Weakly Regular Set Functions on Topological Spaces

Conditions for the uniform continuity of a family of weakly regular set functions defined on an algebra of subsets of a -topological space (T,) and taking values in an arbitrary topological space are found.     

Induced product representations of extended Cuntz algebras

Let _H be the extended Cuntz algebra over the Hilbert space H. Since its zero grade part _H⁰ is the C^*-inductive limit of B(H^r), we look for some family of representations on an inductive limit of H^r as r. When such construction is shaped according to the structure of _H⁰, von Neumanns notion of a reference sequence of unit vectors for Hilbert infinite tensor products emerges; after a further Rieffel induction step, a class IPR[H] of representations of _H arises. For any two such representations, we describe explicitly their associated intertwiners. Any two representations in IPR[H] are either disjoint or unitarily equivalent. Actions of the group by translation on sequences of unit vectors are involved, as well as the ideals of .