Commutators, C0-semigroups and resolvent estimates

We study the existence and the continuity properties of the boundary values on the real axis of the resolvent of a self-adjoint operator H in the framework of the conjugate operator method initiated by Mourre. We allow the conjugate operator A to be the generator of a C₀-semigroup (finer estimates require A to be maximal symmetric) and we consider situations where the first commutator [H,iA] is not comparable to H. The applications include the spectral theory of zero mass quantum field models.     

Support problem for the intermediate Jacobians of l-adic representations

We consider the support problem of Erdös in the context of l-adic representations of the absolute Galois group of a number field. Main applications of the results of the paper concern Galois cohomology of the Tate module of abelian varieties with real and complex multiplications, the algebraic K-theory groups of number fields and the integral homology of the general linear group of rings of integers. We answer the question of Corrales-Rodrigáñez and Schoof concerning the support problem for higher dimensional abelian varieties.     

The spline collocation method for parabolic boundary integral equations on smooth curves

Summary. We consider the spline collocation method for a class of parabolic pseudodifferential operators. We show optimal order convergence results in a large scale of anisotropic Sobolev spaces. The results cover the classical boundary integral equations for the heat equation in the general case where the spatial domain has a smooth boundary in the plane. Our proof is based on a localization technique for which we use our recent results proved for parabolic pseudodifferential operators. For the localization we need also some special spline approximation results in anisotropic Sobolev spaces. Received May 17, 2001 / Revised version received February 19, 2002 / Published online April 17, 2002     

Crack path instabilities in DCDC experiments in the low speed regime

We studied the low speed fracture regime (10⁻⁴-10⁻⁹ m s⁻¹) in different glassy materials (soda-lime glass, glass ceramics) with variable but controlled length scale of heterogeneity. The chosen mechanical system enabled us to work in pure mode I (tensile) and at a fixed load on double cleavage drilled compression specimen. The internal residual stresses of studied samples were carefully relaxed by appropriate thermal treatment. By means of optical and atomic force microscopy techniques fracture surfaces have been examined. We have shown for the first time that the crack front line underwent an out-of-plane oscillating behavior as a result of a reproducible sequence of instabilities. The wavelength of such a phenomenon is in the micrometer range and its amplitude in the nanometer range. These features were observed for different glassy materials providing that a typical length scale characterizing internal heterogeneities was lower than a threshold limit estimated to few nanometers. This effect is the first clear experimental evidence of crack path instabilities in the low speed regime in a uniaxial loading experiment. This phenomenon has been interpreted by referring to the stability criterion for a straight crack propagation as presented by Adda-Bedia et al. [Phys. Rev. Lett. 76 (1996) 1497].     

New Branch-and-Cut Algorithm for Bilevel Linear Programming

Linear mixed 0–1 integer programming problems may be reformulated as equivalent continuous bilevel linear programming (BLP) problems. We exploit these equivalences to transpose the concept of mixed 0–1 Gomory cuts to BLP. The first phase of our new algorithm generates Gomory-like cuts. The second phase consists of a branch-and-bound procedure to ensure finite termination with a global optimal solution. Different features of the algorithm, in particular, the cut selection and branching criteria are studied in details. We propose also a set of algorithmic tests and procedures to improve the method. Finally, we illustrate the performance through numerical experiments. Our algorithm outperforms pure branch-and-bound when tested on a series of randomly generated problems. Work of the authors was partially supported by FCAR, MITACS and NSERC grants.     

Affine threefolds whose log canonical bundles are not numerically effective

Let X?(T,D) be a compactification of an affine 3-fold X into a smooth projective 3-fold T such that the (reduced) boundary divisor D is SNC. In this paper, as an affine counterpart to the work due to S. Mori (cf. [S. Mori, Threefolds whose canonical bundles are not numerically effective, Ann. of Math. 116 (1982) 133-176]), we shall classify (K+D)-negative extremal rays on T. In particular, if such an extremal ray R=R₊[C] intersects K non-negatively, we shall describe the log flips and divisorial contractions appearing explicitly.     

Asymptotic and boundary integral formulae for the computational reconstruction of small conductivity imperfections

In this paper we investigate the electrostatic problem of determining conductivity profiles from the knowledge of boundary currents and voltages. We obtain an improved estimate for the voltage potential of a two-dimensional conductor having finitely many circular inclusions and piecewise constant conductivity profile. We derive an asymptotic expansion for the voltage potential in terms of the reference voltage potential and the location, size, and conductivity of the inhomogeneities. This representation is used to formulate the nonlinear least squares problem for estimating the location and size of the inhomogeneities. Required boundary data for the voltage potential are generated numerically by solving a system of integral equations. Computational experiments are presented to demonstrate the effectiveness of our identification procedure.     

Asymptotic Distribution of Nodes for Near-Optimal Polynomial Interpolation on Certain Curves in R 2

Let E\subset \Bbb R ^s be compact and let d _n ^E denote the dimension of the space of polynomials of degree at most n in s variables restricted to E . We introduce the notion of an asymptotic interpolation measure (AIM). Such a measure, if it exists , describes the asymptotic behavior of any scheme τ _n ={ \bf x _k,n } _k=1 ^dnE , n=1,2,\ldots , of nodes for multivariate polynomial interpolation for which the norms of the corresponding interpolation operators do not grow geometrically large with n . We demonstrate the existence of AIMs for the finite union of compact subsets of certain algebraic curves in R ² . It turns out that the theory of logarithmic potentials with external fields plays a useful role in the investigation. Furthermore, for the sets mentioned above, we give a computationally simple construction for ``good' interpolation schemes. November 9, 2000. Date revised: August 4, 2001. Date accepted: September 14, 2001.