Binding of atoms and stability of molecules in hartree and thomas-fermi type theories.

This paper is the fourth of a series devoted to the study of the stability of general molecular systems in Thomas-Fermi or Hartree type models. In the preceding part, we proved the bindingof arbitrary neutral systems for Thomas-Fermi type theories and of planar neutral systems forthe Hartree model. In this part, we manage to get rid of this restriction and thus, prove thebinding and the stability of arbitrary neutral systems for the Hartree model.     

A ecessary and Sufficient Condition for The Stability of General molecular Systems

We study here the binding of atoms and molecules and the stability of general molecular systems including molecular ions. This is the first paper of a series devoted to the study of these general problems. We obtain here a general necessary and sufficient condition for the stability of general molecular ststem in the context of thomasz-Fermi-Von Weiasäcker, Thomas-Fermi-Dirac-Von Weizsaäcker, Hartree or Hartree-Fock theories

SUMARY OF PART 1

1.Introduction.

II.Presentation of the models

III.Diatomic molecular systems and hartree-Fock theory

IV.Diatomic molecular systems and Hartree or Thomas-Fermi theories

V.General molecular systems

Appendix 1: Hartree-Fock models when Z > N ― 1

Appendix 2: Dichotomy yields equal Lagrange multipliers

Appendix 3: The problem at infinty for the TRDW model     

Binding of atoms and stability of molecules in hartree and thomas—fermi type theories

This paper is the sequel of a previous work where we showed a general necessary and sufficient condition for the stability of an arbitrary molecular system (possibly ionized) in the framework of Hartree or Thomas-Fermi type theories. This condition, roughly speaking, meant that certain particular subsystems have to be bound. We show here in particular that this condition reduces for general molecular system with nonnegative excess charge to the binding of all subsystems with the same property. For neutral inolecular systems, this reduces to the binding of all neutral subsystems. In both cases, all other subsystems can be bound. We also show that, for the Hartree-Fock and Hartree models, this condition involves only “physical” sulxystems We use these reduced conditions to conclude allout the stability or the binding in some particular cases. This work 1s also the second of a series devoted to these equations and we shall come back on the binding of neutral systems in Part 3.     

Continuous random dynamical systems

We study a dynamical system generalizing continuous iterated function systems and stochastic differential equations disturbed by Poisson noise. The main results provide us with sufficient conditions for the existence and uniqueness of an invariant measure for the considered system. Since the dynamical system is defined on an arbitrary Banach space (possibly infinite dimensional), to prove the existence of an invariant measure and its stability we make use of the lower bound technique developed by Lasota and Yorke and extended recently to infinite-dimensional spaces by Szarek. Finally, it is shown that many systems appearing in models of cell division or gene expressions are exactly as those we study. Hence we obtain their stability as well.     

Stability Analysis of Gradient-Based Neural Networks for Optimization Problems

The paper introduces a new approach to analyze the stability of neural network models without using any Lyapunov function. With the new approach, we investigate the stability properties of the general gradient-based neural network model for optimization problems. Our discussion includes both isolated equilibrium points and connected equilibrium sets which could be unbounded. For a general optimization problem, if the objective function is bounded below and its gradient is Lipschitz continuous, we prove that (a) any trajectory of the gradient-based neural network converges to an equilibrium point, and (b) the Lyapunov stability is equivalent to the asymptotical stability in the gradient-based neural networks. For a convex optimization problem, under the same assumptions, we show that any trajectory of gradient-based neural networks will converge to an asymptotically stable equilibrium point of the neural networks. For a general nonlinear objective function, we propose a refined gradient-based neural network, whose trajectory with any arbitrary initial point will converge to an equilibrium point, which satisfies the second order necessary optimality conditions for optimization problems. Promising simulation results of a refined gradient-based neural network on some problems are also reported.     

Robust Stability Criteria for Uncertain Neutral Systems with Interval Time-Varying Delay

In this paper, we consider the problem of robust stability of a class of linear uncertain neutral systems with interval time-varying delay under (i) nonlinear perturbations in state, and (ii) time-varying parametric uncertainties using Lyapunov-Krasovskii approach. By constructing a candidate Lyapunov-Krasovskii (LK) functional, that takes into account the delay-range information appropriately, less conservative robust stability criteria are proposed in terms of linear matrix inequalities (LMI) to compute the maximum allowable bound for the delay-range within which the uncertain neutral system under consideration remains asymptotically stable. The reduction in conservatism of the proposed stability criterion over recently reported results is attributed to the fact that time-derivative of the LK functional is bounded tightly without neglecting any useful terms using a minimal number of slack matrix variables. The analysis, subsequently, yields a stability condition in convex LMI framework, that can be solved non-conservatively at boundary conditions using standard LMI solvers. The effectiveness of the proposed stability criterion is demonstrated through standard numerical examples.     

The Ionization Conjecture in Thomas–Fermi–Dirac–von Weizsäcker Theory

We prove that in Thomas–Fermi–Dirac–von Weizsäcker theory, a nucleus of charge Z > 0 can bind at most Z + C electrons, where C is a universal constant. This result is obtained through a comparison with Thomas‐Fermi theory which, as a by‐product, gives bounds on the screened nuclear potential and the radius of the minimizer. A key ingredient of the proof is a novel technique to control the particles in the exterior region, which also applies to the liquid drop model with a nuclear background potential.© 2017 Wiley Periodicals, Inc.     

Stability results involving time-averaged Lyapunov function derivatives

The stability results which comprise the Direct Method of Lyapunov involve the existence of auxiliary functions (Lyapunov functions) endowed with certain definiteness properties. Although the Direct Method is very general and powerful, it has some limitations: there are dynamical systems with known stability properties for which there do not exist Lyapunov functions which satisfy the hypotheses of a Lyapunov stability theorem.In the present paper we identify a scalar switched dynamical system whose equilibrium (at the origin) has known stability properties (e.g., uniform asymptotic stability) and we prove that there does not exist a Lyapunov function which satisfies any one of the Lyapunov stability theorems (e.g., the Lyapunov theorem for uniform asymptotic stability). Using this example as motivation, we establish stability results which eliminated some of the limitations of the Direct Method alluded to. These results involve time-averaged Lyapunov function derivatives (TALFD’s). We show that these results are amenable to the analysis of the same dynamical systems for which the Direct Method fails. Furthermore, and more importantly, we prove that the stability results involving TALFD’s are less conservative than the results which comprise the Direct Method (which henceforth, we refer to as the classical Lyapunov stability results).While we confine our presentation to continuous finite-dimensional dynamical systems, the results presented herein can readily be extended to arbitrary continuous dynamical systems defined on metric spaces. Furthermore, with appropriate modifications, stability results involving TALFD’s can be generalized to discontinuous dynamical systems (DDS).     

Heisenberg's critical mass calculations for an explosive nuclear reaction

Based on the declassified records of Heisenberg's Farm-Hall “lecture”, we are attempting in the present work to follow Heisenberg's thoughts and results and show in a more transparent way how he arrived at his surprisingly quite accurate estimation of the critical mass of a reflected U235 sphere undergoing explosive neutrons fission. We conclude with a discussion regarding the contraversy concerning the so-called German Uranium bomb and the role played by Heisenberg and C.F. von Weizsäcker in this connection during and after the war.     

Opérateurs différentiels magnétiques : stabilité des trous dans le spectre,invariance du spectre essentiel et applications

We study here the problem of geometry optimization for a crystal in the Thomas–Fermi–Von Weizsäcker (TFW) solid-state setting, i.e., the problem of minimizing the TFW energy with respect to the periodic lattice defining the positions of the nuclei. We show the existence of such a minimum, and use for that purpose the TFW models of polymers and thin films defined in a previous work (X. Blanc and C. Le Bris, Adv. Differential Equations, 5, 977–1032, 2000).     

Stability of Gabor frames with arbitrary sampling points

Summary We study the stability of Gabor frames with arbitrary sampling points in the time-frequency plane, in several aspects. We prove that a Gabor frame generated by a window function in the Segal algebra S₀(R^d) remains a frame even if (possibly) all the sampling points undergo an arbitrary perturbation, as long as this is uniformly small. We give explicit stability bounds when the window function is nice enough, showing that the allowed perturbation depends only on the lower frame bound of the original family and some qualitative parameters of the window under consideration. For the perturbation of window functions we show that a Gabor frame generated by any window function with arbitrary sampling points remains a frame when the window function has a small perturbation in S₀(R^d) sense. We also study the stability of dual frames, which is useful in practice but has not found much attention in the literature. We give some general results on this topic and explain consequences to Gabor frames.     

Inheritance principle in dynamical systems and an application in ecological models

To analyze arbitrary nonautonomous models, we develop a general principle of inheritance of a number of local properties by the Poincaré period map: if some local property is rough and semigroup, then the global period map has the same property. In particular, for competition models, we specify key inherited properties (sign-invariant matrices etc.). This approach is used to prove the global stability of periodic modes for various nonlinear ecological models.     

Feynman formulas and functional integrals for diffusion with drift in a domain on a manifold

We obtain representations for the solution of the Cauchy-Dirichlet problem for the diffusion equation with drift in a domain on a compact Riemannian manifold as limits of integrals over the Cartesian powers of the domain; the integrands are elementary functions depending on the geometric characteristics of the manifold, the coefficients of the equation, and the initial data. It is natural to call such representations Feynman formulas. Besides, we obtain representations for the solution of the Cauchy-Dirichlet problem for the diffusion equation with drift in a domain on a compact Riemannian manifold as functional integrals with respect to Weizsäcker-Smolyanov surface measures and the restriction of the Wiener measure to the set of trajectories in the domain; such a restriction of the measure corresponds to Brownian motion in a domain with absorbing boundary. In the proof, we use Chernoff’s theorem and asymptotic estimates obtained in the papers of Smolyanov, Weizsäcker, and their coauthors.     

Stability and General Logics

In this paper we make an attempt to study classes of models by using general logics. We do not believe that L_ww is always the best logic for analyzing a class of models. Let K be a class of models and L a logic. The main assumptions we make about K and C are that K has the L-amalgamation property and, later in the paper, that K does not omit L-types. We show that, if modified suitably, most of the results of stability theory hold in this context. The main difference is that existentially closed models of K play the role that arbitrary models play in traditional stability theory. We prove e. g. a structure theorem for the class of existentially closed models of K assuming that K is a trivial superstable class with ndop.     

A Plücker formula for singular projective varieties

We prove a Plücker formula,for a projective variety X with arbitrary singularities, which expresses the class of X, the degree of the dual variety, in terms of Euler characteristics of X and of two linear sections of X. Moreover, we show that there is no formula whatsoever expressing this degree as a difference of two terms, a deformation invariant and a correction for singularities.     

Differential geometry of grassmannians and the Plücker map

Using the Plücker map between grassmannians, we study basic aspects of classic grassmannian geometries. For ‘hyperbolic’ grassmannian geometries, we prove some facts (for instance, that the Plücker map is a minimal isometric embedding) that were previously known in the ‘elliptic’ case.     

Stability of standing waves for the L 2-critical Hartree equations with harmonic potential

This article is concerned with the Hartree equations with harmonic potential. By an elaborate mathematical analysis, we obtain a sharp stability threshold of this equation. Then with this threshold, we prove that the standing wave of this equation exists and is stable.     

Variable structure control systems: synthesis of scalar and vector systems by state and output feedback

Modern views are applied to examine synthesis of variable structure systems (VSS) for SISO and MIMO systems of general position in the presence of information on the full phase vector or only on the output vector. In the latter case we consider separately the cases of organizing a sliding mode in plant output coordinates and in arbitrary coordinates. The latter case requires the construction of asymptotic observers for linear systems with uncertainty in the parameters or in inputs, and the corresponding observation theory is sketched. Special attention is given to the case of so-called hyperoutput systems, i.e., multiply connected systems in which the number of outputs exceeds the number of inputs. For hyperoutput systems under fairly general conditions we can arbitrarily choose the observer dynamics, which is important for improving the performance of the control system as a whole. We show that the observer dynamics does not change the VSS stability.     

Stability of impulsive functional differential equations via the Liapunov functional

In this work, we investigate the stability of a class of impulsive functional differential equations. Some general stability theorems are obtained. Our results can be applied to finite delay impulsive systems or infinite delay impulsive systems or impulsive systems involving both finite and infinite delays, in a unified way. Examples are also given to illustrate that applying our theorems yields better conclusions than the results in the literature.     

Eventual norm continuity for neutral semigroups on Banach spaces

In this paper we prove, under suitable hypotheses, eventually norm continuity and compactness of the solution semigroups of certain neutral differential equations in Banach spaces. Our approach is based on a general perturbation theorem obtained from closed-loop systems of infinite dimensional control systems with unbounded control and observation operators. In fact, the solution semigroup can be viewed as the semigroup of an appropriate closed-loop system in product state spaces.