Kakutani’s fixed point theorem has many applications in economics and game theory. One of its most well known applications is in John Nash’s paper [8], where the theorem is used to prove the existence of an equilibrium strategy in n-person games. Sperner’s lemma, on the other hand, is a combinatorial result concerning the labelling of the vertices of simplices and their triangulations. It is known that Sperner’s lemma is equivalent to a result called Brouwer’s fixed point theorem, of which Kakutani’s theorem is a generalization. A natural question that arises is whether we can prove Kakutani’s fixed point theorem directly using Sperner’s lemma without going through Brouwer’s theorem. The objective of this thesis to understand Kakutani’s theorem, Sperner’s lemma, and how they are related. In particular, I explore ways in which Sperner’s lemma can be used to prove Kakutani’s theorem and related results.

Results from combinatorial topology have shown that certain combinatorial lemmas are equivalent to certain topologocal fixed point theorems. For example, Sperner’s lemma about labelings of triangulated simplices is equivalent to the fixed point theorem of Brouwer. Moreover, since Sperner’s lemma has a constructive proof, its equivalence to the Brouwer fixed point theorem provides a constructive method for actually finding the fixed points rather than just stating their existence. The goal of this research project is to develop a combinatorial analogue for the Poincare ́-Birkhoff fixed point theorem.

In this thesis, we provide constructive proofs of serveral generalizations of Sperner's Lemma, a combinatorial result which is equivalent to the Brouwer Fixed Point Theorem. This lemma makes a statement about the number of a certain type of simplices in the triangulation of a simplex with a special labeling. We prove generalizations for polytopes with simplicial facets, for arbitrary 3-polytopes, and for polygons. We introduce a labeled graph which we call a nerve graph to prove these results. We also suggest a possible non-constructive proof for a polytopal generalization.

In this thesis, we consider the following delay boundary value problem egin{eqnarray*}(BVP)left{begin{array}{l}y'(t)+q(t)f(t,y(sigma(t)))=0, tin(0,1)/{ au}, y(t)=xi(t), tin[- au_{0},0], y(1)=0,end{array} right. end{eqnarray*}, where the functions f and q satisfy certain conditions; $sigma(t)leq t$ is a nonlinear real valued continuous function. We use two different methods to establish some existence criteria for the solution of problem (BVP). We generalize the delay term to a nonlinear function and obtain more general and supplementary results for the known ones about linear delay term due to Agarwal and O¡¦Regan [1] and Jiang and Xu [5].

This thesis deals with non-linear non-quadratic optimal control problems in an autonomous system and a related iterative numerical method, the Kleinman-Newton method, for solving the problem. The thesis proves the local convergence of Kleinman-Newton method using the contraction mapping theorem and then describes how this Kleinman-Newton method may be used to numerically solve for the optimal control and the corresponding solution. In order to show the proof and the related numerical work, it is necessary to review some of earlier work in the beginning of Chapter 1 [Zhang], and to introduce the Kleinman-Newton method at the end of the chapter. In Chapter 2 we will demonstrate the proof. In Chapter 3 we will show the related numerical work and results. / Ph. D.

L’objectif de ce travail de thèse est d’étudier quelques problèmes elliptiques et paraboliques d’écoulement de fluides non Newtoniens incompressibles et non isothermes gouvernés par l’équation aux dérivées partielles de Stokes avec la condition de Tresca sur une partie du bord quand la viscosité dépend à la fois de la température, de la vitesse et du module du tenseur des taux de déformations. Dans le premier chapitre, on a fait une introduction générale. Dans le deuxième chapitre, nous nous intéressons au couplage entre le système de Stokes et l’équation de la chaleur en régime stationnaire. On montre l’existence de la solution de l’inéquation variationnelle décrivant le système de Stokes pour une température donnée quand la viscosité dépend à la fois de la température, de la vitesse et du module du tenseur des taux de déformations en utilisant la méthode de monotonie pour la vitesse et le théorème de De Rham pour la pression. Dans un deuxième temps, on étudie l’existence et l’unicité de la température solution de l’équation de la chaleur avec un terme L1(Ω) au second membre quand la viscosité dépend à la fois de la température, de la vitesse et du module du tenseur des taux de déformations. On montre ensuite l’existence de la solution du problème variationnel couplé avec la viscosité dépend de la température et du module du tenseur des taux de déformations, en utilisant le théorème de point fixe de Schauder. Dans le troisième et le quatrième chapitre, on traite l’existence et l’unicité de la solution du système de Stokes en régime instationnaire quand la viscosité dépend de la température et du module du tenseur des taux de déformations dans les cas p = 2, p > 2 et 6 5 < p < 2 en utilisant la notion des semi-groupes et la méthode de monotonie pour la vitesse et le théorème de De Rham pour la pression. Par contre, lorsque la viscosité dépend de plus de la vitesse on obtient seulement l’existence par le théorème de point fixe de Schauder / The objective of this thesis is to study some elliptic and parabolic problems of the non-Newtonian flow of an incompressible and non isothermal fluid governed by partial differential equation of Stokes with Tresca’s condition on a part of the boundary when the fluid viscosity depends on temperature and also on the modulus of strain rate tensor and the velocity of the fluid. In the first chapter, we did a general introduction. In the second chapter, we consider the coupling between the Stokes systemand the heat equation in steady state. We prove the existence of a solution of the variational inequality describing the Stokes system when the fluid viscosity depends on temperature and also on the modulus of strain rate tensor and the velocity of the fluid of a given temperature by using the monotony methods for the velocity and De Rham’s theorem for the pressure. We study the existence and uniqueness of the temperature solution of the heat equation with L1 (Ω) term to the second member when the fluid viscosity depends on temperature and also on the modulus of strain rate tensor and the velocity of the fluid. We show the existence of a solution of the coupled variational problem when the fluid viscosity depends on temperature and also on the modulus of strain rate tensor by using Schauder fixed point theorem. In the third and the fourth chapter, we treate the existence and uniqueness of a solution of the Stokes system in unsteady state when the fluid viscosity depends only on temperature and on the modulus of strain rate tensor in the cases p = 2, p > 2 and 6 5 < p < 2 by using the notion of semigroup and monotony methods for the velocity and De Rham’s theorem for the pressure. However, when the fluid viscosity depends also on the velocity of the fluid we obtain only the existence by Schauder fixed point theorem

Submitted by Maike Costa (maiksebas@gmail.com) on 2016-03-29T13:33:49Z No. of bitstreams: 1 arquivo total.pdf: 5320246 bytes, checksum: 158dd460a20ce46c96d4a34623612264 (MD5) / Made available in DSpace on 2016-03-29T13:33:49Z (GMT). No. of bitstreams: 1 arquivo total.pdf: 5320246 bytes, checksum: 158dd460a20ce46c96d4a34623612264 (MD5) Previous issue date: 2011-08-25 / This work is mainly concerned with the existence and nonexistence of classical solution to the nonhomogeneous semilinear equation Δu + up + f(x) = 0 in Rn, u > 0 in Rn, when n 3, where f 0 is a Hölder continuous function. The nonexistence of classical solution is established when 1 < p n=(n 􀀀 2). For p > n=(n 􀀀 2) there may be both existence and nonexistence results depending on the asymptotic behavior of f at infinity. The existence results were obtained by employed sub and supersolutions techniques and fixed point theorem. For the nonexistence of classical solution we used a priori integral estimates obtained via averaging. / Neste trabalho, estamos interessados na existência e não existência de solução clássica para a equação não homogênea semilinear Δu + up + f(x) = 0 em Rn; u > 0 em Rn, n 3 onde f 0 é uma função Hölder contínua. A não existência de solução clássica é estabelecida quando 1 < p n=(n 􀀀 2). Para p > n=(n 􀀀 2), temos resultados de existência e não existência de solução clássica, dependendo do comportamento assin- tótico de f no infinito. Os resultados de existência foram obtidos usando o método de sub e supersolução e teoremas de ponto fixo. A não existência de solução clássica é obtida usando-se estimativas integrais a priori via média esférica.

AN ABSTRACT OF THE DISSERTATION OFSaleh Aljurbua, for the Doctor of Philosophy degree in APPLIED MATHEMATICS, presented on January 27th, 2021, at Southern Illinois University Carbondale. TITLE: THE EXISTENCE OF SOLUTIONS FOR FRACTIONAL DIFFERENTIAL EQUATIONS FOR ORDER q ∈ (n − 1, n], n ∈ N, WITH ANTIPERIODIC BOUNDARY CONDITIONS MAJOR PROFESSOR: Dr. Mingqing Xiao Differential equations play a major role in natural science, physics and technology. Fractional differential equations (FDE) gained a lot of popularity in the past three decades and they became very important in economics, physics and chemistry. In fact, fractional integrals and derivatives became essential and made a significant contribution in dynamical systems which simulate it. They fill the gaps between the integer-types of integrations and derivatives in the classical settings. This work consists of four Chapters. The first Chapter will be covering background, preliminary and fundamental tools used in our dissertation topic. The second Chapter consists of the existence of solutions for nonlinear fractional differential equations of some specific orders with antiperiodic boundary conditions followed by the main topic which is the existence of solutions for nonlinear fractional differential equations of order q ∈ (n−1, n], n ∈ N with antiperiodic boundary conditions of a continuous function f(t, x(t)). Moreover, definitions, theorems and some lemmas will be provided. v In the third Chapter, we offer some examples to illustrate our approach in the main topic. Finally, the fourth Chapter includes the summary and perspective researches.

[pt] Esse trabalho tem como objetivo reunir os teoremas topológicos de ponto fixo clássicos e seus corolários, além de teoremas de ponto fixo provenientes da teoria do grau e algumas importantes aplicações desses teoremas a variadas áreas - desde as clássicas aplicações à teoria de EDOs e EDPs à uma aplicação à teoria dos jogos. Um exemplo é o Teorema do Ponto Fixo de Schauder-Tychonoff, para aplicações compactas em convexos de espaços localmente convexos, do qual segue como corolário que todo compacto convexo de um espaço vetorial normado (não necessariamente de dimensão finita) possui a propriedade do ponto fixo. No que se refere à teoria dos jogos em particular, foi deduzido o Teorema de Nash, que determina condições sobre as quais certos jogos possuem equilíbrios nos seus espaços das estratégias. Toda a topologia geral necessária nas demonstrações foi desenvolvida extensiva e detalhadamente a partir de topologia elementar, seguindo algumas das referências bibliográficas. O Teorema de Extensão de Dugundji - uma extensão do Teorema de Extensão de Tietze a fechados de espaços métricos sobre espaços localmente convexos -, por exemplo, é demonstrado com detalhes e usado diversas vezes ao longo da dissertação. / [en] The goal of the present work is to gather the classical fixed-point theorems and their corollaries, as well as other fixed-point theorems arising from degree theory, and some important applications to diverse fields - from the classical applications to ODEs and PDEs to an application to the game theory. An example is the Schauder-Tychonoff Fixed-Point Theorem, 1 concerning compact mappings in convex subsets of locally convex spaces, from which it follows as a corollary that every compact convex subset of a normed vector space is a fixed-point space. In regard to game theory in particular, we obtained Nash s theorem, 2 which ascertains conditions over which certain games have equilibria in their strategy spaces. All general topology necessary in the proofs was developed extensively and in details from a basic topology starting point, following some of the bibliographic references. Dugundji s Extension Theorem 3 - an extension of Tietze s Extension Theorem 4 for closed subsets of metric spaces into locally convex spaces-, for instance, is obtained with detais and used throughout the dissertation.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-24T16:01:03Z No. of bitstreams: 1 GEIZANE LIMA DA SILVA - DISSERTAÇÃO PPGMAT 2010..pdf: 596736 bytes, checksum: d02e34d40e7147e46c734ba297c181bf (MD5) / Made available in DSpace on 2018-07-24T16:01:03Z (GMT). No. of bitstreams: 1 GEIZANE LIMA DA SILVA - DISSERTAÇÃO PPGMAT 2010..pdf: 596736 bytes, checksum: d02e34d40e7147e46c734ba297c181bf (MD5) Previous issue date: 2010-03 / Capes / Neste trabalho estudamos a existência de soluções positivas do tipo blow-up para uma classe de equações elípticas semilineares. Usamos argumentos desenvolvidos por Cîrstea & Radulescu [6], Lair & Wood [20] e as técnicas empregadas são o Método de Sub e Supersolução, Teoremas de Ponto Fixo e em alguns resultados exploramos a simetria radial e algumas estimativas para equações elípticas. / In this work we studied the existence of blow-up positive solutions for the class of semilinear elliptic equations. We used arguments developed by Cîrstea & Radulescu [6], and by Lair & Shaker [20] and the techniques used are the method of Sub and Supersolution, Fixed point theorems and some results explored radial symmetry and some estimates for elliptic equations.