The Quantum Harmonic Oscillator is one of the most important models in Quantum Mechanics. Analogous to the classical mass vibrating back and forth on a spring, the quantum oscillator system has attracted substantial attention over the years because of its importance in many advanced and difficult quantum problems. This dissertation deals with solving generalized models of the time-dependent Schrodinger equation which are called generalized quantum harmonic oscillators, and these are characterized by an arbitrary quadratic Hamiltonian of linear momentum and position operators. The primary challenge in this work is that most quantum models with timedependence are not solvable explicitly, yet this challenge became the driving motivation for this work. In this dissertation, the methods used to solve the time-dependent Schrodinger equation are the fundamental singularity (or Green's function) and the Fourier (eigenfunction expansion) methods. Certain Riccati- and Ermakov-type systems arise, and these systems are highlighted and investigated. The overall aims of this dissertation are to show that quadratic Hamiltonian systems are completely integrable systems, and to provide explicit approaches to solving the time-dependent Schr¨odinger equation governed by an arbitrary quadratic Hamiltonian operator. The methods and results established in the dissertation are not yet well recognized in the literature, yet hold for high promise for further future research. Finally, the most recent results in the dissertation correspond to the harmonic oscillator group and its symmetries. A simple derivation of the maximum kinematical invariance groups of the free particle and quantum harmonic oscillator is constructed from the view point of the Riccati- and Ermakov-type systems, which shows an alternative to the traditional Lie Algebra approach. To conclude, a missing class of solutions of the time-dependent Schr¨odinger equation for the simple harmonic oscillator in one dimension is constructed. Probability distributions of the particle linear position and momentum, are emphasized with Mathematica animations. The eigenfunctions qualitatively differ from the traditional standing waves of the one-dimensional Schrodinger equation. The physical relevance of these dynamic states is still questionable, and in order to investigate their physical meaning, animations could also be created for the squeezed coherent states. This will be addressed in future work.

This dissertation is intended to tie together a body of work which utilizes a variety of methods to study applied mathematical models involving heterogeneity often omitted with classical modeling techniques. I posit three cogent classifications of heterogeneity: physiological, behavioral, and local (specifically connectivity in this work). I consider physiological heterogeneity using the method of transport equations to study heterogeneous susceptibility to diseases in open populations (those with births and deaths). I then present three separate models of behavioral heterogeneity. An SIS/SAS model of gonorrhea transmission in a population of highly active men-who-have-sex-with-men (MSM) is presented to study the impact of safe behavior (prevention and self-awareness) on the prevalence of this endemic disease. Behavior is modeled in this examples via static parameters describing consistent condom use and frequency of STD testing. In an example of behavioral heterogeneity, in the absence of underlying dynamics, I present a generalization to ``test theory without an answer key" (also known as cultural consensus modeling or CCM). CCM is commonly used to study the distribution of cultural knowledge within a population. The generalized framework presented allows for selecting the best model among various extensions of CCM: multiple subcultures, estimating the degree to which individuals guess yes, and making competence homogenous in the population. This permits model selection based on the principle of information criteria. The third behaviorally heterogeneous model studies adaptive behavioral response based on epidemiological-economic theory within an $SIR$ epidemic setting. Theorems used to analyze the stability of such models with a generalized, non-linear incidence structure are adapted and applied to the case of standard incidence and adaptive incidence. As an example of study in spatial heterogeneity I provide an explicit solution to a generalization of the continuous time approximation of the Albert-Barabasi scale-free network algorithm. The solution is found by recursively solving the differential equations via integrating factors, identifying a pattern for the coefficients and then proving this observed pattern is consistent using induction. An application to disease dynamics on such evolving structures is then studied.

Diseases have been part of human life for generations and evolve within the population, sometimes dying out while other times becoming endemic or the cause of recurrent outbreaks. The long term influence of a disease stems from different dynamics within or between pathogen-host, that have been analyzed and studied by many researchers using mathematical models. Co-infection with different pathogens is common, yet little is known about how infection with one pathogen affects the host's immunological response to another. Moreover, no work has been found in the literature that considers the variability of the host immune health or that examines a disease at the population level and its corresponding interconnectedness with the host immune system. Knowing that the spread of the disease in the population starts at the individual level, this thesis explores how variability in immune system response within an endemic environment affects an individual's vulnerability, and how prone it is to co-infections. Immunology-based models of Malaria and Tuberculosis (TB) are constructed by extending and modifying existing mathematical models in the literature. The two are then combined to give a single nine-variable model of co-infection with Malaria and TB. Because these models are difficult to gain any insight analytically due to the large number of parameters, a phenomenological model of co-infection is proposed with subsystems corresponding to the individual immunology-based model of a single infection. Within this phenomenological model, the variability of the host immune health is also incorporated through three different pathogen response curves using nonlinear bounded Michaelis-Menten functions that describe the level or state of immune system (healthy, moderate and severely compromised). The immunology-based models of Malaria and TB give numerical results that agree with the biological observations. The Malaria--TB co-infection model gives reasonable results and these suggest that the order in which the two diseases are introduced have an impact on the behavior of both. The subsystems of the phenomenological models that correspond to a single infection (either of Malaria or TB) mimic much of the observed behavior of the immunology-based counterpart and can demonstrate different behavior depending on the chosen pathogen response curve. In addition, varying some of the parameters and initial conditions in the phenomenological model yields a range of topologically different mathematical behaviors, which suggests that this behavior may be able to be observed in the immunology-based models as well. The phenomenological models clearly replicate the qualitative behavior of primary and secondary infection as well as co-infection. The mathematical solutions of the models correspond to the fundamental states described by immunologists: virgin state, immune state and tolerance state. The phenomenological model of co-infection also demonstrates a range of parameter values and initial conditions in which the introduction of a second disease causes both diseases to grow without bound even though those same parameters and initial conditions did not yield unbounded growth in the corresponding subsystems. This results applies to all three states of the host immune system. In terms of the immunology-based system, this would suggest the following: there may be parameter values and initial conditions in which a person can clear Malaria or TB (separately) from their system but in which the presence of both can result in the person dying of one of the diseases. Finally, this thesis studies links between epidemiology (population level) and immunology in an effort to assess the impact of pathogen's spread within the population on the immune response of individuals. Models of Malaria and TB are proposed that incorporate the immune system of the host into a mathematical model of an epidemic at the population level.

The concept of vaccination dates back further than Edward Jenner's first vaccine using cowpox pustules to confer immunity against smallpox in 1796. Nevertheless, it was Jenner's success that gave vaccines their name and made vaccinia virus (VACV) of particular interest. More than 200 years later there is still the need to understand vaccination from vaccine design to prediction of vaccine efficacy using mathematical models. Post-exposure vaccination with VACV has been suggested to be effective if administered within four days of smallpox exposure although this has not been definitively studied in humans. The first and second chapters analyze post-exposure prophylaxis of VACV in an animal model using v50ΔB13RMγ, a recombinant VACV expressing murine interferon gamma (IFN-γ) also known as type II IFN. While untreated animals infected with wild type VACV die by 10 days post-infection (dpi), animals treated with v50ΔB13RMγ 1 dpi had decreased morbidity and 100% survival. Despite these differences, the viral load was similar in both groups suggesting that v50ΔB13RMγ acts as an immunoregulator rather than as an antiviral. One of the main characteristics of VACV is its resistance to type I IFN, an effect primarily mediated by the E3L protein, which has a Z-DNA binding domain and a double-stranded RNA (dsRNA) binding domain. In the third chapter a VACV that independently expresses both domains of E3L was engineered and compared to wild type in cells in culture. The dual expression virus was unable to replicate in the JC murine cell line where both domains are needed together for replication. Moreover, phosphorylation of the dsRNA dependent protein kinase (PKR) was observed at late times post-infection which indicates that both domains need to be linked together in order to block the IFN response. Because smallpox has already been eradicated, the utility of mathematical modeling as a tool for predicting disease spread and vaccine efficacy was explored in the last chapter using dengue as a disease model. Current modeling approaches were reviewed and the 2000-2001 dengue outbreak in a Peruvian region was analyzed. This last section highlights the importance of interdisciplinary collaboration and how it benefits research on infectious diseases.

This study contributes to the ongoing discussion of Mathematical Knowledge for Teaching (MKT). It investigates the case of Rico, a high school mathematics teacher who had become known to his colleagues and his students as a superbly effective mathematics teacher. His students not only developed excellent mathematical skills, they also developed deep understanding of the mathematics they learned. Moreover, Rico redesigned his curricula and instruction completely so that they provided a means of support for his students to learn mathematics the way he intended. The purpose of this study was to understand the sources of Rico's effectiveness. The data for this study was generated in three phases. Phase I included videos of Rico's lessons during one semester of an Algebra II course, post-lesson reflections, and Rico's self-constructed instructional materials. An analysis of Phase I data led to Phase II, which consisted of eight extensive stimulated-reflection interviews with Rico. Phase III consisted of a conceptual analysis of the prior phases with the aim of creating models of Rico's mathematical conceptions, his conceptions of his students' mathematical understandings, and his images of instruction and instructional design. Findings revealed that Rico had developed profound personal understandings, grounded in quantitative reasoning, of the mathematics that he taught, and profound pedagogical understandings that supported these very same ways of thinking in his students. Rico's redesign was driven by three factors: (1) the particular way in which Rico himself understood the mathematics he taught, (2) his reflective awareness of those ways of thinking, and (3) his ability to envision what students might learn from different instructional approaches. Rico always considered what someone might already need to understand in order to understand "this" in the way he was thinking of it, and how understanding "this" might help students understand related ideas or methods. Rico's continual reflection on the mathematics he knew so as to make it more coherent, and his continual orientation to imagining how these meanings might work for students' learning, made Rico's mathematics become a mathematics of students--impacting how he assessed his practice and engaging him in a continual process of developing MKT.

Infectious diseases are a leading cause of death worldwide. With the development of drugs, vaccines and antibiotics, it was believed that for the first time in human history diseases would no longer be a major cause of mortality. Newly emerging diseases, re-emerging diseases and the emergence of microorganisms resistant to existing treatment have forced us to re-evaluate our optimistic perspective. In this study, a simple mathematical framework for super-infection is considered in order to explore the transmission dynamics of drug-resistance. Through its theoretical analysis, we identify the conditions necessary for the coexistence between sensitive strains and drug-resistant strains. Farther, in order to investigate the effectiveness of control measures, the model is extended so as to include vaccination and treatment. The impact that these preventive and control measures may have on its disease dynamics is evaluated. Theoretical results being confirmed via numerical simulations. Our theoretical results on two-strain drug-resistance models are applied in the context of Malaria, antimalarial drugs, and the administration of a possible partially effective vaccine. The objective is to develop a monitoring epidemiological framework that help evaluate the impact of antimalarial drugs and partially-effective vaccine in reducing the disease burden at the population level. Optimal control theory is applied in the context of this framework in order to assess the impact of time dependent cost-effective treatment efforts. It is shown that cost-effective combinations of treatment efforts depend on the population size, cost of implementing treatment controls, and the parameters of the model. We use these results to identify optimal control strategies for several scenarios.

In the traditional setting of quantum mechanics, the Hamiltonian operator does not depend on time. While some Schrödinger equations with time-dependent Hamiltonians have been solved, explicitly solvable cases are typically scarce. This thesis is a collection of papers in which this first author along with Suslov, Suazo, and Lopez, has worked on solving a series of Schrödinger equations with a time-dependent quadratic Hamiltonian that has applications in problems of quantum electrodynamics, lasers, quantum devices such as quantum dots, and external varying fields. In particular the author discusses a new completely integrable case of the time-dependent Schrödinger equation in R^n with variable coefficients for a modified oscillator, which is dual with respect to the time inversion to a model of the quantum oscillator considered by Meiler, Cordero-Soto, and Suslov. A second pair of dual Hamiltonians is found in the momentum representation. Our examples show that in mathematical physics and quantum mechanics a change in the direction of time may require a total change of the system dynamics in order to return the system back to its original quantum state. The author also considers several models of the damped oscillators in nonrelativistic quantum mechanics in a framework of a general approach to the dynamics of the time-dependent Schrödinger equation with variable quadratic Hamiltonians. The Green functions are explicitly found in terms of elementary functions and the corresponding gauge transformations are discussed. The factorization technique is applied to the case of a shifted harmonic oscillator. The time-evolution of the expectation values of the energy related operators is determined for two models of the quantum damped oscillators under consideration. The classical equations of motion for the damped oscillations are derived for the corresponding expectation values of the position operator. Finally, the author constructs integrals of motion for several models of the quantum damped oscillators in a framework of a general approach to the time-dependent Schrödinger equation with variable quadratic Hamiltonians. An extension of the Lewis-Riesenfeld dynamical invariant is given. The time-evolution of the expectation values of the energy related positive operators is determined for the oscillators under consideration. A proof of uniqueness of the corresponding Cauchy initial value problem is discussed as an application.