二维非线性对流扩散方程特征有限元的两重网络算法

针对二维非线性对流扩散方程,构造了特征有限元两重网格算法．该算法只需要在粗网格上进行非线性迭代运算,而在所需要求解的细网格上进行一次线性运算即可．对于非线性对流占优扩散方程,不仅可以消除因对流占优项引起的数值振荡现象,还可以加快收敛速度、提高计算效率．误差估计表明只要选取粗细网格步长满足一定的关系式,就可以使两重网格解与有限元解保持同样的计算精度．算例显示:两重网格算法比特征有限元算法的收敛速度明显加快．     

Gradient superconvergence on uniform simplicial partitions of polytopes

Superconvergence of the gradient for the linear simplicial finite-elementmethod applied to elliptic equations is a well known featurein one, two, and three space dimensions. In this paper we showthat, in fact, there exists an elegant proof of this featureindependent of the space dimension. As a result, superconvergencefor dimensions four and up is proved simultaneously. The keyingredient will be that we embed the gradients of the continuouspiecewise linear functions into a larger space for which wedescribe an orthonormal basis having some useful symmetry properties.Since gradients and rotations of standard finite-element functionsare in fact the rotation-free and divergence-free elements ofRaviart–Thomas and Nédélec spaces in threedimensions, we expect our results to have applications alsoin those contexts.     

Trivariate Cr Polynomial Macroelements

Trivariate C^r macroelements defined in terms of polynomials of degree 8r + 1 on tetrahedra are analyzed. For r = 1,2, these spaces reduce to well-known macroelement spaces used in data fitting and in the finite-element method. We determine the dimension of these spaces, and describe stable local minimal determining sets and nodal minimal determining sets. We also show that the spaces approximate smooth functions to optimal order.     

Adaptive finite element methods for conservation laws based on a posteriori error estimates

We prove a posteriori error estimates for a finite element method for systems of strictly hyperbolic conservation laws in one space dimension, and design corresponding adaptive methods. The proof of the a posteriori error estimates is based on a strong stability estimate for an associated dual problem, together with the Galerkin orthogonality of the finite-element method. The strong stability estimate uses the entropy condition for the system in an essential way. ©1995 John Wiley & Sons, Inc.     

Residual a posteriori error estimates for a 3D mortar finite-element method: the Stokes system

We consider a non-conforming domain decomposition techniquefor the discretization of the three-dimensional Stokes equationsby the mortar finite-element method. Relying on the velocity–pressureformulation of the system, we perform the numerical analysisof residual error indicators for this problem and we prove thatthe error estimators provide upper and lower bounds for theenergy norm of the mortar finite-element solution.     

The discrete Douglas problem: convergence results

We solve the problem of finding and justifying an optimal fullydiscrete finite-element procedure for approximating annulus-like,possibly unstable, minimal surfaces. In a previous paper weintroduced the general framework, obtained some preliminaryestimates, developed the ideas used for the algorithm, and gavenumerical results. In this paper we prove convergence estimates.     

On certain homological finiteness conditions

In this paper, we show that the injective dimension of all projective modules over a countable ring is bounded by the self-injective dimension of the ring. We also examine the extent to which the flat length of all injective modules is bounded by the flat length of an injective cogenerator. To that end, we study the relation between these finiteness conditions on the ring and certain properties of the (strict) Mittag–Le?er modules. We also examine the relation between the self-injective dimension of the integral group ring of a group and Ikenaga’s generalized (co-)homological dimension.     

Excellent扩张和弱维数

在这篇文章里，我们证明了，当环Ｓ是Ｒ的ｅｘｃｅｌｌｅｎｔ扩张，Ｍ是Ｓ－模时，Ｍ做为Ｓ－模的弱维数与Ｍ做为Ｒ－模的弱维数相等。     

Approximation par éléments finis de problèmes elliptiques d'optimisation de forme

We consider a problem of elliptic optimal design. The control is the shape of the domain on which the Dirichlet problem for the Laplace equation is posed. In dimension n=2, S?veràk proved that there exists an optimal domain in the class of all open subsets of a given bounded open set, whose complements have a uniformly bounded number of connected components. The proof (J. Math. Pures Appl. 72 (1993) 537–551) is based on the compactness of this class of domains with respect to the complementary-Hausdorff topology and the continuous dependence of the solutions of the Dirichlet Laplacian in H¹ with respect to it. In this Note we consider a finite-element discrete version of this problem and prove that the discrete optimal domains converge in that topology towards the continuous one as the mesh-size tends to zero. The key point of the proof is that finite-element approximations of the solution of the Dirichlet Laplacian converge in H¹ whenever the polygonal domains converge in the sense of that topology. To cite this article: D. Chenais, E. Zuazua, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Optimal-order quadratic interpolation in vertices of unstructured triangulations

We study the problem of Lagrange interpolation of functions of two variables by quadratic polynomials under the condition that nodes of interpolation are vertices of a triangulation. For an extensive class of triangulations we prove that every inner vertex belongs to a local six-tuple of vertices which, used as nodes of interpolation, have the following property: For every smooth function there exists a unique quadratic Lagrange interpolation polynomial and the related local interpolation error is of optimal order. The existence of such six-tuples of vertices is a precondition for a successful application of certain post-processing procedures to the finite-element approximations of the solutions of differential problems. This work was supported by the grant GA ČR 103/05/0292.     

Quasi-injective dimension

Following our previous work about quasi-projective dimension [11], in this paper, we introduce quasi-injective dimension as a generalization of injective dimension. We recover several well-known results about injective and Gorenstein-injective dimensions in the context of quasi-injective dimension such as the following. (a) If the quasi-injective dimension of a finitely generated module M over a local ring R is finite, then it is equal to the depth of R. (b) If there exists a finitely generated module of finite quasi-injective dimension and maximal Krull dimension, then R is Cohen-Macaulay. (c) If there exists a nonzero finitely generated module with finite projective dimension and finite quasi-injective dimension, then R is Gorenstein. (d) Over a Gorenstein local ring, the quasi-injective dimension of a finitely generated module is finite if and only if its quasi-projective dimension is finite.     

Rings Over Which the Class of Gorenstein Flat Modules is Closed Under Extensions

A ring R is called left “GF-closed”, if the class of all Gorenstein flat left R-modules is closed under extensions. The class of left GF-closed rings includes strictly the one of right coherent rings and the one of rings of finite weak dimension.

In this article, we investigate the Gorenstein flat dimension over left GF-closed rings. Namely, we generalize the fact that the class of all Gorenstein flat left modules is projectively resolving over right coherent rings to left GF-closed rings. Also, we generalize the characterization of Gorenstein flat left modules (then of Gorenstein flat dimension of left modules) over right coherent rings to left GF-closed rings. Finally, using direct products of rings, we show how to construct a left GF-closed ring that is neither right coherent nor of finite weak dimension.     

A fast algorithm for image registration

An algorithm is presented here to estimate a smooth motion at a high frame rate. It is derived from the non-linear constant brightness assumption. A hierarchical approach reduces the dimension of the space of admissible displacements, hence the number of unknown parameters is small compared to the size of the data. The optimal displacement is estimated by a Gauss–Newton method, and the matrix required at each step is assembled rapidly using a finite-element method. To cite this article: J. Fehrenbach, M. Masmoudi, C. R. Acad. Sci. Paris, Ser. I 346 (2008).     

Gorenstein Analogue of Auslander's Theorem on the Global Dimension

In this paper, we prove that the Gorenstein analogue of the well-known Auslander's theorem on the global dimension holds true. Namely, we prove that the Gorenstein global dimension of a commutative ring R is equal to the supremum of the set of Gorenstein projective dimensions of all cyclic R-modules.     

Approximation of Singularities by Quantized-Tensor FEM

In d dimensions, first-order tensor-product finite-element (FE) approximations of the solutions of second-order elliptic problems are well known to converge algebraically, with rate at most 1/d in the energy norm and with respect to the number of degrees of freedom. On the other hand, FE methods of higher regularity may achieve exponential convergence, e.g. global spectral methods for analytic solutions and hp methods for solutions from certain countably normed spaces, which may exhibit singularities. In this note, we revisit, in one dimension, the tensor-structured approach to the h-FE approximation of singular functions. We outline a proof of the exponential convergence of such approximations represented in the quantized-tensor-train (QTT) format. Compared to special approximation techniques, such as hp, that approach is fully adaptive in the sense that it finds suitable approximation spaces algorithmically. The convergence is measured with respect to the number of parameters used to represent the solution, which is not the dimension of the first-order FE space, but depends only polylogarithmically on that. We demonstrate the convergence numerically for a simple model problem and find the rate to be approximately the same as for hp approximations. (© 2015 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Difference approximations for wave equations via finite elements II. Error analysis

Difference-like schemes for the wave equation arise naturally from a Galerkin finite-element formulation, if we adopt certain quadrature rules in evaluating the mass and stiffness matrices. One can extend these schemes to problems involving sharp interfaces by applying the quadrature on a refinement of the finite-element grid that includes the interfaces. We develop error estimates for this modified scheme that corroborate numerical results for acoustic and elastic wave equations, presented in a companion article. © 1995 John Wiley & Sons, Inc.     

Asymptotic properties of groups acting on complexes

We examine asymptotic dimension and property A for groups acting on complexes. In particular, we prove that the fundamental group of a finite, developable complex of groups will have finite asymptotic dimension provided the geometric realization of the development has finite asymptotic dimension and the vertex groups are finitely generated and have finite asymptotic dimension. We also prove that property A is preserved by this construction provided the geometric realization of the development has finite asymptotic dimension and the vertex groups all have property A. These results naturally extend the corresponding results on preservation of these large-scale properties for fundamental groups of graphs of groups. We also use an example to show that the requirement that the development have finite asymptotic dimension cannot be relaxed.

     

Error analysis of the finite-strip method for parabolic equations

The finite-strip method (FSM) is a hybrid technique which combines spectral and finite-element methods. Finite-element approximations are made for each mode of a finite Fourier series expansion. The Galerkin formulated method is set apart from other weighted-residual techniques by the selection of two types of basis functions, a piecewise linear interpolating function and a trigonometric function. The efficiency of the FSM is due in part to the orthogonality of the complex exponential basis: The linear system which results from the weak formulation is decoupled into several smaller systems, each of which may be solved independently. An error analysis for the FSM applied to time-dependent, parabolic partial differential equations indicates the numerical solution error is O(h² + M^?r). M represents the Fourier truncation mode number and h represents the finite-element grid mesh. The exponent r ≥ 2 increases with the exact solution smoothness in the respective dimension. This error estimate is verified computationally. Extending the result to the finite-layer method, where a two-dimensional trigonometric basis is used, the numerical solution error is O(h² + M^?r + N^?q). The N and q represent the trucation mode number and degree of exact solution smoothness in the additional dimension. © 1993 John Wiley & Sons, Inc.     

Multiplication of distributions in any dimension: Applications to δ-function and its derivatives

In two previous papers the author introduced a multiplication of distributions in one dimension and he proved that two one-dimensional Dirac delta functions and their derivatives can be multiplied, at least under certain conditions. Here, mainly motivated by some engineering applications in the analysis of the structures, we propose a different definition of multiplication of distributions which can be easily extended to any spatial dimension. In particular we prove that with this new definition delta functions and their derivatives can still be multiplied.     

Characterization of eventually periodic modules in the singularity categories

The singularity category of a ring makes only the modules of finite projective dimension vanish among the modules, so that the singularity category is expected to characterize a homological property of modules of infinite projective dimension. In this paper, among such modules, we deal with eventually periodic modules over a left artin ring, and, as our main result, we characterize them in terms of morphisms in the singularity category. As applications, we first prove that, for the class of finite dimensional algebras over a field, being eventually periodic is preserved under singular equivalence of Morita type with level. Moreover, we determine which finite dimensional connected Nakayama algebras are eventually periodic when the ground field is algebraically closed.