Using the fundamental equation of constrained motion with inequality constraints

In this paper we investigate a computational approach to keeping a moving particle within a predefined annulus or a predefined bounded space, formed by two concentric spheres with radii L_min and L_max, respectively, assuming that said particle cannot maintain a perfectly circular trajectory. The study develops an algorithm for dealing with a system in which constraints are expressed as inequalities. The proposed approach expresses the trajectory in terms of winding/unwinding logarithmic spirals with transitions, expressed as damped vibrations, between them. These transitions are necessary to resolve incompatibility between initial conditions for winding/unwinding spirals. Equations of motion for the particle are obtained by using the Fundamental Equation of Constrained Motion. The obtained simulation results show that such an approach produces the desired pseudo-periodic type of motion, and the particle stays within the predefined region of space for a long duration, although no cycle of its trajectory is repeated.     

Banach spaces with the Daugavet property, and the centralizer

We introduce representable Banach spaces, and prove that the class R of such spaces satisfies the following properties:

(1)

Every member of R has the Daugavet property.

(2)

It Y is a member of R, then, for every Banach space X, both the space L(X,Y) (of all bounded linear operators from X to Y) and the complete injective tensor product lie in R.

(3)

If K is a perfect compact Hausdorff topological space, then, for every Banach space Y, and for most vector space topologies τ on Y, the space C(K,(Y,τ)) (of all Y-valued τ-continuous functions on K) is a member of R.

(4)

If K is a perfect compact Hausdorff topological space, then, for every Banach space Y, most C(K,Y)-superspaces (in the sense of [V. Kadets, N. Kalton, D. Werner, Remarks on rich subspaces of Banach spaces, Studia Math. 159 (2003) 195-206]) are members of R.

(5)

All dual Banach spaces without minimal M-summands are members of R.

     

On the difference property of the family of functions with the Baire property

We show that it is consistent with ZFC that the family of functions with the Baire property has the difference property. That is, every function for which f(x + h)-f(x) has the Baire property for every h∈R is of the form f=g + Awhere g has the Baire property and A is additive. This revised version was published online in June 2006 with corrections to the Cover Date.     

Distortion and stability of the fixed point property for non-expansive mappings

Let X be a Banach space. We say that X satisfies the fixed point property (weak fixed point property) if every non-expansive mapping defined from a convex closed bounded (convex weakly compact) subset of X into itself has a fixed point. We say that X satisfies the stable fixed point property (stable weak fixed point property) if the same is true for every equivalent norm which is close enough to the original one. Denote by P(X) the set formed by all equivalent norms with the topology of the uniform convergence on the unit ball of X. We prove that the subset of P(X) formed by the norms failing the fixed point property is dense in P(X) when X is a non-distortable space which fails the fixed point property. In particular, no renorming of ?₁ can satisfy the stable fixed point property. Furthermore, we show some examples of distortable spaces failing the weak fixed point property, which can be renormed to satisfy the stable weak fixed point property. As a consequence we prove that every separable Banach space can be renormed to satisfy the stable weak fixed point property.     

Riesz basis property, exponential stability of variable coefficient Euler-Bernoulli beams with indefinite damping

We study damped Euler–Bernoulli beams that have nonuniformthickness or density. These nonuniformfeatures result in variablecoefficient beam equations. We prove that despite the nonuniformfeatures, the eigenfunctions of the beam form a Riesz basisand asymptotic behaviour of the beam system can be deduced withoutany restrictions on the sign of the damping. We also providean answer to the frequently asked question on damping: ‘howmuch more positive than negative should the damping be withoutdisrupting the exponential stability?’, and result ina criterion condition which ensures that the system is exponentiallystable.     

Local smoothing property and Strichartz inequality for Schrödinger equations with potentials superquadratic at infinity

We study smoothing properties for time-dependent Schrödinger equations , , with potentials which satisfy V(x)=O(|x|^m) at infinity, m?2. We show that the solution u(t,x) is 1/m times differentiable with respect to x at almost all , and explain that this is the result of the fact that the sojourn time of classical particles with energy λ in arbitrary compact set is less than CTλ^−1/m during [0,T] when λ is very large. We also show Strichartz's inequality with derivative loss for such potentials and give its application to nonlinear Schrödinger equations.     

A Banach space with the Schur and the Daugavet property

We show that a minor refinement of the Bourgain-Rosenthal construction of a Banach space without the Radon-Nikodým property which contains no bounded -trees yields a space with the Daugavet property and the Schur property. Using this example we answer some open questions on the structure of such spaces; in particular, we show that the Daugavet property is not inherited by ultraproducts.

     

Application of the method of collective marks to someM/G/1 vacation models with exhaustive service

We use the Method of Collective Marks to analyze some time-dependent processes in theM/G/1 queue with single and multiple vacations. With the server state specified at a fixed timet>0, the Laplace transforms with respect tot of mixed transforms for the joint distribution of the number of departures by timet, the queue length, the virtual waiting time, the elapsed and remaining service/vacation times at timet are derived by means of probabilistic interpretations. The Laplace-Stieltjes transform of the virtual waiting time at timet is also given. Some well known results are special cases.This research was supported by the University of Amsterdam.     

ON THE STABILITY OF DIFFERENTIAL SYSTEMS WITH TIME LAG

In this paer the inequality of Lemma 1 of [1] is extended.By means of our inequality and the method of Lyapunov function we study the stability of two kinds of large seate differential systems with time lag and the stability of a higher -order differential equation with time lag.The sufficient conditions for the stability(S.),the asymptotic stability(A.S.),the uniformly asymptotic stability(U.A.S) and the exponential asymptotic stability(E.A.S.) of the zero solutions of the systerms are obtained respectively.     

Polynomials with the half-plane property and matroid theory

A polynomial f is said to have the half-plane property if there is an open half-plane H⊂C, whose boundary contains the origin, such that f is non-zero whenever all the variables are in H. This paper answers several open questions relating multivariate polynomials with the half-plane property to matroid theory.

(1)

We prove that the support of a multivariate polynomial with the half-plane property is a jump system. This answers an open question posed by Choe, Oxley, Sokal and Wagner and generalizes their recent result claiming that the same is true whenever the polynomial is also homogeneous.

(2)

We prove that a multivariate multi-affine polynomial f∈R[z₁,…,zn] has the half-plane property (with respect to the upper half-plane) if and only if

     

Karp complexity and classes with the independence property

A class K of structures is controlled if for all cardinals λ, the relation of L_∞,λ-equivalence partitions K into a set of equivalence classes (as opposed to a proper class). We prove that no pseudo-elementary class with the independence property is controlled. By contrast, there is a pseudo-elementary class with the strict order property that is controlled (see Arch. Math. Logic 40 (2001) 69–88).     

广义度量S-KKM映射的性质及其对变分不等式的应用

引入了超S-γ-广义拟凸（凹）函数,建立了广义度量S-KKM映射与超S-γ-广义拟凸（凹）函数的关系.作为应用,获得了超凸度量空间中的新的KyFan极大极小不等式和鞍点定理.     

Renorming of and the fixed point property

For any , let P_k denote the natural projections on ℓ₁. Let |||||| be an equivalent norm of ℓ₁ that satisfies all of the following four conditions:

(1) There are α>4 and a positive (decreasing) sequence (α_n) in (0,1) such that for any normalized block basis {f_n} of (ℓ₁,||||||) and xℓ₁ with P_k−1(x)=x and |||x|||<α_k,

(2) There are two strictly decreasing sequences {β_k} and {γ_k} with

such that for any normalized block basis {f_n} of (ℓ₁,||||||) and x with (I−P_k)(x)=x,

(3) For any , I−P_k=1.

(4) The unit ball of (ℓ₁,||||||) is σ(ℓ₁,c₀)-closed.

In this article, we prove that the space (ℓ₁,||||||) has the fixed point property for the nonexpansive mapping. This improves a previous result of the author.

Quadratically and superlinearly convergent algorithms for the solution of inequality constrained minimization problems

In this paper, some Newton and quasi-Newton algorithms for the solution of inequality constrained minimization problems are considered. All the algorithms described produce sequences {x _k } convergingq-superlinearly to the solution. Furthermore, under mild assumptions, aq-quadratic convergence rate inx is also attained. Other features of these algorithms are that only the solution of linear systems of equations is required at each iteration and that the strict complementarity assumption is never invoked. First, the superlinear or quadratic convergence rate of a Newton-like algorithm is proved. Then, a simpler version of this algorithm is studied, and it is shown that it is superlinearly convergent. Finally, quasi-Newton versions of the previous algorithms are considered and, provided the sequence defined by the algorithms converges, a characterization of superlinear convergence extending the result of Boggs, Tolle, and Wang is given.This research was supported by the National Research Program Metodi di Ottimizzazione per la Decisioni, MURST, Roma, Italy.     

一种时序多属性高技术产品性能的评价方法

本文针对时序多属性高技术产品的特点,提出用首用时间描述综合性能的思想,给出其性能评价方法及评价模型,运用实际样本资料给出算例。     

Simulating the effect of nepotism on political risk taking and social unrest

Nepotism has been the primary influence on political behavior throughout human history. Despite the spread of democracy in the 20th century, nepotistic regimes have hardly disappeared. Nepotism heavily influences political activity throughout the developing world, Middle East, and central Asia where family ties are essential for gaining access to power, state resources, and privileges. Rebelling against such nepotistic regimes is difficult and risky. RiskTaker is an agent-based model we developed for testing the influences of various social forces on risk taking behavior, including the formulation of rebellious coalitions. We use RiskTaker to examine the influence of nepotism on the distribution of wealth and social status. Nepotism heavily skews the distribution of wealth and status, leading to the formation of opposing coalitions and exacerbating social unrest.This paper was tied for Best Paper, NAACSOS (North American Association for Computational Social and Organizational Science) Annual Conference 2005, June 26–28, Notre Dame. Robert Sedlmeyer, Department of Computer Science, Indiana University – Purdue University, Fort Wayne provided programming for the RiskTaker model. Lawrence A. Kuznar is a professor of anthropology and director of the Decision Sciences and Theory Institute at Indiana University—Purdue University, Fort Wayne. He has conducted fieldwork among Aymara Indians in Andean Peru and the Navajo of the American southwest. His research interests include computer modeling, theories of risk taking and conflict, terrorism, social evolution, and scientific epistemology. He has authored articles in Ecological Economics (with W. Frederick), Current Anthropology, American Anthropologist, Mathematical Anthropology and Culture Theory and Journal of Anthropological Research, and published two books (Awatimarka Harcourt Brace, 1995 and Reclaiming a Scientific Anthropology Altamira Press, 1997) and two edited volumes. William Frederick has served as a faculty member in the departments of mathematical sciences and the department of computer sciences at Indiana University—Purdue University, Fort Wayne since 1979. His primary interests include mathematical modeling, game theory, and genetic algorithms.     

On the antipode of Hopf algebras with the dual Chevalley property

In this paper, we study the antipode of a finite-dimensional Hopf algebra H with the dual Chevalley property and obtain an annihilation polynomial for the antipode. This generalizes an old result given by Taft and Wilson in 1974. As consequences, we show that 1) the quasi-exponent of H is the same as the exponent of its coradical, that is, $\mathrm{qexp}(H)=\exp ?(H_0)$; 2) $\mathrm{qexp}(H?\mathbb{k}〈S^2〉)=\mathrm{qexp}(H)$.     

Separate continuity, joint continuity and the Lindelöf property

In this paper we prove a theorem more general than the following. Suppose that is Lindelöf and -favourable and is Lindelöf and Cech-complete. Then for each separately continuous function there exists a residual set in such that is jointly continuous at each point of .

     

A new characterization of matrices with the consecutive ones property

We consider the following constraint satisfaction problem: Given a set F of subsets of a finite set S of cardinality n, and an assignment of intervals of the discrete set {1,…,n} to each of the subsets, does there exist a bijection f:S→{1,…,n} such that for each element of F, its image under f is same as the interval assigned to it. An interval assignment to a given set of subsets is called feasible if there exists such a bijection. In this paper, we characterize feasible interval assignments to a given set of subsets. We then use this result to characterize matrices with the Consecutive Ones Property (COP), and to characterize matrices for which there is a permutation of the rows such that the columns are all sorted in ascending order. We also present a characterization of set systems which have a feasible interval assignment.