Applied Mathematics Commons^™

Enhanced Physics Schemes For The 2d Ns-Alpha Models Of Incompressible Flow, Michael Dowling

All Theses

In this thesis, we study algorithms for the 2D NS-alpha model of incompressible flow. These schemes conserve both discrete energy and discrete enstrophy in the absence of viscous and external forces, and otherwise admit exact balances for them analogous to those of true fluid flow. This model belongs to a very small group that conserves both of these quantities in the continuous case, and in this work, we develop finite element algorithms for the vorticity-stream formulation of this model that will preserve numerical energy and enstrophy in the computed solutions.

Numerical Study For A Viscoelastic Fluid-Structure Interaction Problem, Shuhan Xu

All Theses

In this thesis, we consider a viscoelastic flow in a moving domain, which has significant applications in biology and industry. Numerical approximation schemes are developed based on the Arbitrary Lagrangian-Eulerian (ALE) formulation of the flow equations. A spatial discretization is accomplished by the finite element method, and the time descritization is carried by either the implicit Euler method or the Crank-Nicolson method. Numerical results are presented for a fluid in a moving domain, where the boundary movement is specified by a given function. Then, we extend our work to a fluid-structure interaction problem. This system consists of a two-dimensional viscoelastic …

On Factoring Hecke Eigenforms, Nearly Holomorphic Modular Forms, And Applications To L-Values, Jeff Beyerl

All Dissertations

This thesis is a presentation of some of my research activities while at Clemson University. In particular this includes joint work on the factorization of eigenforms and their relationship to Rankin- Selberg L-values, and nearly holomorphic eigenforms. The main tools used on the factorization of eigenforms are linear algebra, the j function, and the Rankin-Selberg Method. The main tool used on nearly holomorphic modular forms is the Rankin-Cohen bracket operator.

Modelling Two-Dimensional Photopolymer Patterns Produced With Multiple-Beam Holography, Dana Mackey, Tsvetanka Babeva, Izabela Naydenova, Vincent Toal

Conference papers

Periodic structures referred to as photonic crystals attract considerable interest due to their potential applications in areas such as nanotechnology, photonics, plasmonics, etc. Among various techniques used for their fabrication, multiple-beam holography is a promising method enabling defect-free structures to be produced in a single step over large areas.

In this paper we use a mathematical model describing photopolymerisation to simulate two-dimensional structures produced by the interference pattern of three noncoplanar beams. The holographic recording of different lattices is studied by variation of certain parameters such as beam wave vectors, time and intensity of illumination.

Pointwise Schauder Estimates Of Parabolic Equations In Carnot Groups, Heather Arielle Griffin

Graduate Theses and Dissertations

Schauder estimates were a historical stepping stone for establishing uniqueness and smoothness of solutions for certain classes of partial differential equations. Since that time, they have remained an essential tool in the field. Roughly speaking, the estimates state that the Holder continuity of the coefficient functions and inhomogeneous term implies the Holder continuity of the solution and its derivatives. This document establishes pointwise Schauder estimates for second order parabolic equations where the traditional role of derivatives are played by vector fields generated by the first layer of the Lie algebra stratification for a Carnot group. The Schauder estimates are shown …

The Persistence Of Infectious Diseases In Metapopulations, Jonathan Calvin Hayes

Theses, Dissertations and Culminating Projects

Mathematical models provide a great deal of information about the dynamics of disease spread. In this paper, we use stochastic simulation to investigate spontaneous disease extinction and réintroduction in a SIR model. We begin by investigating path to extinction and time to extinction in single population models, and then expand to a multipopulation model linked with linear migration. We have found that in a single population model, it is more effective to use random pulse vaccinations less per year at a higher removal rate. We have expanded this result by developing a vaccination strategy giving one large, well timed pulse …

The Number Of Ways To Write N As A Sum Of ` Regular Figurate Numbers, Seth Jacob Rothschild

Renée Crown University Honors Thesis Projects - All

See Document for Abstract

Perfect Stripes From A General Turing Model In Different Geometries, Jean Tyson Schneider

Boise State University Theses and Dissertations

We explore a striped pattern generated by a general Turing model in three different geometries. We look at the square, disk, and hemisphere and make connections between the stripes in each spatial direction. In particular, we gain a greater understanding of when perfect stripes can be generated and what causes defects in their patterns. In this investigation, we look at the difference between the solutions due to the different domain shapes. In the end, we propose a reason why stripes from a reaction-diffusion system with zero-flux boundary conditions can be perfect on a square or hemisphere, but not on a …

Mathematical Modeling Of Fluid Spills In Hydraulically Fractured Well Sites, Oluwafemi Michael Taiwo

Graduate Theses and Dissertations

Improved drilling technology and favorable energy prices have contributed to the rapid pace at which the exploitation of unconventional natural gas is taking place across the United States. As a natural gas well is being drilled, reserve pits are constructed to hold the drilling fluids and other materials returned from the drilling process. These reserve pits can fail, and when they do, plant and animal life of the surrounding area may be adversely affected. This project develops a screening tool for a suitable location for a reserve pit. This work will be a critical piece of the Infrastructure Placement Analysis …

Analytic And Finite Element Solutions Of The Power-Law Euler-Bernoulli Beams, Dongming Wei, Yu Liu

Mathematics Faculty Publications

In this paper, we use Hermite cubic finite elements to approximate the solutions

of a nonlinear Euler-Bernoulli beam equation. The equation is derived

from Hollomon’s generalized Hooke’s law for work hardening materials with

the assumptions of the Euler-Bernoulli beam theory. The Ritz-Galerkin finite

element procedure is used to form a finite dimensional nonlinear program

problem, and a nonlinear conjugate gradient scheme is implemented to find

the minimizer of the Lagrangian. Convergence of the finite element approximations

is analyzed and some error estimates are presented. A Matlab finite

element code is developed to provide numerical solutions to the beam equation.

Some …

Error Estimation Techniques To Refine Overlapping Aerial Image Mosaic Processes Via Detected Parameters, William Glenn Bond

Dissertations

In this paper, I propose to demonstrate a means of error estimation preprocessing in the assembly of overlapping aerial image mosaics. The mosaic program automatically assembles several hundred aerial images from a data set by aligning them, via image registration using a pattern search method, onto a GIS grid.

The method presented first locates the images from a data set that it predicts will not align well via the mosaic process, then it uses a correlation function, optimized by a modified Hooke and Jeeves algorithm, to provide a more optimal transformation function input to the mosaic program. Using this improved …

Valuation Of Financial Derivatives Subject To Liquidity Risk, Yanan Jiang

UNLV Theses, Dissertations, Professional Papers, and Capstones

Valuation of financial derivatives subject to liquidity risk remains an open problem in finance. This dissertation focuses on the valuation of European-style call option under limited market liquidity through the dynamic management of a portfolio of assets. We investigate liquidity from three perspectives: market breadth, depth, and immediacy. We present a general framework of valuation based on the optimal realization of a performance index relative to the set of all feasible portfolio trajectories. Numerical examples are then presented and analyzed that show option price increases as the market transitions from liquid to less liquid state. Furthermore, buying and selling activities, …

Periodic Solutions And Positive Solutions Of First And Second Order Logistic Type Odes With Harvesting, Cody Alan Palmer

UNLV Theses, Dissertations, Professional Papers, and Capstones

It was recently shown that the nonlinear logistic type ODE with periodic harvesting has a bifurcation on the periodic solutions with respect to the parameter ε:

u' = f (u) - ε h (t).

Namely, there exists an ε0 such that for 0 < ε < ε0 there are two periodic solutions, for ε = ε0 there is one periodic solution, and for ε >ε0 there are no periodic solutions, provided that....

In this paper we look at some numerical evidence regarding the behavior of this threshold for various types of harvesting terms, in particular we find evidence in the negative or a conjecture regarding the behavior of this threshold value.

Additionally, we look at analagous steady states for the reaction-diusion …

Champion Primes For Elliptic Curves, Jason Hedetniemi

All Theses

Let E_a,b be the elliptic curve y2 = x3 + ax + b over F_p. A well known result of Hasse states that over F_p
(p+1) - 2p½ ≤ #E_a,b ≤ (p+1)+2p½
If #E_a,b = (p+1) + floor(2p½) over F_p and E_a,b is nonsingular, then we call p a champion prime for E_a,b. We will discuss methods for finding champion primes for elliptic curves. In addition, we will show that the set of elliptic curves which have a champion prime has density one.

Border Hispanics’ Physical Activity Improvement In A Chronic Disease Prevention Program, Lu Xu

Theses and Dissertations - UTB/UTPA

In seeking of effective prevention programs to improve physical activities, we want to examine the factors related to physical activities improvement in Alliance for a Healthy Border, a chronic disease prevention program with pre-post-post evaluations through 12 federally qualified community health centers serving primarily Hispanics in communities along the U.S.- Mexico border. Logistic regression was performed to examine the association between physical activity and twenty predictors at baseline. Multinomial regression was used to examine the determinants of physical activities improvement at two time points: program end and post six-months. Socio-demographic, baseline health condition factors, and determination of doing physical activity …

A Collection Of Problems In Combinatorics, Janine Janoski

All Dissertations

We present several problems in combinatorics including the partition function, Graph Nim, and the evolution of strings.
Let p(n) be the number of partitions of n. We say a sequence a_n is log-concave if for every n, a_n2 &ge a_n+1 a_n-1. We will show that p(n) is log-concave for n &ge 26. We will also show that for n<26, p(n) alternatively satisfies and does not satisfy the log-concave property. We include results for the Sperner property of the partition function.
The second problem we present is the game of Graph Nim. We use the Sprague-Grundy theorem to analyze modified versions of Nim played on various graphs. We include progress made towards proving that all G-paths …

An Optimization Approach To A Geometric Packing Problem, Bradley Paynter

All Dissertations

We investigate several geometric packing problems (derived from an industrial setting) that involve fitting patterns of regularly spaced disks without overlap. We first derive conditions for achieving the feasible placement of a given set of patterns and construct a network formulation that, under certain conditions, allows the calculation of such a placement. We then discuss certain related optimization problems (e.g., fitting together the maximum number of patterns) and broaden the field of application by showing a connection to the well-known Periodic Scheduling Problem. In addition, a variety of heuristics are developed for solving large-scale instances of these provably difficult packing …

Generic Special Objects, Sławomir Solecki

Dalrymple Lecture Series

I will talk about mathematical objects that have two seemingly contradictory attributes. On the one hand, they are generic within a given class, in the sense that if most objects within the class have a property, then our object has it as well. So generic objects are common. On the other hand, they are very special if they exist, for example, there is always, in essence, at most one such object within a given class. Generic objects show up in various areas of mathematics, for example, in topology, geometry, and analysis. They tend to have astonishing mathematical features. Can you …

Stiefel And Grassmann Manifolds In Quantum Chemistry, Eduardo Chiumiento, Michael Melgaard

Articles

We establish geometric properties of Stiefel and Grassmann manifolds which arise in relation to Slatertype variational spaces in many-particle Hartree-Fock theory and beyond. In particular, we prove thatthey are analytic homogeneous spaces and submanifolds of the space of bounded operators on the single-particle Hilbert space. As a by-product we obtain that they are complete Finsler manifolds. These geometric properties underpin state-of-the-art results on existence of solutions to Hartree-Fock type equations.

Constructing Phylogenetic Trees Using Maximum Likelihood, Anna Cho

Scripps Senior Theses

Maximum likelihood methods are used to estimate the phylogenetic trees for a set of species. The probabilities of DNA base substitutions are modeled by continuous-time Markov chains. We use these probabilities to estimate which DNA bases would produce the data that we observe. The topology of the tree is also determined using base substitution probabilities and conditional likelihoods. Felsenstein [2] introduced this method of finding an estimate for the maximum likelihood phylogenetic tree. We will explore this method in detail in this paper.

A Way That Can Be Walked Is Not The Way And A Name That Can Be Named Is Not The Name: My Complex Crusade Through Systems, Nature, And Taoist Text For Solutions On Proper Leadership, Roy Leaf '12

Honor Scholar Theses

No abstract provided.

Derivation Of Hill's Equation From Scale Invariance, Andres Ortiz^, Vladik Kreinovich*

COURI Symposium Abstracts, Spring 2012

No abstract provided.

Structure For Regular Inclusions, David R. Pitts

Department of Mathematics: Faculty Publications

We study pairs (C,D) of unital C∗-algebras where D is an abelian C∗-subalgebra of C which is regular in C in the sense that the span of {v 2 C : vDv∗ [ v∗Dv D} is dense in C. When D is a MASA in C, we prove the existence and uniqueness of a completely positive unital map E of C into the injective envelope I(D) of D whose restriction to D is the identity on D. We show that the left kernel of E, L(C,D), is the unique closed two-sided ideal of C maximal with respect to having trivial …

Generating Minimal Pair-Wise Covering Test Suites, Luis C. Gutierrez ^, Martine Ceberio *

COURI Symposium Abstracts, Spring 2012

Software is ubiquitous and needs to be reliable. Software testing therefore plays an important role in software development. Proper testing a software system informs about its quality and reliability so as to prevent unexpected behavior during system execution. One of the methods to prevent failures consists in testing a system under different input values, but when all possible input values are tested, an impractical number of test cases might result. In software testing, pair-wise testing is a combinatorial technique which uses combination of pair input values to generate test cases. Using pair-wise testing dramatically reduces the number of test cases, …

Negative Curves On Algebraic Surfaces, Thomas Bauer, Brian Harbourne, Andreas Leopold Knutsen, Alex Kuronya, Stefan Muller-Stach, Xavier Roulleau, Tomasz Szemberg

Department of Mathematics: Faculty Publications

We study curves of negative self-intersection on algebraic surfaces. In contrast to what occurs in positive characteristics, it turns out that any smooth complex projective surface X with a surjective non-isomorphic endomorphism has bounded negativity (i.e., that C2 is bounded below for prime divisors C on X). We prove the same statement for Shimura curves on Hilbert modular surfaces. As a byproduct we obtain that there exist only finitely many smooth Shimura curves on a given Hilbert modular surface. We. also show that any set of curves of bounded genus on a smooth complex projective surface must have bounded negativity

R₀ Analysis Of A Spatiotemporal Model For A Stream Population, H. W. Mckenzie, Y. Jin, Jon T. Jacobsen, M. A. Lewis

All HMC Faculty Publications and Research

Water resources worldwide require management to meet industrial, agricultural, and urban consumption needs. Management actions change the natural flow regime, which impacts the river ecosystem. Water managers are tasked with meeting water needs while mitigating ecosystem impacts. We develop process-oriented advection-diffusion-reaction equations that couple hydraulic flow to population growth, and we analyze them to assess the effect of water flow on population persistence. We present a new mathematical framework, based on the net reproductive rate R₀ for advection-diffusion-reaction equations and on related measures. We apply the measures to population persistence in rivers under various flow regimes. This work lays …

Mathematical Modeling Of Pipeline Features For Robotic Inspection, Yang Gao

Doctoral Dissertations

Underground pipeline systems play an indispensable role in transporting liquids in both developed and developing countries. The associated social and economic cost to repair a pipe upon abrupt failure is often unacceptable. Regular inspection is a preventative action that aims to monitor pipe conditions, catch abnormalities and reduce the chance of undesirable surprises. Robots with CCTV video cameras have been used for decades to inspect pipelines, yielding only qualitative information. It is becoming necessary and preferable for municipalities, project managers and engineers to also quantify the 3-D geometry of underground pipe networks. Existing robots equipped specialized hardware and software algorithms …

Near-Optimal Scheduling And Decision-Making Models For Reactive And Proactive Fault Tolerance Mechanisms, Nichamon Naksinehaboon

Doctoral Dissertations

As High Performance Computing (HPC) systems increase in size to fulfill computational power demand, the chance of failure occurrences dramatically increases, resulting in potentially large amounts of lost computing time. Fault Tolerance (FT) mechanisms aim to mitigate the impact of failure occurrences to the running applications. However, the overhead of FT mechanisms increases proportionally to the HPC systems' size. Therefore, challenges arise in handling the expensive overhead of FT mechanisms while minimizing the large amount of lost computing time due to failure occurrences.

In this dissertation, a near-optimal scheduling model is built to determine when to invoke a hybrid checkpoint …

The Search For An Optimal Means Of Determining The Minmax Control Parameter Using Sensitivity Analysis, John Teye Brown

Doctoral Dissertations

The use of computational methods for design and simulation of control systems allows for a cost-effective trial and error approach. In this work, we are concerned with the robust, real-time control of physical systems whose state space is infinite-dimensional. Such systems are known as Distributed Parameter Systems (DPS). A body whose state is heterogeneous is a distributed parameter. In particular, this work focuses on DPS systems that are governed by linear Partial Differential Equations, such as the heat equation. We specifically focus on the MinMax controller, which is regarded as being a very robust controller. The mathematical formulation of the …

Systems Of Nonlinear Wave Equations With Damping And Supercritical Sources, Yanqiu Guo

Department of Mathematics: Dissertations, Theses, and Student Research

We consider the local and global well-posedness of the coupled nonlinear wave equations

u_tt – Δu + g₁(u_t) = f₁(u, v)

v_tt – Δv + g₂(v_t) = f₂(u, v);

in a bounded domain Ω subset of the real numbers (Rⁿ) with a nonlinear Robin boundary condition on u and a zero boundary conditions on v. The nonlinearities f₁(u, v) and f₂(u, v) are with supercritical exponents …