From finitary to infinitary second‐order logic

A back and forth condition on interpretations for those second‐order languages without functional variables whose non‐logical vocabulary is finite and excludes functional constants is presented. It is shown that this condition is necessary and sufficient for the interpretations to be equivalent in the language. When applied to second‐order languages with an infinite non‐logical vocabulary, excluding functional constants, the back and forth condition is sufficient but not necessary. It is shown that there is a class of infinitary second‐order languages whose non‐logical vocabulary is infinite for which the back and forth condition is both necessary and sufficient. It is also shown that some applications of the back and forth construction for second‐order languages can be extended to the infinitary second‐order languages. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Molecular field theory for nematic liquid crystal film with finite layers

The nematic liquid crystal film composed of n molecular layers is studied based upon a spatially anisotropic pair potential, which reproduces approximately the elastic free energy density. On condition that the system has perfect nematic order, as in the Lebwohl—Lasher model, the director in the film is isotropic. The effect of the temperature is investigated by means of molecular field theory. Some new results are obtained. Firstly, symmetry breaking takes place when taking account of the temperature, and the state with the director along the normal of the film has the lowest free energy. Secondly, the N—I phase transition temperature increases as an effect of finite sizes instead of decreasing as in the Lebwohl—Lasher model. Thirdly, the nematic order is induced in the layers near the surface in the isotropic phase.     

Liapunov-type inequality for delay-differential equations of third order

A Liapunov-type inequality for a class of third order delay-differential equations is derived.     

Order Determination for Multivariate Autoregressive Processes Using Resampling Methods

LetX₁, …, X_nbe observations from a multivariate AR(p) model with unknown orderp. A resampling procedure is proposed for estimating the orderp. The classical criteria, such as AIC and BIC, estimate the orderpas the minimizer of the function[formula]wherenis the sample size,kis the order of the fitted model, Σ²_kis an estimate of the white noise covariance matrix, andC_nis a sequence of specified constants (for AIC,C_n=2m²/n, for Hannan and Quinn's modification of BIC,C_n=2m²(ln ln n)/n, wheremis the dimension of the data vector). A resampling scheme is proposed to estimate an improved penalty factorC_n. Conditional on the data, this procedure produces a consistent estimate ofp. Simulation results support the effectiveness of this procedure when compared with some of the traditional order selection criteria. Comments are also made on the use of Yule–Walker as opposed to conditional least squares estimations for order selection.     

基于无失效数据的可靠度的估计

对二项分布无失效数据，在可靠度的先验密度为且时，给出了可靠度的多层Bayes估计．     

Magnetic susceptibility, heat capacity, and optical conductivity of LiPc and LiPcI

The magnetic susceptibility, using dc and electron spin resonance (ESR) methods, the specific heat, and the infrared properties of the one-dimensional molecular semiconductors lithium phthalocyanine (LiPc) and the iodinated compound LiPcI have been investigated for temperatures K. LiPc has a half-filled conduction band and is expected to be an organic metal. However, due to the strong Coulomb repulsion the system is a one-dimensional Mott-Hubbard insulator with a Hubbard gap of 0.75 eV as inferred from optical measurements. The localized electrons along the molecular stacks behave like a S = 1/2 antiferromagnetic spin chain. The spin susceptibility, as determined by ESR experiments, and the magnetic contribution to the heat capacity show a Bonner-Fisher type of behavior with an exchange constant K. LiPcI is an intrinsic narrow-gap semiconductor with an optical gap of 0.43 eV. In ESR experiments it is silent, indicating that all the unpaired electrons have been removed from the macrocycle via doping with iodine. Received: 16 June 1998 / Accepted: 14 July 1998     

OSCILLATION OF SECOND ORDER NONLINEAR IMPULSIVE DIFFERENCE EQUATION

Sufficient conditions to guarantee all solutions to be oscillatory of a second order nonlinear impulsive difference equation are obtained by using Riccati transformation.     

Analysis of algebraic systems arising from fourth‐order compact discretizations of convection‐diffusion equations

We study the properties of coefficient matrices arising from high‐order compact discretizations of convection‐diffusion problems. Asymptotic convergence factors of the convex hull of the spectrum and the field of values of the coefficient matrix for a one‐dimensional problem are derived, and the convergence factor of the convex hull of the spectrum is shown to be inadequate for predicting the convergence rate of GMRES. For a two‐dimensional constant‐coefficient problem, we derive the eigenvalues of the nine‐point matrix, and we show that the matrix is positive definite for all values of the cell‐Reynolds number. Using a recent technique for deriving analytic expressions for discrete solutions produced by the fourth‐order scheme, we show by analyzing the terms in the discrete solutions that they are oscillation‐free for all values of the cell Reynolds number. Our theoretical results support observations made through numerical experiments by other researchers on the non‐oscillatory nature of the discrete solution produced by fourth‐order compact approximations to the convection‐diffusion equation. © 2002 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 18: 155–178, 2002; DOI 10.1002/num.1041     

具有周期振荡系数二阶椭圆型方程的双尺度高精度算法

本文考虑了一类具有周期振荡系数二阶椭圆型方程边值问题,提出了基于双尺度渐近展开式的高精度有限元算法,并给出严格的证明。     

二阶中立型微分方程的区间振动准则

利用平均函数技巧 ,对二阶中立型微分方程 [a(t) (x(t) p(t)x(t-τ) )′]′ q(t)f[x(t) ,x(t-σ) ]g[x′(t) ]=0建立了一些区间振动准则 ,这些振动准则不同于已知依赖于整个区间 [t0 ,∞ )的性质的结果 ,而是仅依赖于 [t0 ,∞ )上的子区间列的性质