Some Connections between Topological and Modal Logic

We study modal logics based on neighbourhood semantics using methods and theorems having their origin in topological model theory. We thus obtain general results concerning completeness of modal logics based on neighbourhood semantics as well as the relationship between neighbourhood and Kripke semantics. We also give a new proof for a known interpolation result of modal logic using an interpolation theorem of topological model theory.     

Some Problems in Operator Theory on Bounded Symmetric Domains

We discuss some problems concerning the operators K _m (Z,Z ^*), where K _m is the reproducing kernel of the Peter–Weyl space with signature m and Z stands for the commuting tuple of operators of multiplication by the coordinate variables on a bounded symmetric domain. These problems have applications for construction of operator models, as well as for a possible generalization of the recent dilation theory for row contractions due to Arveson.     

Optimization of near-field optical field of multi-layer dielectric gratings for pulse compressor

Multi-layer dielectric (MLD) gratings for pulse compressors in high-energy laser systems should provide high diffraction efficiency as well as high laser induced damage thresholds (LIDT). Nonuniform optical near-field distribution is one of the important factors to limit their damage resistant capabilities. Electric field distributions in the gratings and multi-layer film region are analyzed by using Fourier modal method. Optimization of peak electric field in the gratings ridge is performed with a merit function, including both diffraction efficiency and electric field enhancement when the top layer material is HfO₂ and SiO₂, respectively. A set of optimized gratings parameters is obtained for each structure, which reduce the peak electric field within the gratings ridge to being respective 1.39 and 1.84 times the value of incident light respectively. Finally, we also discuss the effects of gratings refractive index, gratings sidewall angle and incident angle on peak electric field in the gratings ridge.     

数学物理中的总体和局部场GL方法

为了求解物理化学生物材料和金融中的微分方程,提出了一种总体(Global)和局部(Local)场方法.微分方程的求解区域可以是有限域,无限域,或具曲面边界的部分无限域.其无限域包括有限有界不均匀介质区域.其不均匀介质区域被分划为若干子区域之和.在这含非均匀介质的无限区域,将微分方程的解显式地表示为在若干非均匀介质子区域上和局部子曲面的积分的递归和.把正反算的非线性关系递归地显式化.在无限均匀区域,微分方程的解析解被称为初始总体场.微分方程解的总体场相继地被各个非均匀介质子区域的局部散射场所修正.这种修正过程是一个子域接着另个子域逐步相继地进行的.一旦所有非均匀介质子区域被散射扫描和有限步更新过程全部完成后,微分方程的解就获得了.称其为总体和局部场的方法,简称为GL方法.GL方法完全地不同于有限元及有限差方法,GL方法直接地逐子域地组装逆矩阵而获得解.GL方法无需求解大型矩阵方程,它克服了有限元大型矩阵解的困难.用有限元及有限差方法求解无限域上的微分方程时,人为边界及其上的吸收边界条件是必需的和困难的,人为边界上的吸收边界条件的不精确的反射会降低解的精确度和毁坏反算过程.GL方法又克服了有限元和有限差方法的人为边界的困难.GL方法既不需要任何人为边界又不需要任何吸收边界条件就可以子域接子域逐步精确地求解无限域上的微分方程.有限元和有限差方法都仅仅是数值的方法,GL方法将解析解和数值方法相容地结合起来.提出和证明了三角的格林函数积分方程公式.证明了当子域的直经趋于零时,波动方程的GL方法的数值解收敛于精确解.GL方法解波动方程的误差估计也获得了.求解椭圆型,抛物线型,双曲线型方程的GL模拟计算结果显示出我们的GL方法具有准确,快速,稳定的许多优点.GL方法可以是有网,无网和半网算法.GL方法可广泛应用在三维电磁场,三维弹塑性力学场,地震波场,声波场,流场,量子场等方面.上述三维电磁场等应用领域的GL方法的软件已经由作者研制和发展了。     

Proper Holomorphic Maps from Domains in C2 with Transverse Circle Action

The authors consider proper holomorphic mappings between smoothly bounded pseudoconvex regions in complex 2-space,where the domain is of finite type and admits a transverse circle action.The main result is that the closure of each irreducible component of the branch locus of such a map intersects the boundary of the domain in the union of finitely many orbits of the group action.     

Stability of transonic shocks for the full Euler system in supersonic flow past a wedge

We study the stability of transonic shocks in steady supersonic flow past a wedge. It is known that in generic case such a problem admits two possible locations of the shock front, connecting the flow ahead of it and behind it. They can be distinguished as supersonic–supersonic shock and supersonic–subsonic shock (or transonic shock). Both these possible shocks satisfy the Rankine–Hugoniot conditions and the entropy condition. We prove that the transonic shock is conditionally stable under perturbation of the upstream flow or perturbation of wedge boundary. Copyright © 2005 John Wiley & Sons, Ltd.     

The Equivalence of the Complete Einstein-Kahler Metric and the Bergman Metric on YIII

In this paper we give the proof about the equivalence of the complete Einstein- Kahler metric and the Bergman metric on Cartan-Hartogs domain of the third type. And we obtain the method of getting the equivalence of two metrics.     

CLASSIFICATION OF A CLASS OF HYPERBOLIC REINHARDT DOMAINS

In this article, the author discusses the dimension of holomorphic automorphism groups on hyperbolic Reirihardt domains. and classifies those hyperbolic Reinhardt domains whose automorphism group has prescribed dimension n2 - 2 (where n is the dimension of domain).     

SOME ESTIMATES WITH NONCONFORMING ELEMENTS IN DOMAIN DECOMPOSITION ANALYSIS

1.IntroductionFOrsimplicityoftheexposition,weconsidertheellipticboundaryvalueproblemonaboundedopenpolygonaldomainfiCEZwhereItiswell--knownthat(1.1)hasauniquesolutionueH'(fl)(of.[7,15,16]).Supposethatfib~{e}isaquajsi--uniformmeshoffi,i.e.,fibsatisfieswhere…