A new stabilized finite volume method for the stationary Stokes equations

In this paper we develop and study a new stabilized finite volume method for the two-dimensional Stokes equations. This method is based on a local Gauss integration technique and the conforming elements of the lowest-equal order pair (i.e., the P ₁–P ₁ pair). After a relationship between this method and a stabilized finite element method is established, an error estimate of optimal order in the H ¹-norm for velocity and an estimate in the L ²-norm for pressure are obtained. An optimal error estimate in the L ²-norm for the velocity is derived under an additional assumption on the body force. This work is supported in part by the NSF of China 10701001 and by the US National Science Foundation grant DMS-0609995 and CMG Chair Funds in Reservoir Simulation.     

The lagrange intersections for (ℂP n , ℝP n )

Summary If (M, ω) is a compact symplectic manifold andL ⊂M a compact Lagrangian submanifold and if φ is a Hamiltonian diffeomorphism ofM then the V. Arnold conjecture states (possibly under additional conditions) that the number of intersection section points ofL and φ (L) can be estimated by #{Lϒφ (L)}≥ cuplength +1. We shall prove this conjecture for the special case (L, M)=(ℝP ⁿ , ℂP ⁿ ) with the standard symplectic structure.     

The intersection of the powers of the radical in Noetherian P.I. rings

LetR be a ring and J its radical. DefineJ ₁=∩Jⁿ, J₂=∩J ₁ ⁿ ,…,… J_k=∩J _k−1 ⁿ .... It is shown that in a ringR satisfying a polynomial identity and the ascending chain condition on ideals,J _k =0 for some appropriatek. The work of the first author was supported by an NSF grant at the University of Chicago. The work of the second author was supported by an NSF grant at the University of California, San Diego.     

Polynomials of best approximation inC[−1,1]

Equivalences between the condition |P _n ^(k) (x)|≦K(n ⁻¹√1−x ²+1/n ²) ^k n ^-a, whereP _n(x) is the bestn-th degree polynomial approximation tof(x), and the Peetre interpolation space betweenC[−1,1] and the space (1−x ²) ^k f ^(2k)(x)∈C[−1,1] is established. A similar result is shown forE _n(f)= ‖f−P _n‖ _C[−1,1]. Rates other thann ^-a are also discussed. Supported by NSERC grant A4816 of Canada.     

On the number of generators needed for free profinite products of finite groups

We provide lower estimates on the minimal number of generators of the profinite completion of free products of finite groups. In particular, we show that if C ₁, ..., C _n are finite cyclic groups then there exists a finite group G which is generated by isomorphic copies of C ₁, ..., C _n and the minimal number of generators of G is n. The first author’s research is partially supported by NSF grant DMS-0701105. The second author’s research is partially supported by OTKA grant T38059 and the Magyary Zoltán Postdoctoral Fellowship.     

Riesz frames and approximation of the frame coefficients

A frame is a fmaily {f _i } _i=1 ^∞ of elements in a Hilbert space with the property that every element in can be written as a (infinite) linear combination of the frame elements. Frame theory describes how one can choose the corresponding coefficients, which are called frame coefficients. From the mathematical point of view this is gratifying, but for applications it is a problem that the calculation requires inversion of an operator on . The projection method is introduced in order to avoid this problem. The basic idea is to consider finite subfamilies {f _i } _i=1 ⁿ of the frame and the orthogonal projection P_n onto its span. For has a representation as a linear combination of f_i, i=1,2,..., n and the corresponding coefficients can be calculated using finite dimensional methods. We find conditions implying that those coefficients converge to the correct frame coefficients as n→∞, in which case we have avoided the inversion problem. In the same spirit we approximate the solution to a moment problem. It turns out, that the class of “well-behaving frames” are identical for the two problems we consider. The first named author is partially supported by NSF DMS 9201357, Danish NSRC grant 9401958, Missouri Research Board grant C-3-41743, and a Missouri Research Council Summer Fellowship.     

Uniformly non-l n (1) Musielak-Orlicz sequence spaces

We give a necessary and sufficient condition for the uniformly non-l _n ⁽¹⁾ property of Musielak-Orlicz sequence spacesl ^Φ generated by a sequence Φ=(ϕ_n:n⩾l) of finite Orlicz functions such that for eachn∈ℕ. As a result, forn ₀⩾2, there exist spacesl ^Φ which are only uniformly non-l _n ⁽¹⁾ forn⩾n ₀. Moreover we obtain a characterization of uniformly non-l _n ⁽¹⁾ and reflexive Orlicz sequence spaces over a wide class of purely atomic measures and of uniformly non-l _n ⁽¹⁾ Nakano sequence spaces. This extends a result of Luxemburg in [19]. Submitted in memory of Professor W. Orlicz     

The subindependence of coordinate slabs inl p n balls

It is proved that if the probabilityP is normalised Lebesgue measure on one of thel _p ⁿ balls in R ⁿ , then for any sequencet ₁ , t ₂ , …, t _n of positive numbers, the coordinate slabs {|x _i |≤t _i } are subindependent, namely, . A consequence of this result is that the proportion of the volume of thel ₁ ⁿ ball which is inside the cube[−1, t] ⁿ is less than or equal tof _n (t)=(1−(1−t) ⁿ ) ⁿ . It turns out that this estimate is remarkably accurate over most of the range of values oft. A reverse inequality, demonstrating this, is the second major result of the article. Supported in part by NSF DMS-9257020. Supported by a grant from Public Benefit Foundation Alexander S. Onassis. This work will form part of a Ph.D. thesis written by the second-named author.     

Test elements for endomorphisms of free groups and algebras

LetE be a bounded Borel subset of ℝⁿ,n≥2, of positive Lebesgue measure andP _E the corresponding ‘Pompeiu transform”. We prove thatP _E is injective onL ^p(ℝⁿ) if 1≤p≤2n/(n-1). We explore the connection between this problem and a Wiener-Tauberian type theorem for theM(n) action onL ^q(ℝⁿ) for various values ofq. We also take up the question of whenP _E is injective in caseE is of finite, positive measure, but is not necessarily a bounded set. Finally, we briefly look at these questions in the contexts of symmetric spaces of compact and non-compact type.     

On Liouville’s theorem for locally quasiregular mappings inR n

Letf:R ⁿ→Rⁿ be locally quasiregular in the sense that the restriction off to any ball |x|<r has finite inner dilatationK ₁(r). Suppose that the growth condition ∫^∞r^-1K₁(r)^1/(1-n) holds. Then Liouville’s theorem is valid:If f is bounded, f is a constant. An example shows that this growth condition is relatively sharp.     

Analytic proof of the partition identity A 5,3,3(n)=B 5,3,3 0 (n)

In this paper we give an analytic proof of the identity A _5,3,3(n)=B _5,3,3⁰(n), where A _5,3,3(n) counts the number of partitions of n subject to certain restrictions on their parts, and B _5,3,3⁰(n) counts the number of partitions of n subject to certain other restrictions on their parts, both too long to be stated in the abstract. Our proof establishes actually a refinement of that partition identity. The original identity was first discovered by the first author jointly with M. Ruby Salestina and S.R. Sudarshan in [Proceedings of the International Conference on Analytic Number Theory with Special Emphasis on L-functions, Ramanujan Math. Soc., Mysore, 2005, pp. 57–70], where it was also given a combinatorial proof, thus answering a question of Andrews. Research partially supported by EC’s IHRP Programme, grant HPRN-CT-2001-00272, “Algebraic Combinatorics in Europe.”     

On the group of automorphisms of a surfacex n y=P(z)

In this note the AK invariant of a surface in ℂ³ which is given byx ⁿ y=P(z) wheren>1 and deg(P)=d>1 is computed. Then this information is used to find the group of automorphisms of this surface and the isomorphism classes of such surfaces. To the memory of Boris Moishezon The author is supported by an NSF grant DMS-9700894.     

Intersection theorems with geometric consequences

In this paper we prove that ifℱ is a family ofk-subsets of ann-set, μ₀, μ₁, ..., μ_s are distinct residues modp (p is a prime) such thatk ≡ μ₀ (modp) and forF ≠ F′ ≠ℱ we have |F ∩F′| ≡ μ_i (modp) for somei, 1 ≦i≦s, then |ℱ|≦( _s ⁿ ). As a consequence we show that ifR ⁿ is covered bym sets withm<(1+o(1)) (1.2) ⁿ then there is one set within which all the distances are realised. It is left open whether the same conclusion holds for compositep.     

On free semilattice-ordered semigroups satisfying x n =x

Let B(k,0,n) denote the group with k generators which is free in the group variety defined by the identity x ⁿ =1. Let B _slo (k,1,n) denote the semilattice-ordered semigroup with k generators which is free in the semilattice-ordered semigroup variety defined by the identity x ⁿ =x. We prove a generalization of the Green-Rees theorem: B _slo (k,1,n) is finite for all k≥1 if and only if B(k,0,n−1) is finite for all k≥1. We find a formula for card(B _slo (1,1,n)). We construct B _slo (k,1,n) for some concrete values of k and n.     

Irreducible Algebraic Sets in Metabelian Groups

We present the construction for a u-product G₁ ○ G₂ of two u-groups G₁ and G₂, and prove that G₁ ○ G₂ is also a u-group and that every u-group, which contains G₁ and G₂ as subgroups and is generated by these, is a homomorphic image of G₁ ○ G₂. It is stated that if G is a u-group then the coordinate group of an affine space Gⁿ is equal to G ○ F_n, where F_n is a free metabelian group of rank n. Irreducible algebraic sets in G are treated for the case where G is a free metabelian group or wreath product of two free Abelian groups of finite ranks. __________ Translated from Algebra i Logika, Vol. 44, No. 5, pp. 601–621, September–October, 2005. Supported by RFBR grant No. 05-01-00292, by FP “Universities of Russia” grant No. 04.01.053, and by RF Ministry of Education grant No. E00-1.0-12.     

Large subspaces ofl ∞ n and estimates of the gordon-lewis constantand estimates of the gordon-lewis constant

Lower bounds are obtained for thegl constants and hence also for the unconditional basis constants of subspaces of finite dimensional Banach spaces. Sharp results are obtained for subspaces ofl _∞ ⁿ , while in the general case thegl constants of “random large” subspaces are related to the distance of “random large” subspaces to Euclidean spaces. In addition, a new isometric characterization ofl _∞ ⁿ is given, some new information is obtained concerningp-absolutely summing operators, and it is proved that every Banach space of dimensionn contains a subspace whose projection constant is of ordern ^1/2. The research for this paper was begun while both authors were guests of the Mittag-Leffler Institute. Supported in part by NSF-MCS 79-03042.     

Minimal, rigid foliations by curves on ℂℙ n

We prove the existence of minimal and rigid singular holomorphic foliations by curves on the projective space ℂℙ ⁿ for every dimension n≥2 and every degree d≥2. Precisely, we construct a foliation ℱ which is induced by a homogeneous vector field of degree d, has a finite singular set and all the regular leaves are dense in the whole of ℂℙ ⁿ . Moreover, ℱ satisfies many additional properties expected from chaotic dynamics and is rigid in the following sense: if ℱ is conjugate to another holomorphic foliation by a homeomorphism sufficiently close to the identity, then these foliations are also conjugate by a projective transformation. Finally, all these properties are persistent for small perturbations of ℱ.?This is done by considering pseudo-groups generated on the unit ball 𝔹 ⁿ ⊆ℂ ⁿ by small perturbations of elements in Diff(ℂ ⁿ ,0). Under open conditions on the generators, we prove the existence of many pseudo-flows in their closure (for the C ⁰-topology) acting transitively on the ball. Dynamical features as minimality, ergodicity, positive entropy and rigidity may easily be derived from this approach. Finally, some of these pseudo-groups are realized in the transverse dynamics of polynomial vector fields in ℂℙ ⁿ . Received March 7, 2002 / final version received November 26, 2002?Published online February 7, 2003 Most of this work has been carried out during a visit of the first author to IMPA/RJ and a visit of the second author to the University of Lille 1. We would like to thank these institutes for hospitality and express our gratitude to CNPq-Brazil and CNRS-France for the financial support which made these visits possible. We are also indebted to Paulo Sad, Marcel Nicolau and the referee whose comments helped us to improve on the preliminary version. Finally, the second author has partially conducted this research for the Clay Mathematics Institute.     

Realizable posets

Certain p-local orders in n-dimensional division algebras over the rational numbers occur as endomorphism rings of torsion-free abelian groups of rank n if and only if an associated finite poset P has a strict faithful representation of dimension less than |P| over the field with p elements. In this note we obtain a simple characterization of those finite posets which do not admit such a representation.Research supported in part by NSF grant DMS-8802833.     

On the abelianizations of congruence subgroups of Aut(<Emphasis Type="Italic">F</Emphasis><Subscript>2</Subscript>)

Let F _n be the free group of rank n, and let Aut⁺(F _n ) be its special automorphism group. For an epimorphism π : F _n → G of the free group F _n onto a finite group G we call the standard congruence subgroup of Aut⁺(F _n ) associated to G and π. In the case n = 2 we fully describe the abelianization of Γ⁺(G, π) for finite abelian groups G. Moreover, we show that if G is a finite non-perfect group, then Γ⁺(G, π) ≤ Aut⁺(F ₂) has infinite abelianization.