Finite Abelian Groups of K3 Surfaces with Smooth Quotient

The quotient space of a K3 surface by a finite group is an Enriques surface or a rational surface if it is smooth. Finite groups where the quotient space are Enriques surfaces are known. In this paper, by analyzing effective divisors on smooth rational surfaces, the author will study finite groups which act faithfully on K3 surfaces such that the quotient space are smooth. In particular, he will completely determine effective divisors on Hirzebruch surfaces such that there is a finite Abelian co...     

Postprocessing and higher order convergence for the mixed finite element approximations of the Stokes eigenvalue problems

In this paper we propose a method for improving the convergence rate of the mixed finite element approximations for the Stokes eigenvalue problem. It is based on a postprocessing strategy that consists of solving an additional Stokes source problem on an augmented mixed finite element space which can be constructed either by refining the mesh or by using the same mesh but increasing the order of the mixed finite element space. Dedicated to Ivan Hlaváček on the occasion of his 75th birthday     

ERROR ESTIMATES FOR TWO-SCALE COMPOSITE FINITE ELEMENT APPROXIMATIONS OF NONLINEAR PARABOLIC EQUATIONS

We study spatially semidiscrete and fully discrete two-scale composite finite element method for approximations of the nonlinear parabolic equations with homogeneous Dirich-let boundary conditions in a convex polygonal domain in the plane.This new class of finite elements,which is called composite finite elements,was first introduced by Hackbusch and Sauter[Numer.Math.,75(1997),pp.447-472]for the approximation of partial differential equations on domains with complicated geometry.The aim of this paper is to introduce an efficient numerical method which gives a lower dimensional approach for solving par-tial differential equations by domain discretization method.The composite finite element method introduces two-scale grid for discretization of the domain,the coarse-scale and the fine-scale grid with the degrees of freedom lies on the coarse-scale grid only.While the fine-scale grid is used to resolve the Dirichlet boundary condition,the dimension of the finite element space depends only on the coarse-scale grid.As a consequence,the resulting linear system will have a fewer number of unknowns.A continuous,piecewise linear composite finite element space is employed for the space discretization whereas the time discretization is based on both the backward Euler and the Crank-Nicolson methods.We have derived the error estimates in the L∞(L2)-norm for both semidiscrete and fully discrete schemes.Moreover,numerical simulations show that the proposed method is an efficient method to provide a good approximate solution.     

A Sparse Grid Stochastic Collocation Discontinuous Galerkin Method for Constrained Optimal Control Problem Governed by Random Convection Dominated Diffusion Equations

A sparse grid stochastic collocation method combined with discontinuous Galerkin method is developed for solving convection dominated diffusion optimal control problem with random coefficients. By the optimal control theory, an optimality system is obtained for the problem, which consists of a state equation, a co-state equation and an inequality. Based on finite dimensional noise assumption of random field, the random coefficients are assumed to have finite term expansions depending on a finite number of mutually independent random variables in the probability space. An approximation scheme is established by using a discontinuous Galerkin method for the physical space and a sparse grid stochastic collocation method based on the Smolyak construction for the probability space, which leads to the solution of uncoupled deterministic problems. A priori error estimates are derived for the state, co-state and control variables. Numerical experiments are presented to illustrate the theoretical results.     

A Multilevel Correction Method for Steklov Eigenvalue Problem by Nonconforming Finite Element Methods

In this paper, a multilevel correction scheme is proposed to solve the Steklov eigenvalue problem by nonconforming finite element methods. With this new scheme, the accuracy of eigenpair approximations can be improved after each correction step which only needs to solve a source problem on finer finite element space and an Steklov eigenvalue problem on the coarsest finite element space. This correction scheme can increase the overall efficiency of solving eigenvalue problems by the nonconforming finite element method. Furthermore, as same as the direct eigenvalue solving by nonconforming finite element methods, this multilevel correction method can also produce the lower-bound approximations of the eigenvalues.     

Finite element differential forms

A differential form is a field which assigns to each point of a domain an alternating multilinear form on its tangent space. The exterior derivative operation, which maps differential forms to differential forms of the next higher order, unifies the basic first order differential operators of calculus, and is a building block for a great variety of differential equations. When discretizing such differential equations by finite element methods, stable discretization depends on the development of spaces of finite element differential forms. As revealed recently through the finite element exterior calculus, for each order of differential form, there are two natural families of finite element subspaces associated to a simplicial triangulation. In the case of forms of order zero, which are simply functions, these two families reduce to one, which is simply the well-known family of Lagrange finite element subspaces of the first order Sobolev space. For forms of degree 1 and of degree n − 1 (where n is the space dimension), we obtain two natural families of finite element subspaces, unifying many of the known mixed finite element spaces developed over the last decades. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

The product of affine orthogonal projections

In the case of a finite number of subspaces in a given Hilbert space, by a theorem of J. von Neumann, the iteration of the product of projectors is always convergent. In a finite dimensional Hilbert space, this theorem has been generalized for affine subspaces. In this paper we construct an example which shows that this result does not hold in the infinite dimensional case.     

Tree-valued resampling dynamics Martingale problems and applications

The measure-valued Fleming–Viot process is a diffusion which models the evolution of allele frequencies in a multi-type population. In the neutral setting the Kingman coalescent is known to generate the genealogies of the “individuals” in the population at a fixed time. The goal of the present paper is to replace this static point of view on the genealogies by an analysis of the evolution of genealogies. We encode the genealogy of the population as an (isometry class of an) ultra-metric space which is equipped with a probability measure. The space of ultra-metric measure spaces together with the Gromov-weak topology serves as state space for tree-valued processes. We use well-posed martingale problems to construct the tree-valued resampling dynamics of the evolving genealogies for both the finite population Moran model and the infinite population Fleming–Viot diffusion. We show that sufficient information about any ultra-metric measure space is contained in the distribution of the vector of subtree lengths obtained by sequentially sampled “individuals”. We give explicit formulas for the evolution of the Laplace transform of the distribution of finite subtrees under the tree-valued Fleming–Viot dynamics.     

基于二重网格的定常Navier-Stokes方程的局部和并行有限元算法

对二维定常的不可压缩的Navier-Stokes方程的局部和并行算法进行了研究．给出的算法是多重网格和区域分解相结合的算法,它是基于两个有限元空间:粗网格上的函数空间和子区域的细网格上的函数空间．局部算法是在粗网格上求一个非线性问题,然后在细网格上求一个线性问题,并舍掉内部边界附近的误差相对较大的解．最后,基于局部算法,通过有重叠的区域分解而构造了并行算法,并且做了算法的误差分析,得到了比标准有限元方法更好的误差估计,也对算法做了数值试验,数值结果通过比较验证了本算法的高效性和合理性．     

Values and semivalues on subspaces of finite games

It is proved that every value or semivalue on a linear symmetric subspace of finite games is the restriction to this subspace of a semivalue on the space of all finite games.The theorem is proved for the space of all finite games on a fixed finite set of players, and for the space of all games with a finite support on an infinite set of players (the universe of players).     

THE FUNCTIONAL DIMENSION OF SOME CLASSES OF SPACES

The functional dimension of countable Hilbert spaces has been discussed by some authors. They showed that every countable Hilbert space with finite functional dimension is nuclear. In this paper the authors do further research on the functional dimension, and obtain the following results: (1) They construct a countable Hilbert space, which is nuclear, but its functional dimension is infinite. (2) The functional dimension of a Banach space is finite if and only if this space is finite dimensional. (3) Let B be a Banach space, B* be its dual, and denote the weak * topology of B* by σ(B*,B). Then the functional dimension of (B*,σ(B*,B)) is 1. By the third result, a class of topological linear spaces with finite functional dimension is presented.     

On a Generalization of the Hermite Constant

We report some results on the theory of quasiperiodic sphere packings controlled by a finite group G in the n-dimensional Euclidean space, constructed by means of an higher dimensional Euclidean space which contains G-invariant lattices. A generalization of the Hermite constant is used to find upper bounds of the density.     

On the cohomology of free and twisted loop spaces

A natural extension of the cohomology suspension to a free loop space is constructed from the evaluation map and is shown to have good properties in cohomology calculation. This map is generalized to a twisted loop space which is a space of paths twisted by a given self-map of the underlying space. As an application, the cohomology of free and twisted loop spaces of classifying spaces of compact Lie groups, including some finite Chevalley groups, is calculated.     

Model reduction on inertial manifolds for N–S equations approached by multilevel finite element method

Approximate Inertial Manifolds (AIMs) is approached by multilevel finite element method, which can be referred to as a Post-processed nonlinear Galerkin finite element method, and is applied to the model reduction for fluid dynamics, a typical kind of nonlinear continuous dynamic system from viewpoint of nonlinear dynamics. By this method, each unknown variable, namely, velocity and pressure, is divided into two components, that is the large eddy and small eddy components. The interaction between large eddy and small eddy components, which is negligible if standard Galerkin algorithm is used to approach the original governing equations, is considered essentially by AIMs, and consequently a coarse grid finite element space and a fine grid incremental finite element space are introduced to approach the two components. As an example, the flow field of incompressible flows around airfoil is simulated numerically and discussed, and velocity and pressure distributions of the flow field are obtained accurately. The results show that there exists less essential degrees-of-freedom which can dominate the dynamic behaviors of the discretized system in comparison with the traditional methods, and large computing time can be saved by this efficient method. In a sense, the small eddy component can be captured by AIMs with fewer grids, and an accurate result can also be obtained.     

Near rings associated with Sperner spaces

In this paper we introduce Sperner spaces with operators, denoted by TSO, and associate to each such space a near-ring. The associated near-ring provides a generalization of the kernel of an affine translation space. We obtain a characterization of those TSO for which the associated near-ring is a near-field. Special attention is given to finite TSO's with cyclic monoids of operators.     

Sets of finite perimeter and the Hausdorff-Gauss measure on the Wiener space

In Euclidean space, the integration by parts formula for a set of finite perimeter is expressed by the integration with respect to a type of surface measure. According to geometric measure theory, this surface measure is realized by the one-codimensional Hausdorff measure restricted on the reduced boundary and/or the measure-theoretic boundary, which may be strictly smaller than the topological boundary. In this paper, we discuss the counterpart of this measure in the abstract Wiener space, which is a typical infinite-dimensional space. We introduce the concept of the measure-theoretic boundary in the Wiener space and provide the integration by parts formula for sets of finite perimeter. The formula is presented in terms of the integration with respect to the one-codimensional Hausdorff-Gauss measure restricted on the measure-theoretic boundary.     

關於Borsuk的絕對同倫擴充性質的討論

<正> 序言.在同倫論中,常常需要考慮滿足這種性質的拓撲空間X設Y為任意的一個正規空間,B為Y的任何一個非空閉集,任何一個由B×(0,1)+Y×(0)到X的映像都可以扩充為一個由Y×(0,1)到X的映像,我們稱這種性質為絕對同倫扩充性質,具有這種性質的空間以及用AHE表示.Borsuk曾經介紹這樣一個重要的定理:     

Gromov-Hausdorff convergence to nonmanifolds

We construct sequences of S⁷’s in Gromov-Hausdorff space converging to nonmanifolds. The manifolds in these sequences have a common contractibility function. There are two main classes of examples—examples for which the limit is an infinite-dimensional space of finite cohomological dimension and examples for which the limit is a finite-dimensional ANR homology manifold. Communicated by Karsten Grove     

Ovoids in finite uniform linear spaces

The concept of an ovoid is extended to linear spaces, and it is shown that a finite uniform linear space with an ovoid is either a trivial structure on a finite set, or else either two or three dimensional. In the three dimensional case, the ovoid is directly related to an inversive plane, in much the same way that an ovoid in a finite projective space is.Dedicated to Professor Tallini on the occasion of his 60th birthday     

The Generalized Moment Problem Associated with Correlation Measures

The classical power moment problem can be viewed as a theory of spectral representations of a positive functional on some classical commutative algebra with involution. We generalize this approach to the case in which the algebra is a special commutative algebra of functions on the space of multiple finite configurations. If the above-mentioned functional is generated by a measure on the space of finite ordinary configurations, then this measure is the correlation measure for a measure on the space of infinite configurations. The positiveness of the functional gives conditions for the measure to be a correlation measure.