A New Homotopy Method for Nonlinear Complementarity Problems

In this paper, we present a new homotopy method for the nonlinear complementarity problems. Without the regularity or non-singulary assumptions for▽F(x), we prove that our homotopy equations have a bounded solution curve. The numerical tests confirm the efficiency of our proposed method.     

The ε c -Product of a Schwartz b-Space by a Quotient Banach Space and Applications

We define the -product of a -space by a quotient Banach space. We give conditions under which this -product will be monic. Finally, we define the _c -product of a Schwartz b-space by a quotient Banach space and we give some examples of applications.     

From

Let be a space of finite type. Set as usual, and define the mod support of by for 0.$"> Call sparse if there is no with

Then we show the relation for any finite type space with being sparse.

As a special case, we have and the main theorem of Ravenel, Wilson and Yagita is also generalized in terms of the mod support.

     

Strong duals of projective limits of (LB)-spaces

We investigate the problem when the strong dual of a projective limit of (LB)-spaces coincides with the inductive limit of the strong duals. It is well-known that the answer is affirmative for spectra of Banach spaces if the projective limit is a quasinormable Fréchet space. In that case, the spectrum satisfies a certain condition which is called strong P-type. We provide an example which shows that strong P-type in general does not imply that the strong dual of the projective limit is the inductive limit of the strong duals, but on the other hand we show that this is indeed true if one deals with projective spectra of retractive (LB)-spaces. Finally, we apply our results to a question of Grothendieck about biduals of (LF)-spaces.     

Homotopy Structures for Algebras over a Monad

Let T be a monad over a category A. Then a homotopy structure for A, defined by a cocylinder P : A A, or path-endofunctor, can be lifted to the category A ^T of Eilenberg–Moore algebras over T, provided that P is consistent with T in a natural sense, i.e. equipped with a natural transformation : T P P T satisfying some obvious axioms. In this way, homotopy can be lifted from well-known, basic situations to various categories of algebras for instance, from topological spaces to topological semigroups, or spaces over a fixed space (fibrewise homotopy), or actions of a fixed topological group (equivariant homotopy); from categories to strict monoidal categories; from chain complexes to associative chain algebras. The interest is given by the possibility of lifting the homotopy operations (as faces, degeneracy, connections, reversion, interchange, vertical composition, etc.) and their axioms from A to A ^T , just by verifying the consistency between these operations and : T P P T. When this holds, the structure we obtain on our category of algebras is sufficiently powerful to ensure the main general properties of homotopy.     

Homotopy of Non-Modular Partitions and the Whitehouse Module

We present a class of subposets of the partition lattice _n with the following property: The order complex is homotopy equivalent to the order complex of _n – 1, and the S _n -module structure of the homology coincides with a recently discovered lifting of the S _n – 1-action on the homology of _n – 1. This is the Whitehouse representation on Robinson's space of fully-grown trees, and has also appeared in work of Getzler and Kapranov, Mathieu, Hanlon and Stanley, and Babson et al.One example is the subposet P _n ⁿ – 1 of the lattice of set partitions _n , obtained by removing all elements with a unique nontrivial block. More generally, for 2 k n – 1, let Q _n ^k denote the subposet of the partition lattice _n obtained by removing all elements with a unique nontrivial block of size equal to k, and let P _n ^k = _{i = 2} ^k Q _n ⁱ . We show that P _n ^k is Cohen-Macaulay, and that P _n ^k and Q _n ^k are both homotopy equivalent to a wedge of spheres of dimension (n – 4), with Betti number . The posets Q _n ^k are neither shellable nor Cohen-Macaulay. We show that the S _n -module structure of the homology generalises the Whitehouse module in a simple way.We also present a short proof of the well-known result that rank-selection in a poset preserves the Cohen-Macaulay property.     

Higher-order streamfunction-vorticity formulation of 2D steady-state Navier-Stokes equations

Based on regular boundary element method and a kind of linearity invariance under homotopy, a kind of numerical scheme of 2D steady-state Navier-Stokes equation in streamfunction-vorticity formulation is described. The flow inside a square cavity is used to illustrate this numerical scheme.     

Lusternik-Schnirelmann 定理的推广

本文根据Brouwer映射度的理论和微分拓扑的基本方法推广了Lusternik_Schnirelmann定理     

On the homotopy type of (<Emphasis Type="Italic">n</Emphasis>-1)-connected (3<Emphasis Type="Italic">n</Emphasis>+1)-dimensional free chain Lie algebra

Let R be a subring ring of Q. We reserve the symbol p for the least prime which is not a unit in R; if R ?Q, then p=∞. Denote by DGL _n ^np , n≥1, the category of (n-1)-connected np-dimensional differential graded free Lie algebras over R. In [1] D. Anick has shown that there is a reasonable concept of homotopy in the category DGL _n ^np . In this work we intend to answer the following two questions: Given an object (L(V), ?) in DGL _n ³ⁿ⁺² and denote by S(L(V), ?) the class of objects homotopy equivalent to (L(V), ?). How we can characterize a free dgl to belong to S(L(V), ?)? Fix an object (L(V), ?) in DGL _n ³ⁿ⁺² . How many homotopy equivalence classes of objects (L(W), δ) in DGL _n ³ⁿ⁺² such that H _* (W, d′)?H _* (V, d) are there? Note that DGL _n ³ⁿ⁺² is a subcategory of DGL _n ^np when p>3. Our tool to address this problem is the exact sequence of Whitehead associated with a free dgl.