This thesis is concerned with the formulation of a suitable notion of monotonicity of discrete and continuous-time dynamical systems on Lie groups and homogeneous spaces. In a linear space, monotonicity refers to the property of a system that preserves an ordering of the elements of the space. Monotone systems have been studied in detail and are of great interest for their numerous applications, as well as their close connections to many physical and biological systems. In a linear space, a powerful local characterisation of monotonicity is provided by differential positivity with respect to a constant cone field, which combines positivity theory with a local analysis of nonlinear systems. Since many dynamical systems are naturally defined on nonlinear spaces, it is important to seek a suitable adaptation of monotonicity on such spaces. However, the question of how one can develop a suitable notion of monotonicity on a nonlinear manifold is complicated by the general absence of a clear and well-defined notion of order on such a space. Fortunately, for Lie groups and important examples of homogeneous spaces that are ubiquitous in many problems of engineering and applied mathematics, symmetry provides a way forward. Specifically, the existence of a notion of geometric invariance on such spaces allows for the generation of invariant cone fields, which in turn induce notions of conal orders. We propose differential positivity with respect to invariant cone fields as a natural and powerful generalisation of monotonicity to nonlinear spaces and develop the theory in this thesis. We illustrate the ideas with numerous examples and apply the theory to a number of areas, including the theory of consensus on Lie groups and order theory on the set of positive definite matrices.

Dans ce mémoire, on s’inspire des sciences cognitives pour aborder la question de la modélisation logique du raisonnement et de l’apprentissage. Notre principale conviction est qu’il faudrait, pour traiter ce problème, prendre modèle sur la manière dont les agents naturels (c’est à dire les humains et les animaux) procèdent lorsqu’ils raisonnent ou apprennent. Considérant que le raisonnement fait appel à un grand nombre de facultés cognitives distinctes, et qu’il ne serait donc pas raisonnable d’espérer modéliser d’un seul coup l’ensemble du raisonnement humain, on se concentre ici sur un type d’inférences très simples dont on soutient qu’elles constituent le coeur du raisonnement chez tous les animaux à cerveau. On identifie un processus sous-jacent plausible pour ces inférences, d’abord au niveau mental de description, puis au niveau neuronal, et on développe une famille de modèles logiques permettant de le simuler. On s’attache ensuite à produire un ensemble de règles d’inférence caractérisant les relations d’inférence induites par ces modèles. Ces règles résultent du processus suggéré, et doivent donc être vues comme des règles qui, d’après le modèle, émergent fonctionnement des cerveaux. Enfin, on analyse les processus d’apprentissage attachés aux inférences considérées, et on montre comment le formalisme proposé permet de les modéliser. Pour conclure on évoque brièvement les possibles développements futurs du modèle, et notamment on donne quelques indications quant à la manière dont la modélisation d’un certain nombre de facultés additionnelles pourrait être envisagée. / In this dissertation, we take inspiration in cognitive sciences to address the issue of the logical modelling of reasoning and learning. Our main thrust is that to address these issues one should take inspiration in the way natural agents (i.e., humans and animals) actually proceed when they draw inferences and learn. Considering that reasoning incorporates a wide range of cognitive abilities, and that it would thus be unreasonable to hope to model the whole of human’s reasoning all at once, we focus here on a very basic kind of inferences that, we argue, can be considered as the primary core of reasoning in all brained animals. We identify a plausible underlying process for these inferences, first at the mental level of description and then at the neural level, and we develop a family of logical models that allow to simulate it. Then we tackle the issue of providing sets of rules to characterise the inference relations induced by these models. These rules are a by-product of the posited process, and should thus be seen as rules that, according to the model, result from the very functioning of brains. Finally we examine the learning processes attached to the considered inferences, and we show how to they can be modelled within our framework. To conclude we briefly discuss possible further developments of the framework, and in particular we give indications about how the modelling of some other cognitive abilities might be envisioned.

In this paper I extend the method of mixed monotony, to construct monotone sequences that converge to the unique solution of an initial value delay differential equation. / En este artículo se prueba una generalización del método de monotonía mixta, para construir sucesiones monótonas que convergen a la solución única de una ecuación diferencial de retraso con valor inicial.

Submitted by Marlene Santos (marlene.bc.ufg@gmail.com) on 2016-05-05T20:25:53Z No. of bitstreams: 2 Dissertação - Carlos Eduardo Rosado de Barros - 2015.pdf: 1334566 bytes, checksum: 373183ed73dd83bfac5d91d2670c2e36 (MD5) license_rdf: 19874 bytes, checksum: 38cb62ef53e6f513db2fb7e337df6485 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-05-06T11:43:27Z (GMT) No. of bitstreams: 2 Dissertação - Carlos Eduardo Rosado de Barros - 2015.pdf: 1334566 bytes, checksum: 373183ed73dd83bfac5d91d2670c2e36 (MD5) license_rdf: 19874 bytes, checksum: 38cb62ef53e6f513db2fb7e337df6485 (MD5) / Made available in DSpace on 2016-05-06T11:43:27Z (GMT). No. of bitstreams: 2 Dissertação - Carlos Eduardo Rosado de Barros - 2015.pdf: 1334566 bytes, checksum: 373183ed73dd83bfac5d91d2670c2e36 (MD5) license_rdf: 19874 bytes, checksum: 38cb62ef53e6f513db2fb7e337df6485 (MD5) Previous issue date: 2015-08-07 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / In this work, mainly based on the articles, [1], [2] and [7], one studies a reactiondiffusion- convection system, related the propagation of a combustion front through a porous medium, giving origin a Cauchy problem. Such a problem has been approached by the methode of the monotone iterations, which leads to an unique time-global solution. / Nesse trabalho, baseado principalmente nos artigos [1], [2] e [7], estuda-se um sistema reação-difusão-convecção, relacionado à propagação de uma frente de combustão em um meio poroso, recaindo sobre um problema de Cauchy. Tal problema é abordado através do método de iterações monótonas, o qual conduz a uma única solução global no tempo.

Orientador: Marcelo Martins dos Santos / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-23T21:53:25Z (GMT). No. of bitstreams: 1 Santos_RonaldoAntoniodos_D.pdf: 739129 bytes, checksum: f677894f21ef1223fced35636869835d (MD5) Previous issue date: 2013 / Resumo: Neste trabalho provamos a existência de solução global para um sistema não linear constituído de duas equações parabólicas acopladas a duas equações diferenciais ordinárias. Tal sistema modela um processo de combustão em um meio poroso com duas camadas, em que os efeitos de compressibilidade são desprezados, mas a troca de calor entre as camadas, bem como a propagação de calor por convecção são levadas em conta. Supondo que os dados iniciais são lipschitzianos, limitados e pertencentes a algum espaço , 1 < < ?, obtivemos solução clássica para o problema / Abstract: In this work we prove the existence of a global solution for a nonlinear system consisting of two parabolic equations coupled to two ordinary differential equations. Such a system models a combustion process in a porous medium with two layers in which compressibility effects are neglected, but heat transfer between the layers as well as heat conduction are taken into a account. We obtained a classical solution under the assumptions that the initial data is bounded, Lipschitz and belongs to some space, with 1 < < ? / Doutorado / Matematica / Doutor em Matemática

Made available in DSpace on 2014-06-12T18:29:09Z (GMT). No. of bitstreams: 2 arquivo4274_1.pdf: 5027595 bytes, checksum: 37a31f281a0f888465edbdc60cb2db39 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nessa tese estudamos a estimação por máxima verossimilhança (MV) do parâmetro de aspereza da distribuição G 0 A de imagens com speckle (Frery et al., 1997). Descobrimos que, satisfeita uma certa condição dos momentos amostrais, a função de verossimilhança é monótona e as estimativas MV são infinitas, implicando uma região plana. Implementamos quatro estimadores de correção de viés em uma tentativa de obter estimativas MV finitas. Três dos estimadores são obtidos da literatura sobre verossimilhança monótona (Firth, 1993; Jeffreys, 1946) e um, baseado em reamostragem, é proposto pelo autor. Fazemos experimentos numéricos de Monte Carlo para comparar os quatro estimadores e encontramos que não existe um favorito claro, a menos quando um parâmetro (dado a priori da estimação) toma um valor específico. Também aplicamos os estimadores a dados reais de radar de abertura sintética. O resultado desta análise mostra que os estimadores precisam ser comparados com base em suas habilidades de classificar regiões corretamente como ásperas, planas, ou intermediárias e não pelos seus vieses e erros quadráticos médios

Les phénomènes de contact entre des corps déformables ou entre un corps déformable et une fondation rigide sont des phénomènes omniprésents dans la vie courante. Ces phénomènes peuvent faire appel à des modèles mathématiques sophistiqués qui sont représentés par des systèmes d’équations aux dérivées partielles avec des conditions aux limites décrivant des processus de contact (avec ou sans frottement) complexes. Cependant, la théorie mathématique des problèmes de contact est un domaine d’études très large où de nombreux problèmes restent à investiguer. Le champ d’études de cette thèse concerne aussi bien l’élaboration de nouveaux modèles de contact et frottement que l’analyse mathématique et la résolution numérique des problèmes considérés. Dans ces travaux, notre objectif est d’apporter une contribution à cette théorie mathématique des problèmes de contact. En d’autres termes, l’objet de notre travail de thèse est d’étudier théoriquement et numériquement quelques problèmes de contact entre un corps déformable et une fondation rigide en utilisant plusieurs lois originales de comportement et de contact avec et sans frottement. / Phenomena of contact between deformable bodies or between a deformable body and a rigid foundation abound in everyday life. These phenomena may involve sophisticated mathematical models represented by systems of partial differential equations with boundary conditions describing complex contact processes (with or without friction). However, the mathematical theory of contact problems is a broad field of study where many issues remain to be investigated. The field studies of this thesis concerns, the development of new models of contact and friction as well as the mathematical analysis and numerical solution of the problems considered. In this work, our goal is to make a contribution to this mathematical theory of contact problems. In other words, the purpose of our thesis is to study theoretically and numerically some problems of contact between a deformable body and a rigid foundation using several original constitutive and contact laws with and without friction

Cette thèse se trouve à l'intersection de deux sujets de recherches en économie qui ont connus des développements récents : d'un côté, la modélisation et l'étude des réseaux économiques, de l'autre, la théorie du transport et ses applications en économie. Les quatre chapitres de cette thèse déclinent plusieurs résultats théoriques en lien avec ces deux sujets, en insistant sur leurs connections. Le premier chapitre modélise des contrats bipartites sur un marché décentralisé comme un problème de flux. Ce travail prouve l’existence d'un équilibre compétitif et discute son efficacité. Nous présentons des interprétations de ce modèle dans le cas où les biens sont indivisibles. Ces spécifications sont utilisées pour proposer un modèle du marché du prêt interbancaire. Dans le second chapitre, co-écrit avec Alfred Galichon et Larry Samuelson, nous prouvons un théorème de statiques comparatives monotones. Nous appliquons ensuite ce résultat à plusieurs modèles économiques classiques (modèles d'appariement, modèles hédoniques et problèmes de flux de coût minimum). Le troisième chapitre, co-écrit avec Alfred Galichon et Arthur Charpentier, présente des outils pour résoudre les problèmes d'appariement sur des réseaux de grandes dimensions avant de les mettre en pratique. Enfin le quatrième chapitre, co-écrit avec Rakesh Vohra, montre comment un assureur monopolistique peut utiliser les externalités entre agents - modélisées comme un réseau - pour maximiser ses revenus. Bien qu’exerçant le niveau d'effort optimal d'un point de vue social, tous les agents préfèrent l'équilibre précédant l'introduction de l'assureur. / This dissertation lies at the intersection of two fields of research in economics that have recently substantially developed: on the one hand, the modeling and study of economic networks, and on the other hand, transport theory and its applications in economics. The four chapters of this dissertation present theoretical results in relation with these two topics and put stress on their connections. The first chapter models bipartite contracts on a decentralized market as an equilibrium flow problem. We prove the existence of a competitive equilibrium outcome and discuss its effciency. We interpret this equilibrium in the case of indivisible commodities. As an illustration, we build a model for the overnight interbank loan market with counterparty risk and collateralization costs. In the second one, written in collaboration with Alfred Galichon and Larry Samuelson, we prove a monotone comparative statics theorem that we then apply to several classical economic models (matching models, min-cost flow problems and hedonic models). The third chapter is a joint work with Alfred Galichon and Arthur Charpentier. It presents tools to solve for matching problems on large geographic networks before applying them to examples. Finally, the fourth chapter, written with Rakesh Vohra, shows how a monopolistic insurer can use externalities between agents - modeled as a network - to maximize his profit. We show that a monopolistic insurer decreases the welfare of all agents.

In this thesis, we propose to analyze panel count data using a spline-based sieve generalized estimating equation method with a semiparametric proportional mean model E(N(t)|Z) = Λ0(t) eβT0Z. The natural log of the baseline mean function, logΛ0(t), is approximated by a monotone cubic B-spline function. The estimates of regression parameters and spline coefficients are the roots of the spline based sieve generalized estimating equations (sieve GEE). The proposed method avoids assumingany parametric structure of the baseline mean function and the underlying counting process. Selection of an appropriate covariance matrix that represents the true correlation between the cumulative counts improves estimating efficiency. In addition to the parameters existing in the proportional mean function, the estimation that accounts for the over-dispersion and autocorrelation involves an extra nuisance parameter σ2, which could be estimated using a method of moment proposed by Zeger (1988). The parameters in the mean function are then estimated by solving the pseudo generalized estimating equation with σ2 replaced by its estimate, σ2n. We show that the estimate of (β0,Λ0) based on this two-stage approach is still consistent and could converge at the optimal convergence rate in the nonparametric/semiparametric regression setting. The asymptotic normality of the estimate of β0 is also established. We further propose a spline-based projection variance estimating method and show its consistency. Simulation studies are conducted to investigate finite sample performance of the sieve semiparametric GEE estimates, as well as different variance estimating methods with different sample sizes. The covariance matrix that accounts for the overdispersion generally increases estimating efficiency when overdispersion is present in the data. Finally, the proposed method with different covariance matrices is applied to a real data from a bladder tumor clinical trial.

In the thesis, we discuss the existence and numerical approximations of solutions of a regularized mean-field game with a low-order regularization. In the first part, we prove a priori estimates and use the continuation method to obtain the existence of a solution with a positive density. Finally, we introduce the monotone flow method and solve the system numerically.