Uniform convergence of Galerkin‐multigrid methods for nonconforming finite elements for second‐order problems with less than full elliptic regularity

In this article we prove uniform convergence estimates for the recently developed Galerkin‐multigrid methods for nonconforming finite elements for second‐order problems with less than full elliptic regularity. These multigrid methods are defined in terms of the “Galerkin approach,” where quadratic forms over coarse grids are constructed using the quadratic form on the finest grid and iterated coarse‐to‐fine intergrid transfer operators. Previously, uniform estimates were obtained for problems with full elliptic regularity, whereas these estimates are derived with less than full elliptic regularity here. Applications to the nonconforming P₁, rotated Q₁, and Wilson finite elements are analyzed. The result applies to the mixed method based on finite elements that are equivalent to these nonconforming elements. © 2002 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 18: 203–217, 2002; DOI 10.1002/num.10004     

A nonconforming mixed finite element for second-order elliptic problems

In a recent work, Hiptmair [Mathematisches Institut, M9404, 1994] has constructed and analyzed a family of nonconforming mixed finite elements for second-order elliptic problems. However, his analysis does not work on the lowest order elements. In this article, we show that it is possible to construct a nonconforming mixed finite element for the lowest order case. We prove the convergence and give estimates of optimal order for this finite element. Our proof is based on the use of the properties of the so-called nonconforming bubble function to control the consistency terms introduced by the nonconforming approximation. We further establish an equivalence between this mixed finite element and the nonconforming piecewise quadratic finite element of Fortin and Soulie [J. Numer. Methods Eng., 19, 505–520, 1983]. © 1997 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 13: 445–457, 1997     

Weak compactness in

We characterize weak compactness and weak conditional compactness of subsets of in terms of regular methods of summability. We also study when these results still hold using only convergence in the sense of Cesàro.

     

Tarski's finite basis problem via

R. McKenzie has recently associated to each Turing machine a finite algebra having some remarkable properties. We add to the list of properties, by proving that the equational theory of is finitely axiomatizable if halts on the empty input. This completes an alternate (and simpler) proof of McKenzie's negative answer to A. Tarski's finite basis problem. It also removes the possibility, raised by McKenzie, of using to answer an old question of B. Jónsson.

     

The

In this paper we analyze the localization of , the fiber of the double suspension map , with respect to . If four cells at the bottom of , the th extended power spectrum of the Moore spectrum, are collapsed to a point, then one obtains a spectrum . Let be the James-Hopf map followed by the collapse map. Then we show that the secondary suspension map has a lifting to the fiber of and this lifting is shown to be a -periodic equivalence, hence an -equivalence.

     

On Eisenstein series and

In this paper, we derive some new identities satisfied by the series using Ramanujan's identities for , and . Our work is motivated by an attempt to develop a theory of elliptic functions to the septic base.

     

非匹配网格上Stokes-Darcy 问题非协调元离散的两水平和多水平方法

本文讨论了非匹配网格上Stokes-Darcy 问题的两种低阶非协调元方法, 给出了误差估计, 对耦合的非协调元离散问题, 通过粗网格求得的界面条件, 我们提出了一个解耦的两水平算法. 并且我们将两水平方法推广到多水平情形, 其只需在一个很粗的网格上解一耦合问题, 然后在逐步加细的网格上求解解耦的问题, 理论分析和数值试验都说明方法的高效性.     

Exotic cohomology for

We show that for the mod group cohomology of is not detected on diagonal matrices.

     

A robust nonconforming -element

Finite element methods for some elliptic fourth order singular perturbation problems are discussed. We show that if such problems are discretized by the nonconforming Morley method, in a regime close to second order elliptic equations, then the error deteriorates. In fact, a counterexample is given to show that the Morley method diverges for the reduced second order equation. As an alternative to the Morley element we propose to use a nonconforming -element which is -conforming. We show that the new finite element method converges in the energy norm uniformly in the perturbation parameter.

     

Evaluation of discrete logarithms in a group of

We show that to solve the discrete log problem in a subgroup of order of an elliptic curve over the finite field of characteristic one needs operations in this field.

     

Zero divisors and

Let be a discrete group, the group ring of over and the Lebesgue space of with respect to Haar measure. It is known that if is torsion free elementary amenable, and , then . We will give a sufficient condition for this to be true when , and in the case we will give sufficient conditions for this to be false when .

     

The fundamental lemma for

The fundamental lemma is a conjectural identity between the orbital integrals on two reductive groups. The fundamental lemma is required for the stabilization of the trace formula and for various applications to automorphic forms. This paper proves the fundamental lemma for the group and its endoscopic groups.

     

Bifurcation problems for the

In this paper we consider the bifurcation problem

in with . We show that a continuum of positive solutions bifurcates out from the principal eigenvalue of the problem

Here both functions and may change sign.

     

Some characterizations of

We show that a function on the unit disk extends continuously to , the maximal ideal space of iff it is uniformly continuous (in the hyperbolic metric) and close to constant on the complementary components of some Carleson contour.

     

The irrationality of

We shall show that the numbers and
are linearly independent over for any natural number . The key is to construct explicit Padé-type approximations using Legendre-type polynomials.

     

On polarized surfaces

Let be a smooth projective surface over and an ample Cartier divisor on . If the Kodaira dimension or , the author proved , where . If , then the author studied with . In this paper, we study the polarized surface with , , and .

     

Normal subgroups of

We classify the normal subgroups of of index less than 960; they are all congruence subgroups.

     

Conjugate points in

An example of a geodesic in with conjugate points is given, thus providing an affirmative answer to a question of V.I. Arnold.

     

Polynomial continuity on

A mapping between Banach spaces is said to be polynomially continuous if its restriction to any bounded set is uniformly continuous for the weak polynomial topology. A Banach space has property (RP) if given two bounded sequences , we have that for every polynomial on whenever for every polynomial on ; i.e., the restriction of every polynomial on to each bounded set is uniformly sequentially continuous for the weak polynomial topology. We show that property (RP) does not imply that every scalar valued polynomial on must be polynomially continuous.