The definition of semi-hyperbolic dynamical systems generated by Lipschitz continuous and not necessarily invertible mappings in Banach spaces is presented in this thesis. Like hyperbolic mappings, they involve a splitting into stable and unstable spaces, but a slight leakage from the strict invariance of the spaces is possible and the unstable subspaces are assumed to be finite dimensional. Bi-shadowing is a combination of the concepts of shadowing and inverse shadowing and is usually used to compare pseudo-trajectories calculated by a computer with the true trajectories. In this thesis, the concept of bi-shadowing in a Banach space is defined and proved for semi-hyperbolic dynamical systems generated by Lipschitz mappings. As an application to the concept of bishadowing, linear delay differential equations are shown to be bi-shadowing with respect to pseudo-trajectories generated by nonlinear small perturbations of the linear delay equation. This shows robustness of solutions of the linear delay equation with respect to small nonlinear perturbations. Complicated dynamical behaviour is often a consequence of the expansivity of a dynamical system. Semi-hyperbolic dynamical systems generated by Lipschitz mappings on a Banach space are shown to be exponentially expansive, and explicit rates of expansion are determined. The result is applied to a nonsmooth noninvertible system generated by delay differential equation. It is shown that semi-hyperbolic mappings are locally φ-contracting, where -0 is the Hausdorff measure of noncompactness, and that a linear operator is semi-hyperbolic if and only if it is φ-contracting and has no spectral values on the unit circle. The definition of φ-bi-shadowing is given and it is shown that semi-hyperbolic mappings in Banach spaces are φ-bi-shadowing with respect to locally condensing continuous comparison mappings. The result is applied to linear delay differential equations of neutral type with nonsmooth perturbations. Finally, it is shown that a small delay perturbation of an ordinary differential equation with a homoclinic trajectory is ‘chaotic’.

In this paper we show how the theory of dynamical systems can be employed to solve problems in motion vision. In particular we develop algorithms for the recovery of dense depth maps and motion parameters using state space observers or filters. Four different dynamical models of the imaging situation are investigated and corresponding filters/ observers derived. The most powerful of these algorithms recovers depth and motion of general nature using a brightness change constraint assumption. No feature-matching preprocessor is required.

This paper considers the problem of language change. Linguists must explain not only how languages are learned but also how and why they have evolved along certain trajectories and not others. While the language learning problem has focused on the behavior of individuals and how they acquire a particular grammar from a class of grammars ${cal G}$, here we consider a population of such learners and investigate the emergent, global population characteristics of linguistic communities over several generations. We argue that language change follows logically from specific assumptions about grammatical theories and learning paradigms. In particular, we are able to transform parameterized theories and memoryless acquisition algorithms into grammatical dynamical systems, whose evolution depicts a population's evolving linguistic composition. We investigate the linguistic and computational consequences of this model, showing that the formalization allows one to ask questions about diachronic that one otherwise could not ask, such as the effect of varying initial conditions on the resulting diachronic trajectories. From a more programmatic perspective, we give an example of how the dynamical system model for language change can serve as a way to distinguish among alternative grammatical theories, introducing a formal diachronic adequacy criterion for linguistic theories.

Formalizing linguists' intuitions of language change as a dynamical system, we quantify the time course of language change including sudden vs. gradual changes in languages. We apply the computer model to the historical loss of Verb Second from Old French to modern French, showing that otherwise adequate grammatical theories can fail our new evolutionary criterion.

Omar Hijab, Shankar Sastry. / Bibliography: leaf [4]. / Caption title. "September, 1981." / Supported in part by NASA Grant no. 2384 Office of Naval Research under the JSEP Contract N00014-75-C-0648 DOE Grant no. ET-A01-2295T050

Dengue (pronounced den'guee) Fever (DF) and Dengue Hemorrhagic Fever (DHF), collectively known as "dengue," are mosquito-borne, potentially mortal, flu-like viral diseases that affect humans worldwide. Transmitted to humans by the bite of an infected mosquito, dengue is caused by any one of four serotypes, or antigen-specific viruses. In this thesis, both the spatial and temporal dynamics of dengue transmission are investigated. Different chapters present new models while building on themes of previous chapters. In Chapter 2, we explore the temporal dynamics of dengue viral transmission by presenting and analyzing an ODE model that combines an SIR human host- with a multi-stage SI mosquito vector transmission system. In the case where the juvenile populations are at carrying capacity, juvenile mosquito mortality rates are sufficiently small to be absorbed by juvenile maturation rates, and no humans die from dengue, both the analysis and numerical simulations demonstrate that an epidemic will persist if the oviposition rate is greater than the adult mosquito death rate. In Chapter 3, we present and analyze a non-autonomous, non-linear ODE system that incorporates seasonality into the modeling of the transmission of the dengue virus. We derive conditions for the existence of a threshold parameter, the basic reproductive ratio, denoting the expected number of secondary cases produced by a typically infective individual. In Chapter 4, we present and analyze a non-linear system of coupled reaction-diffusion equations modeling the virus' spatial spread. In formulating our model, we seek to establish the existence of traveling wave solutions and to calculate spread rates for the spatial dissemination of the disease. We determine that the epidemic wave speed increases as average annual, and in our case, winter, temperatures increase. In Chapter 5, we present and analyze an ODE model that incorporates two serotypes of the dengue virus and allows for the possibility of both primary and secondary infections with each serotype. We obtain an analytical expression for the basic reproductive number, R_0, that defines it as the maximum of the reproduction numbers for each strain/serotype of the virus. In each chapter, numerical simulations are conducted to support the analytical conclusions.

No description available.

Dans cette thèse, nous nous intéressons aux critères d'existence et à la construction effective de fractions rationnelles à dynamique prescrite. Nous commençons par étudier le même problème pour certains revêtements ramifiés post-critiquement finis et nous donnons une méthode de construction à partir de dynamiques d'arbres. Puis nous présentons un théorème de Thurston qui fournit une caractérisation combinatoire pour passer du cadre topologique au cadre analytique. En particulier, nous généralisons aux applications non post-critiquement finies un résultat de Levy qui simplifie le critère de Thurston dans le cas polynomial. Nous illustrons cette généralisation par une condition suffisante d'existence de polynômes ayant un disque de Siegel fixe de type borné. Ensuite nous détaillons la construction par chirurgie quasiconforme d'un exemple de fraction rationnelle non post-critiquement finie dont la dynamique est décrite par un arbre. Plus généralement, nous montrons qu'un résultat de Cui Guizhen et Tan Lei permet de construire une famille de fractions rationnelles à ensemble de Julia disconnexe à partir de certains arbres de Hubbard pondérés.

This thesis introduces the notion of using stability analysis in terms of two measures for impulsive switched systems. Impulsive switched systems are defined in the context of hybrid system theory and the motivation for the study of these systems is presented. The motivation for studying stability in two measures is also given, along with the definitions of stability, uniform stability, and uniform asymptotic stability in one and two measures. The results presented are a sets of sufficient stability criteria for linear and nonlinear systems. For autonomous linear systems, there are criteria for stability and asymptotic stability using a particular family of choices for the two measures. There is an additional stronger set of criteria for asymptotic stability using one measure, for comparison. There is also a proposed method for finding the asymptotic stability of a non-autonomous system in one measure. The method for extending these criteria to linearized systems is also presented, along with stability criteria for such systems. The criteria for nonlinear systems cover stability, uniform stability, and uniform asymptotic stability, considering state-based and time-based switching rules in different ways. The sufficient stability criteria that were found were used to solve four instructive examples. These examples show how the criteria are applied, how they compare, and what the shortcomings are in certain situations. It was found that the method of using two measures produced stricter stability requirements than a similar method for one measure. It was still found to be a useful result that could be applied to the stability analysis of an actual impulsive switched system.

This thesis introduces the notion of using stability analysis in terms of two measures for impulsive switched systems. Impulsive switched systems are defined in the context of hybrid system theory and the motivation for the study of these systems is presented. The motivation for studying stability in two measures is also given, along with the definitions of stability, uniform stability, and uniform asymptotic stability in one and two measures. The results presented are a sets of sufficient stability criteria for linear and nonlinear systems. For autonomous linear systems, there are criteria for stability and asymptotic stability using a particular family of choices for the two measures. There is an additional stronger set of criteria for asymptotic stability using one measure, for comparison. There is also a proposed method for finding the asymptotic stability of a non-autonomous system in one measure. The method for extending these criteria to linearized systems is also presented, along with stability criteria for such systems. The criteria for nonlinear systems cover stability, uniform stability, and uniform asymptotic stability, considering state-based and time-based switching rules in different ways. The sufficient stability criteria that were found were used to solve four instructive examples. These examples show how the criteria are applied, how they compare, and what the shortcomings are in certain situations. It was found that the method of using two measures produced stricter stability requirements than a similar method for one measure. It was still found to be a useful result that could be applied to the stability analysis of an actual impulsive switched system.