Computation of the eigenvalues of Sturm-Liouville problems with parameter dependent boundary conditions using the regularized sampling method

The purpose in this paper is to compute the eigenvalues of Sturm-Liouville problems with quite general separated boundary conditions nonlinear in the eigenvalue parameter using the regularized sampling method, an improvement on the method based on Shannon sampling theory, which does not involve any multiple integration and provides higher order estimates of the eigenvalues at a very low cost. A few examples shall be presented to illustrate the power of the method and a comparison made with the the exact eigenvalues obtained as squares of the zeros of the exact characteristic functions.

     

Two-function upward-downward minimax theorems

Two-function upward-downward minimax theorems are derived which contain Simons upward-downward minimax theorem as well as Domokos minimax theorem as special cases. Here the convexity assumptions on two functions are given by mixing up their values as means proposed by Lin and Quan.     

Symmetry specified enumeration of substituted derivatives: an easy solution to the complex problem

Several sophisticated methods to solution of symmetry specified enumeration problems are available in the modern literature. In this paper we propose a simple technique that allows one to manually compute the exact numbers of fixed-symmetry derivatives for a given structure either with inclusion or ignoring the substitution patterns. The basic idea of the method suggested consists in the derivation of Pólya-like cycle indices for the automorphism groups of specially constructed orbit partition graphs; the expansion of these indices and subsequent simple calculations result in the desired numbers of substituted derivatives with achiral substituents. Limitations of the new technique (and a method suggested earlier) depend on the relevance of the orbit partitions for particular subgroups of the point symmetry group. For illustration purposes, the results obtained for the prismane (D _3h ) and adamantane (T _d ) structures are discussed. In the former case the numbers of substituted derivatives can be found for all subgroups of the D _3h group, whereas in the latter case these numbers can be determined for eight out of eleven subgroups of the T _d point symmetry group. This work is based on the text of the lecture presented by the authors at the 5th All-Russia Conference on Molecular Modeling (Moscow, April 2007). The paper deals with the methodology and detailed treatment of applied aspects related to solution of enumeration problems for substituted derivatives with prescribed symmetry groups. Unlike the known methods of symmetry specified enumeration, the technique suggested is simple enough and may be regarded as generalization of the Pólya methodology, which is widely used by chemists. Published in Russian in Izvestiya Akademii Nauk. Seriya Khimicheskaya, No. 2, pp. 227–245, February, 2008.     

Some remarks on indiscernible sequences

We prove a property of generic homogeneity of tuples starting an infinite indiscernible sequence in a simple theory and we use it to give a shorter proof of the Independence Theorem for Lascar strong types. We also characterize the relation of starting an infinite indiscernible sequence in terms of coheirs.     

HILBERTIAN INVARIANCE PRINCIPLE FOR EMPIRICAL PROCESS ASSOCIATED WITH A MARKOV PROCESS

The authors establish the Hilbertian invariance principle for the empirical process of a stationary Markov process, by extending the forward-backward martingale decomposition of Lyons-Meyer-Zheng to the Hilbert space valued additive functionals associated with general non-reversible Markov processes.     

On the concept of point value in the infinite-dimensional realization theory

In this article, we study the effect of the chosen representation of a point value (and point evaluation) on the class of periodic signals realizable using a certain type of infinite-dimensional linear system. By suitably representing the point evaluation at the origin in a Hilbert space, we are able to give a complete characterization of its extensions. These extensions involve a new concept called δ-sequence, the use of which as an observation operator of an infinite-dimensional linear system is studied in this article. In particular, we consider their use in the realization of periodic signals. We also investigate how the use of δ-sequences affects the convergence properties of such realizations; we consider the rate and character of convergence and the removal of the Gibbs phenomenon. As still a further demonstration of the significance of the chosen concept of a point value, we discuss the use of distributional point values in the realization of periodic distributions. The possible applications of this work lie in regulator problems of infinite-dimensional control theory, as is indicated by the well-known internal model principle.     

A New Modal Lindström Theorem

We prove new Lindstr?m theorems for the basic modal propositional language, and for some related fragments of first-order logic. We find difficulties with such results for modal languages without a finite-depth property, high-lighting the difference between abstract model theory for fragments and for extensions of first-order logic. In addition we discuss new connections with interpolation properties, and the modal invariance theorem. Mathematics Subject Classification (2000): Primary 03B45; Secondary 03C95     

液态金属流的表面张力问题中的两点边值问题解的存在性

本文讨论了在区域提纯过程中，研究液态金属流的表面张力时提出的一个带有非负参数Ｑ的两点边值问题．利用上、下解方法和Ｓｃｈａｕｄｅｒ不动点定理，证明了当０Ｑ８５１时，该问题至少有一个解，对已有结果０Ｑ＜１进行了重要的改进．     

Weak singularities may help periodic solutions to exist

In a periodically forced semilinear differential equation with a singular nonlinearity, a weak force condition enables the achievement of new existence criteria through a basic application of Schauder's fixed point theorem. The originality of the arguments relies in that, contrary to the customary situation in the available references, a weak singularity facilitates the arguments of the proofs.