Finite element analysis of pressure formulation of the elastoacoustic problem

In this paper we analyze the non symmetric pressure/displacement formulation of the elastoacoustic vibration problem and show its equivalence with the (symmetric) stiffness coupling formulation. We introduce discretizations for these problems based on Lagrangian finite elements. We show that both formulations are also equivalent at discrete level and prove optimal error estimates for eigenfunctions and eigenvalues. Both formulations are rewritten such as to be solved with a standard Matlab eigensolver. We report numerical results comparing the efficiency of the methods over some test examples. Partially supported by Xunta de Galicia (Spain) through grant No. PGIDT00-PXI20701PR and by MCYT Research Project DPI2001-1613-C02-02Partially supported by Xunta de Galicia (Spain) through grant No. PGIDT00-PXI20701PR and by MCYT Research Project DPI2001-1613-C02-02Partially supported by FONDAP in Applied Mathematics (Chile) and by MCYT Research Projects DPI2001-1613-C02-02 and BFM2001-3261-C02-02Partially supported by FONDECYT (Chile) through grant No. 1.990.346 and FONDAP in Applied Mathematics (Chile)Mathematics Subject Classification (1991):65N30     

An integral inequality for compact maximal surfaces inn-dimensional de Sitter space and its applications

In this paper we prove an integral inequality for the Gaussian curvature of compact maximal surfaces inn-dimensional de Sitter space. Some applications of that inequality are given in order to solve the associated Bernstein type problem as well as to characterize the totally geodesic immersion in terms of its area and the first nontrivial eigenvalue of its Laplacian.Partially supported by a DGICYT Grant No. PB91-0705-C02-02Partially supported by a DGICYT Grant No. PB91-0731     

On the eigenvalues of matrices with given upper triangular part

We give necessary and sufficient conditions for a set of numbers to be the eigenvalues of a completion of a matrix prescribed in its upper triangular part.Partially supported by the NSF Grant DMS-8701615-02Partially supported by the NSF Grant DMS-8802836 and United States-Israel Binational Science Foundation Grant 88-00304/I.     

On rings of semialgebraic functions

Partially supported by DCICYT, PB89-0379-C02-02     

The full automorphism groups of hyperelliptic Riemann surfaces

For every integer g≥2 we obtain the complete list of groups acting as the full automorphisms groups on hyperelliptic Riemann surfaces of genus g. Partially supported by DGICYT PB 89-201 and Science Plan 910021 Partially supported by DGICYT PB 89/379/C02/01 and Science Plan 910021 Partially supported by DGICYT After the typing of this paper we have heard about a Ph.D. Thesis by Britta Krapp on questions related to the problem studied here.     

A stabilization law for two semi-infinite interacting strings of characters

We consider a Markov chain that describes the evolution of two interacting strings of symbols. The transitions probalitities of this Markov chain depend only on the rightmost symbols of both strings. The main goal of the present paper is to prove a limit theorem (stabilization law): the distribution of the rightmost symbols converges to some limit correlation function.1 Partially supported by FAPESP (2002/01501-9) and RFBR (02-01-00415)2 Partially supported by RFBR (02-01-00415)     

Numerical analysis of electric field formulations of the eddy current model

This paper deals with finite element methods for the numerical solution of the eddy current problem in a bounded conducting domain crossed by an electric current, subjected to boundary conditions involving only data easily available in applications. Two different cases are considered depending on the boundary data: input current intensities or differences of potential. Weak formulations in terms of the electric field are given in both cases. In the first one, the input current intensities are imposed by means of integrals on curves lying on the boundary of the domain and joining current entrances and exit. In the second one, the electric potentials are imposed by means of Lagrange multipliers, which are proved to represent the input current intensities. Optimal error estimates are proved in both cases and implementation issues are discussed. Finally, numerical tests confirming the theoretical results are reported. Partially supported by Xunta de Galicia research grant PGIDIT02PXIC20701PN (Spain). Partially supported by FONDAP in Applied Mathematics (Chile). Partially supported by MCYT (Spain) project DPI2003-01316.     

On the Gauss curvature of maximal surfaces in the 3-dimensional Lorentz-Minkowski space

Partially supported by DGICYT Grant PB 90-0014-C03-02.     

Gelfand-Kirillov Dimension and Local Finiteness of Symmetrizations of Associative Superalgebras

In this work we extend to superalgebras a result of Skosyrskii [Algebra and Logic, 18 (1) (1979) 49–57, Lemma 2] relating associative and Jordan structures. As an application, we show that the Gelfand-Kirillov dimension of an associative superalgebra coincides with that of its symmetrization, and that local finiteness is equivalent in associative superalgebras and in their symmetrizations. In this situation we obtain that having zero Gelfand-Kirillov dimension is equivalent to being locally finite.Partially supported by MCYT and Fondos FEDER BFM2001-1938-C02-02, and MEC and Fondos FEDER MTM2004-06580-C02-01.Partially supported by a F.P.I. Grant (Ministerio de Ciencia y Tecnología).     

A mortar mimetic finite difference method on non-matching grids

We consider mimetic finite difference approximations to second order elliptic problems on non-matching multiblock grids. Mortar finite elements are employed on the non-matching interfaces to impose weak flux continuity. Optimal convergence and, in certain cases, superconvergence is established for both the scalar variable and its flux. The theory is confirmed by computational results. Supported by the US Department of Energy, under contractW-7405-ENG-36. LA-UR-04-4740. Partially supported by NSF grants EIA 0121523 and DMS 0411413, by NPACI grant UCSD 10181410, and by DOE grant DE-FGO2-04ER25617. Partially supported by NSF grants DMS 0107389, DMS 0112239 and DMS 0411694 and by DOE grant DE-FG02-04ER25618.     

On examples of difference operators for {0,1}-valued functions over finite sets

V.I. Arnold recently formulated a geometric concept of monads and used it to study difference operators on the sets of {0,1}-valued sequences of length n. We consider particular examples of these monads and indicate one question that arises. Partially supported by grants NWO-RFBR 047.011.2004.026 (RFBR 05-02-89000-NWO_a), RFBR SS-1972.2003.1, RFBR 05-01-02805-CNRSL_a, and RFBR 05-01-01012a.     

Abstract version of the Cauchy-Kowalewski problem

We consider an abstract version of the Cauchy-Kowalewski Problem with the right hand side being free from the Lipschitz type conditions and prove the existence theorem. Partially supported by grants RFBR 02-01-00400     

Contractive Mapping Theorems in Partially Ordered Sets and Applications to Ordinary Differential Equations

We prove the existence and uniqueness of solution for a first-order ordinary differential equation with periodic boundary conditions admitting only the existence of a lower solution. To this aim, we prove an appropriate fixed point theorem in partially ordered sets. ★ Partially supported by Ministerio de Ciencia y Tecnología/ FEDER, project BFM2001-3884-C02-01; and by Xunta de Galicia/ FEDER, project PGIDIT02PXIC20703PN.     

Large deviations in the geometry of convex lattice polygons

We provide a full large deviation principle (LDP) for the uniform measure on certain ensembles of convex lattice polygons. This LDP provides for the analysis of concentration of the measure on convex closed curves. In particular, convergence to a limiting shape results in some particular cases, including convergence to a circle when the ensemble is defined as those centered convex polygons, with vertices on a scaled two dimensional lattice, and with length bounded by a constant. The Gauss-Minkowskii transform of convex curves plays a crucial role in our approach. Partially supported by grants ININS 94-3420 and RFF1-96-01-00676. Partially supported by a US-Israel BSF grant and by the fund for promotion of research at the Technion.     

Standard position for objects in hyperbolic space

It is shown that, by applying hyperbolic isometries, one may arrangen points in hyperbolic (n–1)-space in a certain standard position. Similar results are developed for complex hyperbolic space, as well as hyperbolic spaces defined over nearly arbitrary fields. The algebraic basis of the paper is the determination of the structure of a double coset space which occurs in representation theory.Partially supported by NSA grant # MDA-904-96-0018.Partially supported by NSA grant # MDA904-95-1-1089.     

Orthogonal surfaces with constant mean curvature in the Euclidean 4-space

We classify orthogonal surfaces ofE ⁴ whose mean curvature is constant by proving that they are either of 1-type or of 2-type.Partially supported by a ME/Fulbright grant and by a DGICYT grant PB91-0705-C02-01     

Classical orthogonal polynomials in two variables: a matrix approach

Classical orthogonal polynomials in two variables are defined as the orthogonal polynomials associated to a two-variable moment functional satisfying a matrix analogue of the Pearson differential equation. Furthermore, we characterize classical orthogonal polynomials in two variables as the polynomial solutions of a matrix second order partial differential equation. AMS subject classification 42C05, 33C50Partially supported by Ministerio de Ciencia y Tecnología (MCYT) of Spain and by the European Regional Development Fund (ERDF) through the grant BFM2001-3878-C02-02, Junta de Andalucía, G.I. FQM 0229 and INTAS Project 2000-272.     

The rate of convergence for spectra of GUE and LUE matrix ensembles

We obtain optimal bounds of order O(n ⁻¹) for the rate of convergence to the semicircle law and to the Marchenko-Pastur law for the expected spectral distribution functions of random matrices from the GUE and LUE, respectively. Research supported by the DFG-Forschergruppe FOR 399/1. Partially supported by INTAS grant N 03-51-5018, by RFBR grant N 02-01-00233, and by RFBR-DFG grant N 04-01-04000.     

Integral formulas for compact spaceliken-submanifolds in de Sitter spaces applications to the parallel mean curvature vector case

We introduce a new method to study compact spaceliken-submanifolds in de Sitter spacesS _q ^n+q by means of certain integral formulas which have a very clear geometric meaning. As a first application of them we obtain a Bernstein type result for complete maximal submanifolds inS _q ^n+q . As for surfaces, we also get a uniqueness result for compact spacelike surfaces inS _q ^2+q with parallel mean curvature vector field. Partially supported by a DGICYT Grant No. PB91-0705-C02-02 Partially supported by a DGICYT Grant No. PB91-0731     

Uniformity of stably integral points on principally polarized abelian varieties of dimension ≤2

The purpose of this paper is to prove, assuming that the conjecture of Lang and Vojta holds true, that there is a uniform bound on the number of stably integral points in the complement of the theta divisor on a principally polarized abelian surface defined over a number field. Most of our argument works in arbitrary dimension and the restriction on the dimension ≤2 is used only at the last step, where we apply Pacelli’s stronger uniformity results for elliptic curves. Partially supported by NSF grant DMS-9700520 and by an Alfred P. Sloan research fellowship. Partially supported by NSA grant MDA904-96-1-0008.