On the regularizing properties of the GMRES method

Summary. The GMRES method is a popular iterative method for the solution of large linear systems of equations with a nonsymmetric nonsingular matrix. However, little is known about the behavior of this method when it is applied to the solution of nonsymmetric linear ill-posed problems with a right-hand side that is contaminated by errors. We show that when the associated error-free right-hand side lies in a finite-dimensional Krylov subspace, the GMRES method is a regularization method. The iterations are terminated by a stopping rule based on the discrepancy principle. Received November 10, 2000 / Revised version received April 11, 2001 / Published online October 17, 2001     

Shared values of meromorphic functions on compact Riemann surfaces

Let S be a compact Riemann surface of genus g and gonality d. We derive upper bounds (in terms of g and/or d) for the number of values that two non-constant meromorphic functions on S can share. The case d = 2 (i.e., the surface is hyperelliptic or elliptic) is studied in more detail.Received: 14 April 2004     

Seifert unions of solid tori

We obtain a list of all 3-manifolds that can be obtained by gluing 3-balls and solid tori along mutually disjoint surfaces in their boundaries. Received: 22 February 2001; in final form: 18 October 2001 / Published online: 4 April 2002     

Finding Einstein solvmanifolds by a variational method

We use a variational approach to prove that any nilpotent Lie algebra having a codimension-one abelian ideal, and anyone of dimension , admits a rank-one solvable extension which can be endowed with an Einstein left-invariant riemannian metric. A curve of -dimensional Einstein solvmanifolds is also given. Received: 29 May 2001; in final form: 4 October 2001 / Published online: 4 April 2002     

Estimates for derivatives of the Poisson kernels on homogeneous manifolds of negative curvature

We obtain estimates for derivatives of the Poisson kernels for the second order differential operators on homogeneous manifolds of negative curvature both in the coercive and noncoercive case. Received: 20 April 2001 / in final form: 18 August 2001 / Published online: 4 April 2002     

Simultaneous metric uniformization of foliations by Riemann surfaces

We consider a two-dimensional linear foliation on torus of arbitrary dimension. For any smooth family of complex structures on the leaves we prove existence of smooth family of uniformizing (conformal complete flat) metrics on the leaves. We extend this result to linear foliations on and families of complex structures with bounded derivatives C ³-close to the standard complex structure. We prove that the analogous statement for arbitrary C two-dimensional foliation on compact manifold is wrong in general, even for suspensions over in dimension 3 the uniformizing metric can be nondifferentiable at some points; in dimension 4 the uniformizing metric of each noncompact leaf can be unbounded.     

On an area-preserving crystalline motion

The asymptotic behavior of solutions to an area-preserving crystalline motion is investigated in this paper. In this equation, the area enclosed by the solution polygon is preserved, while its circumference keeps on shrinking. By geometric consideration, establishing several isoperimetric inequalities and using the theory of dynamical systems, we show that the asymptotic shape of a solution polygon is the boundary of the Wulff shape. Received: 23 February 2000 / Accepted: 23 January 2001 / Published online: 23 April 2001     

Improving on the mle of a bounded location parameter for spherical distributions

For the problem of estimating under squared error loss the location parameter of a p-variate spherically symmetric distribution where the location parameter lies in a ball of radius m, a general sufficient condition for an estimator to dominate the maximum likelihood estimator is obtained. Dominance results are then made explicit for the case of a multivariate student distribution with d degrees of freedom and, in particular, we show that the Bayes estimator with respect to a uniform prior on the boundary of the parameter space dominates the maximum likelihood estimator whenever and d?p. The sufficient condition matches the one obtained by Marchand and Perron (Ann. Statist. 29 (2001) 1078) in the normal case with identity covariance matrix. Furthermore, we derive an explicit class of estimators which, for , dominate the maximum likelihood estimator simultaneously for the normal distribution with identity covariance matrix and for all multivariate student distributions with d degrees of freedom, d?p. Finally, we obtain estimators which dominate the maximum likelihood estimator simultaneously for all distributions in the subclass of scale mixtures of normals for which the scaling random variable is bounded below by some positive constant with probability one.     

Cohomologies of a double covering of a non-singular algebraic 3-fold

In this paper we study the Hodge numbers of a branched double covering of a smooth, complete algebraic threefold. The involution on the double covering gives a splitting of the Hodge groups into symmetric and skew-symmetric parts. Since the symmetric part is naturally isomorphic to the corresponding Hodge group of the base we study only the skew-symmetric parts and prove that in many cases it can be computed explicitly. Received: 6 March 2001 / in final form: 4 September 2001/ Published online: 4 April 2002     

Grothendieck groups of unbounded complexes of finitely generated modules

Let Λ be a left Artinian ring, D⁺(mod Λ) (resp., D⁻(mod Λ), D(mod Λ)) the derived category of bounded below complexes (resp., bounded above complexes, unbounded complexes) of finitely generated left Λ-modules. We show that the Grothendieck groups K₀(D⁺(mod Λ)), K₀(D⁻(mod Λ)) and K₀(D(mod Λ)) are trivial. Received: 7 April 2005     

An index theory for paths that are solutions of a class of strongly indefinite variational problems

We generalize the Morse index theorem of [12,15] and we apply the new result to obtain lower estimates on the number of geodesics joining two fixed non conjugate points in certain classes of semi-Riemannian manifolds. More specifically, we consider semi-Riemannian manifolds admitting a smooth distribution spanned by commuting Killing vector fields and containing a maximal negative distribution for . In particular we obtain Morse relations for stationary semi-Riemannian manifolds (see [7]) and for the G?del-type manifolds (see [3]). Received: 4 April 2001 / Accepted: 27 September 2001 / Published online: 23 May 2002 The authors are partially sponsored by CNPq (Brazil) Proc. N. 301410/95 and N. 300254/01-6. Parts of this work were done during the visit of the two authors to the IMPA, Instituto de Matemática Pura e Aplicada, Rio de Janeiro, Brazil, in January and February 2001. The authors wish to express their gratitude to all Faculty and Staff of the IMPA for their kind hospitality.     

Complete space-like hypersurfaces with constant scalar curvature

Let M ⁿ be a complete space-like hypersurface with constant normalized scalar curvature R in the de Sitter space S ^{n + 1} ₁ and denote . We prove that if the norm square of the second fundamental form of M ⁿ satisfies , then either and M ⁿ is a totally umbilical hypersurface; or , and, up to rigid motion, M ⁿ is a hyperbolic cylinder . Received: 8 February 2001 / Revised version: 27 April 2001     

Dense subgroups of <Emphasis Type="Italic">n</Emphasis>-dimensional Möbius groups

We will derive a new discreteness condition for n-dimensional M?bius subgroups as well as obtain some results concerning classification of such groups. We will also discuss dense subgroups of n-dimensional M?bius groups. The main result is that any dense group of an n-dimensional M?bius group contains a dense subgroup which is generated by at most n elements if . Received: 5 June 2001 / Published online: 24 February 2003 RID="*" ID="*" The research was partly supported by FNS of China, grant number 19801011     

Embedding Distributions in Algebras of Generalized Functions with Singularities

 It is a known open question whether in Rosinger’s nowhere dense quotient algebra distributions can be embedded, ensuring consistency with partial derivatives. In this paper, we construct algebras of generalized functions with nowhere dense singularities similar to Rosinger’s algebra in which such an embedding of distributions is possible. Moreover, in some of the algebras, the embedding preserves the products of smooth functions. Further, we indicate that most of the properties of Rosinger’s algebra, in particular concerning the solvability of nonlinear PDEs, remain valid in the new algebras. Summarizing, we give a positive answer to the above-mentioned open question, if one allows a modification in the definition of the algebra that does not affect its basic properties. Received September 20, 2001; in final form April 11, 2002     

On the geometry of the space of oriented lines of Euclidean space

We prove that the space of all oriented lines of the n-dimensional Euclidean space admits a pseudo-Riemannian metric which is invariant by the induced transitive action of a connected closed subgroup of the group of Euclidean motions, exactly when n=3 or n=7 (as usual, we consider Riemannian metrics as a particular case of pseudo-Riemannian ones). Up to equivalence, there are two such metrics for each dimension, and they are of split type and complete. Besides, we prove that the given metrics are Kähler or nearly Kähler if n=3 or n=7, respectively.     

Sets of periods for automorphisms of compact Riemann surfaces

Let G=〈f〉 be a finite cyclic group of order N that acts by conformal automorphisms on a compact Riemann surface S of genus g≥2. Associated to this is a set A of periods defined to be the subset of proper divisors d of N such that, for some x∈S, x is fixed by f^d but not by any smaller power of f. For an arbitrary subset A of proper divisors of N, there is always an associated action and, if g_A denotes the minimal genus for such an action, an algorithm is obtained here to determine g_A. Furthermore, a set A_max is determined for which g_A is maximal.     

A unimodularly invariant theory for immersions into the affine space

We develop a unimodularly invariant theory for immersions with higher codimension into the affine space. Received: 6 September 2001; in final form: 22 November 2001 / Published online: 29 April 2002 RID="*" ID="*" Supported by the Deutsche Forschungsgemeinschaft     

Birkhoff-functions that are bounded on prescribed sets

We prove the existence of entire functions which are universal under translations and bounded on certain prescribed sets. It is also shown that the family of all these universal functions is a dense but not a G_δ-subset in the space of entire functions provided with a natural metric. Received: 24 November 2004; revised: 12 April 2005     

Ruled surfaces of Weingarten type in Minkowski 3-space, II

In our previous paper of the same title, we did not study the ruled surfaces of Weingarten type M : x(s, t)=α(s)+t β (s) in Minkowski 3-space with vector fields β and β′ along the base curve β such that β is nowhere null but β′ is null everywhere. We here fulfill our project by investigating this remaining case.