Computational and analytical mathematical techniques for modeling heterogeneity

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.