A geometric formula for Haefliger knots

Haefliger has shown that a smooth embedding of the (4k−1)-sphere in the 6k-sphere can be knotted in the smooth sense. In this paper, we give a formula with which we can detect the isotopy class of such a Haefliger knot. The formula is expressed in terms of the geometric characteristics of an extension, analogous to a Seifert surface, of the given embedding. In particular, the Hopf invariant associated to the extension plays a crucial role. This leads us to a new characterisation of Haefliger knots.     

Optimized prefactored compact schemes

The numerical simulation of aeroacoustic phenomena requires high-order accurate numerical schemes with low dispersion and dissipation errors. In this paper we describe a strategy for developing high-order accurate prefactored compact schemes, requiring very small stencil support. These schemes require fewer boundary stencils and offer simpler boundary condition implementation than existing compact schemes. The prefactorization strategy splits the central implicit schemes into forward and backward biased operators. Using Fourier analysis, we show it is possible to select the coefficients of the biased operators such that their dispersion characteristics match those of the original central compact scheme and their numerical wavenumbers have equal and opposite imaginary components. This ensures that when the forward and backward stencils are added, the original central compact scheme is recovered. To extend the resolution characteristic of the schemes, an optimization strategy is employed in which formal order of accuracy is sacrificed in preference to enhanced resolution characteristics across the range of wavenumbers realizable on a given mesh. The resulting optimized schemes yield improved dispersion characteristics compared to the standard sixth- and eighth-order compact schemes making them more suitable for high-resolution numerical simulations in gas dynamics and computational aeroacoustics. The efficiency, accuracy and convergence characteristics of the new optimized prefactored compact schemes are demonstrated by their application to several test problems.     

局部有限超拓扑的局部紧性

本文讨论了赋予局部有限拓扑的非空闲子集超空间的局部紧性.主要结果是:X正则,则其闭子集超空间局部紧当且仅当X可表示成一个紧空间与一个离散空间的拓扑和.     

Choquet-type Integral Representation of Invariant Functions for some Product Semigroups

We show that functions which are invariant for suitable product semigroups (one of which is a quasi-Poisson semigroup on a general state space) decompose into a singular eigen-function and a mixture of products of minimal eigen-functions.     

Complex Geometry of the Universal Teichmuller Space

We prove that all invariant distances on the universal Teichmuller space agree and are determined by the Grunsky coefficients of the naturally related conformal maps. This fact yields various important consequences; in particular, we obtain solutions of certain well-known geometric problems in complex analysis and related fields.     

Ergodicity for the Dissipative Boussinesq Equations with Random Forcing

We study the stationary measure for the two-dimensional Boussinesq equation with random forcing. We prove the ergodicity for the two-dimensional stochastically forced Boussinesq equation. We also study the Galerkin truncations of the three-dimensional Boussinesq equations under degenerate stochastic forcing. We follow closely the previous results on the stochastically forced Navier–Stokes equations.     

Second Order Nonlinear Evolution Inclusions Ⅰ： Existence and Relaxation Results

This is the first part of a work on second order nonlinear, nonmonotone evolution inclusions defined in the framework of an evolution triple of spaces and with a multivalued nonlinearity depending on both x（t） and x（t）. In this first part we prove existence and relaxation theorems. We consider the case of an usc, convex valued nonlinearity and we show that for this problem the solution set is nonempty and compact in C^1 （T, H）. Also we examine the Isc, nonconvex case and again we prove the existence of solutions. In addition we establish the existence of extremal solutions and by strengthening our hypotheses, we show that the extremal solutions are dense in C^1 （T, H） to the solutions of the original convex problem （strong relaxation）. An example of a nonlinear hyperbolic optimal control problem is also discussed.     

关于算子方程AX=XAX与AX=XA=XAX

用A的不变子空间作参数，给出了算子方程AX＝XAX的全部解。当A是单射或稠值域时，或者当A是正规算子时，给出了算子方程AX＝XA＝XAX的全部解。我们还给出正规算子X是算子方程AX＝XZ＝XAX的解的充分必要条件。     

Positive set‐operators of low complexity

The powerset operator, ??, is compared with other operators of similar type and logical complexity. Namely we examine positive operators whose defining formula has a canonical form containing at most a string of universal quantifiers. We call them ?‐operators. The question we address in this paper is: How is the class of ?‐operators generated ? It is shown that every positive ?‐operator Γ such that Γ(??) ≠ ??, is finitely generated from ??, the identity operator Id, constant operators and certain trivial ones by composition, ∪ and ∩. This extends results of [3] concerning bounded positive operators.     

On perturbations of matrix pencils with real spectra, a revisit

This paper continues earlier studies by Bhatia and Li on eigenvalue perturbation theory for diagonalizable matrix pencils having real spectra. A unifying framework for creating crucial perturbation equations is developed. With the help of a recent result on generalized commutators involving unitary matrices, new and much sharper bounds are obtained.