L0-线性函数的Hahn-Banach扩张定理的几何形式与随机赋范模中的Goldstine-Weston定理

本文给出了关于L⁰- 线性函数的Hahn-Banach 扩张定理的几何形式并证明这个几何形式等价于它的代数形式. 进一步, 我们利用这个几何形式给出了随机局部凸模中熟知的基本分离定理的一个新的且简单的证明. 最后, 利用这个分离定理, 我们同时在两种拓扑 —(ε, λ)- 拓扑和局部L⁰- 凸拓扑下证明了随机赋范模中的Goldstine-Weston 稠密性定理, 并举出一个反例说明在局部L⁰- 凸拓扑下如果随机赋范模不具有可数连接性质, 则Goldstine-Weston 稠密性定理不一定成立.     

Whitney定理的一个推广形式

Whitney's theorem is a famous theorem in the local singularity theory. In this paper, as an application of Malgrange preparation theorem, a generalized form of Whitney's theorem will be derived.     

A Generalized Form of Whitney's Theorem

Whitney's theorem is a famous theorem in the local singularity theory.In this paper,as an application of Malgrange preparation theorem,a generalized form of Whitney's theorem will be derived.     

A Generalized Form of Whitney＇s Theorem

Whitney's theorem is a famous theorem in the local singularity theory.In this paper,as an application of Malgrange preparation theorem,a generalized form of Whitney's theorem will be derived.     

一个广义的Cauchy型的Taylor公式

给出了一个高阶导数形式的、广义的C auchy型的T ay lor公式,它将数学分析中一阶微分形式的C auchy中值定理推广到高阶导数形式,同时它也是T ay lor中值定理的推广.     

Quantum Birkhoff normal forms

We consider quantum analogues of several theorems on Birkhoff normal forms and prove a quantum analogue of the theorem on reducing a Hamiltonian to the normal form and the analogue of the theorem on reducing a Hamiltonian to the real normal form. We obtain the normal form explicitly in the nonresonant case. We consider the uniqueness problems of the normal form and of the normalizing transformation in the nonresonant and resonant cases.     

TOPOLOGICAL FRAMEWORK FOR FINITE INJURY

We formulate an abstract version of the finite injury method in the form of the Baire category theorem. The theorem has the following corollaries: The Friedberg-Muchnik pair of recursively enumerable degrees, the Sacks splitting theorem, the existence of a minimal degree below 0′ and the Shoenfield jump theorem.     

从矢量分析看线面与体面积分的转换

比较斯托克斯定理与格林公式及高斯定理与体面积分转换公式,发现斯托克斯定理与高斯定理分别比格林公式与体面积分的转换公式在表达形式上更简洁,在公式所包含的内容上更全面.建议通过比较斯托克斯定理与格林公式及高斯定理与体面积分转换公式讲解线面、体面积分的互换.     

自共轭矩阵二项式的广义F-范数估计定理

将 Wielandt-Hoffman定理的一种对称形式推广到四元数体上 ,得到了自共轭矩阵二项式的广义F—范数估计定理和一个幂迹定理 .     

On the multiplier rules

We establish new results of first-order necessary conditions of optimality for finite-dimensional problems with inequality constraints and for problems with equality and inequality constraints, in the form of John’s theorem and in the form of Karush–Kuhn–Tucker’s theorem. In comparison with existing results, we weaken assumptions of continuity and of differentiability.     

Wedge removability of metrically thin sets and application to the CR-meromorphic extension

We give a wedge removability theorem for metrically thin sets of two codimensional Hausdorff null measure. Following [22], this removability theorem combined with the wedge removability theorem of [21] for closed subsets of two codimensional manifolds, gives a CR-meromorphic extension theorem in the greater codimensional case. Received: 28 August 1999; in final form: 10 April 2000 / Published online: 17 May 2001     

An elementary geometric nonstandard proof of the Jordan curve theorem

We give an elementary proof, using nonstandard analysis, of the Jordan curve theorem. We also give a nonstandard generalization of the theorem. The proof is purely geometrical in character, without any use of topological concepts and is based on a discrete finite form of the Jordan theorem, whose proof is purely combinatorial.Some familiarity with nonstandard analysis is assumed. The rest of the paper is self-contained except for the proof a discrete standard form of the Jordan theorem. The proof is based on hyperfinite approximations to regions on the plane.Research of the first author partially supported by FONDECYT Grant # 91-1208 and of the second author, by FONDECYT Grant # 90-0647.     

Comparison theorem for a class of Riccati differential equations and its application

We prove a comparison theorem for the solutions of Riccati matrix equations in which the diagonal entries of the matrix multiplying the linear term are perturbed by a bounded function. This theorem is used to study optimal trajectories in a pollution control problem stated in the form of a linear regulator over an infinite time horizon with a discount function of the general form.     

Spin^{\rm c} -manifolds with Pin(2)-action

We study -manifolds with Pin(2)-action. The main tool is a vanishing theorem for certain indices of twisted -Dirac operators. This theorem is used to show that the Witten genus vanishes on such manifolds provided the first Chern class and the first Pontrjagin class are torsion. We apply the vanishing theorem to cohomology complex projective spaces and give partial evidence for a conjecture of Petrie. For example we prove that the total Pontrjagin class of a cohomology with -action has standard form if the first Pontrjagin class has standard form. We also determine the intersection form of certain 4-manifolds with Pin(2)-action. Received: 26 June 1998     

The new forms of Voronovskaya’s theorem in weighted spaces

The Voronovskaya theorem which is one of the most important pointwise convergence results in the theory of approximation by linear positive operators (l.p.o) is considered in quantitative form. Most of the results presented in this paper mainly depend on the Taylor’s formula for the functions belonging to weighted spaces. We first obtain an estimate for the remainder of Taylor’s formula and by this estimate we give the Voronovskaya theorem in quantitative form for a class of sequences of l.p.o. The Grüss type approximation theorem and the Grüss-Voronovskaya-type theorem in quantitative form are obtained as well. We also give the Voronovskaya type results for the difference of l.p.o acting on weighted spaces. All results are also given for well-known operators, Szasz-Mirakyan and Baskakov operators as illustrative examples. Our results being Voronovskaya-type either describe the rate of pointwise convergence or present the error of approximation simultaneously.     

A proof of the normal form theorem for the closed terms of Girard's system F by means of computability

In this paper a proof of the normal form theorem for the closed terms of Girard's system F is given by using a computability method à la Tait. It is worth noting that most of the standard consequences of the normal form theorem can be obtained using this version of the theorem as well. From the proof-theoretical point of view the interest of the proof is that the definition of computable derivation here used does not seem to be well founded. MSC: 03F05, 03B15.     

Regularized parametric Kuhn-Tucker theorem in a Hilbert space

For a parametric convex programming problem in a Hilbert space with a strongly convex objective functional, a regularized Kuhn-Tucker theorem in nondifferential form is proved by the dual regularization method. The theorem states (in terms of minimizing sequences) that the solution to the convex programming problem can be approximated by minimizers of its regular Lagrangian (which means that the Lagrange multiplier for the objective functional is unity) with no assumptions made about the regularity of the optimization problem. Points approximating the solution are constructively specified. They are stable with respect to the errors in the initial data, which makes it possible to effectively use the regularized Kuhn-Tucker theorem for solving a broad class of inverse, optimization, and optimal control problems. The relation between this assertion and the differential properties of the value function (S-function) is established. The classical Kuhn-Tucker theorem in nondifferential form is contained in the above theorem as a particular case. A version of the regularized Kuhn-Tucker theorem for convex objective functionals is also considered.     

求解互补问题的Newton方法的半局部收敛性

A semilocal convergence theorem is given for Newton method solving complementarity problems, which is identical in form to the standard Kantorovich theorem. All the convergence condition can be verified computationally.     

多维随机向量序列加权和的中心极限定理

本文研究了多维随机向量序列加权和的渐近行为.利用Lindeberg中心极限定理的基本思想,得到了多维随机向量序列加权和的中心极限定理及其收敛速度,为Lindeberg中心极限定理的推广.     

Subspace theorems for homogeneous polynomial forms

We prove a subspace theorem for homogeneous polynomial forms which generalizes Schmidt’s subspace theorem for linear forms. Further, we formalize the subspace theorem into a form which is just the counterpart of a second main theorem in Nevanlinna’s theorem, and also suggest a problem. The work of the first author was partially supported by NSFC of China: Project. No. 10371064. The second author was partially supported by a UGC Grant of Hong Kong: Project No. 604103.