The “Essential Tension” at Work in Qualitative Analysis: A Case Study of the Opposite Points of View of Poincaré and Enriques on the Relationships between Analysis and Geometry

An analysis of the different philosophic and scientific visions of Henri Poincaré and Federigo Enriques relative to qualitative analysis provides us with a complex and interesting image of the “essential tension” between “tradition” and “innovation” within the history of science. In accordance with his scientific paradigm, Poincaré viewed qualitative analysis as a means for preserving the nucleus of the classical reductionist program, even though it meant “bending the rules” somewhat. To Enriques's mind, qualitative analysis represented the affirmation of a synthetic, geometrical vision that would supplant the analytical/quantitative conception characteristic of 19th-century mathematics and mathematical physics. Here, we examine the two different answers given at the turn of the century to the question of the relationship between geometry and analysis and between mathematics, on the one hand, and mechanics and physics, on the other.Copyright 1998 Academic Press.Un'analisi delle diverse posizioni filosofiche e scientifiche di Henri Poincaré e Federigo Enriques nei riguardi dell'analisi qualitativa fornisce un'immagine complessa e interessante della “tensione essenziale” tra “tradizione” e “innovazione” nell'ambito della storia della scienza. In linea con il proprio paradigma scientifico, Poincaré vedeva nell'analisi qualitativa un mezzo per preservare il nucleo del programma riduzionista calssico, anche se cio comportava una lieve “distorsione delle regole”. Nella mente di Enriques, l'analisi qualitativa rappresentava l'affermazione di un punto di vista sintetico e geometrico che avrebbe soppiantato la concezione analitico-quantitativa caratteristica della matematica e della fisica matematica del 19° secolo. Il nostro scopo principale è di esaminare due diverse risposte date a cavallo del secolo alla questione dei rapporti tra geometria e analisi e tra matematica da un lato e meccanica e fisica dall'altro.Copyright 1998 Academic Press.AMS subject classification: 01A55     

Parameterization of all solutions of the three chains completion problem

The family of all solutions of the three chains completion problem with a prescribed tolerance is described explicitly. It is shown that this family can be parameterized by a natural set of contractive upper triangular operators. As an application all solutions to a suboptimal nonstationary Nehari problem are described.     

On the fast reduction of a quasiseparable matrix to Hessenberg and tridiagonal forms

In this paper we design a fast new algorithm for reducing an N × N quasiseparable matrix to upper Hessenberg form via a sequence of N − 2 unitary transformations. The new reduction is especially useful when it is followed by the QR algorithm to obtain a complete set of eigenvalues of the original matrix. In particular, it is shown that in a number of cases some recently devised fast adaptations of the QR method for quasiseparable matrices can benefit from using the proposed reduction as a preprocessing step, yielding lower cost and a simplification of implementation.     

Theory of Non-Equilibrium Stationary States as a Theory of Resonances

We study a small quantum system (e.g., a simplified model for an atom or molecule) interacting with two bosonic or fermionic reservoirs (say, photon or phonon fields). We show that the combined system has a family of stationary states parametrized by two numbers, T ₁ and T ₂ (‘reservoir temperatures’). If T ₁ ≠ T ₂, then these states are non-equilibrium stationary states (NESS). In the latter case we show that they have nonvanishing heat fluxes and positive entropy production and are dynamically asymptotically stable. The latter means that the evolution with an initial condition, normal with respect to any state where the reservoirs are in equilibria at temperatures T ₁ and T ₂, converges to the corresponding NESS. Our results are valid for the temperatures satisfying the bound min (T ₁,T ₂) > g ^{2 + α}, where g is the coupling constant and 0 < α < 1 is a power related to the infra-red behaviour of the coupling functions. Submitted: March 20, 2006. Revised: March 19, 2007. Accepted: May 11, 2007. Marco Merkli: Partly supported by an NSERC PDF, the Institute of Theoretical Physics of ETH Zürich, Switzerland, the Departments of Mathematics of McGill University and the University of Toronto, Canada. Matthias Mück: Supported by DAAD under grant HSP III. Israel Michael Sigal: Supported by NSERC under grant NA7901.     

NONLOCAL INITIAL PROBLEM FOR NONLINEAR NONAUTONOMOUS DIFFERENTIAL EQUATIONS IN A BANACH SPACE

The nonlocal initial problem for nonlinear nonautonomous evolution equati-ons in a Banach space is considered. It is assumed that the nonlinearities havethe local Lipschitz properties. The existence and uniqueness of mild solutionsare proved. Applications to integro-differential equations are discussed.The main tool in the paper is the normalizing mapping (the generalizednorm).     

Flatness of families induced by hypersurfaces of flag varieties

We show the family of tangent flags to smooth quadric hypersurfaces extends to a flat family parametrized by the variety of complete quadrics. This answers a question posed by S. Kleiman.Partially supported by CNP_q-Brasil.     

On Stöhr-Voloch's proof of Weil's theorem

LetX be a smooth, projective curve of genusg defined over a finite field. Then there exists a finite extension fieldk=F _q such that, for all sufficiently largen, (1)X imbeds in P ⁿ in such a way that the set of pointsx ofX mapped via Frobenius into the osculating hyperplane ofX atx is the support of a positive divisor and (2) the numberN of points inX(k) satisfies