含中介值ξ-η-ζ等式的证明方法

介绍含三个中介值ξ-η-ζ等式的几种证明方法,并结合实例加以说明.     

A thermodynamic and dynamic subgrid closure model for two‐material cells

A general and robust subgrid closure model for two‐material cells is proposed. The conservative quantities of the entire cell are apportioned between two materials, and then, pressure and velocity are fully or partially equilibrated by modeling subgrid wave interactions. An unconditionally stable and entropy‐satisfying solution of the processes has been successfully found. The solution is valid for arbitrary level of relaxation. The model is numerically designed with care for general materials and is computationally efficient without recourse to subgrid iterations or subcycling in time. The model is implemented and tested in the Lagrange‐remap framework. Two interesting results are observed in 1D tests. First, on the basis of the closure model without any pressure and velocity relaxation, a material interface can be resolved without creating numerical oscillations and/or large nonphysical jumps in the problem of the modified Sod shock tube. Second, the overheating problem seen near the wall surface can be solved by the present entropy‐satisfying closure model. The generality, robustness, and efficiency of the model make it useful in principle in algorithms, such as ALE methods, volume of fluid methods, and even some mixture models, for compressible two‐phase flow computations. Copyright © 2013 John Wiley & Sons, Ltd.     

Approximating exponential and logarithmic functions using polynomial interpolation

This article takes a closer look at the problem of approximating the exponential and logarithmic functions using polynomials. Either as an alternative to or a precursor to Taylor polynomial approximations at the precalculus level, interpolating polynomials are considered. A measure of error is given and the behaviour of the error function is analysed. The results of interpolating polynomials are compared with those of Taylor polynomials.     

Well‐posedness of fractional integro‐differential equations in vector‐valued functional spaces

We study the well‐posedness of the fractional differential equations with infinite delay on Lebesgue–Bochner spaces and Besov spaces , where A and B are closed linear operators on a Banach space X satisfying ,  and . Under suitable assumptions on the kernels a and b, we completely characterize the well‐posedness of in the above vector‐valued function spaces on by using known operator‐valued Fourier multiplier theorems. We also give concrete examples where our abstract results may be applied.     

Capable Lie algebras with the derived subalgebra of dimension 2 over an arbitrary field

In this paper, we classify all capable nilpotent Lie algebras with the derived subalgebra of dimension 2 over an arbitrary field. Moreover, the explicit structure of such Lie algebras of class 3 is given.     

Periodic Solutions of Third-order Differential Equations with Finite Delay in Vector-valued Functional Spaces

In this paper, we study the well-posedness of the third-order differential equation with finite delay(P_3): αu'"(t) + u"(t) = Au(t) + Bu'(t) + Fut +f(t)(t ∈ T := [0,2π]) with periodic boundary conditions u(0) = u(2π), u'(0) = u"(2π),u"(0)=u"(2π) in periodic Lebesgue-Bochner spaces Lp(T;X) and periodic Besov spaces B_(p,q)~s(T;X), where A and B are closed linear operators on a Banach space X satisfying D(A) ∩ D(B) ≠ {0}, α≠ 0 is a fixed constant and F is a bounded linear operator from Lp([-2π, 0]; X)(resp. Bp,qs([-2π, 0]; X)) into X, ut is given by ut(s) = u(t + s) when s ∈ [-2π,0]. Necessary and sufficient conditions for the Lp-well-posedness(resp. B_(p,q)~s-well-posedness)of(P_3) are given in the above two function spaces. We also give concrete examples that our abstract results may be applied.     

On grand Lebesgue spaces on sets of infinite measure

We consider grand Lebesgue spaces on sets of infinite measure and study the dependence of these spaces on the choice of the so‐called. We also consider Mikhlin and Marcinkiewicz theorems on Fourier multipliers in the setting of grand spaces.     

Normal families and fixed points of iterates

Let F be a family of holomorphic functions and suppose that there exists ε 0 such that if f ∈ F, then |(f 2 ) (ξ)|≤4-ε for all fixed points ξ of the second iterate f 2 . We show that then F is normal. This is deduced from a result which says that if p is a polynomial of degree at least 2, then p 2 has a fixed point ξ such that |(p 2 ) (ξ)|≥4. The results are motivated by a problem posed by Yang Lo.     

Simple power supply for power load controlled isoelectric focusing

The power supply for IEF based on features of the Cockcroft‐Walton voltage multiplier (CW VM) is described in this work. The article describes a design of the IEF power supply, its electric characteristics, and testing by IEF analysis. A circuit diagram of the power supply included two opposite charged branches (each consisting of four voltage doublers). The designed CW VM was powered by 230 V/50 Hz alternate current and it generated up to 5 kV and 90 mW at the output. Voltage and current characteristics of the power supply were measured by known load resistances in the range from 10 kΩ to 1 GΩ, which is a common resistance range for IEF strip geometry. Further, the power supply was tested by a separation of a model mixture of colored pI markers using a 175 × 3 × 0.5 mm focusing bed. Automatically limited power load enabled analysis of samples without previous optimization of the focusing voltage or electric current time courses according to sample composition. Moreover, the developed power supply did not produce any intrinsic heat and was easy to set up with cheap and commonly available parts.     

Acceleration of self‐consistent field convergence in ab initio molecular dynamics simulation with multiconfigurational wave function

The Lagrange interpolation of molecular orbital (LIMO) method, which reduces the number of self‐consistent field iterations in ab initio molecular dynamics simulations with the Hartree–Fock method and the Kohn–Sham density functional theories, is extended to the theory of multiconfigurational wave functions. We examine two types of treatments for the active orbitals that are partially occupied. The first treatment, as denoted by LIMO(C), is a simple application of the conventional LIMO method to the union of the inactive core and the active orbitals. The second, as denoted by LIMO(S), separately treats the inactive core and the active orbitals. Numerical tests to compare the two treatments clarify that LIMO(S) is superior to LIMO(C). Further applications of LIMO(S) to various systems demonstrate its effectiveness and robustness. © 2014 Wiley Periodicals, Inc.