Dissertations / Theses on the topic 'Fixed-point equation'

For years, researchers have studied the movement of cells and mathematicians have attempted to model the movement of the cell using various methods. This work is an extension of the work done by Zheltukhin and Lui (2011), Mathematical Biosciences 229:30-40, who simulated the stress and displacement of a one-dimensional cell using a model based on viscoelastic theory. The report is divided into three main parts. The first part considers viscoelastic models with a first-order constitutive equation and uses the standard linear model as an example. The second part extends the results of the first to models with second-order constitutive equations. In this part, the two examples studied are Burger model and a Kelvin-Voigt element connected with a dashpot in series. In the third part, the effects of substrate with variable stiffness are explored. Here, the effective adhesion coefficient is changed from a constant to a spatially-dependent function. Numerical results are generated using two different functions for the adhesion coefficient. Results of this thesis show that stress on the cell varies greatly across each part of the cell depending on the constitute equation we use, while the position and velocity of the cell remain essentially unchanged from a large-scale point of view.

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.

In almost all works in the literature there are several results showing asymptotic relationships between the solutions of x&prime
&prime
= f (t, x) (0.1) and the solutions 1 and t of x&prime
&prime
= 0. More specifically, the existence of a solution of (0.1) asymptotic to x(t) = at + b, a, b &isin
R has been obtained. In this thesis we investigate in a systematic way the asymptotic behavior as t &rarr
&infin
of solutions of a class of differential equations of the form (p(t)x&prime
)&prime
+ q(t)x = f (t, x), t &ge
t_0 (0.2) and (p(t)x&prime
)&prime
+ q(t)x = g(t, x, x&prime
), t &ge
t_0 (0.3) by the help of principal u(t) and nonprincipal v(t) solutions of the corresponding homogeneous equation (p(t)x&prime
)&prime
+ q(t)x = 0, t &ge
t_0. (0.4) Here, t_0 &ge
0 is a real number, p &isin
C([t_0,&infin
), (0,&infin
)), q &isin
C([t_0,&infin
),R), f &isin
C([t_0,&infin
) ×
R,R) and g &isin
C([t0,&infin
) ×
R ×
R,R). Our argument is based on the idea of writing the solution of x&prime
&prime
= 0 in terms of principal and nonprincipal solutions as x(t) = av(t) + bu(t), where v(t) = t and u(t) = 1. In the proofs, Banach and Schauder&rsquo
s fixed point theorems are used. The compactness of the operator is obtained by employing the compactness criteria of Riesz and Avramescu. The thesis consists of three chapters. Chapter 1 is introductory and provides statement of the problem, literature review, and basic definitions and theorems. In Chapter 2 first we deal with some asymptotic relationships between the solutions of (0.2) and the principal u(t) and nonprincipal v(t) solutions of (0.4). Then we present existence of a monotone positive solution of (0.3) with prescribed asimptotic behavior. In Chapter 3 we introduce the existence of solution of a singular boundary value problem to the Equation (0.2).

This thesis deals with the concepts of numerical integrator using floating point arithmetic for solving partial differential equations. The integrator uses Euler method and Taylor series. Thesis shows parallel and serial approach to computing with exponents and significands. There is also a comparison between modern parallel systems and the proposed concepts.

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.

In the study of differential equations there are two fundamental questions: is there a solution? and what is it? One of the most elegant ways to prove that an equation has a solution is to pose it as a fixed point problem, that is, to find a function f such that x is a solution if and only if f (x) = x. Results from fixed point theory can then be employed to show that f has a fixed point. However, the results of fixed point theory are often nonconstructive: they guarantee that a fixed point exists but do not help in finding the fixed point. Thus these methods tend to answer the first question, but not the second. One such result is Schauder’s fixed point theorem. This theorem is broadly applicable in proving the existence of solutions to differential equations, including the Navier-Stokes equations under certain conditions. Recently a semi-constructive proof of Schauder’s theorem was developed in Rizzolo and Su (2007). In this thesis we go through the construction in detail and show how it can be used to search for multiple solutions. We then apply the method to a selection of differential equations.

The purpose of this thesis is to develop fixed point indices for A-proper semilinear operators defined on cones in Banach spaces and use the results to obtain existence theorems to semilinear equations. We consider semilinear equations of the form Lx = Nx where L is a linear Fredholm operation of index zero, N a nonlinear operator such that L - N is A-proper at zero relative to a projection scheme L. Chapter 1 is an introduction to basic concepts used throughout the thesis, including; Banach spaces, linear operators, A-proper maps, Fredholm operators of index zero, and the definition and properties of the generalised degree for A-proper maps. In Chapter 2, we define a fixed point index for A-proper maps on cones in terms of the generalised degree and derive the basic properties of this index. We then extend the definition to include unbounded sets. A more general fixed point index than that of Chapter 2 is developed in Chapter 3 for A-proper maps based on limits of a finite dimensionally defined index. Properties of the index are given and a definition for unbounded sets is provided. Chapter 4 extends the Lan-Webb fixed point index for weakly inward A-proper at 0 maps to semilinear operators. This index is also extended to include unbounded sets. Existence theorems of positive and non-negative solutions to semilinear equations on cones are established in Chapter 5 using the fixed point indices of Chapters 2, 3, and 4. Finally, in Chapter 6, we apply some of the existence theorems of Chapter 5 to several differential and integral equations. We prove the existence of: a positive solution to a Picard boundary value problem; a non-negative solution to a periodic boundary value problem; and, a non-negative solution to a Volterra integral equation.

We present a novel approach for deriving analytical solutions to transport equations expressedin similarity variables. We apply a fixed-point iteration procedure to these transformedequations by formally solving for the highest derivative term and then integrating to obtainan expression for the solution in terms of a previous estimate. We are able to analyticallyobtain the Lipschitz condition for this iteration procedure and, from this (via requirements forconvergence given by the contraction mapping principle), deduce a range of values for the outerlimit of the solution domain, for which the fixed-point iteration is guaranteed to converge.

This thesis treats a range of stochastic methods with various applications, most notably in finance. It is comprised of five articles, and a summary of the key concepts and results these are built on. The first two papers consider a jump-to-default model, which is a model where some quantity, e.g. the price of a financial asset, is represented by a stochastic process which has continuous sample paths except for the possibility of a sudden drop to zero. In Paper I prices of European-type options in this model are studied together with the partial integro-differential equation that characterizes the price. In Paper II the price of a perpetual American put option in the same model is found in terms of explicit formulas. Both papers also study the parameter monotonicity and convexity properties of the option prices. The third and fourth articles both deal with valuation problems in a jump-diffusion model. Paper III concerns the optimal level at which to exercise an American put option with finite time horizon. More specifically, the integral equation that characterizes the optimal boundary is studied. In Paper IV we consider a stochastic game between two players and determine the optimal value and exercise strategy using an iterative technique. Paper V employs a similar iterative method to solve the statistical problem of determining the unknown drift of a stochastic process, where not only running time but also each observation of the process is costly.

Ce mémoire de thèse est consacré à l’équation de Fokker-Planckpartial_ f=∆f+div(Ef).Il est subdivisé en deux parties :une partie linéaire et une partie non linéaire. Dans la partie linéaire on considère un champ de vecteur E(x) dépendant seulement de x. Cette partie est constituée des chapitres 3, 4 et 5. Dans le chapitre 3 on montre que l’opérateur linéaire Lf :=∆ f + div(E f ) est le générateur d’un semi-groupe fortement continu (SL(t))_{t≥0} dans tous les espaces L^p. On y établit également que le semi-groupe (SL(t))_{t≥0} est positif et ultracontractif. Dans le chapitre 4 nous montrons comment est qu’une décomposition adéquate de l’opérateur L permet d’établir certaines propriétés du semi-groupe (SL(t))_{t≥0} notamment sa bornitude. Le chapitre 5 est consacré à l’existence d’un état d’équilibre. De plus on y montre que cet état d’équi- libre est asymptotiquement stable. Dans la partie non linéaire on considère un champ de vecteur de la forme E(x,f) := x+nabla (a*f) ou a et f sont des fonctions assez régulières et * est l’opérateur de convolution. Cette parties est contituée des chapitre 6 et 7. Dans le chapitre 6 nous établissons que poura appartenant à W^{2,infini}_locl’équation de Fokker-Planck non linéaire admet une unique solution locale dans l’espace L^2_{K_alpha} (R^d). Dans le dernier chapitre nous montrons que le problème non linéaire admet une solution globale. De plus cette solution dépend continument des données
This thesis is devoted to the Fokker-Planck équation partial_t f =∆f + div(E f).It is divided into two parts. The rst part deals with the linear problem. In this part we consider a vector E(x) depending only on x. It is composed of chapters 3, 4 and 5. In chapter 3 we prove that the linear operator Lf :=∆f + div(Ef ) is an in nitesimal generator of a strong continuous semigroup (SL(t))_{t≥0}. We establish also that (SL(t))_{t≥0} is positive and ultracontractive. In chapter 4 we show how an adequate decomposition of the linear operator L allows us to deduce interesting properties for the semigroup (SL(t))_{t≥0}. Indeed using this decomposition we prove that (SL(t))_{t≥0} is a bounded semigroup. In the last chapter of this part we establish that the linear Fokker-Planck admits a unique steady state. Moreover this stationary solution is asymptotically stable.In the nonlinear part we consider a vector eld of the form E(x, f ) := x +nabla (a *f ), where a and f are regular functions. It is composed of two chapters. In chapter 6 we establish that fora in W^{2,infini}_locthe nonlinear problem has a unique local solution in L^2_{K_alpha}(R^d); . To end this part we prove in chapter 7 that the nonlinear problem has a unique global solution in L^2_k(R^d). This solution depends continuously on the data

A formal framework is developed and implemented in this research for preliminary rotorcraft design using IPPD methodology. All the technical aspects of design are considered including the vehicle engineering, dynamic analysis, stability and control, aerodynamic performance, propulsion, transmission design, weight and balance, noise analysis and economic analysis. The design loop starts with a detailed analysis of requirements. A baseline is selected and upgrade targets are identified depending on the mission requirements. An Overall Evaluation Criterion (OEC) is developed that is used to measure the goodness of the design or to compare the design with competitors. The requirements analysis and baseline upgrade targets lead to the initial sizing and performance estimation of the new design. The digital information is then passed to disciplinary experts. This is where the detailed disciplinary analyses are performed. Information is transferred from one discipline to another as the design loop is iterated. To coordinate all the disciplines in the product development cycle, Multidisciplinary Design Optimization (MDO) techniques e.g. All At Once (AAO) and Collaborative Optimization (CO) are suggested. The methodology is implemented on a Light Turbine Training Helicopter (LTTH) design. Detailed disciplinary analyses are integrated through a common platform for efficient and centralized transfer of design information from one discipline to another in a collaborative manner. Several disciplinary and system level optimization problems are solved. After all the constraints of a multidisciplinary problem have been satisfied and an optimal design has been obtained, it is compared with the initial baseline, using the earlier developed OEC, to measure the level of improvement achieved. Finally a digital preliminary design is proposed. The proposed design methodology provides an automated design framework, facilitates parallel design by removing disciplinary interdependency, current and updated information is made available to all disciplines at all times of the design through a central collaborative repository, overall design time is reduced and an optimized design is achieved.

Dizertační práce se věnuje funkcionálním diferenciálním rovnicím smíšeného typu. Poskytuje kritéria pro existenci globálních a semi-globálních řešení diferenciálních systémů smíšeného typu. Metody použité v teto práci spočívají v sestavení vhodných operátorů pro diferenciální rovnice a prokázání existence jejich pevných bodů. Tyto pevné body jsou potom použity ke konstrukci řešení rovnic s předcházením a zpožděním. V důkazech tvrzení jsou použity monotónní iterační metoda a Schauderovy-Tychonovovy věty o existenci pevného bodu. V obou případech jsou uvedeny také odhady řešení. Pokud je použita iterační metoda, lze tyto odhady zlepšit iterováním. Kromě toho jsou odvozena kritéria pro lineární rovnice a systémy a je uvedena řada přikladů. Dosažené výsledky lze aplikovat také pro obyčejné diferenciální rovnice nebo diferenciální rovnice se zpožděním či s předcházením argumentu.

Cette thèse est relative aux Equations Différentielles Stochastique Rétrogrades (EDSRs) réfléchies avec deux obstacles et leurs applications aux jeux de switching de somme nulle, aux systèmes d’équations aux dérivées partielles, aux problèmes de mean-field. Il y a deux parties dans cette thèse. La première partie porte sur le switching optimal stochastique et est composée de deux travaux. Dans le premier travail, nous montrons l’existence de la solution d’un système d’EDSR réfléchies à obstacles bilatéraux interconnectés dans le cadre probabiliste général. Ce problème est lié à un jeu de switching de somme nulle. Ensuite nous abordons la question de l’unicité de la solution. Et enfin nous appliquons les résultats obtenus pour montrer que le système d’EDP associé à une unique solution au sens viscosité, sans la condition de monotonie habituelle. Dans le second travail, nous considérons aussi un système d’EDSRs réfléchies à obstacles bilatéraux interconnectés dans le cadre markovien. La différence avec le premier travail réside dans le fait que le switching ne s’opère pas de la même manière. Cette fois-ci quand le switching est opéré, le système est mis dans l’état suivant importe peu lequel des joueurs décide de switcher. Cette différence est fondamentale et complique singulièrement le problème de l’existence de la solution du système. Néanmoins, dans le cadre markovien nous montrons cette existence et donnons un résultat d’unicité en utilisant principalement la méthode de Perron. Ensuite, le lien avec un jeu de switching spécifique est établi dans deux cadres. Dans la seconde partie nous étudions les EDSR réfléchies unidimensionnelles à deux obstacles de type mean-field. Par la méthode du point fixe, nous montrons l’existence et l’unicité de la solution dans deux cadres, en fonction de l’intégrabilité des données
This thesis is related to Doubly Reflected Backward Stochastic Differential Equations (DRBSDEs) with two obstacles and their applications in zero-sum stochastic switching games, systems of partial differential equations, mean-field problems.There are two parts in this thesis. The first part deals with optimal stochastic switching and is composed of two works. In the first work we prove the existence of the solution of a system of DRBSDEs with bilateral interconnected obstacles in a probabilistic framework. This problem is related to a zero-sum switching game. Then we tackle the problem of the uniqueness of the solution. Finally, we apply the obtained results and prove that, without the usual monotonicity condition, the associated PDE system has a unique solution in viscosity sense. In the second work, we also consider a system of DRBSDEs with bilateral interconnected obstacles in the markovian framework. The difference between this work and the first one lies in the fact that switching does not work in the same way. In this second framework, when switching is operated, the system is put in the following state regardless of which player decides to switch. This difference is fundamental and largely complicates the problem of the existence of the solution of the system. Nevertheless, in the Markovian framework we show this existence and give a uniqueness result by the Perron’s method. Later on, two particular switching games are analyzed.In the second part we study a one-dimensional Reflected BSDE with two obstacles of mean-field type. By the fixed point method, we show the existence and uniqueness of the solution in connection with the integrality of the data

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-25T17:20:25Z No. of bitstreams: 1 ANNAXSUEL ARAÚJO DE LIMA - DISSERTAÇÃO PPGMAT 2011..pdf: 581866 bytes, checksum: cc44cd422d4a48ddad0354f215805918 (MD5)
Made available in DSpace on 2018-07-25T17:20:25Z (GMT). No. of bitstreams: 1 ANNAXSUEL ARAÚJO DE LIMA - DISSERTAÇÃO PPGMAT 2011..pdf: 581866 bytes, checksum: cc44cd422d4a48ddad0354f215805918 (MD5) Previous issue date: 2011-04
Neste trabalho, apresentamos métodos envolvendo sub e supersolução para estudar a existência de solução de certas equações elípticas.
In this work, we present methods involving sub and supersolution to study the existence of solution of certain elliptic equations.

Made available in DSpace on 2015-05-15T11:46:04Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 467058 bytes, checksum: ebe1089b4399fe71150fc70fa81ea4ed (MD5) Previous issue date: 2012-04-27
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
In this work, we study a fixed point theorem for increasing operators in ordered normed spaces and we apply it in order to obtain results of existence of weak solution for semilinear elliptic equations of type 8<: ---u = f(x; u) + h; in u = 0; on @ ; where - RN is a smooth domain, f : -R --! R satisfies some convenient conditions and h 2 H--1(.
Neste trabalho, estudamos um teorema de ponto fixo para operadores crescentes em espaços vetoriais ordenados e o aplicamos para obter resultados de existência de solução fraca para problemas elípticos semilineares do tipo 8<: ---u = f(x; u) + h; em u = 0; sobre @ em que - RN é um domínio suave, f : - R ! R satisfaz algumas condições convenientes e h 2 H- -1(:).

Orientador: Prof. Dr. Eduardo Guéron
Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Mestrado Profissional em Matemática em Rede Nacional, 2016.
Apresentamos neste trabalho um estudo sobre as equações de diferenças autônomas li-neares e não lineares que descreve um sistema dinâmico discreto. Para o caso linear, o objeti-vo foi encontrar uma solução analítica da evolução temporal do sistema e a partir desta solu-ção estudamos a estabilidade do sistema. No caso do não linear, na impossibilidade de deter-minar uma solução analítica, o que procuramos foi uma compreensão sobre a evolução quali-tativa do sistema, ou seja, fizemos um estudo qualitativo de uma família de mapas logísticos discretos, onde a partir da variação de um parâmetro verificamos alguns comportamentos co-mo: pontos fixos, órbitas periódicas, bifurcação e caos. Em ambos os casos, estudamos alguns modelos simples relacionados à Economia, Demografia ou Ecologia como exemplos de apli-cações dos aspectos teóricos estudados.
Here we present a study of the equations of linear and nonlinear autonomous differ-ences that describes a dynamic discrete system. For the linear case, the objective was to find an analytical solution of the time evolution of the system and from this solution we study the system stability. In the case of nonlinear, it is impossible to determine an analytical solution, what we seek is an understanding of the qualitative evolution of the system, ie, did a qualita-tive study of a family of discrete logistic maps, where from the change in a parameter we found some behaviors such as fixed points, periodic orbits, bifurcation and chaos. In both cas-es, we study some simple models related to Economics, Demography and Ecology as exam-ples of applications of the theoretical aspects studied.

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.

Cette thèse est consacrée à l'analyse mathématique et numérique d'un problème d'interaction fluide-structure stationnaire, couplant un fluide newtonien, visqueux et incompressible, modélisé par les équations de Stokes 2D et une structure déformable, décrite par les équations d'une poutre 1D. Le fluide et la structure sont couplés via une condition aux limites de type frottement à l'interface.Dans l'étude théorique, nous montrons un résultat d'existence et unicité de solutions faibles, dans le cadre de petits déplacements, du problème de couplage fluide structure avec une condition de glissement de type Tresca en utilisant le théorème de point fixe de Schauder.Dans l'analyse numérique, nous étudions d'abord, l'approximation du problème de Stokes avec la condition de Tresca par une méthode d'éléments finis mixtes à quatre champs. Nous montrons ensuite une estimation d'erreur a priori optimale pour des données régulières et nous réalisons des tests numériques. Enfin, nous présentons un algorithme de point fixe pour la simulation numérique du problème couplé avec des conditions aux limites non linéaires
This PHD thesis is devoted to the theoretical and numerical analysis of a stationary fluid-structure interaction problem between an incompressible viscous Newtonian fluid, modeled by the 2D Stokes equations, and a deformable structure modeled by the 1D beam equations.The fluid and structure are coupled via a friction boundary condition at the fluid-structure interface.In the theoretical study, we prove the existence of a unique weak solution, under small displacements, of the fluid-structure interaction problem under a slip boundary condition of friction type (SBCF) by using Schauder fixed point theorem.In the numerical analysis, we first study a mixed finite element approximation of the Stokes equations under SBCF.We also prove an optimal a priori error estimate for regular data and we provide numerical examples.Finally, we present a fixed point algorithm for numerical simulation of the coupled problem under nonlinear boundary conditions

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-19T14:01:17Z No. of bitstreams: 1 DAMIÃO JÚNIO GONÇALVES ARAÚJO - DISSERTAÇÃO PPGMAT 2008..pdf: 506877 bytes, checksum: 8b058ceadbb68cd8c6d372656749744e (MD5)
Made available in DSpace on 2018-07-19T14:01:17Z (GMT). No. of bitstreams: 1 DAMIÃO JÚNIO GONÇALVES ARAÚJO - DISSERTAÇÃO PPGMAT 2008..pdf: 506877 bytes, checksum: 8b058ceadbb68cd8c6d372656749744e (MD5) Previous issue date: 2008-04
Capes
Neste trabalho são estudados dois sistemas de equações diferenciais parciais parabólicas sujeitas a condições iniciais e de contorno. O primeiro sistema tratado representa um modelo de solidificação envolvendo uma função campo de fase. O segundo problema tratado é uma simplificação de um modelo com duas funções campo de fase para solidificação de ligas. São estudados resultados sobre existência (via Método de Ponto Fixo), regularidade, continuidade em relação aos dados iniciais e ao termo forçante e unicidade de solução dos sistemas citados.
In this work we study two parabolic partial differential equations systems subject to initial and boundary conditions. The first system treated here represents a model for solidification with a phase field function. The second system is a simplification of a two-phase field model for alloy solidification. We study results concerning existence (by FixedPoint Method), regularityand uniquenessof solution for mentioned systems.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-07-16T19:36:43Z No. of bitstreams: 1 JOSELMA SOARES DOS SANTOS - DISSERTAÇÃO PPGMAT 2007..pdf: 482798 bytes, checksum: c569721d7def4ccf67efe94c085198f8 (MD5)
Made available in DSpace on 2018-07-16T19:36:43Z (GMT). No. of bitstreams: 1 JOSELMA SOARES DOS SANTOS - DISSERTAÇÃO PPGMAT 2007..pdf: 482798 bytes, checksum: c569721d7def4ccf67efe94c085198f8 (MD5) Previous issue date: 2007-04
Neste trabalho usaremos a Teoria do Ponto fixo em Cones para provar a existência e multiplicidade de solução positiva radial para sistemas de equações diferenciais parciais elípticas de segunda ordem onde 0 < r1 < r2 e a,b são parâmetros não-negativos. * (O resumo original da dissertação aprenta um sistema de equação que não foi possível adiciona-lo aqui. Recomendamos o download do arquivo para acessoao resumo completo)
In this work we will use the Theory of the Fixed Point in Cones to prove the existence and multiplicity of positive solutions for systems of second-ordem elliptic differential equations where 0 < r1 < r2 and a,b are non-negative parameters. * (The original abstract of the dissertation presents an equation system that could not be added here. We recommend downloading the file for access to the full summary)

Dans cette thèse, nous nous intéressons à l’analyse théorique et numérique de la dynamique des densités des dislocations. Les dislocations sont des défauts linéaires qui se déplacent dans les cristaux lorsque ceux-ci sont soumis à des contraintes extérieures. D’une manière générale, la dynamique des densités des dislocations est décrite par un système d’équations de transport, où les champs de vitesse dépendent de manière non-locale des densités des dislocations. Au départ, notre travail se focalise sur l’étude d’un système unidimensionnel (2 × 2) de type Hamilton-Jacobi dérivé d’un système bidimensionnel proposé par Groma et Balogh en 1999. Pour ce modèle, nous montrons un résultat d’existence globale et d’unicité. En addition, nous nous intéressons à l’étude numérique de ce problème, complété par des conditions initiales croissantes, en proposant un schéma aux différences finies implicite dont on prouve la convergence. Ensuite, en s’inspirant du travail effectué pour la résolution de la dynamique des densités des dislocations, nous mettons en œuvre une théorie plus générale permettant d’obtenir un résultat similaire d’existence et d’unicité d’une solution dans le cas des systèmes de type eikonal unidimensionnels. En considérant des conditions initiales croissantes, nous faisons une étude numérique pour ce système. Sous certaines conditions de monotonies sur la vitesse, nous proposons un schéma aux différences finies implicite permettant de calculer la solution discrète et simuler ainsi la dynamique des dislocations à travers ce modèle
In this thesis, we are interested in the theoretical and numerical studies of dislocations densities. Dislocations are linear defects that move in crystals when those are subjected to exterior stress. More generally, the dynamics of dislocations densities are described by a system of transport equations where the velocity field depends non locally on the dislocations densities. First, we are interested in the study of a one dimensional submodel of a (2 × 2) Hamilton-Jacobi system introduced by Groma and Balogh in 1999, proposed in the two dimensional case. For this system, we prove global existence and uniqueness results. Adding to that, considering nondecreasing initial data, we study this problem numerically by proposing a finite difference implicit scheme for which we show the convergence. Then, inspired by the first work, we show a more general theory which allows us to get similar results of existence and uniqueness of solution in the case of one dimensional eikonal systems. By considering nondecreasing initial data, we study this problem numerically. Under certain conditions on the velocity, we propose a finite difference implicit scheme allowing us to calculate the discrete solution and simulate then the dislocations dynamics via this model

Cette thèse se consacre à la modélisation mathématique du trafic routier à l'aide des lois de conservation hyperboliques. Nous nous intéressons plus particulièrement à l’application des modèles macroscopiques en milieu urbain. Les zones urbaines sont désormais régulièrement confrontées à des niveaux de congestion record et à des épisodes de pollution atmosphérique causés par le trafic routier. L’objectif de cette thèse est alors de développer des modèles de trafic qui représentent de manière réaliste l’évolution des véhicules en milieu urbain. Dans un premier temps, nous considérons le modèle Aw-Rascle-Zhang avec relaxation. Nous construisons une suite de solutions approchées à l'aide de la méthode de suivi des fronts (wave-front tracking en anglais) couplée à une méthode de décomposition temporelle (splitting en anglais) en référentiel Lagrangien. Pour chaque valeur du paramètre de relaxation, nous montrons que cette suite converge vers une solution faible et entropique du système pour une donnée initiale à variation bornée. Par la suite, nous calculons une borne supérieure sur la décroissance des ondes positives. Nous démontrons que les solutions du système convergent vers une solution faible du modèle Lighthill-Whitham-Richards (LWR), c'est à dire vers la solution de la loi de conservation scalaire, lorsque le paramètre de relaxation tend vers zéro. Nous concluons par une discussion sur le caractère entropique de cette solution faible du modèle LWR. Dans un second temps, nous proposons un nouveau modèle macroscopique de trafic routier qui préserve le caractère borné de l'accélération des véhicules. Notre modèle couple une Équation aux Dérivées Partielles (EDP), la loi de conservation scalaire, à plusieurs Équations aux Dérivées Ordinaires (EDO), décrivant la trajectoire de véhicules accélérant à taux constant. Ces véhicules sont traités dans le modèle comme des goulots d'étranglement mobiles. Nous proposons la construction de solutions approchées avec un algorithme de suivi des fronts d'ondes et prouvons l'existence et l'unicité de la solution pour le problème de Cauchy associé à une donnée initiale constante par morceaux. Nous produisons ensuite des simulations numériques de notre modèle dans différentes situations urbaines, allant de la résolution du problème de Riemann à la simulation d'un axe urbain comportant plusieurs feux de signalisation. Enfin nous comparons ces simulations aux solutions du modèle LWR appliqué aux mêmes situations. Pour terminer, nous proposons un nouveau modèle macroscopique de trafic routier avec des stockages tampon (buffers en anglais) aux intersections afin de résoudre le modèle LWR sur des réseaux routiers. Ce modèle utilise des buffers de dimension finie, qui garantissent la propagation de la congestion au sein du réseau. Il comporte également des fonctions de répartition de véhicules aux jonctions qui sont dépendantes du temps, et peuvent dès lors être contrôlées au cours du temps. La dynamique du trafic est d'abord établie à l'aide des lois de conservation hyperboliques, conformément au modèle LWR, puis retranscrite dans une formulation de Hamilton-Jacobi. Nous prouvons alors l'existence, l'unicité et la stabilité des solutions vis à vis des données initiales en résolvant un problème de point fixe dans un espace de Banach approprié. La propriété de stabilité garantit que la solution du problème peut être contrôlée et optimisée en modifiant les fonctions de répartition des véhicules aux jonctions. Cela représente une avancée dans la résolution du problème d'assignation dynamique du trafic routier (Dynamic Traffic Assignment en anglais). Pour finir, nous détaillons l'application du modèle à un réseau routier réaliste comportant plusieurs intersections et des routes de longueur finie
This thesis is devoted to the modeling of traffic flow using hyperbolic conservation laws, with a specific focus on urban applications. Urban areas are today facing severe episodes of air pollution and increasing congestion due to traffic. The objective is to overcome some of the current limitations of macroscopic traffic flow models in urban situations. We first study the seminal Aw-Rascle-Zhang model with relaxation. We prove well-posedness of the model using wave-front tracking approximations and splitting technique in a Lagrangian setting. Besides, we provide an estimate on the decay of positive waves. We then show that the solutions of the Aw-Rascle-Zhang system with relaxation converge to a weak solution of the LWR model when the relaxation parameter goes to zero. Finally, we propose a discussion on the entropy aspect of this weak solution of the LWR model. We then propose a new macroscopic traffic flow model accounting for the boundedness of traffic acceleration, which is required for physical realism. Our model is built on the coupling between the scalar conservation law accounting for the conservation of vehicles and a number of ordinary differential equations describing the trajectories of accelerating vehicles, which we treat as moving constraints. We detail a wave-front tracking algorithm to construct approximate solutions of the model, with general flux functions and show existence of solutions to the Cauchy problem for a piecewise constant initial datum. Finally, we provide numerical simulations of the model in different urban situations, from a single Riemann problem to sequences of traffic lights, and confront the results to numerical simulations of the LWR model. Finally, we introduce a new macroscopic traffic flow model with buffers on road networks. This model features buffers of finite size, enabling backward propagation of congestion on the network, and time-dependent routing functions at the junctions. The dynamics are first defined on the level of conservation laws, and then transformed in an Hamilton-Jacobi formulation. We prove existence, uniqueness and stability of the solutions with respect to the routing ratios and initial datum using a fixed-point problem in a proper Banach space. Thanks to stability, the model provides a controllable framework, using routing ratios as control parameters. This represents an advance towards solving the Dynamic Traffic Assignment (DTA) problem. In the end we detail how this framework applies to a classical road network with several intersections and finite-length links

This thesis is devoted to the study of optimal control problems governed by a quasistatic, thermoviscoplastic model at small strains with linear kinematic hardening, von Mises yield condition and mixed boundary conditions. Mathematically, the thermoviscoplastic equations are given by nonlinear partial differential equations and a variational inequality of second kind in order to represent the elastic, plastic and thermal effects. Taking into account thermal effects we have to handle numerous mathematical challenges during the analysis of the thermoviscoplastic model, mainly due to the low integrability of the nonlinear terms on the right-hand side of the heat equation. One of our main results is the existence of a unique weak solution, which is proved by means of a fixed-point argument and by employing maximal parabolic regularity theory. Furthermore, we define the related control-to-state mapping and investigate properties of this mapping such as boundedness, weak continuity and local Lipschitz continuity. Another major result is the finding that the mapping is Hadamard differentiable; a main ingredient is the reformulation of the variational inequality, the so called viscoplastic flow rule, as a Banach space-valued ordinary differential equation with non-differentiable right-hand side. Subsequently, we consider an optimal control problem governed by thermoviscoplasticity and show the existence of a minimizer. Finally, close this thesis with numerical examples.
Diese Arbeit ist der Untersuchung von Optimalsteuerproblemen gewidmet, denen ein quasistatisches, thermoviskoplastisches Model mit kleinen Deformationen, mit linearem kinematischen Hardening, von Mises Fließbedingung und gemischten Randbedingungen zu Grunde liegt. Mathematisch werden thermoviskoplastische Systeme durch nichtlineare partielle Differentialgleichungen und eine variationelle Ungleichung der zweiten Art beschrieben, um die elastischen, plastischen und thermischen Effekte abzubilden. Durch die Miteinbeziehung thermischer Effekte, treten verschiedene mathematische Schwierigkeiten während der Analysis des thermoviskoplastischen Systems auf, die ihren Ursprung hauptsächlich in der schlechten Regularität der nichtlinearen Terme auf der rechten Seite der Wärmeleitungsgleichung haben. Eines unserer Hauptresultate ist die Existenz einer eindeutigen schwachen Lösung, welches wir mit Hilfe von einem Fixpunktargument und unter Anwendung von maximaler parabolischer Regularitätstheorie beweisen. Zudem definieren wir die entsprechende Steuerungs-Zustands-Abbildung und untersuchen Eigenschaften dieser Abbildung wie die Beschränktheit, schwache Stetigkeit und lokale Lipschitz Stetigkeit. Ein weiteres wichtiges Resultat ist, dass die Abbildung Hadamard differenzierbar ist; Hauptbestandteil des Beweises ist die Umformulierung der variationellen Ungleichung, der sogenannten viskoplastischen Fließregel, als eine Banachraum-wertige gewöhnliche Differentialgleichung mit nichtdifferenzierbarer rechter Seite. Schließlich runden wir diese Arbeit mit numerischen Beispielen ab.

In 2007, Modolo and colleagues derived a population density equation for a population of Izhekevich neurons. This population density equation can describe oscillations in the brain that occur in Parkinson’s disease. Numerical simulations of the population density equation showed bursting behaviour even though the individual neurons had parameters that put them in the tonic firing regime. The bursting comes from neuron interactions but the mechanism producing this behaviour was not clear. In this thesis we study numerical behaviour of the population density equation and then use a combination of analysis and numerical simulation to analyze the basic qualitative behaviour of the population model by means of a simplifying assumption: that the initial density is a Dirac function and all neurons are identical, including the number of inputs they receive, so they remain as a point mass over time. This leads to a new ODE model for the population. For the new ODE system, we define a Poincaré map and then to describe and analyze it under conditions on model parameters that are met by the typical values adopted by Modolo and colleagues. We show that there is a unique fixed point for this map and that under changes in a bifurcation parameter, the system transitions from fast tonic firing, through an interval where bursting occurs, the number of spikes decreasing as the bifurcation parameter increases, and finally to slow tonic firing.
Graduate

This thesis is devoted to show various applications of fixed point theorems on dif- ferential equations. In the beginning we use a notion of topological degree to derive several fixed points theorems, primarily Brouwer, Schauder and Kakutani-Ky Fan the- orem. Then we apply them on a wide range of relatively simple problems from ordinary and partial differential equations (ode and pde). Finally, we take a look on a few more complex problems. First is an existence of a solution to the model of mechanical os- cillator with non-monotone dependence of both displacement and velocity. Second is a solution to so called Gause predator-prey model with a refuge. The last one is cer- tain partial differential equation with a constraint which determines maximal monotone graph. 1

In recent decades, significant interest, based on physics and engineering applications, has developed on so-called anomalous diffusion processes that possess different spread functions with classical ones. The resulting differential equation whose fundamental solution matches this decay process is best modeled by an equation containing a fractional order derivative. This dissertation mainly focuses on some inverse problems for fractional diffusion equations. After some background introductions and preliminaries in Section 1 and 2, in the third section we consider our first inverse boundary problem. This is where an unknown boundary condition is to be determined from overposed data in a time- fractional diffusion equation. Based upon the fundamental solution in free space, we derive a representation for the unknown parameters as the solution of a nonlinear Volterra integral equation of second kind with a weakly singular kernel. We are able to make physically reasonable assumptions on our constraining functions (initial and given boundary values) to be able to prove a uniqueness and reconstruction result. This is achieved by an iterative process and is an immediate result of applying a certain fixed point theorem. Numerical examples are presented to illustrate the validity and effectiveness of the proposed method. In the fourth section a reaction-diffusion problem with an unknown nonlinear source function, which has to be determined from overposed data, is considered. A uniqueness result is proved and a numerical algorithm including convergence analysis under some physically reasonable assumptions is presented in the one-dimensional case. To show effectiveness of the proposed method, some results of numerical simulations are presented. In Section 5, we also attempted to reconstruct a nonlinear source in a heat equation from a number of known input sources. This represents a new research even for the case of classical diffusion and would be the first step in a solution method for the fractional diffusion case. While analytic work is still in progress on this problem, Newton and Quasi-Newton method are applied to show the feasibility of numerical reconstructions. In conclusion, the fractional diffusion equations have some different properties with the classical ones but there are some similarities between them. The classical tools like integral equations and fixed point theory still hold under slightly different assumptions. Inverse problems for fractional diffusion equations have applications in many engineering and physics areas such as material design, porous media. They are trickier than classical ones but there are also some advantages due to the mildly ill-conditioned singularity caused by the new kernel functions.

In the dissertation two models of morphogen transport are studied analytically. Both models are based on the concept of positional signalling, as introduced by Wolpert in the late sixties. Using the process of morphogen gradient formation, positional signalling explains the mechanism of cell differentiation and pattern formation in a developing embryo. Analised models are systems of degenerated reaction-diffusion equations. The first model by Hufnagel et al. describes the space distribution of morphogens and other chemicals in a rectangle reflecting part of the tissue. The main mathematical difficulty in the analysis stems from the presence of a Dirac Delta in the boundary condition for the parabolic equation governing the time evolution of the morphogen concentration. Besides obtaining well-posedness of the evolutionary problem and proving the existence of the unique equilibrium we perform the dimension reduction. This justifies rigorously that the simplified one dimensional model is a reduced version of the model posed on a rectangle. For the second model by Lander et al. the results obtained previously by Krzyżanowski et al. are generalised to domains of arbitrary dimension. Moreover the topology of convergence of the solution to the steady state is improved.
W rozprawie zostały poddane matematycznej analizie dwa modele transportu morfogenu. Oba modele bazują na koncepcji pozycyjnego sygnałowania, wprowadzonej w latach sześćdziesiątych przez Wolperta. Pozycyjne sygnałowanie tłumaczy mechanizm różnicowania się komórek i tworzenia wzorców w rozwijających się zarodkach za pomocą formowania się gradientu stężenia morfogenu. Rozważane w pracy modele to układy parabolicznych, półliniowych równań różniczkowych cząstkowych sprzężonych z równaniami zwyczajnymi. Pierwszy z analizowanych modeli, autorstwa Hufnagela i wpółpracowników, opisuje przestrzenne rozmieszczenie morfogenów i innych związków chemicznych w prostokątnej dziedzinie reprezentującej fragment tkanki. Główna matematyczna trudność w analizie modelu wynika z obecności delty Diraca w warunku brzegowym dla równania parabolicznego opisującego czasową ewolucję stężenia morfogenu. Oprócz pokazania, że rozważany układ jest dobrze postawiony oraz dowodu istnienia jedynego stanu stacjonarnego dokonana została redukcja wymiaru. Jest to ścisłe uzasadnienie tego, że model uproszczony, określony na jednowymiarowej dziedzinie, jest zredukowaną wersją pełnego modelu. Dla drugiego modelu, autorstwa Landera i współpracowników, zostały uogólnione na dziedziny dowolnego wymiaru, rezultaty otrzymane wcześniej przez Krzyżanowskiego i współpracowników. Ponadto została poprawiona topologia zbieżności rozwiązania do stanu stacjonarnego.