The uniform closure of non-dense rational spaces on the unit interval

Let P_n denote the set of all algebraic polynomials of degree at most n with real coefficients. Associated with a set of poles a₁,a₂,…,a_n R[-1,1] we define the rational function spaces Associated with a set of poles a₁,a₂,… R[-1,1], we define the rational function spacesIt is an interesting problem to characterize sets a₁,a₂,… R[-1,1] for which P(a₁,a₂,…) is not dense in C[-1,1], where C[-1,1] denotes the space of all continuous functions equipped with the uniform norm on [-1,1]. Akhieser showed that the density of P(a₁,a₂,…) is characterized by the divergence of the series .In this paper, we show that the so-called Clarkson–Erdős–Schwartz phenomenon occurs in the non-dense case. Namely, if P(a₁,a₂,…) is not dense in C[-1,1], then it is “very much not so”. More precisely, we prove the following result.Theorem Let a₁,a₂,… R[-1,1]. Suppose P(a₁,a₂,…) is not dense in C[-1,1], that is,Then every function in the uniform closure of P(a₁,a₂,…) in C[-1,1] can be extended analytically throughout the set C -1,1,a₁,a₂,… .     

Robust H ∞ Filtering for a Class of Nonlinear Discrete-Time Markovian Jump Systems

This paper considers the problem of the robust H filtering for a class of nonlinear discrete-time Markovian jump systems with real time-varying norm-bounded parameter uncertainty. For each mode, the nonlinearity is assumed to satisfy the global Lipschitz conditions and appears in both the state and measured output equations. The problem that we address is the design of a nonlinear filter which ensures robust stochastic stability and a prescribed H performance level of the filtering error system for all admissible uncertainties. A sufficient condition for the solvability of this problem is obtained in terms of a set of linear matrix inequalities; an explicit expression of a desired nonlinear H filter is also given. Finally, an example is provided to demonstrate the effectiveness of the proposed approach.     

Infinite Dimensional Isoperimetric Inequalities in Product Spaces with the Supremum Distance

We study the isoperimetric problem for product probability measures with respect to the uniform enlargement. We construct several examples of measures for which the isoperimetric function of coincides with the one of the infinite product . This completes earlier works by Bobkov and Houdré.     

Talagrand＇s T2-transportation Inequality w.r.t, a Uniform Metric for Diffusions

Using the method of Girsanov transformation, we establish the Talagrand‘s T2-inequality for diffusion on the path space C([0, N], R^d) with respect to a uniform metric, with the constant independent of N. This improves the known results for the L2-metric.     

Korn's inequalities for piecewise vector fields

Korn's inequalities for piecewise vector fields are established. They can be applied to classical nonconforming finite element methods, mortar methods and discontinuous Galerkin methods.

     

The length of harmonic forms on a compact Riemannian manifold

We study -dimensional Riemannian manifolds with harmonic forms of constant length and first Betti number equal to showing that they are -step nilmanifolds with some special metrics. We also characterize, in terms of properties on the product of harmonic forms, the left-invariant metrics among them. This allows us to clarify the case of equality in the stable isosytolic inequalities in that setting. We also discuss other values of the Betti number.

     

An Open Question on Cyclic Relaxation

The problem discussed in this note is highly interesting. It is related to several dual iterative methods, such as the methods proposed by Kaczmarz, Hildreth, Agmon, Cryer, Mangasarian, Herman, Lent, Censor, and others. Cast as row-action methods these algorithms have been proved as useful tools for solving large convex feasibility problems that arise in medical image reconstruction from projections, in inverse problems in radiation therapy, and in linear programming.The question that we want to answer is how these algorithms behave when the feasible region is empty. It is shown that under certain conditions the primal sequence still converges while the dual sequence {y _k } obeys the rule y _k =u _k +k v, where {u _k } is a converging sequence and v is a fixed vector that satisfies A ^T v=0,v0,and,b ^T v>0. It is conjectured that these properties hold whenever the feasible region is empty. However, the validity of this claim remains an open question.This revised version was published online in October 2005 with corrections to the Cover Date.