The Hamiltonian Canonical Form for Euler-Lagrange Equations

Based on the theory of calculus of variation, some suffcient conditions are given for some Euler-Lagrangcequations to be equivalently represented by finite or even infinite many Hamiltonian canonical equations. Meanwhile,some further applications for equations such as the KdV equation, MKdV equation, the general linear Euler Lagrangeequation and the cylindric shell equations are given.     

Positive set‐operators of low complexity

The powerset operator, ??, is compared with other operators of similar type and logical complexity. Namely we examine positive operators whose defining formula has a canonical form containing at most a string of universal quantifiers. We call them ?‐operators. The question we address in this paper is: How is the class of ?‐operators generated ? It is shown that every positive ?‐operator Γ such that Γ(??) ≠ ??, is finitely generated from ??, the identity operator Id, constant operators and certain trivial ones by composition, ∪ and ∩. This extends results of [3] concerning bounded positive operators.     

Operator‐splitting method for the analysis of cavitation in liquid‐lubricated herringbone grooved journal bearings

This paper presents an operator‐splitting method (OSM) for the solution of the universal Reynolds equation. Jakobsson–Floberg–Olsson (JFO) pressure conditions are used to study cavitation in liquid‐lubricated journal bearings. The shear flow component of the oil film is first solved by a modified upwind finite difference method. The solution of the pressure gradient flow component is computed by the Galerkin finite element method. Present OSM solutions for slider bearings are in good agreement with available analytical and experimental results. OSM is then applied to herringbone grooved journal bearings. The film pressure, cavitation areas, load capacity and attitude angle are obtained with JFO pressure conditions. The calculated load capacities are in agreement with available experimental data. However, a detailed comparison of the present results with those predicted using Reynolds pressure conditions shows some differences. The numerical results showed that the load capacity and the critical mass of the journal (linear stability indicator) are higher and the attitude angle is lower than those predicted by Reynolds pressure conditions for cases of high eccentricities. Copyright © 2004 John Wiley & Sons, Ltd.     

Literal‐paraconsistent and literal‐paracomplete matrices

We introduce a family of matrices that define logics in which paraconsistency and/or paracompleteness occurs only at the level of literals, that is, formulas that are propositional letters or their iterated negations. We give a sound and complete axiomatization for the logic defined by the class of all these matrices, we give conditions for the maximality of these logics and we study in detail several relevant examples. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Essential spectrum and -solutions of one-dimensional Schrödinger operators

In 1949, Hartman and Wintner showed that if the eigenvalue equations of a one-dimensional Schrödinger operator possess square integrable solutions, then the essential spectrum is nowhere dense. Furthermore, they conjectured that this statement could be improved and that under this condition the essential spectrum might always be void. This is shown to be false. It is proved that, on the contrary, every closed, nowhere dense set does occur as the essential spectrum of Schrödinger operators which satisfy the condition of existence of -solutions. The proof of this theorem is based on inverse spectral theory.

     

Brownian motion of nonlinear oscillators: The projection operator method and its application to a double-well-potential oscillator

A projection operator method is presented, which provides the most efficient way for calculating the stationary behavior of nonlinear Brownian motion. A continued-fraction expansion of the Fourier-Laplace transform of the displacement correlation function or the spectral density is used. This method utilizes a successive optimization procedure on the nonlinear terms and includes the method of statistical linearization as the lowest order approximation. A systematic way to calculate the continued fraction numerically up to sufficient order for convergence is developed, which enables us to obtain the spectral density of a system previously uncomputable.Numerical computations of the spectral density of a nonlinear oscillator with a double-well potential are presented and compared with the results obtained by statistical linearization.This work was supported in part by the National Science Foundation under Grant CHE 75-20624.     

Gabor Analysis on Finite Product of Cyclic Groups

We present a complete characterization of Gabor frame operators on finite dimensional Hilbert space $L^2(\Gamma)$, where $\Gamma = \mathbb{Z}_{m_1} \times \mathbb{Z}_{m_2} \times \dots \times \mathbb{Z}_{m_p}$ and $m_1,m_2,\dots,m_p$ are positive integers. The notion of generalized $B$-modulation and generalized $B$-translation is introduced and some significant properties of the generalized pseudo $B$-Gabor like frames are discussed.     

一类非线性边值问题正解的存在性

本文运用锥上的不动点理论,讨论了一类与一阶导函数有关的二阶奇性混合边值问题的正解存在性．     

Sharp Reilly-type inequalities for a class of elliptic operators on submanifolds

Let M be an $n(>2)$-dimensional closed orientable submanifold in an $(n+p)$-dimensional space form ${\mathbb{R}}^{n+p}(c)$. We obtain an optimal upper bound for the second eigenvalue of a class of elliptic operators on M defined by $L_{T}f=-\text{div}(T\mathrm{\nabla }f)$, where T is a general symmetric, positive definite and divergence-free $(1,1)$-tensor on M. The upper bound is given in terms of an integration involving tr T and $|H_T{|}^2$, where tr T is the trace of the tensor T and $H_T={\sum }_{i=1}^{n}A(T{e}_i,e_i)$ is a normal vector field associated with T and the second fundamental form A of M. Furthermore, we give the sufficient and necessary conditions when the upper bound is attained. Our main theorem can be viewed as an extension of the famous “Reilly inequality”. The operator $L_T$ can be regarded as a natural generalization of the well-known operator $L_r$ which is the linearized operator of the first variation of the $(r+1)$-th mean curvature for hypersurfaces in a space form. As applications of our main theorem, we generalize the results of Grosjean [17] and Li–Wang [20] in codimension one to arbitrary codimension.