Titre : Comptes rendus de l'Académie des sciences. Série 1, Mathématique
Auteur : Académie des sciences (France). Auteur du texte
Éditeur : Elsevier (Paris)
Éditeur : Centrale des revuesCentrale des revues (Montrouge)
Éditeur : ElsevierElsevier (Paris)
Date d'édition : 1987-11-14
Notice du catalogue : http://catalogue.bnf.fr/ark:/12148/cb34394200t
Type : texte texte
Type : publication en série imprimée publication en série imprimée
Langue : français
Format : Nombre total de vues : 29122 Nombre total de vues : 29122
Description : 14 novembre 1987 14 novembre 1987
Description : 1987/11/14 (SER1,T305,N15). 1987/11/14 (SER1,T305,N15).
Droits : Consultable en ligne
Identifiant : ark:/12148/bpt6k5496921k
Source : Archives de l'Académie des sciences, 2008-94315
Conservation numérique : Bibliothèque nationale de France
Date de mise en ligne : 01/12/2010
- Aller à la page de la table des matièresI
- CONTENTS 1987 - VOLUME 305 - SECTION I - N° 15
- .......... Page(s) .......... 665
- .......... Page(s) .......... 665
- We denote the binary predicate of coprimeness (x y meaning that x and y are coprime), and S the successor function (S, ). We show that there are (S, -definable functions f and g from N into the set of primes, such that if it is possible to (S, )-define for one among the f' s or the g' s, and for every positive integer x the sum x+f' (x) or the product xg (x), then the first order arithmetic is (S, )-definable.
- .......... Page(s) .......... 669
- .......... Page(s) .......... 669
- We compare the weak solution (
, h) of the Stefan problem in some annular domain , with the weak solution (, H) of the "symmetrized" problem, in , where is a symmetrical annulus having the same measure as
. For the one-phase Stefan problem - when - we show, in particular, that the "volume of ice" (mes ) remains greatest in spherical symmetry (with initial data decreasing along the radii).
- .......... Page(s) .......... 673
- We give a course of spectral results related to the positiveness of the transport semigroup. Necessary conditions and sufficient ones for the existence of eigenvalues are given. We present a new approach to the irreducibility of the transport semigroup. We exploit a result by I. Marek [1] to obtain strict monotonicity properties of the principal eigenvalue with respect to the different parameters of the transport equation.
- .......... Page(s) .......... 685
- .......... Page(s) .......... 685
- Two linear torsionless connections and D are naturally given on certain differentiable hypersurfaces ME of a reflexive Banach space E.
- The definition of these connections is based on the existence of a field P: ML (E; E) of "projections of minimal distance" as well as on the associated field N of "unit normals of Birkhoff-James", with Ker ().
- .......... Page(s) .......... 689
- .......... Page(s) .......... 689
- Frostman's theorem for trees and modulus [1] is applied to ultrametric Cantor sets and in general to regular Cantor sets. We get, for these sets, equality for the different dimensions usually considered.
- In this context we introduce the notion of presentation of a Cantor set. It is given by a tree and a modulus. Two examples enlightens the usefulness of this notion.
- .......... Page(s) .......... 693
- .......... Page(s) .......... 693
- Let B(x), , be a three parameters Levy Brownian motion. Denote by L(H+), L(H-) the closed subspaces of L2 spanned respectively by and .
- We prove that conditional on the processes B(x), and B(y), are independent and identical in law, moreover the associated covariance function coïncides with the Green function of the second kind for the bilaplacian defined on . Some consequences of this result are mentionned.
- .......... Page(s) .......... 697
- .......... Page(s) .......... 697
- To avoid any numerical locking in the finite element approximation of viscoelastic flow problems, we propose a three-field finite element approximation of this problem. This approximation, which involves velocities, stresses, and pressures is proved to converge for all times.
- .......... Page(s) .......... 701
- .......... Page(s) .......... 701
- We present a relaxed version of incompressible Euler equations, that permit foliated flows involving two velocities. These relaxed equations allow a two-phase evolution of some vortex sheets, as an alternative to discontinuous solutions of Euler equations.
- COMPTES RENDUS DE L'ACADEMIE DES SCIENCES MATHEMATIQUE 1987 - Tome 305 - Série I - n° 15
C. R. Acad. Sci. Paris, t. 305, Série I, p. 665-668, 1987 667
(c) Pour définir finalement le produit xy cherché, on introduit le produit d (x, y) des
divise aussi t). L'égalité xy=z équivaut, pour x>0 et y>0, à cp(pr, y+1) divise d(x, y).
On peut définir d (x, y) dans ( +, J_), et donc aussi la multiplication : la synonymie
cherchée en résulte. D
3. COPRIMARITÉ, SUCCESSEUR ET UNE RESTRICTION DE L'ADDITION ou DE LA MULTIPLICATION.
— Nous n'avons pas utilisé toute la relation d'addition au paragraphe 2, mais seulement
sa restriction à PR xNxN et l'ordre naturel. Le théorème cité de C. Stçirmer permet de
restreindre l'addition à S et à la relation ternaire A (x, p, y) qui signifie (p est premier et
x+p=y) :
Fait 3.1. — Le langage L = (S, ±, A) est synonyme de (S, •).
Preuve. — On définit dans L et à partir de ST(x), la réunion F des supports des
y—z, pour tous les y, z distincts de ST(x). Pour y et p, les égalités
SUPP(x-t-/?+i) = SUPP(j+/?-H) avec z" = l et i = 2 entraînent les inclusions
SUPP(x+/7+i) = Supp(>'+j7-l-i) c F pour les mêmes i. Comme ST(x) est borné d'après
le théorème 1.1, alors F l'est aussi et x est le seul y de ST(x) tel que
SUPP(y+/7+i)=SUPP(x+/;+0 pour i=l et i=2, et pour p premier assez grand.
Par suite, 5X est l'unique u de 5N tel que, pour tout p premier,
SUPP(x+p+i) = SUPP(/7 + i+log5M), pour i=l et i=2. Le théorème 1.4 montre que
la relation (ue5N et p est premier et geSUPP(j? + i+log5M) est (S, -indéfinissable par
une formule Qt(u, p, q). On peut dès lors conclure en utilisant le théorème 1.3 et la
L-définition de la fonction x\-^y=5x donnée par la formule :
Le théorème 2 est corollaire de 3.1, mais la preuve donnée au paragraphe 2 n'utilise
pas les théorèmes 1.1 et 1.3, et la dernière définition obtenue n'est pas récursive comme
au paragraphe 2.
Le prédicat PUIS est une restriction suffisante de la multiplication assurant la synony-
mie cherchée (cf. [12]). La restriction du produit à PR xNxN, notée PMULTQ?, x, y),
constituée par (p est premier et px=y) complète elle aussi le langage ( + ,•):
Fait 3.2. — Le langage (S, ±, PMULT) est synonyme de celui de l'arithmétique.
L'analyse de 3.1 et 3.2 et le théorème 1.2 conduisent finalement au
THÉORÈME 3.3. — Il existe des fonctions f et g de N dans PR, qui sont
(S, ±)-définissables, et telles que si R(y, x) est la relation (y = x+f (x)) ou la relation
(y=xg(x)), alors le langage (S, ±, R) est synonyme de ( + , •).
Preuve. — Soit x fixé; considérons dans le modèle interne <5N; ®5; ©5> défini
au théorème 1.2, son ordre naturel interne © et l'ensemble 5ST {x), qui sont
(S, ±)-définissables d'après le théorème 1.4. Soit encore F l'ensemble défini dans la
preuve de 3.1. On peut (S, ±)-définir les ensembles 5F, 5PA (x) et 5PM (x\ les deux derniers
étant constitués des 5S où s est premier et vérifie y+STM Q 5F d'une part, et, d'autre
part, des 5r où t est premier et vérifie 5r ST (x) © 5F. En vertu du théorème 1.4, les
ensembles PA (x) et PM (x) sont (S, ±)-définissables. Les fonctions f et g définies par
(c) Pour définir finalement le produit xy cherché, on introduit le produit d (x, y) des
+l. Alors d(x, y) est le plus petit entier t tel que (
divise t, et pour tout premier pj et tout kOn peut définir d (x, y) dans ( +, J_), et donc aussi la multiplication : la synonymie
cherchée en résulte. D
3. COPRIMARITÉ, SUCCESSEUR ET UNE RESTRICTION DE L'ADDITION ou DE LA MULTIPLICATION.
— Nous n'avons pas utilisé toute la relation d'addition au paragraphe 2, mais seulement
sa restriction à PR xNxN et l'ordre naturel. Le théorème cité de C. Stçirmer permet de
restreindre l'addition à S et à la relation ternaire A (x, p, y) qui signifie (p est premier et
x+p=y) :
Fait 3.1. — Le langage L = (S, ±, A) est synonyme de (S, •).
Preuve. — On définit dans L et à partir de ST(x), la réunion F des supports des
y—z, pour tous les y, z distincts de ST(x). Pour y et p, les égalités
SUPP(x-t-/?+i) = SUPP(j+/?-H) avec z" = l et i = 2 entraînent les inclusions
SUPP(x+/7+i) = Supp(>'+j7-l-i) c F pour les mêmes i. Comme ST(x) est borné d'après
le théorème 1.1, alors F l'est aussi et x est le seul y de ST(x) tel que
SUPP(y+/7+i)=SUPP(x+/;+0 pour i=l et i=2, et pour p premier assez grand.
Par suite, 5X est l'unique u de 5N tel que, pour tout p premier,
SUPP(x+p+i) = SUPP(/7 + i+log5M), pour i=l et i=2. Le théorème 1.4 montre que
la relation (ue5N et p est premier et geSUPP(j? + i+log5M) est (S, -indéfinissable par
une formule Qt(u, p, q). On peut dès lors conclure en utilisant le théorème 1.3 et la
L-définition de la fonction x\-^y=5x donnée par la formule :
Le théorème 2 est corollaire de 3.1, mais la preuve donnée au paragraphe 2 n'utilise
pas les théorèmes 1.1 et 1.3, et la dernière définition obtenue n'est pas récursive comme
au paragraphe 2.
Le prédicat PUIS est une restriction suffisante de la multiplication assurant la synony-
mie cherchée (cf. [12]). La restriction du produit à PR xNxN, notée PMULTQ?, x, y),
constituée par (p est premier et px=y) complète elle aussi le langage ( + ,•):
Fait 3.2. — Le langage (S, ±, PMULT) est synonyme de celui de l'arithmétique.
L'analyse de 3.1 et 3.2 et le théorème 1.2 conduisent finalement au
THÉORÈME 3.3. — Il existe des fonctions f et g de N dans PR, qui sont
(S, ±)-définissables, et telles que si R(y, x) est la relation (y = x+f (x)) ou la relation
(y=xg(x)), alors le langage (S, ±, R) est synonyme de ( + , •).
Preuve. — Soit x fixé; considérons dans le modèle interne <5N; ®5; ©5> défini
au théorème 1.2, son ordre naturel interne © et l'ensemble 5ST {x), qui sont
(S, ±)-définissables d'après le théorème 1.4. Soit encore F l'ensemble défini dans la
preuve de 3.1. On peut (S, ±)-définir les ensembles 5F, 5PA (x) et 5PM (x\ les deux derniers
étant constitués des 5S où s est premier et vérifie y+STM Q 5F d'une part, et, d'autre
part, des 5r où t est premier et vérifie 5r ST (x) © 5F. En vertu du théorème 1.4, les
ensembles PA (x) et PM (x) sont (S, ±)-définissables. Les fonctions f et g définies par
Le taux de reconnaissance estimé pour ce document est de 93.32%.
En savoir plus sur l'OCR
En savoir plus sur l'OCR
Le texte affiché peut comporter un certain nombre d'erreurs. En effet, le mode texte de ce document a été généré de façon automatique par un programme de reconnaissance optique de caractères (OCR). Le taux de reconnaissance estimé pour ce document est de 93.32%.
- Auteurs similaires Académie des sciences Académie des sciences /services/engine/search/sru?operation=searchRetrieve&version=1.2&maximumRecords=50&collapsing=true&exactSearch=true&query=(dc.creator adj "Académie des sciences" or dc.contributor adj "Académie des sciences")Inauguration de la statue de Perronet, à Neuilly (Seine), le 4 juillet 1897 / Discours prononcé par M. Maurice Lévy,... ; Institut de France. Académie des sciences. /ark:/12148/bd6t546445573.highres Institut de France. Académie des sciences. Rapport de la Commission d'action extérieure de l'Académie sur les laboratoires nationaux des recherches scientifiques, présenté, dans les séances des 13 et 27 novembre 1916, par M. Henry Le Chatelier /ark:/12148/bd6t54202280m.highres
-
-
Page
chiffre de pagination vue 13/52
- Recherche dans le document Recherche dans le document https://gallica.bnf.fr/services/ajax/action/search/ark:/12148/bpt6k5496921k/f13.image ×
Recherche dans le document
- Partage et envoi par courriel Partage et envoi par courriel https://gallica.bnf.fr/services/ajax/action/share/ark:/12148/bpt6k5496921k/f13.image
- Téléchargement / impression Téléchargement / impression https://gallica.bnf.fr/services/ajax/action/download/ark:/12148/bpt6k5496921k/f13.image
- Mise en scène Mise en scène ×
Mise en scène
Créer facilement :
- Marque-page Marque-page https://gallica.bnf.fr/services/ajax/action/bookmark/ark:/12148/bpt6k5496921k/f13.image ×
Gérer son espace personnel
Ajouter ce document
Ajouter/Voir ses marque-pages
Mes sélections ()Titre - Acheter une reproduction Acheter une reproduction https://gallica.bnf.fr/services/ajax/action/pa-ecommerce/ark:/12148/bpt6k5496921k
- Acheter le livre complet Acheter le livre complet https://gallica.bnf.fr/services/ajax/action/indisponible/achat/ark:/12148/bpt6k5496921k
- Signalement d'anomalie Signalement d'anomalie https://sindbadbnf.libanswers.com/widget_standalone.php?la_widget_id=7142
- Aide Aide https://gallica.bnf.fr/services/ajax/action/aide/ark:/12148/bpt6k5496921k/f13.image × Aide
Facebook
Twitter
Pinterest