abstract: Swarms of animals, fish, birds, locusts etc. are a common occurrence but their coherence and method of organization poses a major question for mathematics and biology.The Vicsek and the Attraction-Repulsion are two models that have been proposed to explain the emergence of collective motion. A major issue for the Vicsek Model is that its particles are not attracted to each other, leaving the swarm with alignment in velocity but without spatial coherence. Restricting the particles to a bounded domain generates global spatial coherence of swarms while maintaining velocity alignment. While individual particles are specularly reflected at the boundary, the swarm as a whole is not. As a result, new dynamical swarming solutions are found. The Attraction-Repulsion Model set with a long-range attraction and short-range repulsion interaction potential typically stabilizes to a well-studied flock steady state solution. The particles for a flock remain spatially coherent but have no spatial bound and explore all space. A bounded domain with specularly reflecting walls traps the particles within a specific region. A fundamental refraction law for a swarm impacting on a planar boundary is derived. The swarm reflection varies from specular for a swarm dominated by kinetic energy to inelastic for a swarm dominated by potential energy. Inelastic collisions lead to alignment with the wall and to damped pulsating oscillations of the swarm. The fundamental refraction law provides a one-dimensional iterative map that allows for a prediction and analysis of the trajectory of the center of mass of a flock in a channel and a square domain. The extension of the wall collisions to a scattering experiment is conducted by setting two identical flocks to collide. The two particle dynamics is studied analytically and shows a transition from scattering: diverging flocks to bound states in the form of oscillations or parallel motions. Numerical studies of collisions of flocks show the same transition where the bound states become either a single translating flock or a rotating (mill). / Dissertation/Thesis / Doctoral Dissertation Applied Mathematics 2015

Asynchronous iterative algorithms are parallel iterative algorithms in which communications and iterations are not synchronized among processors. Thus, as soon as a processing unit finishes its own calculations, it starts the next cycle with the latest data received during a previous cycle, without waiting for any other processing unit to complete its own calculation. These algorithms increase the number of updates in some processors (as compared to the synchronous case) but suppress most idle times. This usually results in a reduction of the (execution) time to achieve convergence. Optimized Schwarz methods (OSM) are domain decomposition methods in which the transmission conditions between subdomains contain operators of the form \linebreak $\partial/\partial \nu +\Lambda$, where $\partial/\partial \nu$ is the outward normal derivative and $\Lambda$ is an optimized local approximation of the global Steklov-Poincar\'e operator. There is more than one family of transmission conditions that can be used for a given partial differential equation (e.g., the $OO0$ and $OO2$ families), each of these families containing a particular approximation of the Steklov-Poincar\'e operator. These transmission conditions have some parameters that are tuned to obtain a fast convergence rate. Optimized Schwarz methods are fast in terms of iteration count and can be implemented asynchronously. In this thesis we analyze the convergence behavior of the synchronous and asynchronous implementation of OSM applied to solve partial differential equations with a shifted Laplacian operator in bounded rectangular domains. We analyze two cases. In the first case we have a shift that can be either positive, negative or zero, a one-way domain decomposition and transmission conditions of the $OO2$ family. In the second case we have Poisson's equation, a domain decomposition with cross-points and $OO0$ transmission conditions. In both cases we reformulate the equations defining the problem into a fixed point iteration that is suitable for our analysis, then derive convergence proofs and analyze how the convergence rate varies with the number of subdomains, the amount of overlap, and the values of the parameters introduced in the transmission conditions. Additionally, we find the optimal values of the parameters and present some numerical experiments for the second case illustrating our theoretical results. To our knowledge this is the first time that a convergence analysis of optimized Schwarz is presented for bounded subdomains with multiple subdomains and arbitrary overlap. The analysis presented in this thesis also applies to problems with more general domains which can be decomposed as a union of rectangles. / Mathematics

Submitted by Aelson Maciera (aelsoncm@terra.com.br) on 2017-06-27T20:42:50Z No. of bitstreams: 1 DissLFL.pdf: 818058 bytes, checksum: a45e8f4dbdc692c6f31fde1d45f6574d (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-07-03T17:56:46Z (GMT) No. of bitstreams: 1 DissLFL.pdf: 818058 bytes, checksum: a45e8f4dbdc692c6f31fde1d45f6574d (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-07-03T17:56:52Z (GMT) No. of bitstreams: 1 DissLFL.pdf: 818058 bytes, checksum: a45e8f4dbdc692c6f31fde1d45f6574d (MD5) / Made available in DSpace on 2017-07-03T18:01:59Z (GMT). No. of bitstreams: 1 DissLFL.pdf: 818058 bytes, checksum: a45e8f4dbdc692c6f31fde1d45f6574d (MD5) Previous issue date: 2016-12-20 / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / In this thesis, we present a priori estimates for solutions of a mean-field game (MFG) defined over a bounded domain Ω ⊂ ℝd. We propose an application of these results to a model of capital and wealth accumulation. In Chapter 1, an introduction to mean-field games is presented. We also put forward some of the motivation from Economics and discuss previous developments in the theory of differential games. These comments aim at indicating the connection between mean-field games theory, its applications and the realm of Mathematical Analysis. In Chapter 2, we present an optimal control problem. Here, the agents are supposed to be undistinguishable, rational and intelligent. Undistinguishable means that every agent is governed by the same stochastic differential equation. Rational means that all efforts of the agent is to maximize a payoff functional. Intelligent means that they are able to solve an optimal control problem. Once we describe this (stochastic) optimal control problem, we produce a heuristic derivation of the mean-field games system, which is summarized in a Verification Theorem; this gives rise to the Hamilton-Jacobi equation (HJ). After that, we obtain the Fokker-Plank equation (FP). Finally, we present a representation formula for the solutions to the (HJ) equation, together with some regularity results. In Chapter 3, a specific optimal control problem is described and the associated MFG is presented. This MFG is prescribed in a bounded domain Ω ⊂ ℝd, which introduces substantialadditional challenges from the mathematical view point. This is due to estimates for the solutionsat the boundary in Lp. The rest of the chapter puts forward two well known tips of estimates: theso-called Hopf-Lax formula and the First Order Estimate. In Chapter 4, the wealth and capital accumulation mean-field game model is presented. The relevance of studying MFG in a bounded domain then becomes clear. In light of the results obtained in Chapter 3, we close Chapter 4 with the Hopf-Lax formula, and the First Order estimates. Three appendices close this thesis. They gather elementary material on Stochastic Calculus and Functional Analysis. / Nesta dissertação são apresentadas algumas estimativas a priori para soluções de sistemas mean-field games (MFG), definidos em domínios limitados Ω ⊂ ℝd. Tais estimativas são aplicadas em um modelo mean-field específico, que descreve o acúmulo de riqueza e capital. No Capítulo 1, é apresentada uma breve introdução histórica sobre os mean-field games. Nesta introdução, exploramos sua relação com a teoria dos jogos, cujos alicerces foram construídos por economistas e matemáticos ao longo do século XX. O objetivo do capítulo é transmitir. No Capítulo 2, apresentamos um problema de controle ótimo em que cada agente é suposto ser indistinguível, racional e inteligente. Indistinguível no sentido de que cada um é governado pela mesma equação diferencial estocástica. Racional no sentido de que todos os esforços do agente são no sentido de maximizar um funcional de recompensa e, inteligente no sentido de que são capazes de resolver um problema de controle ótimo. Descreve-se este problema de controle ótimo, e apresenta-se a derivação heurística dos mean-field games; obtém-se através de um Teorema de Verificação, a equação de Hamilton-Jacobi (HJ) associada, e em seguida, obtémse a equação de Fokker-Planck. De posse destas equações, apresentamos alguns resultados preliminares, como uma fórmula de representação para soluções da equação de HJ e alguns resultados de regularidade. No Capítulo 3, descreve-se um problema específico de controle ótimo e apresenta-se a respectiva derivação heurística culminando na descrição de um MFG com condições não periódicas na fronteira; esta abordagem é original na literatura de MFG. O restante do capítulo é dedicado à exposição de dois tipos bem conhecidos de estimativas: a fórmula de Hopf-Lax e estimativa de Primeira Ordem. Uma observação relevante, é a de que o trabalho em obter-se estimativas a priori é aumentado substancialmente neste caso, devido ao fato de lidarmos com estimativas para os termos de fronteira com normas em Lp. ao leitor, as origens da Teoria Econômica contemporânea, que surgem à partir da utilização da Matemática na formulação e resolução de problemas econômicos. Tal abordagem é motivada principalmente pelo rigor e clareza da Matemática em tais circunstâncias. No Capítulo 4, apresenta-se o modelo de jogo do tipo mean-field de acúmulo de capital e riqueza, o que deixa claro a relevância do estudo dos MFG em um domínio limitado. À luz dos resultados obtidos no Capítulo 3, encerramos o Capítulo 4 com as estimativas do tipo Hopf-Lax e de Primeira Ordem. Três apêndices encerram o texto desta dissertação de mestrado; estes reúnem material elementar sobre Cálculo Estocástico e Análise Funcional.

This thesis provides the explicit expression of the star-exponential for the action of normal j-groups on their coadjoint orbits, and of the so-called modified star-exponential defined by Gayral et al. Using this modified star-exponential as the kernel of a functional transform between the group and its coadjoint orbits yields an adapted Fourier transform which is also detailed here. The normal j-groups arise in the work of Pytatetskii-Shapiro, who established the one-to-one correspondence with homogeneous bounded domains of the complex space; these groups are also the central element of the deformation formula recently developed by Bieliavsky & Gayral (a non abelian analog of the strict deformation quantization theory of Rieffel). Since these groups are exponential, the results given in this text illustrate the general work of Arnal & Cortet on the star-representations of exponential groups.<p> As this work is meant to be as self-contained as possible, the first chapter reproduces many definitions introduced by Bieliavsky & Gayral, in order to obtain the expression of the symplectic symmetric space structure on normal j-groups, and of their unitary irreducible representations. The Weyl-type quantizer associated to this symmetric structure is then computed, thus yielding the Weyl quantization map for which the composition of symbols is precisely the deformed product defined by Bieliavsky-Gayral on normal j-groups. A detailed proof of the structure theorem of normal j-groups is also provided.<p> The second chapter focuses on the expression and properties of the star-exponential itself, and exhibits a useful tool for the computation, namely the resolution of the identity associated to square integrable unitary irreducible representations of the groups. The result thus obtained satisfies the usual integro-differential equation defining the star-exponential. A criterion for the existence of a tempered pair underlying a given tempered structure on Lie groups is proven; the star-exponential functions are also shown to belong to the multiplier algebra of the Schwartz space associated to the tempered structure. Before that, it is shown that all Schwartz spaces that appear in this work are isomorphic as topological vector spaces.<p> The modified version of this star-exponential is computed in chapter three, first for elementary normal j-groups and then for normal j-groups. It is then used to define an adapted Fourier transform between the group and the dual of its Lie algebra. This transform generalizes (to all normal j-groups) a Fourier transform that was already studied in the “ax+b” case by Gayral et al. (2008), as well as by Ali et al. (2003) in the context of wavelet transforms. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished