An approach to determine the stable interval of the constant term of a characteristic equation

In this paper, an approach is introduced to determine the stable interval of the constant term of a characteristic equation by using the theory of extended graphical representation of polynomials. Because the constant a_n itself is not taken into account and because this method is to get a stable interval of a_n, not merely to make a stability test for a set of known coefficients, this method of stability criteria has some advantages over the others. The interval of a_n can be obtained from the calculation of some algebraical expressions when n10, where n is the degree of the characteristic equation. It is very convenient to calculate for the cases n=5 and n=6. When n11, this interval can be found only by the method of numerical solutions.     

照射型莫尔轮廓法中原理性误差的校正

提出在照射型莫尔轮廓法中存在着原理性误差,导出校正此类误差的计算公式。用实验拍摄锥形试件的莫尔轮廓,经过对照片的判读和计算,证实了所提供公式的正确性。     

On the maximum principle for complete second-order elliptic operators in general domains

This paper is concerned with the maximum principle for second-order linear elliptic equations in a wide generality. By means of a geometric condition previously stressed by Berestycki-Nirenberg-Varadhan, Cabré was very able to improve the classical ABP estimate obtaining the maximum principle also in unbounded domains, such as infinite strips and open connected cones with closure different from the whole space. Now we introduce a new geometric condition that extends the result to a more general class of domains including the complements of hypersurfaces, as for instance the cut plane. The methods developed here allow us to deal with complete second-order equations, where the admissible first-order term, forced to be zero in a preceding result with Cafagna, depends on the geometry of the domain.     

Calculus of sequential normal compactness in variational analysis

In this paper we study some properties of sets, set-valued mappings, and extended-real-valued functions unified under the name of “sequential normal compactness.” These properties automatically hold in finite-dimensional spaces, while they play a major role in infinite-dimensional variational analysis. In particular, they are essential for calculus rules involving generalized differential constructions, for stability and metric regularity results and their broad applications, for necessary optimality conditions in constrained optimization and optimal control, etc. This paper contains principal results ensuring the preservation of sequential normal compactness properties under various operations over sets, set-valued mappings, and functions.     

Optimal control for semilinear evolutionary variational bilateral problem

This paper is concerned with an optimal control problem for some semilinear evolutionary variational inequalities associated with bilateral constraints. The control domain is a general separable metric space and has no algebraic structure, in particular, it is not necessarily convex. Existence and optimality conditions of optimal pairs are established.     

Coding of Gibbs function flows from nucleotide pools

The biochemical machinery of living systems obeys kinetic laws, but is driven by Gibbs function flows. Both the kinetic and thermodynamic aspects of Gibbs gain, transmission, and utilization are considered. An information-theoretic approach is used to find conditions under which the kinetics encodes the associated Gibbs function flow with the lowest possible error.     

Maximum norm stability of difference schemes for parabolic equations on overset nonmatching space-time grids

In this paper, theoretical results are described on the maximum norm stability and accuracy of finite difference discretizations of parabolic equations on overset nonmatching space-time grids. We consider parabolic equations containing a linear reaction term on a space-time domain which is decomposed into an overlapping collection of cylindrical subregions of the form , for . Each of the space-time domains are assumed to be independently grided (in parallel) according to the local geometry and space-time regularity of the solution, yielding space-time grids with mesh parameters and . In particular, the different space-time grids need not match on the regions of overlap, and the time steps can differ from one grid to the next. We discretize the parabolic equation on each local grid by employing an explicit or implicit -scheme in time and a finite difference scheme in space satisfying a discrete maximum principle. The local discretizations are coupled together, without the use of Lagrange multipliers, by requiring the boundary values on each space-time grid to match a suitable interpolation of the solution on adjacent grids. The resulting global discretization yields a large system of coupled equations which can be solved by a parallel Schwarz iterative procedure requiring some communication between adjacent subregions. Our analysis employs a contraction mapping argument.

Applications of the results are briefly indicated for reaction-diffusion equations with contractive terms and heterogeneous hyperbolic-parabolic approximations of parabolic equations.

     

Information and Entropy Flow in the Kalman–Bucy Filter

We investigate the information theoretic properties of Kalman–Bucy filters in continuous time, developing notions of information supply, storage and dissipation. Introducing a concept of energy, we develop a physical analogy in which the unobserved signal describes a statistical mechanical system interacting with a heat bath. The abstract universe comprising the signal and the heat bath obeys a non-increase law of entropy; however, with the introduction of partial observations, this law can be violated. The Kalman–Bucy filter behaves like a Maxwellian demon in this analogy, returning signal energy to the heat bath without causing entropy increase. This is made possible by the steady supply of new information. In a second analogy the signal and filter interact, setting up a stationary non-equilibrium state, in which energy flows between the heat bath, the signal and the filter without causing any overall entropy increase. We introduce a rate of interactive entropy flow that isolates the statistical mechanics of this flow from marginal effects. Both analogies provide quantitative examples of Landauers Principle.     

What Makes a Theory Testable, or Is Intelligent Design Less Scientific Than String Theory?

I compare the theory of intelligent design to string theory to see on what basis, if any, only the former can be justifiably excluded as being scientific.We shall see that the classic criterion of testability or falsifiability is sometimes not so straightforward, and that there are other criteria to help us make such a distinction.     

Unconventional Hamilton-type variational principles for electromagnetic elastodynamics

According to the basic idea of classical yin-yang complementarity and modern dual-complementarity, in a simple and unified new way proposed by Luo, the unconventional Hamilton-type variational principles for electromagnetic elastodynamics can be established systematically. This new variational principles can fully characterize the initial-boundary-value problem of this dynamics. In this paper, the expression of the generalized principle of virtual work for electromagnetic dynamics is given. Based on this equation, it is possible not only to obtain the principle of virtual work in electromagnetic dynamics, but also to derive systematically the complementary functionals for eleven-field, nine-field and six-field unconventional Hamilton-type variational principles for electromagnetic elastodynamics, and the potential energy functionals for four-field and three-field ones by the generalized Legendre transformation given in this paper. Furthermore, with this approach, the intrinsic relationship among various principles can be explained clearly.