Le théorème ergodique de Birkhoff nous renseigne sur la convergence de suites de fonctions. Nous nous intéressons alors à étudier la convergence en moyenne et presque partout de ces suites, mais dans le cas où la suite est une suite strictement croissante de nombres entiers positifs. C’est alors que nous définirons les suites uniformes et étudierons la convergence presque partout pour ces suites. Nous regarderons également s’il existe certaines suites pour lesquelles la convergence n’a pas lieu. Nous présenterons alors un résultat dû en partie à Alexandra Bellow qui dit que de telles suites existent. Finalement, nous démontrerons une équivalence entre la notion de transformatiuon fortement mélangeante et la convergence d'une certaine suite qui utilise des “poids” qui satisfont certaines propriétés. / Birkhoff’s ergodic theorem gives us information about the convergence of sequences of functions. We are then interested in studying the mean and pointwise convergence of these sequences, but in the case the sequence is a strictly increasing sequence of positive integers. With that goal in mind, we will define uniform sequences and study the pointwise convergence for these sequences. We will also explore the possibility that there exists some sequences for which the convergence of the sequence does not occur. We will present a result of Alexandra Bellow that says that such sequences exist. Finally, we will prove a result which establishes an equivalence between the notion of a strongly mixing transformation and the convergence of a sequence that uses “weights” which satisfies certain properties.

Cette thèse est une étude de la géométrie de l'interaction dans le facteur hyperfini (GdI5), introduite par Jean-Yves Girard, et de ses liens avec les constructions plus anciennes. Nous commençons par montrer comment obtenir des adjonctions purement géométriques comme une identité entre des ensembles de cycles apparaissant entre des graphes. Il est alors possible, en choisissant une fonction qui mesure les cycles, d'obtenir une adjonction numérique. Nous montrons ensuite comment construire, sur la base d'une adjonction numérique, une géométrie de l'interaction pour la logique linéaire multiplicative additive où les preuves sont interprétées par des graphes. Nous expliquons également comment cette construction permet de définir une sémantique dénotationnelle de MALL, et une notion de vérité. Nous étudions finalement une généralisation de ce cadre afin d'interpréter les exponentielles et le second ordre. Les constructions sur les graphes étant paramétrées par une fonction de mesure des cycles, nous entreprenons ensuite l'étude de deux cas particuliers. Le premier s'avère être une version combinatoire de la GdI5, et nous obtenons donc une interprétation géométrique de l'orthogonalité basée sur le déterminant de Fuglede-Kadison. Le second cas particulier est une version combinatoire des constructions plus anciennes de la géométrie de l'interaction, où l'orthogonalité est basée sur la nilpotence. Ceci permet donc de comprendre le lien entre les différentes versions de la géométrie de l'interaction, et d'en déduire que les deux adjonctions — qui semblent à première vue si différentes — sont des conséquences d'une même identité géométrique. / This work is a study of the geometry of interaction in the hyperfinite factor introduced by Jean-Yves Girard, and of its relations with ancient constructions. We start by showing how to obtain purely geometrical adjunctions as an identity between sets of cycles appearing between graphs. It is then possible, by chosing a function that measures those cycles, to obtain a numerical adjunction. We then show how to construct, on the basis of such a numerical adjunction, a geometry of interaction for multiplicative additive linear logic where proofs are interpreted as graphs. We also explain how to define from this construction a denotational semantics for MALL, and a notion of truth. We extend this setting in order to deal with exponential connectives and show a full soundness result for a variant of elementary linear logic (ELL). Since the constructions on graphs we define are parametrized by a function that measures cycles, we then focus our study to two particular cases. The first case turns out to be a combinatorial version of GoI5, and we thus obtain a geometrical caracterisation of its orthogonality which is based on Fuglede-Kadison determinant. The second particular case we study will giveus a refined version of older constructions of geometry of interaction, where orthogonality is based on nilpotency. This allows us to show how these two versions of GoI, which seem quite different, are related and understand that the respective adjunctions are both consequences of a unique geometrical property. In the last part, we study the notion of subjective truth.

Le but de cette thèse est d’étudier l’analyse sur les espaces hpc(Rd,M), la version locale des espaces de Hardy à valeurs opératorielles construits par Tao Mei. Les espaces de Hardy locaux à valeurs opératorielles sont définis par les g-fonctions de Littlewood-Paley tronquées et les fonctions intégrables de Lusin tronquées associées au noyau de Poisson. Nous développons la théorie de Calderón-Zygmund sur hpc(Rd,M); nous étudions la dualité hpcbmocq et l’interpolation. D’après ces résultats, nous obtenons la caractérisation générale de hpc(Rd,M) en remplaçant le noyau de Poisson par des fonctions tests raisonnables. Ceci joue un rôle important dans la décomposition atomique lisse de h1c(Rd,M). En même temps, nous étudions aussi les espaces de Triebel-Lizorkin inhomogènes à valeurs opératorielles Fpα,c(Rd,M). Comme dans le cas classique, ces espaces sont connectés avec des espaces de Hardy locaux à valeurs opératorielles par les potentiels de Bessel. Grâce à l’aide de la théorie de Calderón-Zygmund, nous obtenons les caractérisations de type LittlewoodPaley et de type Lusin par des noyaux plus généraux. Ces caractérisations nous permettent d’étudier différentes propriétés de Fpα,c(Rd,M), en particulier, la décomposition atomique lisse. Ceci est une extension et une amélioration de la décomposition atomique précédente de h1c(Rd,M). Comme une application importante de cette décomposition atomique lisse, nous montrons la bornitude d’opérateurs pseudo-différentiels avec les symboles réguliers à valeurs opératorielles sur des espaces de Triebel-Lizorkin Fpα,c(Rd,M), pour α ∈ R et 1 ≤ p ≤ ∞. Finalement, grâce à la transférence, nous obtenons aussi la Fpα,c-bornitude d’opérateurs pseudo-différentiels sur les tores quantiques / This thesis is devoted to the study of the analysis on the spaces hpc(Rd,M), the local version of operator-valued Hardy spaces studied by Tao Mei. The operator-valued local Hardy spaces are defined by the truncated Littlewood-Paley g-functions and the truncated Lusin square functions associated to the Poisson kernel. We develop the Calderón-Zygmund theory on hpc(Rd,M), and study the hpc-bmocq duality and the interpolation. Based on these results, we obtain general characterization of hpc(Rd,M) which states that the Poisson kernel can be replaced by any reasonable test function. This characterization plays an important role in the smooth atomic decomposition of h1c(Rd,M). We also investigate the operator-valued inhomogeneous Triebel-Lizorkin spaces Fpα,c(Rd,M). Like in the classical case, these spaces are connected with the operator-valued local Hardy spaces via Bessel potentials. Then by the aid of the Calderón-Zygmund theory, we obtain the Littlewood-Paley type and the Lusin type characterizations of Fpα,c(Rd,M) by more general kernels. These characterizations allow us to study various properties of Fpα,c(Rd,M), in particular, the smooth atomic decomposition. This is an extension and an improvement of the previous atomic decomposition of h1c(Rd,M). As an important application of this smooth atomic decomposition, we show the boundedness of pseudo-differential operators with regular operator-valued symbols on Triebel-Lizorkin spaces Fpα,c(Rd,M), for α ∈ R and 1 ≤ p ≤ ∞. Finally, by virtue of transference, we obtain the Fpα,c-boundedness of pseudo-differential operators on quantum tori

Cette thèse s’inscrit dans le domaine de la théorie des opérateurs. L’un des opérateurs qui m’a particulièrement intéressé est l’opérateur modèle noté S(Φ) qui désigne la compression du shift unilatéral S sur l’espace modèle H(Φ) où Φ est une fonction intérieure. L’étude du rayon numérique de S(Φ) semble être importante comme l’illustre bien un résultat dû à C. Badea et G. Cassier qui ont montré qu’il existe un lien entre le rayon numérique de tels opérateurs et l’estimation des coefficients des fractions rationnelles positives sur le tore. Nous fournissons une extension de leur résultat et nous trouvons une expression explicite du rayon numérique de S(Φ) dans le cas particulier où Φ est un produit de Blaschke fini avec un unique zéro. Dans le cas général où Φ est un produit de Blaschke fini quelconque, une estimation du rayon numérique de S(Φ) est aussi donnée. Dans la deuxième partie de cette thèse on s’est intéressé à l’image numérique de rang supérieur Λk(T) qui est l’ensemble de tous les nombres complexes λ vérifiant PTP = λP pour une certaine projection orthogonale P de rang k . Cette notion a été introduite récemment par M.-D. Choi, D. W. Kribs, et K. Zyczkowski et elle est utilisée pour certains problèmes en physique. On montre que l’image numérique de rang supérieur du shift n-dimensionnel coïncide avec un disque de rayon bien déterminé / This thesis joins in the field of operator theory. We are specially interested by the extremal operator S(Φ) defined by the compression of the unilateral shift S to the model subspace H(Φ) where Φ is an inner function on the unit disc. The numerical radius of S(Φ) seems to be important and have many applications to harmonic analysis. C. Badea and G. Cassier showed that there is a relationship between the numerical radius of such operators and the Taylor coefficients of positive rational functions. We give an extension of C. Badea and G. Cassier result and an explicit formula of the numerical radius of S(Φ) in the particular case where Φ is a finite Blaschke product with unique zero. An estimate in the general case is also established. The second part is devoted to the study of the higher rank-k numerical range denoted by Λk(T) which is the set of all complex number λ satisfying PTP = λP for some rank-k orthogonal projection P. This notion was introduced by M.-D. Choi, D. W. Kribs, et K. Zyczkowski motivated by a problem in Physics. We show that if Sn is the n-dimensional shift then its rank-k numerical range is the circular discentered in zero and with a precise radius

Le théorème ergodique de Birkhoff nous renseigne sur la convergence de suites de fonctions. Nous nous intéressons alors à étudier la convergence en moyenne et presque partout de ces suites, mais dans le cas où la suite est une suite strictement croissante de nombres entiers positifs. C’est alors que nous définirons les suites uniformes et étudierons la convergence presque partout pour ces suites. Nous regarderons également s’il existe certaines suites pour lesquelles la convergence n’a pas lieu. Nous présenterons alors un résultat dû en partie à Alexandra Bellow qui dit que de telles suites existent. Finalement, nous démontrerons une équivalence entre la notion de transformatiuon fortement mélangeante et la convergence d'une certaine suite qui utilise des “poids” qui satisfont certaines propriétés. / Birkhoff’s ergodic theorem gives us information about the convergence of sequences of functions. We are then interested in studying the mean and pointwise convergence of these sequences, but in the case the sequence is a strictly increasing sequence of positive integers. With that goal in mind, we will define uniform sequences and study the pointwise convergence for these sequences. We will also explore the possibility that there exists some sequences for which the convergence of the sequence does not occur. We will present a result of Alexandra Bellow that says that such sequences exist. Finally, we will prove a result which establishes an equivalence between the notion of a strongly mixing transformation and the convergence of a sequence that uses “weights” which satisfies certain properties.

The first few chapters of the dissertation will catalogue what is known regarding z-ideals in commutative rings with identity. Some special attention will be paid to z-ideals in function rings to show how the presence of the topological description simplifies z-covers of arbitrary ideals. Conditions in an f-ring that ensure that the sum of z-ideals is a z-ideal will be given. In the latter part of the dissertation I will generalise a result in higher order z-ideals and introduce a notion of higher order d-ideals / Mathematical Sciences / M. Sc. (Mathematics)

No description available.

Ce travail de thèse s'inscrit dans une problématique visant à étudier numériquement le bruit d'origine aérodynamique généré par les écoulements turbulents autour des véhicules en utilisant la méthode Boltzmann sur Réseau (LBM). Les objectifs de cette thèse sont l'étude des capacités aéroacoustiques de la LBM ainsi que l'élaboration d'un code de calcul tridimensionnel et parallèle.<br />Dans un premier temps, les élements historiques et théoriques de la LBM sont présentés ainsi que le développement permettant de passer de l'équation de Boltzmann aux équations de Navier-Stokes. La construction des modèles à vitesses discrètes est également décrite. Deux modèles basés sur des opérateurs de collision différents sont présentés : le modèle LBM-BGK et le modèle LBM-MRT. Pour l'étude des capacités aéroacoustiques de la LBM, une analyse de von Neumann est réalisée pour les modèles LBM-BGK et LBM-MRT ainsi que pour l'équation de Boltzmann à vitesse discrète (DVBE). Une comparaison avec les schémas Navier-Stokes d'ordre élevé est alors menée. Pour remédier aux instabilités numériques de la méthode Boltzmann sur Réseau intervenant lors de la propagation dans des directions particulières à M>0.1, des filtres sélectifs sont utilisés et leur effet sur la dissipation est étudié.<br />Dans un second temps, le code de calcul L-BEAM est présenté. La structure générale et les différentes techniques de calculs sont décrites. Un algorithme de transition de résolution est développé. La modélisation de la turbulence est abordée et le modèle de Meyers-Sagaut est implémenté dans le code. Enfin, des cas tests numériques sont utilisés pour valider le code et la simulation d'un écoulement turbulent complexe est réalisée.

Cette thèse présente des résultats sur les algèbres planaires et les sous-algèbres maximales abéliennes dans des algèbres de von Neumann. Les deux premiers chapitres portent sur une construction qui, à une algèbre planaire d'un sous-facteur, associe un facteur II1. Dans le premier chapitre, on définit une classe d'algèbres planaires, qualifiées de non coloriées, qui est adaptée à la théorie des probabilités libres. De plus cette classe contient la classe des algèbres planaires d'un sous-facteur. On montre qu'à toute algèbre planaire non coloriée on peut associer une algèbre de von Neumann. Le résultat principal est que cette algèbre de von Neumann est un facteur II1. Dans le deuxième chapitre, on considère le facteur II1 construit à partir d'une algèbre planaire d'un sous-facteur. On considère une sous-algèbre maximale abélienne génériquement associée à l'algèbre planaire. Le résultat principal est que cette sous-algèbre maximale abélienne est maximale hyperfinie. Dans le troisième chapitre, on considère un invariant introduit par Takesaki pour des sous-algèbres maximales abéliennes. Le résultat principal est de montrer que cet invariant est obtenu par l'action du normalisateur. En particulier, on répond à une question de Takesaki en montrant que toute sous-algèbre maximale abélienne singulière est simple.

In dieser Arbeit werden die Modularobjekte zu zyklischen und separierenden Vektoren für von-Neumann-Algebren untersucht. Besondere Beachtung erfahren dabei die Modularoperatoren und deren Spektraleigenschaften. Diese Eigenschaften werden genutzt, um Klassifikationen für Lösungen einiger inverser Probleme der Modulartheorie anzugeben. Im ersten Teil der Arbeit wird zunächst der Zusammenhang zwischen dem zyklischen und separierenden Vektor und seinen Modularobjekten mit Hilfe (verallgemeinerter) Spurvektoren für halbendliche und Typ $III_{\lambda}$ Algebren ($0<\lambda<1$) näher untersucht. Diese Untersuchungen erlauben es, das Spektrum der Modularoperatoren für Typ $I$ Algebren anzugeben. Dazu werden die Begriffe {\em zentraler Eigenwert} und zentrale Vielfachheit eingeführt. Weiterhin ergibt sich, dass die Modularoperatoren durch ihre Spektraleigenschaften eindeutig charakterisiert sind. Modularoperatoren für Typ $I_{n}$ Algebren sind genau die $n$-zerlegbaren Operatoren, die multiplikatives, zentrales Spektrum vom Typ $I_{n}$ besitzen. ähnliche Ergebnisse werden auch für Typ $II$ und $III_{\lambda}$ Algebren gewonnen unter der Vorausetzung, dass die zugehörigen Vektoren diagonalisierbar sind. Im zweiten Teil der Arbeit werden diese Ergebnisse exemplarisch auf ein inverses Problem der Modulartheorie angewendet. Dabei stellt sich heraus, dass die Begriffe zentraler Eigenwert und zentrale Vielfachheit Invarianten des inversen Problems sind und eine vollständige Klassifizierung seiner Lösungen unter obigen Voraussetzungen erlauben. Außerdem wird eine Klasse von Modularoperatoren untersucht, für die das inversese Problem nur ein oder zwei Lösungsklassen besitzt. / In this work modular objects of cyclic and separating vectors for von~Neumann~algebras are considered. In particular, the modular operators and their spectral properties are investigated. These properties are used to classify the solutions of some inverse problems in modular theory. In the first part of the work the correspondence between cyclic and separating vectors and their modular objects are considered for semifinite and type $III_{\lambda}$ algebras ($0<\lambda<1$) in more detail, where (generalized) trace vectors are used. These considerations allow to compute the spectrum of modular operators for type $I$ algebras. To this end, the notions of central eigenvalue and central multiplicity are introduced. Furthermore, it is stated that modular operators are uniquely determined by their spectral properties. Modular operators for type $I_{n}$ algebras are exactly the $n$-decomposable operators, which possess {\em multiplicative central spectrum of type $I_{n}$}. Similar results are derived for type $II$ and $III_{\lambda}$ algebras under the assumption that the corresponding vectors are diagonalizable. In the second part of this work these results are applied to an inverse problem of modular theory. It comes out, that the central eigenvalues and central multiplicities are invariants of this inverse problem and that they give a complete classification of its solutions. Moreover, a class of modular operators is investigated, whose inverse problem possesses only one or two classes of solutions.