Adviser: Carina Curto

]]>∇_{a}^{ν}(p∇y)(t)+q(t)y(ρ(t)) = f(t),

where 0 < ν < 1.We begin with an introduction to the nabla fractional calculus. In the second chapter, we show existence and uniqueness of the solution to a fractional self-adjoint initial value problem. We find a variation of constants formula for this fractional initial value problem, and use the variation of constants formula to derive the Green's function for a related boundary value problem. We study the Green's function and its properties in several settings. For a simplified boundary value problem, we show that the Green's function is nonnegative and we find its maximum and the maximum of its integral. For a boundary value problem with generalized boundary conditions, we find the Green's function and show that it is a generalization of the first Green's function. In the third chapter, we use the Contraction Mapping Theorem to prove existence and uniqueness of a positive solution to a forced self-adjoint fractional difference equation with a finite limit. We explore modifications to the forcing term and modifications to the space of functions in which the solution exists, and we provide examples to demonstrate the use of these theorems.

Advisers: Lynn Erbe and Allan Peterson

]]>Adviser: Mark E. Walker

]]>Information storage devices are prone to errors over time, and the frequency of such errors increases as the storage medium degrades. Flash memory storage technology has become ubiquitous in devices that require high-density storage. In this work we discuss two methods of coding that can be used to address the eventual degradation of the memory. The first method is rewriting codes, a generalization of codes for write-once memory (WOM), which can be used to prolong the lifetime of the memory. We present constructions of binary and ternary rewriting codes using the structure of finite Euclidean geometries. We also develop strategies for reusing binary WOM codes on multi-level cells, and we prove results on the performance of these strategies.

The second method to address errors in memory storage is to use error-correcting codes. We present an LDPC code implementation method that is inspired by bit-error patterns in flash memory. Using this and the binary image mapping for nonbinary codes, we design structured nonbinary LDPC codes for storage. We obtain performance results by analyzing the probability of decoding error and by using the graph-based structure of the codes.

Adviser: Christine A. Kelley

]]>Adviser: Stephen G. Hartke

]]>Subsequently, in Chapter 2 we show how our constructive proof of wellposedness naturally gives rise to a certain mixed finite element method for numerically approximating solutions of this fluid-structure dynamics. This method is demonstrated for a certain test problem in the $\rho=0$ case. In addition, error estimates for the rate of convergence of the numerical method are provided and a test problem is solved to demonstrate the efficacy of the numerical code.

Adviser: George Avalos

]]>I will present a semilinear version of the Mindlin-Timoshenko system. The primary feature of this model is the interplay between nonlinear frictional forces (``damping”) and nonlinear source terms. The sources may represent restoring forces, such as (nonlinear refinement on) Hooke's law, but may also have a destabilizing effect amplifying the total energy of the system, which is the primary scenario of interest.

The dissertation verifies local-in-time existence of solutions to this PDE system, as well as their continuous dependence on the initial data in appropriate function spaces. The global-in-time existence follows when the dissipative frictional effects dominate the sources. In addition, a potential well theory is developed for this problem. It allows us to identify sets of initial conditions for which global existence follows without balancing of the damping and sources, and sets of initial conditions for which solutions can be proven to develop singularities in finite time.

Advisers: Mohammad A. Rammaha and Daniel Toundykov

]]>Advisers: J. David Logan & Chad E. Brassil

]]>This thesis obtains some further understanding of the structure of V by showing the nonexistence of the wreath product Z wr Z^2 as a subgroup of V, proving a conjecture of Bleak and Salazar-Diaz. This result is achieved primarily by studying the topological dynamics occurring when V acts on the Cantor Set. We then show the same result for one particular generalization of V, the Higman-Thompson Groups G_{n,r}. In addition we show that some other wreath products do occur as subgroups of nV, a different generalization of V introduced by Matt Brin.

Adviser: Professor Mark Brittenham

]]>Adviser: Brian Harbourne

]]>Advisers: Lynn Erbe and Allan Peterson

]]>It contains two parts. The first one is a Chern-Weil style

construction for the Chern character of matrix factorizations; this

allows us to reproduce the Chern character in an explicit,

understandable way. Some basic properties of the Chern character are

also proved (via this construction) such as functoriality and that

it determines a ring homomorphism from the Grothendieck group of

matrix factorizations to its Hochschild homology. The second part is

a reconstruction theorem of hypersurface singularities. This is

given by applying a slightly modified version of Balmer's tensor

triangular geometry to the homotopy category of matrix

factorizations.

Adviser: Mark E. Walker

]]>As one part of my thesis research, I consider group constructions under which the (auto)stackable property is preserved. In this thesis, I show positive results in the case of graph products (a generalization of direct and free products), group extensions and finite index supergroups, and in the case of free products with amalgamation of free abelian groups over an infinite cyclic group. Using closure under group extensions, I also show that polycyclic groups are autostackable, and that there exists an autostackable group with unsolvable conjugacy problem.

Autostackable groups generalize the structures of automatic groups and groups with finite complete rewriting systems, both of which are known to be of type FP_{∞}. However, in this paper, I show that there exists an autostackable group that is not of type FP_{3}.

Advisers: Mark Brittenham and Susan Hermiller

]]>Adviser: Lynn Erbe and Allan Peterson

]]>Advisors: Professors Luchezar Avramov and Roger Wiegand

]]>ρ(*I*) = sup{*m/r* | *I*^{(m)} ⊈ *I*^{r}}.

In particular, if *m/r* > ρ(*I*), then *I*^{(m)} ⊆ *I*^{r}. An interesting problem, then, is to compute ρ(*I*) for various classes of ideals. Much of the work that has been done on this question involves examining ideals of points in **P**^{N}. In Chapter 2 we investigate such questions for an ideal defining a certain configuration of points in **P**^{2} using a certain *k*-vector space basis of *k*[**P**^{2}] compatible with *I*^{(m)} and *I*^{r}. We are also able to use this approach to verify several conjectures of Harbourne-Huneke and Bocci-Cooper-Harbourne for our particular class of ideals, and compute some well-known invariants of these ideals, such as α(*I*^{(m)}), γ(*I*), the Castelnuovo-Mumford regularity and the saturation degree. In Chapter 3, we consider a question raised in Bocci and Chiantini's paper which is related to the computation of γ(*I*). Bocci and Chiantini classify configurations of points in **P**^{2} based on the difference *t* = α(*I*^{(2)}) − α(*I*), where *I* = *I*(*Z*) and *Z* ⊆ **P**^{2} is a finite set of points. When *t* = 1, *Z* is either a set of collinear points or a star configuration of points. We extend that result to configurations of lines in **P**^{3}.

Adviser: Brian Harbourne

]]>Advisor: Srikanth Iyengar

]]>Advisor: Mikil Foss

]]>1) The projective line over the integers (Chapter 2),

2) Prime ideals in two-dimensional quotients of mixed power series-polynomial rings (Chapter 3),

3) Fiber products and connected sums of local rings (Chapter 4),

In the first chapter we introduce basic terminology used in this thesis for all three topics.

In the second chapter we consider the partially ordered set (poset) of prime ideals of the projective line Proj(**Z**[h,k]) over the integers **Z**, and we interpret this poset as Spec(**Z**[x]) U Spec(**Z**[1/x]) with an appropriate identification.

We have some new results that support Aihua Li and Sylvia Wiegand's conjecture regarding the characterization of Proj(**Z**[h,k]). In particular we show that a possible axiom for Proj(**Z**[h,k]) proposed by Arnavut, Li and Wiegand holds for some previously unknown cases.

We study the sets of prime ideals of polynomial rings, power series rings and mixed power series-polynomial rings in Chapter 3. Let R be a one-dimensional Noetherian domain and let x and y be indeterminates. We describe the prime spectra of certain two-dimensional quotients of mixed power series/polynomial rings over R, that is, Spec(R[[x]][y]/Q) and Spec(R[y][[x]]/Q'), where Q and Q' are certain height-one prime ideals of R[[x]][y] and R[y][[x]] respectively.

In the last chapter we describe some ring-theoretic and homological properties of fiber products and connected sums of local rings. For Gorenstein Artin k-algebras R and S where k is a field, the connected sum, R#_{k} S, is a quotient of the classical fiber product RX_{k} S. We give basic properties of connected sums over a field and show that certain Gorenstein local k-algebras decompose as connected sums. We generalize structure theorems given by Sally, Elias and Rossi that show two types of Gorenstein local k-algebras are connected sums.

Advisers: Sylvia Wiegand and Mark Walker

]]>Adviser: Thomas Marley

]]>