Freedom from the interpolation property for tense calculi associated with Ershov spaces

We study into the question whether calculi associated with Ershov topological spaces possess Craig’s interpolation property. Supported by RFBR grant No. 06-01-00358, by INTAS grant No. 04-77-7080, and by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools, project NSh-4787.2006.1. __________ Translated from Algebra i Logika, Vol. 46, No. 6, pp. 745–762, November–December, 2007.     

Corner view on the crown domain

In this paper we raise a question about the boundary of the crown domain of a Riemannian symmetric space X. In case X is of Hermitian type we give an affirmative answer.     

Convergence of Riemannian Manifolds and Laplace Operators, II

We study spectral convergence of compact Riemannian manifolds or more generally certain Dirichlet spaces, obtaining some compactness results on harmonic functions and harmonic maps. Mathematics Subject Classifications (2000) 53C21, 58D17, 58J50. Atsushi Kasue: Partly supported by the Grant-in-Aid for Scientific Research (B) No. 15340053 of the Japan Society for the Promotion of Science.     

Theoretical and computational studies of vectorial processes in biomolecular systems

Efficient vectorial processes such as the transduction of bioenergy and signals are characteristics that strikingly distinguish living systems from inanimate materials. Recent developments in biophysical and biochemical techniques have provided new information about the structure, dynamics and interaction of biomolecules involved in vectorial life processes at multiple length and temporal scales. This wealth of data makes it possible to carry out theoretical and computational studied of key mechanistic questions associated with complex life processes at an unprecedented level. Using two “vectorial biomolecular machines”, myosin and cytochrome c oxidase, as examples, we discuss the identification of interesting and biologically relevant questions that require thorough theoretical analysis. Technical challenges and recent progress related to these theoretical investigations are briefly summarized     

The maximum principle for the Bergman space and the Möbius pseudodistance for the annulus

It is shown that the formula for the Möbius pseudodistance for the annulus yields better estimates than previously known for the constant in the Bergman space maximum principle.

     

Asymptotic properties of constrained Markov Decision Processes

We present in this paper several asymptotic properties of constrained Markov Decision Processes (MDPs) with a countable state space. We treat both the discounted and the expected average cost, with unbounded cost. We are interested in (1) the convergence of finite horizon MDPs to the infinite horizon MDP, (2) convergence of MDPs with a truncated state space to the problem with infinite state space, (3) convergence of MDPs as the discount factor goes to a limit. In all these cases we establish the convergence of optimal values and policies. Moreover, based on the optimal policy for the limiting problem, we construct policies which are almost optimal for the other (approximating) problems. Based on the convergence of MDPs with a truncated state space to the problem with infinite state space, we show that an optimal stationary policy exists such that the number of randomisations it uses is less or equal to the number of constraints plus one. We finally apply the results to a dynamic scheduling problem.This work was partially supported by the Chateaubriand fellowship from the French embassy in Israel and by the European Grant BRA-QMIPS of CEC DG XIII     

On degeneracy and collapsing in the construction of the set of objective values in a multiple objective linear program

In this paper an algorithm is developed to generate all nondominated extreme points and edges of the set of objective values of a multiple objective linear program. The approach uses simplex tableaux but avoids generating unnecessary extreme points or bases of extreme points. The procedure is based on, and improves, an algorithm Dauer and Liu developed for this problem. Essential to this approach is the work of Gal and Kruse on the neighborhood problem of determining all extreme points of a convex polytope that are adjacent to a given (degenerate) extreme point of the set. The algorithm will incorporate Gal's degeneracy graph approach to the neighborhood problem with Dauer's objective space analysis of multiple objective linear programs.     

球上加权Bergman空间上的Schatten类Hankel算子

本文给出了超球上加权Ｂｅｒｇｍａｎ空间上Ｈａｎｋｅｌ算子属于Ｓｃｈａｔｔｅｎｐ－类（２≤ｐ＜＋∞）的一个充要条件，推广了文［１０］中的主要结果。     

无限维Banach空间的一个特征

证明如下结果，设Ｘ是Ｂａｎａｃｈ空间，则Ｘ是无限维的充分必要的条件是存在不含内点的非空凸集Ｂ，使得Ｂ不在任何一个闭超平面上。     

New general guidance method in constrained optimal control,part 2: Application to space shuttle guidance

The application and the performance of the neighboring optimal feedback scheme presented in Part 1 of this paper is demonstrated for the heating-constrained cross-range maximization problem of a space-shuttle-orbiter-type vehicle. This problem contains five state variables, two control variables, and a state variable inequality constraint of order zero.This research was supported in part by the Deutsche Forschungsgemeinschaft under the Schwerpunktprogramm Anwendungsbezogene Optimierung und Steuerung.The authors wish to express their sincere and grateful appreciation to Professor Roland Bulirsch who encouraged this work.