Square Root Approximations in Old Babylonian Mathematics: YBC 7289 in Context

We consider several aspects of the role and evaluation of the four-sexagesimal-place approximation to on the well-known Old Babylonian tablet YBC 7289. By referring to what is known about OB school texts, we show that this text is most probably a school exercise by a trainee scribe who got the approximation from a coefficient list. These coefficient lists are briefly described, with their use in geometrical problems. We consider other texts involving square roots and derive an algorithm for evaluating them, which complies with all known OB examples, from a simple geometrical construction of the type that seems to underlie many other OB procedures.Copyright 1998 Academic Press.Nous considérons plusieurs aspects du rôle et de l'évaluation de l'approximation à quatre places sexagésimales de sur cette tablette paléo-babylonienne. En nous référant à l'état des connaissances quant aux textes scolaires paléo-babyloniens, nous montrons comment ce texte est très probablement un exercice scolaire exécuté par un apprenti scribe qui a obtenu l'approximation à partir d'une liste de coéfficients. Nous décrivons en bref ces listes de coéfficients, ainsi que leur utilisation dans les problèmes de géométrie. Nous considérons d'autres textes traitant de racines carrées , et pour les évaluer nous dérivons un algorithme qui est en accord avec tous les exemples paléo-babyloniens connus; ceci à partir d'une construction géométrique simple du type qui semble être charactéristique de beaucoup d'autres procédures paléo-babyloniennes.Copyright 1998 Academic Press.MSC 1991 subject classifications: 01A17; 11-03     

Orientations Acycliques et le Polynôme Chromatique

On attache à tout graphe G son polynôme chromatiqueχ_G (λ), qui dénombre ses colorations régulières avecλ couleurs. D’après Stanley, on sait que |χ_G ( − 1)| est égal au nombre d’orientations acycliques du graphe, un résultat qui fut raffiné par Greene et Zaslavsky. Nous nous proposons de l’affiner davantage en interprétant, avec l’aide de certaines orientations acycliques, les coefficients deχ_G (λ) développé en puissances de λ et surtout en puissances de (λ −  1). L’utilisation systématique des fonctions génératrices des fonctions d’ensembles permet d’avoir des démonstrations très courtes et explicatives. Elles se veulent une réponse à la suggestion faite par Gebhard et Sagan, qui ont déjà trouvé des démonstrations combinatoires de deux résultats de Greene et Zaslavsky. Les fonctions d’ensembles permettent aussi d’établir une série d’interprétations nouvelles de l’invariant β_Gde Crapo. Cet article donne également un nouvel éclat aux résultats classiques de Cartier, Foata, Viennot, Brenti, Gessel et Stanley. The chromatic polynomialχ_G (λ), which is associated with each graph G, enumerates its regular colorations with λ colors. Stanley showed that |χ_G ( − 1)| is equal to the number of acyclic orientations of the graph, a result that was refined by Greene and Zaslavsky. The purpose of the paper is to show that a further refinement can be obtained by interpreting each coefficient of χ_G(λ), when the polynomial is developed with respect to powers of λ and (λ −  1). A systematic use of the generating functions for set functions enables us to have very short and instructive proofs. Gebhard and Sagan, who had already found combinatorial proofs of two results by Greene and Zaslavsky, suggested that further proofs were to be found. Finally, the set functions algebra allows us to establish a series of new interpretations for Crapo’sβ_G invariant. This paper also brings a new light to the classical results due to Cartier, Foata, Viennot, Brenti, Gessel and Stanley.     

L’indice équivariant des opérateurs transversalement elliptiques

Rèsumé. Dans cet article, nous montrons que l’indice cohomologique (construit dans [11]) d’un symbole transversalement elliptique satisfait certaines propriétés fonctorielles. Nous calculons d’autre part l’indice cohomologique pour certains symboles transversalement elliptiques particuliers. En reprenant les arguments donnés par Atiyah dans [1], on en déduit que l’indice cohomologique du symbole d’un opérateur transversalement elliptique P est égal à l’indice analytique de P.

---

---

Oblatum 24-VII-1995     

Etude de certaines classes d’equivalence dans les demi-groupes

Résumé Nous étudions ici deux équivalences régulières à droite, définies dans les demigroupes à partir d’un conplexe quelconque. Nous comparons ces équivalences à l’équivalence principale à droiteRh et nous établissons des conditions nécessaires et suffisantes pour que l’une et l’autre coincident avec l’équivalence universelle. Nous terminons par l’étude de ces équivalences dans les demi-treillis. Entrata in Redazione il 18 settembre 1970.     

Front Propagation Problems with Nonlocal Terms, II

We study the propagation of hyper surfaces Σ_t of ^N satisfying the equation V = h(x, Ω_t), where V is the normal velocity of Σ_t at x, Ω_t is the interior of Σ_t, and h is a given evolution law. We prove the existence of generalized solutions and an inclusion principle for these generalized solutions. Copyright 2001 Academic Press.Dans cet article nous étudions certains problèmes de propagation d'hypersurfaces Σ_t de ^N suivant des lois de la forme: V = h(x, Ω_t), où V est la vitesse normale à Σ_t en x, Ω_t est l'intérieur de Σ_t et h est une loi d'évolution. On définit une notion de solutions généralisées, et on montre l'existence de telles solutions. De plus on démontre un principe d'inclusion pour ces solutions.     

Une procédure de Calderón-Zygmund pour le problème de la racine <Emphasis Type="Italic">k</Emphasis>-ième

Soit f une fonction définie sur un ouvert de ℝ ^d , à valeurs positives ou nulles, de classe C ^k , où k est un entier ≥2. Un résultat de Colombini–Jannelli–Spagnolo assure que ∇(f ^{1/ k} ) appartient à L ¹ _loc. Nous démontrons ici que ∇(f ^{1/ k} )∈L _w ^{k / k −2}, ce qui fournit une amélioration optimale du résultat ci-dessus et une généralisation d’un théorème classique de Glaeser sur la racine carrée. La méthode de preuve requiert l’usage d’une décomposition de Calderón–Zygmund de la fonction f qui nous permet de nous ramener à des formes normales de manipulation simple. Nous montrons également que la régularité C ^k est essentiellement nécessaire au résultat. Nous donnons quelques applications à des problèmes d’équations aux dérivées partielles faiblement hyperboliques. L’adaptabilité des méthodes de décomposition de Calderón-Zygmund, utilisées en analyse harmonique et pseudo-différentielle, trouve dans ces résultats une nouvelle illustration.

---

---

Received: December 13, 2001?Published online: April 14, 2003     

Problèmes linéaires dans le Compendy de la praticque des nombres de Barthélemy de Romans et Mathieu Préhoude (1471): Une approche nouvelle basée sur des sources proches du Liber abbaci de Léonard de Pise

The Compendy de la praticque des nombres (1471) is one of a number of commercial arithmetics produced in southern France during the medieval period. Its interest and originality rest in its treatment of problem-solving. The author of the text limited his treatment to an in-depth analysis of only a few types of problems, not treating particular cases but rather emphasizing general methods. The sources from which he drew were very close to the Liber abbaci of Leonardo Fibonacci and many of them were new to the southern French arithmetic tradition. Thus, the Compendy sheds new light on the transmission of arithmetic thought into Europe. Copyright 2000 Academic Press.Le Compendy de la praticque des nombres (1471) est un traité qui appartient au groupe des arithmétiques commerciales du Sud de la France. L'intérêt et l'originalité du texte résident dans la partie consacrée à la résolution de problèmes. L'auteur sélectionne quelques types de problèmes seulement, auxquels il consacre une longue étude, délaissant les cas particuliers pour privilégier les méthodes. Ce faisant, il utilise de nouvelles sources, proches du “Liber abbaci” de Léonard de Pise, étrangères aux autres arithmétiques françaises de la même famille. Le Compendy nous apporte ainsi un éclairage nouveau sur la transmission de l'algorisme. Copyright 2000 Academic Press.MSC subject classifications: 01A35; 01A40.     

The Lewy–Stampacchia inequality for the obstacle problem with quadratic growth in the gradient

In this paper we prove that at least one solution of the obstacle problem for a linear elliptic operator perturbed by a nonlinearity having quadratic growth in the gradient satisfies the Lewy–Stampacchia inequality.

---

Résumé Nous démontrons dans cet article qu’au moins une solution du problème de l’obstacle pour un opérateur elliptique linéaire perturbé par une non linéarité à croissance quadratique par rapport au gradient vérifie l’inégalité de Lewy–Stampacchia.

---

---

Mathematics Subject Classification (2000) 35J85, 47J20     

Sur les immeubles triangulaires et leurs automorphismes

Résumé  Les travaux de J. Tits ont conduit à la classification complète des immeubles euclidiens de dimension supérieure ou égale à 3. L’ensemble de ces immeubles à isomorphisme près est dénombrable et paramétré par les corps locaux qui leur correspondent. Dans cet article nous nous intéressons aux immeubles triangulaires, qui sont euclidiens de dimension 2 et pour lesquelles une paramétrisation analogue est impossible. Nous construisons une lamination Λ sur un espace topologique localement compact séparé, dont l’espace des feuilles est l’ensemble des immeubles triangulaires à isomorphisme près. On considère ainsi les immeubles triangulaires comme points d’un espace dont Λ est une désingularisation naturelle. Nous établissons des résultats de chirurgie sur les immeubles triangulaires à données locales fixées. Ils entra?nent par exemple que Λ est topologiquement transitive. Nous montrons qu’un immeuble triangulaire générique au sens de Baire a un groupe d’automorphismes trivial et qu’il contient toutes les géométries locales possibles. L’espace des immeubles triangulaires à isomorphisme près est un nouvel exemple d’espace non commutatif. Le second auteur a été en partie financé par JSPS.     

Action localement libres du groupe affine

Résumé SoitGA le groupe des transformations affines de préservant l'orientation. Nous étudions les actions localement libres deGA sur les 3-variétés fermées. Il s'avère que ces actions sont remarquablement rigides, ce qui permet de les étudier à conjugaison différentiable près. Nous classifions complètement ces actions sous l'hypothèse qu'elles préservent une forme de volume puis nous montrons que cette hypothèse est inutile si la variété ambiante est une sphère d'homologie réelle. Comme application, nous obtenons un résultat de rigidité pour certains groupes fuchsiens: un nombre fini de paramètres suffit pour décrire, à conjugaison différentiable près, les déformations de ces groupes dans Diff( ).     

Constantes d’Erdös–Turán

L’inégalité d’Erdös-Turán mesure l’écart à l’équirépartition d’une suite quelconque du tore en fonction d’un paramètre arbitraire et de deux constantes absolues, c₁ et c₂. Nous montrons que c₁≥ 1 et c₂≥ 2/π, et nous fournissons un ensemble de couples admissibles (c₁;c₂) numériquement proches de l’optimum hypothétique (1;2/π), notamment (1;0,653) et (1,1435;2/π).The Erdös-Turán inequality measures the distance from uniform distribution of any given sequence on the torus as a function of an arbitrary parameter and two constants, c₁ and c₂. We show that c₁≥ 1 and c₂≥ 2/π, and we provide a set of admissible pairs (c₁;c₂) that are numerically close to the hypothetical optimum (1;2/π), including (1;0.653) and (1.1435;2/π).À Jean-Louis Nicolas, avec toute notre amitié2000 Mathematics Subject Classification: Primary—11K38, 11K06; Secondary—11L03, 42A05     

Les débuts de l'histoire des mathématiques sur les scènes internationales et le cas de l'entreprise encyclopédique de Felix Klein et Jules Molk

At the beginning of the 20th century, the history of mathematics first appeared on different international scenes as a result of different initiatives of mathematicians, historians, and philosophers. By studying the way in which historians of mathematics took advantage of these opportunities, we have sought the contours, the lines of force, and the equilibria of this process of the internationalization of the history of mathematics on an institutional as well as intellectual plane.This search was focused through the study of the German- and French-language editions of the Encyklopädie der mathematischen Wissenschaften, which is one of the most remarkable examples dating from this period of an international collaboration for mathematics and its history. Copyright 1999 Academic Press.Au début du vingtième siècle l'histoire des mathématiques fait ses débuts sur différentes scènes internationales à l'occasion de différentes initiatives de mathématiciens, d'historiens, de philosophes. En étudiant la façon dont les historiens des mathématiques se saisirent de ces opportunités, nous avons cherché à comprendre les contours, les lignes de force, les équilibres de ce processus d'internationalisation de l'histoire des mathématiques, tant sur le plan institutionnel qu'intellectuel.Cette enquête a été précisée par l'étude des éditions en langues allemande et française de l'Encyklopä-die der mathematischen Wissenschaften qui est un des exemples les plus marquant de cette période d'une collaboration internationale, tant pour les mathématiques que leur histoire. Copyright 1999 Academic Press.MSC subject classifications: 01A60, 01A74.     

Comparaison des deux composantes d''un subordinateur bivarié, puis étude de l''enveloppe supérieure d''un processus de Lévy

Soit (Y,Z) un subordinateur bivarié. Nous donnons une condition suffisante pour que Y_t/Z_t converge vers zéro quand t tend vers 0 ou +∞. Ceci généralise partiellement des résultats de Bertoin et de Kesten–Erickson.Soit X un processus de Lévy et S_t=sup{X_s: st}. Soit f une fonction sous-additive. En appliquant le résultat précédent au subordinateur bivarié d'échelle, nous donnons des conditions nécéssaires et suffisantes pour que et égalent 0 ou +∞.Let (Y,Z) be a bivariate subordinator. Generalizing theorems of Bertoin and Kesten–Erickson, we give a sufficient condition for Y_t/Z_t to converge to 0 when t tends either to 0 or +∞.Let X be a Lévy process. Denote by S_t=sup{X_s: st} and let f be any sub-additive function. Applying our first result to the bivariate ladder process, we give necessary and sufficient conditions for and to be either 0 or +∞.     

Generalizations of Eulerian partially ordered sets, flag numbers, and the Möbius function

A partially ordered set is r-thick if every nonempty open interval contains at least r elements. This paper studies the flag vectors of graded, r-thick posets and shows the smallest convex cone containing them is isomorphic to the cone of flag vectors of all graded posets. It also defines a k-analogue of the Möbius function and k-Eulerian posets, which are 2k-thick. Several characterizations of k-Eulerian posets are given. The generalized Dehn-Sommerville equations are proved for flag vectors of k-Eulerian posets. A new inequality is proved to be valid and sharp for rank 8 Eulerian posets.ResumeUn ensemble partiellement ordonné est r-épais si chacun de ses intervalles ouverts non-vides contient au moins r éléments. Dans cet article nous étudions les vecteurs drapeaux des ensembles partiellement ordonnés gradués r-épais. Nous démontrons que le cône le plus petit contenant ces vecteurs est isomorphe au cône des vecteurs drapeaux des ensembles partiellement ordonnés gradués quelconques. Nous définissons aussi un k-analogue de la fonction de Möbius et des ensembles partiellement ordonnés k-eulériens qui sont 2k-épais. Nous caractérisons les ensembles partiellement ordonnés k-eulériens de plusieurs manières, et généralisons les équations de Dehn-Sommerville pour le vecteur drapeaux d'un ensemble partiellement ordonné k-eulérien. Nous démontrons une nouvelle inégalité optimale pour les ensembles partiellement ordonnés eulériens de rang 8.     

Convergence of a class of degenerate Ginzburg-Landau functionals and regularity for a subelliptic harmonic map equation

In this paper, we consider a class of Ginzburg-Landau functionalsE _ε associated with a couple of non-commuting vector fields which yield a “degenerate” energy. We study the asymptotic behavior of the minimizers, showing that it does not depend on the topological degree of the boundary datum; and we prove uniqueness and regularity of the minimizer of the limit problem, in spite of the lack of lifting theorems in the natural function spaces for the limit functional.

---

Résumé  Dans cet article, nous considérons une classe de fonctionnellesE _ε du type Ginzburg-Landau associée a un couple de champs de vecteurs définissant une énergie dégénérée. Nous étudions le comportement asymptotique des minimiseurs. Nous démontrons que ce comportement ne dépend pas du degré topologique de la donnée a la frontiere et nous prouvons l’unicité et la régularité du minimiseur du probléme limite, malgré l’absence d’un théorème de lifting dans les espaces de Sobolev naturels pour la même fonctionnelle.

---

---

The authors were supported by University of Bologna, funds for selected research topics, and by GNAMPA of the INDAM, Italy, project “Analysis in metric spaces and subelliptic equations.”     

Géométrie systolique des sommes connexes et des revêtements cycliques

Nous étudions la constante systolique de la somme connexe de n exemplaires d’une variété M en fonction de ce nombre. Le comportement asymptotique de cette constante, connu dans le cas deux dimensionnel, demeure un problème ouvert dans les dimensions plus grandes que deux. Nous exhibons une borne supérieure, montrant ainsi que la croissance de la constante systolique en fonction de n est toujours plus lente que la croissance linéaire. La méthode utilisée est appliquée à l’étude du comportement systolique des revêtements cycliques en fonction du nombre de feuilles.     

Symbolical Algebra as a Foundation for Calculus: D. F. Gregory's Contribution

Duncan Farquharson Gregory (1813–1844) was a mathematician and founder of the Cambridge Mathematical Journal. His 1841 Examples of the Processes of the Differential and Integral Calculus was an extensive revision of Peacock's 1820 textbook of a similar title. Among the new material in Gregory's version is an exposition of symbolical algebra, prominently featuring the method of “separation of symbols.” We examine Gregory's career; the mathematicians he influenced; and Servois and Murphy, who influenced him. We consider Gregory's use of separation of symbols in the Examples and consider whether he believed these techniques to be capable of providing an adequate foundation for calculus. © 2002 Elsevier Science (USA).Le mathématicien Duncan Farquharson Gregory (1813–1844) fut également fondateur du Cambridge Mathematical Journal. Son ouvrage publié en 1841, Examples of the Processes of the Differential and Integral Calculus, constitue une révision substantielle du livre de Peacock au titre similaire. L'un des apports du livre de Gregory est un exposé de l'algèbre symbolique, et en particulier de la méthode de séparation des symboles. Dans cet article nous passons en revue la carrière de Gregory et nous parlons des mathématiciens qu'il a influencés, ainsi que de l'influence que Servois et Murphy ont eu sur ses travaux. Nous considérons son usage de la séparation des symboles dans ses Examples, et nous examinons si Gregory croyait que ses techniques pouvaient constituer un fondement pour le calcul différentiel. © 2002 Elsevier Science (USA).MSC 1991 subject classifications: 01A55, 01A70, 01A50, 26-03, 26A03, 34-03, 34A30.     

Critères d'induction et de coinduction pour certains anneaux d'opérateurs différentiels

Soit une algèbre de Lie opérant par dérivations sur un anneau local commutatif noethérien (R, ,K=R/ ), et soit V l'anneau des opérateurs différentiels construits à partir de R et . Posons ( )={d /d( ) } et ₀ = ( )/ : ₀ est une algèbre de Lie qui opère sur K par dérivations et l'on peut construire un anneau d'opérateurs différentiels sur K à l'aide de ₀, noté V₀. Grâce au (V₀ − V)-bimodule V/ V on définit l'induction (resp. la coinduction) de V₀ à V par Ind^V_v0=−_v0V/ V (resp. Coind^V_v0=Hom_v0(V/ V,−)) et on donne un critère pour qu'un V-module soit induit (resp. coinduit) à partir de V₀. Ces résultats sont des analogues de ceux, établis par Mackey pour les groupes de Lie et par Blattner pour les algèbres de Lie, analogues, basés sur la notion de système d'imprimitivité.Let be a Lie algebra acting by derivations on a commutative noetherian local ring (R, ,K=R/ ) and let V be the ring of differential operators built on R and . Defining ( )={d /d( ) } et ₀ = ( )/ : ₀ is a Lie algebra which acts on K by derivations, and we can construct a differential operators ring on K with ₀, denoted by V₀. With the help of the (V₀ − V)-bimodule V/ V we define the induction (resp. coinduction) from V₀ to V by Ind^V_v0=−_v0V/ V and we give a criterion for a V-module to be induced (resp. coinduced) from V₀. These results are similar to those established by Mackey for Lie groups and Blattner for Lie algebras, which are based on the notion of the system of imprimitivity.     

Sur les espaces fonctionnels dont la source est le classifiant d’un groupe de Lie compact commutatif

Résumé Nous montrons dans cet article comment les connaissances acquises sur les espaces fonctionnels de source le classifiant du groupeZ/p ([La2], [DS]) et l’utilisation de MU-résolutions instables permettent d’obtenir des résultats sur les espaces fonctionnels de source le classifiant d’unp-groupe abélien fini ou d’un tore si l’on impose au but d’avoir une cohomologie à coefficientsp-adiques sans torsion. Nous montrons notamment que l’ensemble des classes d’homotopie d’applications du classifiant X d’un tore dans un espace Y simplement connexe dont l’homologie entière est nulle en degré impair et un groupe abélien libre de dimension finie en chaque degré pair, et dont la cohomologie rationnelle est polynomiale, s’identifie à l’ensemble des applications de la K-théorie de Y dans la K-théorie de X qui préservent la structure de λ-anneau. Le premier auteur a bénéficié pendant l’achèvement de ce travail d’une allocation de recherche de l’école Polytechnique.     

Arbres et dimension des ordres

Nous montrons que la dimension d'un ordre partiel est au plus égale à n si et seulement si cet ordre est isomorphe à l'inclusion sur une famille de sous-arbres d'un arbre àn sommets pendants. La dimension de deux classes voisines de treillis est établie.