Fock空间上的对偶Toeplitz代数

通过符号映射研究Fock空间之正交补空间上对偶Toeplitz代数的结构,得到了Fock空间上对偶Toeplitz代数的一个短正合序列.并研究了对偶Toeplitz算子谱的性质.     

带有热源项的非线性扩散方程的精确解

讨论了带有热源项的非线性扩散方程.通过一种直接简洁的方法得到了几种精确解.该方法可用于更高阶演化方程的求解问题.     

n次单位根在代数问题中的应用

主要论述n次单位根在一些组合数求和、多项式的整除、因式分解中的应用,说明了n次单位根法可拓宽解题思路,是一种方便、快捷的数学解题方法.     

Strong （Weak） Exact Controllability and Strong （Weak） Exact Observability for Quasilinear Hyperbolic Systems

Numerical approximations of Cahn-Hilliard phase-field model for the two-phase incompressible flows are considered in this paper.Several efficient and energy stable time discretization schemes for the coupled nonlinear Cahn-Hilliard phase-field system for both the matched density case and the variable density case are constructed,and are shown to satisfy discrete energy laws which are analogous to the continuous energy laws.     

带有非局部条件二阶微分包含的可控性

研究了一类带有非局部条件二阶微分包含的可控性,在多值函数F(t,x)取凸情形下讨论了上述问题,建立了可控性的充分条件.本文将所讨论的问题转化为集值积分算子的不动点问题,利用Kakutani不动点定理得到可控性.     

Symbolic computing the exact distributions of L-statistics from a uniform distribution

The exact probability density function of linear combinations of k=k(n) order statistics selected from the whole order statistics (L-statistic) based on a random sample of size n from the uniform distribution on [0, 1] was derived by Matsunawa (1985, Ann. Inst. Statist. Math., 37, 1–16). As the main expression for the density function given by Matsunawa is not complete for the general situation, we first provide the corrections for this formula. Second, we propose a simple scheme involving symbolic computing for evaluating the corrected version of the density function. The cumulative distribution function and the r-th mean of his L-statistic are also derived.     

Sequential nonlinear estimation with nonaugmented priors

How can the basic compatibility of theory and observations be investigated for nonlinear processes without requiring stochastic characterizations for residual error terms? The present paper proposes a flexible least-cost approach. For each possible estimatex for the sequence of process states, letc _D (x) andx _M(x) denote the costs incurred for deviations away from the prior dynamic specifications and prior measurement specifications, respectively. Define the cost-efficiency frontier to be the greatest lower bound for the set of all possible cost pairs [c _D (x),c _M(x)], conditional on the given observations. State sequence estimatesx that attain the cost-efficiency frontier indicate the possible ways that the actual process could have developed over time in a manner minimally incompatible with the prior dynamic and measurement specifications. An algorithm is developed for the exact sequential updating of the cost-efficient state sequence estimates as the duration of the process increases and additional observations are obtained.     

Approximate controllability for trajectories of semilinear control systems

We treat an abstract semilinear control system and study the controllability problem for its trajectories. Assuming a range condition of the control action operator and an inequality condition on the system parameters, we can show that the reachable trajectory set of the semilinear system is equivalent to that of its corresponding linear system.The author wishes to express his deep appreciation to Prof. T. I. Seidman for his many helpful suggestions and to Prof. W. Takahashi for many stimulating conversations.     

Fibrations of topological stacks

In this note we define fibrations of topological stacks and establish their main properties. When restricted to topological spaces, our notion of fibration coincides with the classical one. We prove various standard results about fibrations (long exact sequence for homotopy groups, Leray–Serre and Eilenberg–Moore spectral sequences, etc.). We prove various criteria for a morphism of topological stacks to be a fibration, and use these to produce examples of fibrations. We prove that every morphism of topological stacks factors through a fibration and construct the homotopy fiber of a morphism of topological stacks. As an immediate consequence of the machinery we develop, we also prove van Kampen?s theorem for fundamental groups of topological stacks.     

一类非线性chemotaxis系统的局部零能控性

本文研究了一类非线性chemotaxis系统的能控性问题.利用这类线性化结合不动点的方法,获得了非线性系统的局部零能控性结果,推广了非线性抛物-椭圆型方程能控性的结果.