We analyze different mechanisms of entropy production in statistical mechanics, and propose formulas for the entropy production ratee() in a state . When is steady state describing the long term behavior of a system we show thate()0, and sometimes we can provee()>0. 相似文献
We prove that if is a ``strongly quasihomogeneous" free divisor in the Stein manifold , and is its complement, then the de Rham cohomology of can be computed as the cohomology of the complex of meromorphic differential forms on with logarithmic poles along , with exterior derivative. The class of strongly quasihomogeneous free divisors, introduced here, includes free hyperplane arrangements and the discriminants of stable mappings in Mather's nice dimensions (and in particular the discriminants of Coxeter groups).
In this paper, we consider distributed control of the system described by the Korteweg-de Vries equation
on the interval , with periodic boundary conditions
where the distributed control is restricted so that the ``volume' of the solution is conserved. Both exact controllability and stabilizibility questions are studied for the system. In the case of open loop control, if the control is allowed to act on the whole spatial domain , it is shown that the system is globally exactly controllable, i.e., for given and functions , with the same ``volume', one can alway find a control so that the system (i)--(ii) has a solution satisfying
If the control is allowed to act on only a small subset of the domain , then the same result still holds if the initial and terminal states, and , have small ``amplitude' in a certain sense. In the case of closed loop control, the distributed control is assumed to be generated by a linear feedback law conserving the ``volume' while monotonically reducing . The solutions of the resulting closed loop system are shown to have uniform exponential decay to a constant state. As in the open loop control case, a small amplitude assumption is needed if the control is allowed to act on only a small subdomain. The smoothing property of the periodic (linear) KdV equation discovered recently by Bourgain has played an important role in establishing the exact controllability and stabilizability results presented in this paper.
We prove global analytic hypoellipticity on a product of tori for partial differential operators which are constructed as rigid (variable coefficient) quadratic polynomials in real vector fields satisfying the Hörmander condition and where satisfies a ``maximal' estimate. We also prove an analyticity result that is local in some variables and global in others for operators whose prototype is
(with analytic , naturally, but not identically zero). The results, because of the flexibility of the methods, generalize recent work of Cordaro and Himonas in [4] and Himonas in [8] which showed that certain operators known not to be locally analytic hypoelliptic (those of Baouendi and Goulaouic [1], Hanges and Himonas [6], and Christ [3]) were globally analytic hypoelliptic on products of tori.
The formation and stereoselective quenching of 1-mannopyranosyl radicals by a tributyltin hydride-mediated intramolecular 1,5-hydrogen abstraction sequence is described. A competing process is 1,4-hydrogen atom abstraction leading principally to glucopyran-2-ulosides. Fragmentation of the anomeric radical resulting in the formation of ring opened products is a problem in certain series. The chemistry is dictated to a considerable extent by the nature of the protecting groups employed with the 4,6-benzylidene series and, for rhamnose, the Ley 3,4-dispiroketal, being particularly susceptible to the 1,4-hydrogen atom abstraction but less to the fragmentation. Photochemical conditions are described, in which these side reactions are practically eliminated, and applied to the inversion of an alpha- to a beta-mannoside in a disaccharide. 相似文献
The index of a Fredholm operator associated to a-summable Fredholm module is expressed in terms of the vacuum expectation value of a unitary operator-valued stochastic process which satisfies a stochastic differential equation with unbounded coefficients driven by fermion noise. 相似文献
The purpose of this paper is to compare and contrast the modeling capabilities of seven algebraic modeling languages (ML) available today, namely, AMPL, GAMS, LINGO, LPL, MPL, PC-PROG and XPRESS-LP. In general, these MLs do an excellent job of providing an interface with which the modeler can specify an algebraically formatted linear program (LP). That is, each ML provides a substantial improvement in time and convenience over the matrix generator/report writers of the last few decades. Further, each of the MLs provides: (1) significant flexibility in model specification, instantiation and modification, (2) effective and efficient conversion from algebraic to solver format, and (3) an understandable and, for the most part, self-documenting model representation. In addition, each of the MLs is constantly being updated and upgraded to provide additional capabilities sought by practitioners and users. However, as shown in the fifteen tables provided in the body of this paper, each ML has its own set of competitive advantages. For example, the most integrated environments (i.e. those integrating the modeling language with a full-screen editor, data import capabilities and a solver) are provided by LINGO and PC-PROG. The most user-friendly interfaces are provided by MPL and PC-PROG, both of which provide window-based interfaces to create models and pop-up windows to display error messages; MPL also uses pull-down menus to specify various operations, whereas PC-PROG uses function keys for operational control. Package costs are led by a current (March, 1991) introductory offer from LINGO. Modeling effectiveness, especially with respect to flexibility in specifying arithmetic statements, is led by GAMS and LPL. Model compactness, as measured by the number of lines required to specify a model, is led by AMPL, LPL, MPL and PC-PROG; LPL, MPL and PC-PROG also provide context sensitive editors which automatically position the cursor where the error was detected. And finally, the most comprehensive user documentation is provided by GAMS, whereas GAMS, LINGO and LPL provide extensive libraries of sample models for those users who learn by example. 相似文献
Epi-derivatives have many applications in optimization as approached through nonsmooth analysis. In particular, second-order epi-derivatives can be used to obtain optimality conditions and carry out sensitivity analysis. Therefore the existence of second-order epi-derivatives for various classes of functions is a topic of considerable interest. A broad class of composite functions on n called fully amenable functions (which include general penalty functions composed withC2 mappings, possibly under a constraint qualification) are now known to be twice epi-differentiable. Integral functionals appear widely in problems in infinite-dimensional optimization, yet to date, only integral functionals defined by convex integrands have been shown to be twice epi-differentiable, provided that the integrands are twice epi-differentiable. Here it is shown that integral functionals are twice epi-differentiable even without convexity, provided only that their defining integrands are twice epi-differentiable and satisfy a uniform lower boundedness condition. In particular, integral functionals defined by fully amenable integrands are twice epi-differentiable under mild conditions on the behavior of the integrands.This work was supported in part by the National Science Foundation under grant DMS-9200303. 相似文献