In this thesis, we study these models and design and analyze robust numerical methods to solve them. To proceed in this direction, first we study the sub-models and then the full model. The first sub-model describes the transmission dynamics of HIV that accounts for behavior change. The impact of HIV educational campaigns is also studied. Further, we explore the effects of behavior change and different responses of individuals to educational campaigns in a situation where individuals may not react immediately to these campaigns. This is done by considering a distributed time delay in the HIV sub-model. This leads to Hopf bifurcations around the endemic equilibria of the model. These bifurcations correspond to the existence of periodic solutions that oscillate around the equilibria at given thresholds. Further, we show how the delay can result in more HIV infections causing more increase in the HIV prevalence. Part of this study is then extended to study a co-infection model of HIV-TB. A thorough bifurcation analysis is carried out for this model. Robust numerical methods are then designed and analyzed for these models. Comparative numerical results are also provided for each model.

Philosophiae Doctor - PhD / There is a growing interest in the dynamics of the co-infection of these two diseases. In this thesis, firstly we focus on studying the effect of a distributed delay representing the incubation period for the malaria parasite in the mosquito vector to possibly reduce the initial transmission and prevalence of malaria. This model can be regarded as a generalization of SEI models (with a class for the latently infected mosquitoes) and SI models with a discrete delay for the incubation period in mosquitoes. We study the possibility of occurrence of backward bifurcation. We then extend these ideas to study a full model of HIV and malaria co-infection. To get further inside into the dynamics of the model, we use the geometric singular perturbation theory to couple the fast and slow models from the full model. Finally, since the governing models are very complex, they cannot be solved analytically and hence we develop and analyze a special class of numerical methods to solve them. / South Africa

An overview of unsteady incompressible jet flows is presented, with the primary interest being radially developing jets in cylindrical polar coordinates. The radial free jet emanates from some orifice, being axisymmetric about the transverse (z) axis and possessing reflectional symmetry across its z=0 centreline. The radial wall jet is also axisymmetric about the transverse axis, however in this case impermeability and no-slip conditions are imposed at the wall, which is situated at z=0. The numerical solution of a linear perturbation superposed on the free jet, whose temporal form is assumed to be driven by a periodic source pulsation, gives rise to a wave-like disturbance whose amplitude grows downstream as its local wavelength decreases. An asymptotic analysis of this linear perturbation, which applies to the wall jet as well with some minor changes, captures the exact nature of the exponential spatial growth, and also algebraic attenuation of the growth. The linear theory is only valid for a small amplitude pulsation (|ε| << 1, where ε is the perturbation amplitude). When a nonlinear pulsation (ε = O(1)) is applied to the radial free jet, any linear theory must be dropped. Solving the full nonlinear system of equations reveals singular behaviour at a critical downstream location, which corresponds to the presence of an infinitely steep downstream gradient. The replacement of molecular diffusivity with a larger-scale eddy viscosity does little to affect the qualitative growth of the linear perturbation. In order for an experimental study to reproduce any of the discussed boundary-layer results, we must consider the behaviour of jet-type flows at finite Reynolds number. This involves solving the full Navier-Stokes equations numerically, to determine the Reynolds number at which we should expect to qualitatively recover boundary-layer behaviour. The steady solution for the radial free jet and its linear pulsation are studied in this way, as is the linear pulsatile planar free jet. We may enhance the streamwise velocity of a radial jet by applying swirl around the z axis. Modulating this swirl is looked at as a possible mechanism to induce the previously discussed pulsation, which then motivates the introduction of a finite spinning disk problem. In this case the system may be completely confined within an enclosed cylinder, making a hypothetical experimental approach somewhat more approachable.

<p>This report consider a system describing three competing species with populations <em>x</em>, <em>y</em> and <em>z</em>. Sufficient conditions for every positive equilibrium to be asymptotically stable have been found. First it is shown that conditions on the pairwise competitive interaction between the populations are needed. Actually, these conditions are equivalent to asymptotic stability for any two-dimensional competing system of the three species. It is also shown that these alone are not enough, and that a condition on the competitive interaction between all three populations is also needed. If all conditions are fulfilled, each population will survive on a long-term basis and there will be a stable coexistence.</p>

This report consider a system describing three competing species with populations x, y and z. Sufficient conditions for every positive equilibrium to be asymptotically stable have been found. First it is shown that conditions on the pairwise competitive interaction between the populations are needed. Actually, these conditions are equivalent to asymptotic stability for any two-dimensional competing system of the three species. It is also shown that these alone are not enough, and that a condition on the competitive interaction between all three populations is also needed. If all conditions are fulfilled, each population will survive on a long-term basis and there will be a stable coexistence.

This thesis concerns stability analysis and robust H¡Û performance analysis for discrete-time systems with interval time-varying delay; moreover, the results are extended to the systems with norm-bounded uncertainties. By defining a novel Lyapunov functional and combining delay partition methods to improve the results in existing literature, we obtain a less conservative linear matrix inequality condition to guarantee the asymptotic stability for the discrete-time systems. There are examples to illustrate the advantage of our method in every chapter.

The thesis is based on the use of mathematical modeling and analysis to gain insightinto the transmission dynamics of malaria in a community. A new deterministic model for assessing the role of age-structure on the disease dynamics is designed. The model undergoes backward bifurcation, a dynamic phenomenon characterized by the co-existence of a stable disease-free and an endemic equilibrium of the model when the associated reproduction number is less than unity. It is shown that adding age-structure to the basic model for malaria transmission does not alter its essential qualitative dynamics. The study is extended to incorporate the use of anti-malaria drugs. Numerical simulations of the extended model suggest that for the case when treatment does not cause drug resistance (and the reproduction number of each of the two strains exceed unity), the model undergoes competitive exclusion. The impact of various effectiveness levels of the treatment strategy is assessed.

The thesis is based on the use of mathematical modeling and analysis to gain insightinto the transmission dynamics of malaria in a community. A new deterministic model for assessing the role of age-structure on the disease dynamics is designed. The model undergoes backward bifurcation, a dynamic phenomenon characterized by the co-existence of a stable disease-free and an endemic equilibrium of the model when the associated reproduction number is less than unity. It is shown that adding age-structure to the basic model for malaria transmission does not alter its essential qualitative dynamics. The study is extended to incorporate the use of anti-malaria drugs. Numerical simulations of the extended model suggest that for the case when treatment does not cause drug resistance (and the reproduction number of each of the two strains exceed unity), the model undergoes competitive exclusion. The impact of various effectiveness levels of the treatment strategy is assessed.

Made available in DSpace on 2014-06-11T19:26:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-02-19Bitstream added on 2014-06-13T18:06:55Z : No. of bitstreams: 1 pavan_jf_me_sjrp.pdf: 525723 bytes, checksum: 14295e01658745f42b4e6dd2b22c1791 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / No presente trabalho consideramos o sistema de equações diferenciais ordinároas x1 = afλ 1 (x1)+ bfµ 2 (x2) ˙ x2 = cfη 1 (x1)+ dfζ 2 (x2) (I) onde a,b,c e d são coeficientes constantes, λ, ,η e ζ são números racionais positivos numeradores e denominadores ímpares, as funções fi :(−h,h) → R, h> 0, são contínuas e satisfazem as condições fi(0)=0,i =1, 2e xifi(xi) > 0,para xi =0,i =1, 2. Associado ao sistema(I) consideramos a seguinte função V = α Z x1 0 fξ 1 (τ )dτ + Z x2 0 fθ 2 (τ )dτ, (II) onde ξ e θ são número racionais numeradores e denominadores ímpares. Nosso objetivo principal é encontar é encontrar sob quais condições dos parâmetros a,b,c,d e α> 0 a função V definidaem(II) é uma função de Liapunov estita para a solução nula dos sitema (I), o que leva a concluir a estabilidade assintótica da solução nula. / In this work we consider the system of ordinary differential equations x1 = afλ 1 (x1)+ bfµ 2 (x2) ˙ x2 = cfη 1 (x1)+ dfζ 2 (x2) (I) where a,b,c and d are constantco efficients, λ, ,η and ζ a repositive rational numbers with odd numerators and denominators ,and the functions fi :(−h,h) → R, h> 0,are continuous and satisfy the conditions fi(0)=0,i =1, 2and xifi(xi) > 0,for xi =0,i = 1, 2. Associated to the system(I) we consider the following function V = α Z x1 0 fξ 1 (τ )dτ + Z x2 0 fθ 2 (τ )dτ, (II) where ξ and θ are positive rational numbers with odd numerators and denominators and α is a positive constant. Our main goal is find under what conditions the parameters a,b,c,d and α> 0 the function V defined in(II) is a strict Liapunov function for the zero solution of the system (I), which leads us to conclude the asymptotic stability of zero solution.

Made available in DSpace on 2014-06-11T19:27:08Z (GMT). No. of bitstreams: 0 Previous issue date: 2005-09-05Bitstream added on 2014-06-13T20:16:05Z : No. of bitstreams: 1 nascimento_rp_me_sjrp.pdf: 368298 bytes, checksum: d1ffd79129c70e6a0b4236136ff5e58e (MD5) / Neste trabalho é feito um estudo aprofundado da estabilidade de sistemas alternantes, principalmente via teoria de Lie. Inicialmente são apresentados os principais conceitos básicos da álgebra de Lie, necessários para o estudo dos critérios de estabilidade dos sistemas alternantes. Depois são discutidos critérios de estabilidade para sistemas alternantes. É feita a exposição da demonstração de que para todo sistema linear da forma ? x = Apx p = 1, 2,...,N, com as matrizes Ap assintóticamente estáveis e comutativas duas a duas, existe uma função de Lyapunov quadrática comum. Uma condição suficiente para estabilidade assintótica de um sistema linear alternante é apresentada em termos da álgebra de Lie gerada por uma família infinita de matrizes. A saber, se esta álgebra de Lie é solúvel, então o sistema alternante é estável para uma mudança arbitrária de sinal. Em seguida são estudadas condições mais fracas. Supondo que a álgebra de Lie não é solúvel, mas é decomponível na soma de um ideal solúvel e uma subálgebra com grupo de Lie compacto, então o sistema alternante é globalmente exponencialmente uniformemente estável. Entretanto, se o grupo de Lie não for compacto, verifica-se que é possível gerar uma família finita de matrizes estáveis tais que o correspondente sistema linear alternante não é estável. Finalmente, os resultados correspondentes de estabilidade local para sistemas alternantes não lineares são apresentados. / In this work it is undertaken a deep study of stability for switched systems, mainly via Lie algebraic Theory. At first, the basic concepts and results from Lie algebra necessary for the study of stability of switched systems are presented. Criteria for stability are discussed. It is also done an exposition of the proof that all linear systems ? x = Apx, p = 1, 2, ...,N, with stable and pairwisely commutative matrices Ap, have common quadratic Lyapounov functions. A sufficient condition for asymptotic stability of switched linear systems is presented in term of the Lie algebra generated by a family infinite matrices. That is, if this Lie algebra is solvable, then the switched systems are stable for an arbitrary change of sinal. Next weaker conditions are studied. If the Lie algebra is decomposable into two subalgebras in which one is a solvable ideal and the other has a compact Lie group, then the switched systems are globally exponentially uniformly stable. However, if the Lie group is not compact, it is also possible to generate a finite family of stable matrices such that the corresponding switched linear systems are not stable. Finally, corresponding local stability results are presented for nonlinear systems.