A mixed finite element method with Lagrange multipliers for nonlinear exterior transmission problems

Summary. We apply a mixed finite element method to numerically solve a class of nonlinear exterior transmission problems in R ² with inhomogeneous interface conditions. Besides the usual unknowns required for the dual-mixed method, which include the gradient of the temperature in this nonlinear case, our approach makes use of the trace of the outer solution on the transmission boundary as a suitable Lagrange multiplier. In addition, we use a boundary integral operator to reduce the original transmission problem on the unbounded region into a nonlocal one on a bounded domain. In this way, we are lead to a two-fold saddle point operator equation as the resulting variational formulation. We prove that the continuous formulation and the associated Galerkin scheme defined with Raviart-Thomas spaces are well posed, and derive the a-priori estimates and the corresponding rate of convergence. Then, we introduce suitable local problems and deduce first an implicit reliable and quasi-efficient a-posteriori error estimate, and then a fully explicit reliable one. Finally, several numerical results illustrate the effectivity of the explicit estimate for the adaptive computation of the discrete solutions. Mathematics Subject Classification (2000): 65N30, 65N38, 65N22, 65F10This research was partially supported by CONICYT-Chile through the FONDAP Program in Applied Mathematics, and by the Dirección de Investigación of the Universidad de Concepción through the Advanced Research Groups Program.     

Linear k-blocking Sets

We point out the relationship between normal spreads and the linear k-blocking sets introduced in [9]. We give a characterisation of linear k-blocking sets proving that the projections and the embeddings of a PG(kt,q) in are linear k-blocking sets of . Finally, we construct some new examples. Received December 19, 1997/Revised September 19, 2000 RID="*" ID="*" Partially supported by Italian M.U.R.S.T.     

On approximation of analytic sets

We give conditions sufficient for the existence of a sequence of Nash sets convergent to a given analytic set. Moreover, for limit sets which are k-sheeted analytic covers we additionally require that sets in approximating sequence are also k-sheeted analytic covers. Then we present examples of applications of the developed theory.Research partially supported by KBN Grant no. 2P03A 015 22Mathematics Subject Classification (2000): 32E30, 32C07, 32C25     

A thorough analysis of the discrepancy of shifted Hammersley and van der Corput point sets

We study the star discrepancy of Hammersley nets and van der Corput sequences which are important examples of low-dimensional quasi-Monte Carlo point sets. By a so-called digital shift, the quality of distribution of these point sets can be improved. In this paper, we advance and extend existing bounds on digitally shifted Hammersley and van der Corput point sets and establish criteria for the choice of digital shifts leading to optimal results. Our investigations are partly based on a close analysis of certain sums of distances to the nearest integer. Mathematics Subject Classi cation (2000) 11K38; 11K09     

<Emphasis Type="Italic">H</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> boundedness of Calderón-Zygmund operators on product spaces

In this paper, we prove the product H^p boundedness of Calderón- Zygmund operators which were considered by Fefferman and Stein. The methods used in this paper are new even for the classical H^p boundedness of Calderón- Zygmund operators, namely, using some subtle estimates together with the H^p–L^p boundedness of product vector valued Calderón-Zygmund operators.This project was supported by the NNSF (No. 10271015 & No. 10310201047) of China and the second (corresponding) author was also supported by the RFDP (No. 20020027004) of China.Mathematics Subject Classification (2000):42B20, 42B30, 42B25     

Quantization of curvature for compact surfaces in <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n⋆</Emphasis></Superscript>

For minimal surfaces in spheres, there is a well known conjecture about the quantization of intrinsic curvature which has been solved only in special cases so far. We recall an intrinsic and an extrinsic version for the known results and extend them to compact non-minimal surfaces in spheres. In particular we discuss special classes like Willmore surfaces and surfaces with parallel mean curvature vector. Mathematics Subject Classification (2000):53C42, 53A10.H.Li is partially supported by a research fellowship of the Alexander von Humboldt Stiftung 2001/2002 and the Zhongdian grant of NSFC. U. Simon is partially supported by DFG 163/Si-7-2 and a Chinese–German research cooperation of NSFC and DFG.     

Boundary Problems for Dirac-Type Operators on Manifolds with Multi-Cylindrical End Boundaries

The goal of this paper is to establish a geometric program to study elliptic pseudodifferential boundary problems which arise naturally under cutting and pasting of geometric and spectral invariants of Dirac-type operators on manifolds with corners endowed with multi-cylindrical, or b-type, metrics and ‘b-admissible’ partitioning hypersurfaces. We show that the Cauchy data space of a Dirac operator on such a manifold is Lagrangian for the self-adjoint case, the corresponding Calderón projector is a b-pseudodifferential operator of order 0, characterize Fredholmness, prove relative index formulæ, and solve the Bojarski conjecture. Mathematics Subject Classifications (2000): 58J28, 58J52.     

New Cartesian grid methods for interface problems using the finite element formulation

Summary New finite element methods based on Cartesian triangulations are presented for two dimensional elliptic interface problems involving discontinuities in the coefficients. The triangulations in these methods do not need to fit the interfaces. The basis functions in these methods are constructed to satisfy the interface jump conditions either exactly or approximately. Both non-conforming and conforming finite element spaces are considered. Corresponding interpolation functions are proved to be second order accurate in the maximum norm. The conforming finite element method has been shown to be convergent. With Cartesian triangulations, these new methods can be used as finite difference methods. Numerical examples are provided to support the methods and the theoretical analysis. Mathematics Subject Classification (2000):65L10, 65L60, 65L70In this research, Zhilin Li is supported in part by USA ARO grants, 39676-MA and 43751-MA, USA NSF grants DMS-0073403 and DMS-0201094; USA North Carolina State University FR&PD grant; Tao Lin is supported in part a USA NSF grant DMS-97-04621. Special thanks to Thomas Hou for his participation and contribution to this project. We are also grateful to R. LeVeque, K. Bube, and T. Chan for useful discussions.     

A uniqueness result for a Neumann problem involving the critical Sobolev exponent

 In this paper we consider the problem

Intersecting Curves in the Plane

 We prove that for every family of n pairwise intersecting simple closed planar curves in general position, at least (4/5)n ²−O(n) points lie on more than one curve. This improves the previous lower bound of (3/4)n ²−O(n) due to Richter and Thomassen. Received: March 29, 2000 Final version received: August 30, 2001 RID="*" ID="*" Research supported in part by NSF grant DMS-9970325 Acknowledgments. I thank Bruce Richter for informing me about this problem, Gelasio Salazar for reading a preliminary version of the paper, and a Referee for useful comments. Current Address: Microsoft Research, One Microsoft Way, Redmond, WA 98052-6399, USA. e-mail: mubayi@microsoft.com 1991 Mathematics Subject Classification. 05C35, 52C10     

Improper affine maps

We study a class of improper affine spheres with singularities called improper affine maps. New examples of genus 0 and 1 are described and the classification of complete improper affine maps with at most two embedded ends will be given.Mathematics Subject Classification (2000): 53A15, 53A35Research partially supported by MCYT-FEDER Grant No. BFM2001-3318 and Junta de Andalucía CEC: FQM0804.     

Combinatorics of the Toric Hilbert Scheme

The toric Hilbert scheme is a parameter space for all ideals with the same multigraded Hilbert function as a given toric ideal. Unlike the classical Hilbert scheme, it is unknown whether toric Hilbert schemes are connected. We construct a graph on all the monomial ideals on the scheme, called the flip graph, and prove that the toric Hilbert scheme is connected if and only if the flip graph is connected. These graphs are used to exhibit curves in P ⁴ whose associated toric Hilbert schemes have arbitrary dimension. We show that the flip graph maps into the Baues graph of all triangulations of the point configuration defining the toric ideal. Inspired by the recent discovery of a disconnected Baues graph, we close with results that suggest the existence of a disconnected flip graph and hence a disconnected toric Hilbert scheme. Received May 15, 2000, and in revised form March 8, 2001. Online publication January 7, 2002.     

Automorphism groups of the real projective plane with holes and their conjugacy classes within its mapping class group

For each integer g2 we give the complete list of groups acting as a group of dianalytic automorphisms of a real projective plane with g holes, which, in algebraic terms, correspond to birational automorphisms of real algebraic (M–1)-curves. We also determine those acting as the full group of automorphisms of such a surface. Furthermore, the conjugacy classes of the finite subgroups of its mapping class group are calculated.Mathematics 2000 Subject Classification (2000): 30F, 32G, 14H.Partially supported by BFM2002-04801.Partially supported by BFM2002-04801 and RAAG HPRN-CT-2001-00271.Partially supported by GAAR BFM2002-04797 and RAAG HPRN-CT-2001-00271     

On group strategy-proof mechanisms for a many-to-one matching model

For the many-to-one matching model in which firms have substitutable and quota q–separable preferences over subsets of workers we show that the workers-optimal stable mechanism is group strategy-proof for the workers. Therefore, in centralized markets like entry-level professional labor markets if the proposed matching is the workers-optimal stable matching then, no group of workers can never benefit by reporting untruthfully their preference relations. We exhibit an example showing that this property fails if the preferences of firms are substitutable but not quota q–separable.Revised August 2004We are grateful to Flip Klijn, Howard Petith, William Thomson, a referee and an associate editor of this journal for helpful comments. The work of R. Martínez, A. Neme, and J. Oviedo is partially supported by the Universidad Nacional de San Luis through Grant 319502, by the Consejo Nacional de Investigaciones Científicas y Técnicas CONICET, through Grant PICT-02114, and by the Agencia Nacional de Promoción Científica y Técnica, through Grant 03-10814. The work of J. Massó is partially supported by the Spanish Ministry of Science and Technology, through Grant BEC2002–2130, and by the Generalitat de Catalunya, through Grant 2001SGR-00162 and the Barcelona Economics Program (CREA). All authors acknowledge financial support from the Grant PCI España-Iberoamérica 2003 (Programa de Cooperación Interuniversitaria de la Agencia Española de Cooperación Internacional-AECI).     

Error estimation and adaptive discretization for the discrete stochastic Hamilton–Jacobi–Bellman equation

Summary. Generalizing an idea from deterministic optimal control, we construct a posteriori error estimates for the spatial discretization error of the stochastic dynamic programming method based on a discrete Hamilton–Jacobi–Bellman equation. These error estimates are shown to be efficient and reliable, furthermore, a priori bounds on the estimates depending on the regularity of the approximate solution are derived. Based on these error estimates we propose an adaptive space discretization scheme whose performance is illustrated by two numerical examples.Mathematics Subject Classification (2000): 93E20, 65N50, 49L20, 49M25, 65N15Acknowledgments. This research was supported by the Center for Empirical Macroeconomics, University of Bielefeld. The support is gratefully acknowledged. I would also like to thank an anonymous referee who suggested several improvements for the paper.     

Censored stable processes

We present several constructions of a ``censored stable process' in an open set DR<sup>n</sup>, i.e., a symmetric stable process which is not allowed to jump outside D. We address the question of whether the process will approach the boundary of D in a finite time – we give sharp conditions for such approach in terms of the stability index and the ``thickness' of the boundary. As a corollary, new results are obtained concerning Besov spaces on non-smooth domains, including the critical exponent case. We also study the decay rate of the corresponding harmonic functions which vanish on a part of the boundary. We derive a boundary Harnack principle in C^1,1 open sets. Research partially supported by NSF Grant DMS-0071486.Mathematics Subject Classification (2000): Primary 60G52, Secondary 60G17, 60J45     

The Navier–Stokes limit of the Boltzmann equation for bounded collision kernels

The present work establishes a Navier–Stokes limit for the Boltzmann equation considered over the infinite spatial domain R ³. Appropriately scaled families of DiPerna-Lions renormalized solutions are shown to have fluctuations whose limit points (in the w-L ¹ topology) are governed by Leray solutions of the limiting Navier–Stokes equations. This completes the arguments in Bardos-Golse-Levermore [Commun. Pure Appl. Math. 46(5), 667–753 (1993)] for the steady case, and in Lions-Masmoudi [Arch. Ration. Mech. Anal. 158(3), 173–193 (2001)] for the time-dependent case.Mathematics Subject Classification (2000) 35Q35, 35Q30, 82C40     

Restriction theorems for principal bundles

Let E be a semistable (or stable) principal bundle over a smooth complex projective variety X, and let DX be a complete intersection. We study the (semi)stability of the restriction E| _D . Some of the results known for vector bundles, such as Grauert–Mülich, Flenner and Mehta–Ramanathan theorems, are generalized to principal bundles. Mathematics Subject Classification (2000): 14F05, 32L05The authors are members of VBAC (Vector Bundles on Algebraic Curves), which is partially supported by EAGER (EC FP5 Contract no. HPRN-CT-2000-00099) and by EDGE (EC FP5 Contract no. HPRN-CT-2000-00101). T.G. was supported by a postdoctoral fellowship of Ministerio de Educación y Cultura (Spain), and wants to thank the Tata Institute of Fundamental Research, where this work was done while he was a postdoctoral student.     

Universal bounds on the selfaveraging of random diffraction measures

 We consider diffraction at random point scatterers on general discrete point sets in ℝ^ν, restricted to a finite volume. We allow for random amplitudes and random dislocations of the scatterers. We investigate the speed of convergence of the random scattering measures applied to an observable towards its mean, when the finite volume tends to infinity. We give an explicit universal large deviation upper bound that is exponential in the number of scatterers. The rate is given in terms of a universal function that depends on the point set only through the minimal distance between points, and on the observable only through a suitable Sobolev-norm. Our proof uses a cluster expansion and also provides a central limit theorem. Received: 10 October 2001 / Revised version: 26 January 2003 / Published online: 15 April 2003 Work supported by the DFG Mathematics Subject Classification (2000): 78A45, 82B44, 60F10, 82B20 Key words or phrases: Diffraction theory – Random scatterers – Random point sets – Quasicrystals – Large deviations – Cluster expansions     

The Graph of Triangulations of a Point Configuration with d +4 Vertices Is 3-Connected

We study the graph of bistellar flips between triangulations of a vector configuration A with d+4 elements in rank d+1 (i.e. with corank 3), as a step in the Baues problem. We prove that the graph is connected in general and 3-connected for acyclic vector configurations, which include all point configurations of dimension d with d+4 elements. Hence, every pair of triangulations can be joined by a finite sequence of bistellar flips and, in the acyclic case, every triangulation has at least three geometric bistellar neighbours. In corank 4, connectivity is not known and having at least four flips is false. In corank 2, the results are trivial since the graph is a cycle. Our methods are based on a dualization of the concept of triangulation of a point or vector configuration A to that of a virtual chamber of its Gale transform B , introduced by de Loera et al. in 1996. As an additional result we prove a topological representation theorem for virtual chambers, stating that every virtual chamber of a rank 3 vector configuration B can be realized as a cell in some pseudo-chamber complex of B in the same way that regular triangulations appear as cells in the usual chamber complex. All the results in this paper generalize to triangulations of corank 3 oriented matroids and virtual chambers of rank 3 oriented matroids, realizable or not. The details for this generalization are given in the Appendix. Received March 1, 1999, and in revised form September 7, 1999.