Global ETD Search

21	Analyse et contrôle de modèles de dynamique de populations / Analysis and controle of population dynamics models He, Yuan 22 November 2013 (has links) La présente thèse est divisée en deux parties. La première partie concerne l'analyse mathématique et la contrôlabilité exacte à zéro pour une catégorie de systèmes structurés décrivant la dynamique d'une population d'insectes. La seconde partie est consacrée à l'étude de la stabilité de la conductivité d'un système de réaction diffusion modélisant l'activité électrique du coeur.Dans le chapitre 2, on considère que la population d'adultes se diffuse dans la vignoble,la fonction de la croissance des individus à chaque stade dépend des variations climatiques et de la variété des raisins. En utilisant la méthode de point fixe, on obtient l'existence et l'unicité des solutions du modèle. On démontre ensuite l'existence d'un attracteur global pour le système dynamique. Enfin, on utilise la théorie des opérateurs compacts et le théorème de point fixe de Krasnoselskii pour prouver l'existence des états stationnaires.Dans le chapitre 3, on traite le problème de contrôlabilité exacte du modèle de Lobesia Botrana, lorsque la fonction de croissance est égale à 1. On suppose que les quatre sous-catégories de ce système sont dans une phase statique. On obtient que la population d'oeufs peut être contrôlée à zéro. Ce résultat est basé sur des estimations à priori combinées avec un théorème de point fixe.Lorsque les papillons adultes se dispersent spatialement, on introduit un contrôle sur la population d'oeufs, de larves et de femelles dans une petite région du vignoble. On montre alors la contrôlabilité exacte à zéro pour les femelles.Dans la deuxième partie de cette thèse, on analyse la stabilité des coefficients de diffusion d'un système parabolique qui modélise l'activité électrique du coeur. On établit une estimation de Carleman pour le système de réaction-diffusion. En combinant cette estimation avec des estimations d'énergie avec poids on obtient le résultat de stabilité. / This thesis is divided into two parts.One is mainly devoted to make a qualitative analysis and exact null controlfor a class of structured population dynamical systems, and the other concernsstability of conductivities in an inverse problem of a reaction-diffusion systemarising in electrocardiology.In the first part, we study the dynamics ofEuropean grape moth, which has caused serious damages on thevineyards in Europe,North Africa, and even some Asian countries.To model this grapevine insect, physiologically structured multistage population systems are proposed.These systemshave nonlocal boundary conditions arising in nonlocal transition processes in ecosystem.We consider the questions of spatial spread of the populationunder physiological age and stage structures,and show global dynamical properties for the model.Furthermore, we investigate the control problem for this Lobesia botrana modelwhen the growth function is equal to $1$.For the case that four subclasses of this system are all in static station,we conclude that the population of eggs can be controlled to zero at acertain moment by acting on eggs.While the adult moths can disperse,we describe a control by a removal of egg and larvapopulation, and also on female moths in a small region of the vineyard.Then the null controllability for female mothsin a nonempty open sub-domain at a given time is obtained.In the second part, a reaction-diffusion system approximating a parabolic-elliptic systemwas proposed tomodel electrical activity in the heart. We are interested inthe stability analysis of an inverse problem for this model.Then we use the method of Carleman estimates and certain weight energyestimatesfor the identification of diffusion coefficients for the parabolicsystem to draw the conclusion. Dynamique des populations structurées Contrôlabilité à zéro Méthode des caractéristiques Estimations de Carleman Théorème du point fixe Stabilité Système de réaction-diffusion Structured population dynamics Null control Characteristics method Carleman estimates Fixed point theorem Stability Reaction-diffusion system
22	一階衝擊動態方程的週期邊界值問題 / PBVPs of first-order impulsive dynamic equations on time scales 梁益昌, Liang, Yi Chang Unknown Date (has links) 在這篇論文中，我們討論的是一階非線性衝擊動態方程的週期邊界值問題。利用Schaefer定理及Banach固定點定理，我們得到一些解的存在性結果。 / In this thesis, we are concernd with nonlinear first-order periodic boundary value problems of impulsive dynamic equations on time scales. By using Schaefer’s theorem and Banach’s fixed point theorem we acquire some new existence results. 時間序列週期邊界值問題衝擊動態方程 Green函數 Schaefer定理 Banach固定點定理 Time scale Periodic boundary value problem Impulsive dynamic equation Green's function Schaefer's theorem Banach's fixed point theorem
23	Elements of conditional optimization and their applications to order theory Karliczek, Martin 10 December 2014 (has links) In dieser Arbeit beweisen wir für Optimierungsprobleme in L0-Moduln relevante Resultate und untersuchen Anwendungen für die Darstellung von Präferenzen. Im ersten Kapitel geht es um quasikonkave, monotone und lokale Funktionen von einem L0-Modul X nach L0, die wir robust darstellen. Im zweiten Kapitel entwickeln wir das Ekeland’sche Variationsprinzip für L0-Moduln, die eine L0-Metrik besitzen. Wir beweisen eine L0 -Variante einer Verallgemeinerung des Ekeland’schen Theorems. Der Beweis des Brouwerschen Fixpunktsatzes für Funktionen, die auf (L0)^d definiert sind, wird in Kapitel 3 behandelt. Wir definieren das Konzept des Simplexes in (L0)^d und beweisen, dass jede lokale, folgenstetige Funktion darauf einen Fixpunkt besitzt. Dies nutzen wir, um den Fixpunktsatz auch für Funktionen auf beliebigen abgeschlossenen, L0 -konvexen Mengen zu zeigen. Eine allgemeinere Struktur als L0 ist die bedingte Menge. Im vierten Kapitel behandeln wir bedingte topologische Vektorräume. Wir führen das Konzept der Dualität für bedingte Mengen ein und beweisen Theoreme der Funktionalanalysis darauf, unter anderem das Theorem von Banach-Alaoglu und Krein-Šmulian. Im fünften Kapitel widmen wir uns der Darstellung mit wandernden konvexen Mengen. Wir zeigen danach, wie die Transitivität für diese Darstellungsform beschrieben werden kann. Abschließend modellieren wir die Eigenschaft, dass die Transitivität einer Relation nur für ähnliche Elemente gesichert ist und diskutieren Arten der Darstellung solcher Relationen. / In this thesis, we prove results relevant for optimization problems in L0-modules and study applications to order theory. The first part deals with the notion of an Assessment Index (AI). For an L0 -module X an AI is a quasiconcave, monotone and local function mapping to L0. We prove a robust representation of these AIs. In the second chapter of this thesis, we develop Ekeland’s variational principle for L0-modules allowing for an L0-metric. We prove an L0-Version of a generalization of Ekeland’s theorem. A further application of L0 -theory is examined in the third chapter of this thesis, namely an extension of the Brouwer fixed point theorem to functions on (L0)^d . We define a conditional simplex, which is a simplex with respect to L0 , and prove that every local, sequentially continuous function has a fixed point. We extend the fixed point theorem to arbitrary closed, L0-convex sets. A more general structure than L0 -modules is the concept of conditional sets. In the fourth chapter of the thesis, we study conditional topological vector spaces. We examine the concept of duality for conditional sets and prove results of functional analysis: among others, the Banach-Alaoglu and the Krein-Šmulian theorem. Any L0 -module being a conditional set allows to apply all results to L0 -theory. In the fifth chapter, we discuss the property of transitivity of relations and its connection to certain forms of representations. After a survey of common representations of preferences, we attend to relations induced by moving convex sets which are relations of the form that x is preferred to y if and only if x − y is in a convex set depending on y. We examine in which cases such a representation is transitive. Finally, we exhibit nontransitivity due to dissimilarity of the compared object and discuss representations for relations of that type. L0-Moduln Assessment Indizes Ekelands Variationsprinzip Brouwerscher Fixpunktsatz Bedingte Topologische Vektorräume L0-modules Assessment Indices Ekeland''s Variational Principle Brouwer Fixed Point Theorem Conditional Topological Vector Spaces Relations Induced by Moving Convex Sets 510 Mathematik 27 Mathematik SK 980 SK 870 ddc:510
24	Existence a vlastnosti globálních řešení funkcionálních diferenciálních rovnic smíšeného typu / Existence and Properties of Global Solutions of Mixed-Type Functional Differential Equations Vážanová, Gabriela January 2020 (has links) 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.
25	Estimation de la vitesse de retour à l'équilibre dans les équations de Fokker-Planck / Estimation of the rate of return to equilibrium in Fokker-Planck's equations Ndao, Mamadou 18 July 2018 (has links) 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 (af) 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. Estimation Vitesse Retour à l'Équilibre Fokker-Planck Semi-groupe Théorème de point fixe Stabilité asymptotique Taux de convergence Existence locale et globale Équations des milieux granulaires Estimation Rate Equilibrium Fokker-Planck Semigroups Fixed point theorem Asymptotical stability Rate of convergence Locale and global existence Granular media equation 515.35
26	Reconstruction de pare-brises Dion-St-Germain, Antoine 09 1900 (has links) Ce mémoire présente une méthode de reconstruction de la surface d’un pare-brise à partir d’une image observée au travers de celui-ci. Cette image est déformée, car les rayons lumineux traversant le pare-brise subissent deux réfractions : une de chaque côté du verre. La déformation de l’image est dépendante de la forme du pare-brise, c’est donc cette donnée qui est utilisée pour résoudre le problème. La première étape est la construction d’un champ de vecteurs dans l’espace ambiant à partir des déviations des rayons lumineux passant par le pare-brise. Elle repose sur la loi de la réfraction de Snell-Descartes et sur des hypothèses simplificatrices au sujet de la courbure et de l’épaisseur du pare-brise. Le vecteur en un point de ce champ correspond à une prédiction du vecteur normal à la surface, sous l’hypothèse que celle-ci passe par le point en question. La deuxième étape est de trouver une surface compatible avec le champ de vecteurs obtenu. Pour y arriver, on formule un problème de minimisation où la donnée minimisée est la différence entre les vecteurs normaux à la surface et ceux construits à partir des mesures du système d’inspection. Il en résulte une équation d’Euler-Lagrange non linéaire à laquelle on impose des conditions de Dirichlet. Le graphe de la solution à ce problème est alors la surface recherchée. La troisième étape est une méthode de point fixe pour résoudre l’équation d’Euler-Lagrange. Elle donne une suite d’équations de Poisson linéaires dont la limite des solutions respecte l’équation non linéaire étudiée. On utilise le théorème du point fixe de Banach pour obtenir des conditions suffisantes d’existence et d’unicité de la solution, qui sont aussi des conditions suffisantes pour lesquelles la méthode de point fixe converge. / This Master’s thesis presents a method for the reconstruction of a windshield surface using an image observed through it. This image is distorted because the light rays passing through the windshield undergo two refractions : one on each side of the glass. The distortion depends on the windshield shape and therefore this data is used to solve the problem. The first step is the construction of a vector field in the ambient space, from the deviations of the light rays passing through the windshield. This step relies on the Snell-Descartes refraction law and on simplifying assumptions regarding the curvature and thickness of a windshield. A vector at a point of this field corresponds to a prediction of the surface normal vector at this point, under the hypothesis that this point lies on the surface. The second step is to find a surface that is compatible with the obtained vector field. For this purpose, a minimisation problem is formulated for which the minimized variable is the difference between the surface normal vector and the one deduced from the system’s measurements. This leads to a nonlinear Euler- Lagrange equation for which the Dirichlet boundary conditions are imposed. The graph of the solution is the desired surface. The third step is a fixed-point method to solve the Euler- Lagrange equation. At the center of this method is a sequence of linear Poisson equations, each giving an approximating solution. It is shown that the limit of this sequence of solutions respects the original nonlinear equation. The Banach fixed-point theorem is used to get sufficient existence and uniqueness conditions, that are also sufficient conditions under which the proposed fixed-point method converges. Pare-brise Reconstruction de surface Équation d'Euler-Lagrange Réfraction Loi de Snell-Descartes Théorème du point fixe de Banac Windshield Surface reconstruction Euler-Lagrange equation Refraction Snell- Decartes law Nonlinear partial differential equations Banach fixed-point theorem
27	Mathematical Pluralism: Constructive Mathematics and Economic Theory Steins, Stefan Arno 09 December 2021 (has links) Wir schlagen eine praxisorientierte Explikation der philosophischen Position des Mathematischen Pluralismus vor. Dieser Position zufolge existieren mehr als ein legitimes mathematisches System. Wir interpretieren 'legitim' als 'geeignet zur Realisierung wissenschaftlicher Ziele' und wenden die resultierende pluralistische Position auf die Mathematische Ökonomie an. Wir präsentieren ein begriffliches Rahmenwerk, in dem pluralistische Thesen formuliert und evaluiert werden können, stellen ein informelles System der Konstruktiven Mathematik als Alternative zur Klassischen Mathematik vor, und zeigen, dass verschiedene ökonomische Theoreme nicht konstruktiv beweisbar sind. Auf dieser Basis argumentieren wir, dass Pluralismus relativ zu Zielen mit Bezug zu Erklärung und Simplizität in der Ökonomie vorliegt. / We propose a practice-oriented explication of the philosophical position known as mathematical pluralism. According to this position there exist more than one legitimate mathematical system. We interpret 'legitimate' as 'suitable for realizing scientific goals' and apply the resultant pluralist position to mathematical economics. We present a conceptual framework within which pluralist theses can be formulated and evaluated, introduce an informal system of constructive mathematics as an alternative to classical mathematics, and point out that central theorems of economic equilibrium theory are not constructively provable. On this basis, we argue that pluralism obtains with respect to goals related to explanation and simplicity in economics. allgemeines Gleichgewicht Berechenbarkeit Bishop Brouwer Carnap Fixpunktsatz Intuitionistische Logik Konstruktive Mathematik konstruktiver Beweis LLPO LPO Mathematischer Pluralismus Mikroökonomie Ökonomische Theorie wissenschaftliche Erklärung wissenschaftliches Modell Bishop Brouwer Carnap computability constructive mathematics constructive proof economic theory fixed point theorem general equilibrium intuitionistic logic LLPO LPO mathematical pluralism microeconomics scientific explanation scientific model 510 Mathematik CC 2600 ddc:100 ddc:510
28	Optimal Control of Thermoviscoplasticity Stötzner, Ailyn 09 November 2018 (has 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. info:eu-repo/classification/ddc/510 ddc:510 info:eu-repo/classification/ddc/515 ddc:515 info:eu-repo/classification/ddc/519 ddc:519
29	Feigenbaum Scaling Sendrowski, Janek January 2020 (has links) In this thesis I hope to provide a clear and concise introduction to Feigenbaum scaling accessible to undergraduate students. This is accompanied by a description of how to obtain numerical results by various means. A more intricate approach drawing from renormalization theory as well as a short consideration of some of the topological properties will also be presented. I was furthermore trying to put great emphasis on diagrams throughout the text to make the contents more comprehensible and intuitive. Feigenbaum Feigenbaum constant Feigenbaum point superstable self-similarity fractals final-state diagram logistic map period-doubling operator linearized period-doubling operator Cantor set Sharkovsky sequence Chebyshev interpolation stable manifold unstable manifold orbits fixed points scaling factor pitchfork bifurcation cobweb plot renormalization iterates one-hump map unimodal map bifurcation cascade Feigenbaum universality chaos theory spectrum generalized Feigenvalues bifurcation points superstable points fixed function universal function eigenvalues eigenvectors eigenfunctions universality conditions Schwarzian derivative Newton’s method power method Arnoldi’s method attractive fixed point repellent fixed point Banach fixed-point theorem collocation method functional analysis topology Mathematical Analysis Matematisk analys Other Mathematics Annan matematik Computational Mathematics Beräkningsmatematik

Search results