Current Search: Research Repository (x) » Thesis (x) » Atmospheric sciences (x) » Bethlehem School (Bethlehem, Fla.) (x) » Mathematics (x)
Search results
Pages
 Title
 3Manifolds of S1Category Three.
 Creator

Wang, Dongxu, Heil, Wolfgang, Niu, Xufeng, Klassen, Eric P., Hironaka, Eriko, Nichols, Warren D., Department of Mathematics, Florida State University
 Abstract/Description

I study 3manifold theory, which is a fascinating research area in topology. Many new ideas and techniques were introduced during these years, which makes it an active and fast developing subject. It is one of the most fruitful branches of today's mathematics and with the solution of the Poincare conjecture, it is getting more attention. This dissertation is motivated by results about categorical properties for 3manifolds. This can be rephrased as the study of 3manifolds which can be...
Show moreI study 3manifold theory, which is a fascinating research area in topology. Many new ideas and techniques were introduced during these years, which makes it an active and fast developing subject. It is one of the most fruitful branches of today's mathematics and with the solution of the Poincare conjecture, it is getting more attention. This dissertation is motivated by results about categorical properties for 3manifolds. This can be rephrased as the study of 3manifolds which can be covered by certain sets satisfying some homotopy properties. A special case is the problem of classifying 3manifolds that can be covered by three simple S1contractible subsets. S1contractible subsets are subsets of a 3manifold M3 that can be deformed into a circle in M3. In this thesis, I consider more geometric subsets with this property, namely subsets are homeomorphic to 3balls, solid tori and solid Klein bottles. The main result is a classication of all closed 3manifolds that can be obtained as a union of three solid Klein bottles.
Show less  Date Issued
 2013
 Identifier
 FSU_migr_etd7650
 Format
 Thesis
 Title
 4D Var Data Assimilation and POD Model Reduction Applied to Geophysical Dynamics Models.
 Creator

Chen, Xiao, Navon, Ionel Michael, Sussman, Mark, Hart, Robert, Wang, Xiaoming, Gordon, Erlebacher, Department of Mathematics, Florida State University
 Abstract/Description

Standard spatial discretization schemes for dynamical system (DS), usually lead to largescale, highdimensional, and in general, nonlinear systems of ordinary differential equations.Due to limited computational and storage capabilities, Reduced Order Modeling (ROM) techniques from system and control theory provide an attractive approach to approximate the largescale discretized state equations using lowdimensional models. The objective of 4D variational data assimilation (4D Var) is to...
Show moreStandard spatial discretization schemes for dynamical system (DS), usually lead to largescale, highdimensional, and in general, nonlinear systems of ordinary differential equations.Due to limited computational and storage capabilities, Reduced Order Modeling (ROM) techniques from system and control theory provide an attractive approach to approximate the largescale discretized state equations using lowdimensional models. The objective of 4D variational data assimilation (4D Var) is to obtain the minimum of a cost functional estimating the discrepancy between the model solutions and distributed observations in time and space. A control reduction methodology based on Proper Orthogonal Decomposition (POD), referred to as POD 4D Var, has been widely used for nonlinear systems with tractable computations. However, the appropriate criteria for updating a POD ROM are not yet known in the application to optimal control. This is due to the limited validity of the POD ROM for inverse problems. Therefore, the classical TrustRegion (TR) approach combined with POD (TRPOD) was recently proposed as a way to alleviate the above difficulties. There is a global convergence result for TR, and benefiting from the trustregion philosophy, rigorous convergence results guarantee that the iterates produced by the TRPOD algorithm will converge to the solution of the original optimization problem. In order to reduce the POD basis size and still achieve the global convergence, a method was proposed to incorporate information from the 4D Var system into the ROM procedure by implementing a dual weighted POD (DWPOD) method. The first new contribution in my dissertation consists in studying a new methodology combining the dual weighted snapshots selection and trust region POD adaptivity (DWTRPOD). Another new contribution is to combine the incremental POD 4D Var, balanced truncation techniques and method of snapshots methodology. In the linear DS, this is done by integrating the linear forward model many times using different initial conditions in order to construct an ensemble of snapshots so as to generate the forward POD modes. Then those forward POD modes will serve as the initial conditions for its corresponding adjoint system. We then integrate the adjoint system a large number of times based on different initial conditions generated by the forward POD modes to construct an ensemble of adjoint snapshots. From this ensemble of adjoint snapshots, we can generate an ensemble of socalled adjoint POD modes. Thus we can approximate the controllability Grammian of the adjoint system instead of solving the computationally expensive coupled Lyapunov equations. To sum up, in the incremental POD 4D Var, we can approximate the controllability Grammian by integrating the TLM a number of times and approximate observability Grammian by integrating its adjoint also a number of times. A new idea contributed in this dissertation is to extend the snapshots based POD methodology to the nonlinear system. Furthermore, we modify the classical algorithms in order to save the computations even more significantly. We proposed a novel idea to construct an ensemble of snapshots by integrating the tangent linear model (TLM) only once, based on which we can obtain its TLM POD modes. Then each TLM POD mode will be used as an initial condition to generate a small ensemble of adjoint snapshots and their adjoint POD modes. Finally, we can construct a large ensemble of adjoint POD modes by putting together each small ensemble of adjoint POD modes. To sum up, our idea in a forthcoming study is to test approximations of the controllability Grammian by integrating TLM once and observability Grammian by integrating adjoint model a reduced number of times. Optimal control of a finite element limitedarea shallow water equations model is explored with a view to apply variational data assimilation(VDA) by obtaining the minimum of a functional estimating the discrepancy between the model solutions and distributed observations. In our application, some simplified hypotheses are used, namely the error of the model is neglected, only the initial conditions are considered as the control variables, lateral boundary conditions are periodic and finally the observations are assumed to be distributed in space and time. Derivation of the optimality system including the adjoint state, permits computing the gradient of the cost functional with respect to the initial conditions which are used as control variables in the optimization. Different numerical aspects related to the construction of the adjoint model and verification of its correctness are addressed. The data assimilation setup is tested for various mesh resolutions scenarios and different time steps using a modular computer code. Finally, impact of largescale unconstrained minimization solvers LBFGS is assessed for various lengths of the time windows. We then attempt to obtain a reducedorder model (ROM) of above inverse problem, based on proper orthogonal decomposition(POD), referred to as POD 4D Var. Different approaches of POD implementation of the reduced inverse problem are compared, including a dualweighed method for snapshot selection coupled with a trustregion POD approach. Numerical results obtained point to an improved accuracy in all metrics tested when dualweighing choice of snapshots is combined with POD adaptivity of the trustregion type. Results of adhoc adaptivity of the POD 4D Var turn out to yield less accurate results than trustregion POD when compared with highfidelity model. Finally, we study solutions of an inverse problem for a global shallow water model controlling its initial conditions specified from the 40yr ECMWF ReAnalysis (ERA40) datasets, in presence of full or incomplete observations being assimilated in a time interval (window of assimilation) presence of background error covariance terms. As an extension of this research, we attempt to obtain a reducedorder model of above inverse problem, based on proper orthogonal decomposition (POD), referred to as POD 4D Var for a finite volume global shallow water equations model based on the LinRood fluxform semiLagrangian semiimplicit time integration scheme. Different approaches of POD implementation for the reduced inverse problem are compared, including a dualweighted method for snapshot selection coupled with a trustregion POD adaptivity approach. Numerical results with various observational densities and background error covariance operator are also presented. The POD 4D Var model results combined with the trust region adaptivity exhibit similarity in terms of various error metrics to the full 4D Var results, but are obtained using a significantly lesser number of minimization iterations and require lesser CPU time. Based on our previous and current research work, we conclude that POD 4D Var certainly warrants further studies, with promising potential for its extension to operational 3D numerical weather prediction models.
Show less  Date Issued
 2011
 Identifier
 FSU_migr_etd3836
 Format
 Thesis
 Title
 Adaptive Spectral Element Methods to Price American Options.
 Creator

Willyard, Matthew, Kopriva, David, Eugenio, Paul, Case, Bettye Anne, Gallivan, Kyle, Nolder, Craig, Okten, Giray, Department of Mathematics, Florida State University
 Abstract/Description

We develop an adaptive spectral element method to price American options, whose solutions contain a moving singularity, automatically and to within prescribed errors. The adaptive algorithm uses an error estimator to determine where refinement or derefinement is needed and a work estimator to decide whether to change the element size or the polynomial order. We derive two local error estimators and a global error estimator. The local error estimators are derived from the Legendre...
Show moreWe develop an adaptive spectral element method to price American options, whose solutions contain a moving singularity, automatically and to within prescribed errors. The adaptive algorithm uses an error estimator to determine where refinement or derefinement is needed and a work estimator to decide whether to change the element size or the polynomial order. We derive two local error estimators and a global error estimator. The local error estimators are derived from the Legendre coefficients and the global error estimator is based on the adjoint problem. One local error estimator uses the rate of decay of the Legendre coefficients to estimate the error. The other local error estimator compares the solution to an estimated solution using fewer Legendre coefficients found by the Tau method. The global error estimator solves the adjoint problem to weight local error estimates to approximate a terminal error functional. Both types of error estimators produce meshes that match expectations by being fine near the early exercise boundary and strike price and coarse elsewhere. The produced meshes also adapt as expected by derefining near the strike price as the solution smooths and staying fine near the moving early exercise boundary. Both types of error estimators also give solutions whose error is within prescribed tolerances. The adjointbased error estimator is more flexible, but costs up to three times as much as using the local error estimate alone. The global error estimator has the advantages of tracking the accumulation of error in time and being able to discount large local errors that do not affect the chosen terminal error functional. The local error estimator is cheaper to compute because the global error estimator has the added cost of solving the adjoint problem.
Show less  Date Issued
 2011
 Identifier
 FSU_migr_etd0892
 Format
 Thesis
 Title
 Algorithms for Computing Congruences Between Modular Forms.
 Creator

Heaton, Randy, Agashe, Amod, Van Hoeij, Mark, Capstick, Simon, Aldrovandi, Ettore, Department of Mathematics, Florida State University
 Abstract/Description

Let $N$ be a positive integer. We first discuss a method for computing intersection numbers between subspaces of $S_{2}(Gamma_{0}(N),C)$. Then we present a new method for computing a basis of qexpansions for $S_{2}(Gamma_{0}(N),Q)$, describe an algorithm for saturating such a basis in $S_{2}(Gamma_{0}(N),Z)$, and show how these results have applications to computing congruence primes and studying cancellations in the conjectural Birch and SwinnertonDyer formula.
 Date Issued
 2012
 Identifier
 FSU_migr_etd4904
 Format
 Thesis
 Title
 Algorithms for Solving Linear Differential Equations with Rational Function Coefficients.
 Creator

Imamoglu, Erdal, van Hoeij, Mark, van Engelen, Robert, Agashe, Amod S. (Amod Sadanand), Aldrovandi, Ettore, Aluffi, Paolo, Florida State University, College of Arts and Sciences...
Show moreImamoglu, Erdal, van Hoeij, Mark, van Engelen, Robert, Agashe, Amod S. (Amod Sadanand), Aldrovandi, Ettore, Aluffi, Paolo, Florida State University, College of Arts and Sciences, Department of Mathematics
Show less  Abstract/Description

This thesis introduces two new algorithms to find hypergeometric solutions of second order regular singular differential operators with rational function or polynomial coefficients. Algorithm 3.2.1 searches for solutions of type: exp(∫ r dx) ⋅ ₂F₁ (a₁,a₂;b₁;f) and Algorithm 5.2.1 searches for solutions of type exp(∫ r dx) (r₀ ⋅ ₂F₁(a₁,a₂;b₁;f) + r₁ ⋅ ₂F´₁ (a₁,a₂;b₁;f)) where f, r, r₀, r₁ ∈ ℚ̅(̅x̅)̅ and a₁,a₂,b₁ ∈ ℚ and denotes the Gauss hypergeometric function. The algorithms use modular...
Show moreThis thesis introduces two new algorithms to find hypergeometric solutions of second order regular singular differential operators with rational function or polynomial coefficients. Algorithm 3.2.1 searches for solutions of type: exp(∫ r dx) ⋅ ₂F₁ (a₁,a₂;b₁;f) and Algorithm 5.2.1 searches for solutions of type exp(∫ r dx) (r₀ ⋅ ₂F₁(a₁,a₂;b₁;f) + r₁ ⋅ ₂F´₁ (a₁,a₂;b₁;f)) where f, r, r₀, r₁ ∈ ℚ̅(̅x̅)̅ and a₁,a₂,b₁ ∈ ℚ and denotes the Gauss hypergeometric function. The algorithms use modular reduction, Hensel lifting, rational function reconstruction, and rational number reconstruction to do so. Numerous examples from different branches of science (mostly from combinatorics and physics) showed that the algorithms presented in this thesis are very effective. Presently, Algorithm 5.2.1 is the most general algorithm in the literature to find hypergeometric solutions of such operators. This thesis also introduces a fast algorithm (Algorithm 4.2.3) to find integral bases for arbitrary order regular singular differential operators with rational function or polynomial coefficients. A normalized (Algorithm 4.3.1) integral basis for a differential operator provides us transformations that convert the differential operator to its standard forms (Algorithm 5.1.1) which are easier to solve.
Show less  Date Issued
 2017
 Identifier
 FSU_SUMMER2017_Imamoglu_fsu_0071E_13942
 Format
 Thesis
 Title
 All Speed MultiPhase Flow Solvers.
 Creator

Kadioglu, Samet Y., Sussman, Mark, Telotte, John, Hussaini, Yousuﬀ, Wang, Qi, Erlebacher, Gordon, Department of Mathematics, Florida State University
 Abstract/Description

A new second order primitive preconditioner technique (an all speed method) for solving all speed single/multiphase flow is presented. With this technique, one can compute both compressible and incompressible flows with Machuniform accuracy and efficiency (i.e., accuracy and efficiency of the method are independent of Mach numbers). The new primitive preconditioner (all speed/Mach uniform) technique can handle both strong and weak shocks, providing highly resolved shock solutions together...
Show moreA new second order primitive preconditioner technique (an all speed method) for solving all speed single/multiphase flow is presented. With this technique, one can compute both compressible and incompressible flows with Machuniform accuracy and efficiency (i.e., accuracy and efficiency of the method are independent of Mach numbers). The new primitive preconditioner (all speed/Mach uniform) technique can handle both strong and weak shocks, providing highly resolved shock solutions together with correct shock speeds. In addition, the new technique performs very well at the zero Mach limit. In the case of multiphase flow, the new primitive preconditioner technique enables one to accurately treat phase boundaries in which there is a large impedance mismatch. When solving multidimensional all speed multiphase flows, we introduce adaptive solution techniques which exploit the advantages of Machuniform methods. We compute a variety of problems from low (low speed) to high Mach number (high speed) flows including multiphase flow tests, i.e, computing the growth and collapse of adiabatic bubbles for study of underwater explosions
Show less  Date Issued
 2005
 Identifier
 FSU_migr_etd3391
 Format
 Thesis
 Title
 Alternative Models for Stochastic Volatility Corrections for Equity and Interest Rate Derivatives.
 Creator

Liang, Tianyu, Kercheval, Alec N., Wang, Xiaoming, Liu, Ewald, Brian, Nichols, Warren D., Department of Mathematics, Florida State University
 Abstract/Description

A lot of attention has been paid to the stochastic volatility model where the volatility is randomly fluctuating driven by an additional Brownian motion. In our work, we change the mean level in the meanreverting process from a constant to a function of the underlying process. We apply our models to the pricing of both equity and interest rate derivatives. Throughout the thesis, a singular perturbation method is employed to derive closedform formulas up to first order asymptotic solutions....
Show moreA lot of attention has been paid to the stochastic volatility model where the volatility is randomly fluctuating driven by an additional Brownian motion. In our work, we change the mean level in the meanreverting process from a constant to a function of the underlying process. We apply our models to the pricing of both equity and interest rate derivatives. Throughout the thesis, a singular perturbation method is employed to derive closedform formulas up to first order asymptotic solutions. We also implement multiplicative noise to arithmetic OrnsteinUhlenbeck process to produce a wider variety of effects. Calibration and Monte Carlo simulation results show that the proposed model outperform Fouque's original stochastic volatility model during some particular window in history. A more efficient numerical scheme, the heterogeneous multiscale method (HMM), is introduced to simulate the multiscale differential equations discussed over the chapters.
Show less  Date Issued
 2012
 Identifier
 FSU_migr_etd4990
 Format
 Thesis
 Title
 Analysis and Approximation of a TwoBand GinzburgLandau Model of Superconductivity.
 Creator

Chan, WanKan, Gunzburger, Max, Peterson, Janet, Manousakis, Efstratios, Wang, Xiaoming, Department of Mathematics, Florida State University
 Abstract/Description

In 2001, the discovery of the intermetallic compound superconductor MgB2 having a critical temperature of 39K stirred up great interest in using a generalization of the GinzburgLandau model, namely the twoband timedependent GinzburgLandau (2BTDGL) equations, to model the phenomena of twoband superconductivity. In this work, various mathematical and numerical aspects of the twodimensional, isothermal, isotropic 2BTDGL equations in the presence of a timedependent applied magnetic field...
Show moreIn 2001, the discovery of the intermetallic compound superconductor MgB2 having a critical temperature of 39K stirred up great interest in using a generalization of the GinzburgLandau model, namely the twoband timedependent GinzburgLandau (2BTDGL) equations, to model the phenomena of twoband superconductivity. In this work, various mathematical and numerical aspects of the twodimensional, isothermal, isotropic 2BTDGL equations in the presence of a timedependent applied magnetic field and a timedependent applied current are investigated. A new gauge is proposed to facilitate the inclusion of a timedependent current into the model. There are three parts in this work. First, the 2BTDGL model which includes a timedependent applied current is derived. Then, assuming sufficient smoothness of the boundary of the domain, the applied magnetic field, and the applied current, the global existence, uniqueness and boundedness of weak solutions of the 2BTDGL equations are proved. Second, the existence, uniqueness, and stability of finite element approximations of the solutions are shown and error estimates are derived. Third, numerical experiments are presented and compared to some known results which are related to MgB2 or general twoband superconductivity. Some novel behaviors are also identified.
Show less  Date Issued
 2007
 Identifier
 FSU_migr_etd3923
 Format
 Thesis
 Title
 An Analysis of Conjugate Harmonic Components of Monogenic Functions and Lambda Harmonic Functions.
 Creator

BallengerFazzone, Brendon Kerr, Nolder, Craig, Harper, Kristine, Aldrovandi, Ettore, Case, Bettye Anne, Quine, J. R. (John R.), Ryan, John Barry, Florida State University,...
Show moreBallengerFazzone, Brendon Kerr, Nolder, Craig, Harper, Kristine, Aldrovandi, Ettore, Case, Bettye Anne, Quine, J. R. (John R.), Ryan, John Barry, Florida State University, College of Arts and Sciences, Department of Mathematics
Show less  Abstract/Description

Clifford analysis is seen as the higher dimensional analogue of complex analysis. This includes a rich study of Clifford algebras and, in particular, monogenic functions, or Cliffordvalued functions that lie in the kernel of the CauchyRiemann operator. In this dissertation, we explore the relationships between the harmonic components of monogenic functions and expand upon the notion of conjugate harmonic functions. We show that properties of the even part of a Cliffordvalued function...
Show moreClifford analysis is seen as the higher dimensional analogue of complex analysis. This includes a rich study of Clifford algebras and, in particular, monogenic functions, or Cliffordvalued functions that lie in the kernel of the CauchyRiemann operator. In this dissertation, we explore the relationships between the harmonic components of monogenic functions and expand upon the notion of conjugate harmonic functions. We show that properties of the even part of a Cliffordvalued function determine properties of the odd part and vice versa. We also explore the theory of functions lying in the kernel of a generalized Laplace operator, the λLaplacian. We explore the properties of these socalled λharmonic functions and give the solution to the Dirichlet problem for the λharmonic functions on annular domains in Rⁿ.
Show less  Date Issued
 2016
 Identifier
 FSU_2016SP_BallengerFazzone_fsu_0071E_13136
 Format
 Thesis
 Title
 Analysis of Functions of SplitComplex, Multicomplex, and SplitQuaternionic Variables and Their Associated Conformal Geometries.
 Creator

Emanuello, John Anthony, Nolder, Craig, Tabor, Samuel Lynn, Case, Bettye Anne, Quine, J. R. (John R.), Florida State University, College of Arts and Sciences, Department of...
Show moreEmanuello, John Anthony, Nolder, Craig, Tabor, Samuel Lynn, Case, Bettye Anne, Quine, J. R. (John R.), Florida State University, College of Arts and Sciences, Department of Mathematics
Show less  Abstract/Description

The connections between algebra, geometry, and analysis have led the way for numerous results in many areas of mathematics, especially complex analysis. Considerable effort has been made to develop higher dimensional analogues of the complex numbers, such as Clifford algebras and Multicomplex numbers. These rely heavily on geometric notions, and we explore the analysis which results. This is what is called hypercomplex analysis. This dissertation explores the most prominent of these higher...
Show moreThe connections between algebra, geometry, and analysis have led the way for numerous results in many areas of mathematics, especially complex analysis. Considerable effort has been made to develop higher dimensional analogues of the complex numbers, such as Clifford algebras and Multicomplex numbers. These rely heavily on geometric notions, and we explore the analysis which results. This is what is called hypercomplex analysis. This dissertation explores the most prominent of these higher dimensional analogues and highlights a many of the relevant results which have appeared in the last four decades, and introduces new ideas which can be used to further the research of this discipline. Indeed, the objects of interest are Clifford algebras, the algebra of the Multicomplex numbers, and functions which are valued in these algebras and lie in the kernels of linear operators. These lead to prominent results in Clifford analysis and multicomplex analysis which can be viewed as analogues of complex analysis. Additionally, we explain the link between Clifford algebras and conformal geometry. We explore two low dimensional examples, namely the splitcomplex numbers and splitquaternions, and demonstrate how linear fractional transformations are conformal mappings in these settings.
Show less  Date Issued
 2015
 Identifier
 FSU_migr_etd9326
 Format
 Thesis
 Title
 Analysis of Orientational Restraints in SolidState Nuclear Magnetic Resonance with Applications to Protein Structure Determination.
 Creator

Achuthan, Srisairam, Quine, John R., Cross, Timothy A., Sumners, DeWitt, Bertram, Richard, Department of Mathematics, Florida State University
 Abstract/Description

Of late, pathbreaking advances are taking place and flourishing in the field of solidstate Nuclear Magnetic Resonance (ssNMR)spectroscopy. One of the major applications of ssNMR techniques is to high resolution threedimensional structures of biological molecules like the membrane proteins. An explicit example of this is PISEMA (Polarization Inversion Spin Exchange at Magic Angle). This dissertation studies and analyzes the use of the orientational restraints in general, and particularly...
Show moreOf late, pathbreaking advances are taking place and flourishing in the field of solidstate Nuclear Magnetic Resonance (ssNMR)spectroscopy. One of the major applications of ssNMR techniques is to high resolution threedimensional structures of biological molecules like the membrane proteins. An explicit example of this is PISEMA (Polarization Inversion Spin Exchange at Magic Angle). This dissertation studies and analyzes the use of the orientational restraints in general, and particularly the restraints measured through PISEMA. Here, we have applied our understanding of orientational restraints to briefly investigate the structure of Amantadine bound M2TMD, a membrane protein in Influenza A Virus. We model the protein backbone structure as a discrete curve in space with atoms represented by vertices and covalent bonds connecting them as the edges. The oriented structure of this curve with respect to an external vector is emphasized. The map from the surface of the unit sphere to the PISEMA frequency plane is examined in detail. The image is a powder pattern in the frequency plane. A discussion of the resulting image is provided. Solutions to PISEMA equations lead to multiple orientations for the magnetic field vector for a given point in the frequency plane. These are duly captured by sign degeneracies for the vector coordinates. The intensity of NMR powder patterns is formulated in terms of a probability density function for 1d spectra and a joint probability density function for the 2d spectra. The intensity analysis for 2d spectra is found to be rather helpful in addressing the robustness of the PISEMA data. To build protein structures by gluing together diplanes, certain necessary conditions have to be met. We formulate these as continuity conditions to be realized for diplanes. The number of oriented protein structures has been enumerated in the degeneracy framework for diplanes. Torsion angles are expressed via sign degeneracies. For aligned protein samples, the PISA wheel approach to modeling the protein structure is adopted. Finally, an atomic model of the monomer structure of M2TMD with Amantadine has been elucidated based on PISEMA orientational restraints. This is a joint work with Jun Hu and Tom Asbury. The PISEMA data was collected by Jun Hu and the molecular modeling was performed by Tom Asbury.
Show less  Date Issued
 2006
 Identifier
 FSU_migr_etd0109
 Format
 Thesis
 Title
 Analysis of Two Partial Differential Equation Models in Fluid Mechanics: Nonlinear Spectral EddyViscosity Model of Turbulence and InfinitePrandtlNumber Model of Mantle Convection.
 Creator

Saka, Yuki, Gunzburger, Max D., Wang, Xiaoming, ElAzab, Anter, Peterson, Janet, Wang, Xiaoqiang, Department of Mathematics, Florida State University
 Abstract/Description

This thesis presents two problems in the mathematical and numerical analysis of partial differential equations modeling fluids. The first is related to modeling of turbulence phenomena. One of the objectives in simulating turbulence is to capture the large scale structures in the flow without explicitly resolving the small scales numerically. This is generally accomplished by adding regularization terms to the NavierStokes equations. In this thesis, we examine the spectral viscosity models...
Show moreThis thesis presents two problems in the mathematical and numerical analysis of partial differential equations modeling fluids. The first is related to modeling of turbulence phenomena. One of the objectives in simulating turbulence is to capture the large scale structures in the flow without explicitly resolving the small scales numerically. This is generally accomplished by adding regularization terms to the NavierStokes equations. In this thesis, we examine the spectral viscosity models in which only the highfrequency spectral modes are regularized. The objective is to retain the largescale dynamics while modeling the turbulent fluctuations accurately. The spectral regularization introduces a host of parameters to the model. In this thesis, we rigorously justify effective choices of parameters. The other problem is related to modeling of the mantle flow in the Earth's interior. We study a model equation derived from the Boussinesq equation where the Prandtl number is taken to infinity. This essentially models the flow under the assumption of a large viscosity limit. The novelty in our problem formulation is that the viscosity depends on the temperature field, which makes the mathematical analysis nontrivial. Compared to the constant viscosity case, variable viscosity introduces a secondorder nonlinearity which makes the mathematical question of wellposedness more challenging. Here, we prove this using tools from the regularity theory of parabolic partial differential equations.
Show less  Date Issued
 2007
 Identifier
 FSU_migr_etd2108
 Format
 Thesis
 Title
 An Analytic Approach to Estimating the Required Surplus, Benchmark Profit, and Optimal Reinsurance Retention for an Insurance Enterprise.
 Creator

Boor, Joseph A. (Joseph Allen), Born, Patricia, Case, Bettye Anne, Tang, Qihe, Rogachev, Grigory, Okten, Giray, Aldrovandi, Ettore, Paris, Steve, Department of Mathematics,...
Show moreBoor, Joseph A. (Joseph Allen), Born, Patricia, Case, Bettye Anne, Tang, Qihe, Rogachev, Grigory, Okten, Giray, Aldrovandi, Ettore, Paris, Steve, Department of Mathematics, Florida State University
Show less  Abstract/Description

This paper presents an analysis of the capital needs, needed return on capital, and optimum reinsurance retention for insurance companies, all in the context where claims are either paid out or known with certainty within or soon after the policy period. Rather than focusing on how to estimate such values using Monte Carlo simulation, it focuses on closed form expressions and approximations for key quantities that are needed for such an analysis. Most of the analysis is also done using a...
Show moreThis paper presents an analysis of the capital needs, needed return on capital, and optimum reinsurance retention for insurance companies, all in the context where claims are either paid out or known with certainty within or soon after the policy period. Rather than focusing on how to estimate such values using Monte Carlo simulation, it focuses on closed form expressions and approximations for key quantities that are needed for such an analysis. Most of the analysis is also done using a distributionfree approach with respect to the loss severity distribution, so minimal or no assumptions surrounding the specific distribution are needed when analyzing the results. However, one key parameter, that is treated via an exhaustion of cases, involves the degree of parameter uncertainty, the number of separate lines of business involved. This is done for the no parameter uncertainty monoline compound Poisson distribution as well as situations involving (lognormal) severity parameter uncertainty, (gamma/negative binomial) count parameter uncertainty, the multiline compound Poisson case, and the compound Poisson scenario with parameter uncertainty, and especially parameter uncertainty correlated across the lines of business. It shows how the risk of extreme aggregate losses that is inherent in insurance operations may be understood (and, implicitly, managed) by performing various calculations using the loss severity distribution, and, where appropriate, key parameters driving the parameter uncertainty distributions. Formulas are developed that estimate the capital and surplus needs of a company(using the VaR approach), and therefore the profit needs of a company that involve tractable calculations. As part of that the process the benchmark loading for profit, reflecting both the needed financial support for the amount of capital to adequately secure to a given one year survival probability, and the amount needed to recompense investors for diversifiable risk is discussed. An analysis of whether or not the loading for diversifiable risk is needed is performed. Approximations to the needed values are performed using the moments of the capped severity distribution and analytic formulas from the frequency distribution as inputs into method of moments normal and lognormal approximations to the percentiles of the aggregate loss distribution. An analysis of the optimum reinsurance retention/policy limit is performed as well, with capped loss distribution/frequency distribution equations resulting from the relationship that the marginal profit (with respect to the loss cap) should be equal to the marginal expense and profit dollar loading with respect to the loss cap. Analytical expressions are developed for the optimum reinsurance retention. Approximations to the optimum retention based on the normal distribution were developed and their error analyzed in great detail. The results indicate that in the vast majority of practical scenarios, the normal distribution approximation to the optimum retention is acceptable. Also included in the paper is a brief comparison of the VaR (survival probability) and expected policyholder deficit (EPD) and TVaR approaches to surplus adequacy (which conclude that the VaR approach is superior for most property/casualty companies); a mathematical analysis of the propriety of insuring the upper limits of the loss distribution, which concludes that, even if unlimited funds were available to secure losses in capital and reinsurance, it would not be in the insured's best interest to do so. Further inclusions to date include a illustrative derivation of the generalized collective risk equation and a method for interpolating ``along'' a mathematical curve rather than directly using the values on the curve. As a prelude to a portion of the analysis, a theorem was proven indicating that in most practical situations, the n1st order derivatives of a suitable probability mass function at values L, when divided by the product of L and the nth order derivative, generate a quotient with a limit at infinity that is less than 1/n.
Show less  Date Issued
 2012
 Identifier
 FSU_migr_etd4726
 Format
 Thesis
 Title
 Anova for Parameter Dependent Nonlinear PDEs and Numerical Methods for the Stochastic Stokes Equations.
 Creator

Chen, Zheng, Gunzburger, Max, Huﬀer, Fred, Peterson, Janet, Wang, Xiaoqiang, Department of Mathematics, Florida State University
 Abstract/Description

This dissertation includes the application of analysisofvariance (ANOVA) expansions to analyze solutions of parameter dependent partial differential equations and the analysis and finite element approximations of the Stokes equations with stochastic forcing terms. In the first part of the dissertation, the impact of parameter dependent boundary conditions on the solutions of a class of nonlinear PDEs is considered. Based on the ANOVA expansions of functionals of the solutions, the effects...
Show moreThis dissertation includes the application of analysisofvariance (ANOVA) expansions to analyze solutions of parameter dependent partial differential equations and the analysis and finite element approximations of the Stokes equations with stochastic forcing terms. In the first part of the dissertation, the impact of parameter dependent boundary conditions on the solutions of a class of nonlinear PDEs is considered. Based on the ANOVA expansions of functionals of the solutions, the effects of different parameter sampling methods on the accuracy of surrogate optimization approaches to PDE constrained optimization is considered. The effects of the smoothness of the functional and the nonlinearity in the PDE on the decay of the higherorder ANOVA terms are studied. The concept of effective dimensions is used to determine the accuracy of the ANOVA expansions. Demonstrations are given to show that whenever truncated ANOVA expansions of functionals provide accurate approximations, optimizers found through a simple surrogate optimization strategy are also relatively accurate. The effects of several parameter sampling strategies on the accuracy of the surrogate optimization method are also considered; it is found that for this sparse sampling application, the Latin hypercube sampling method has advantages over other wellknown sampling methods. Although most of the results are presented and discussed in the context of surrogate optimization problems, they also apply to other settings such as stochastic ensemble methods and reducedorder modeling for nonlinear PDEs. In the second part of the dissertation, we study the numerical analysis of the Stokes equations driven by a stochastic process. The random processes we use are white noise, colored noise and the homogeneous Gaussian process. When the process is white noise, we deal with the singularity of matrix Green's functions in the form of mild solutions with the aid of the theory of distributions. We develop finite element methods to solve the stochastic Stokes equations. In the 2D and 3D cases, we derive error estimates for the approximate solutions. The results of numerical experiments are provided in the 2D case that demonstrate the algorithm and convergence rates. On the other hand, the singularity of the matrix Green's functions necessitates the use of the homogeneous Gaussian process. In the framework of theory of abstract Wiener spaces, the stochastic integrals with respect to the homogeneous Gaussian process can be defined on a larger space than L2 . With some conditions on the density function in the definition of the homogeneous Gaussian process, the matrix Green's functions have well defined integrals. We have studied the probability properties of this kind of integral and simulated discretized colored noise.
Show less  Date Issued
 2007
 Identifier
 FSU_migr_etd3851
 Format
 Thesis
 Title
 Applications of Quantum Dots in Gene Therapy.
 Creator

Barnes, Laura F., Strouse, Geoffrey, Logan, Timothy, Miller, Brian, Department of Chemistry and Biochemistry, Florida State University
 Abstract/Description

Gene therapy is a rising field and requires multifunctional delivery platforms in order to overcome the cellular barriers. Quantum dots (QDs) provide a optically fluorescent and biocompatible surface to act as a multifunctional delivery platform for gene therapy. The objective of this research is to manipulate the surface of quantum dots for use in gene therapy. The first goal was to make the QDs water soluble and therefore biocompatible. The second goal was to functionalize the surface of...
Show moreGene therapy is a rising field and requires multifunctional delivery platforms in order to overcome the cellular barriers. Quantum dots (QDs) provide a optically fluorescent and biocompatible surface to act as a multifunctional delivery platform for gene therapy. The objective of this research is to manipulate the surface of quantum dots for use in gene therapy. The first goal was to make the QDs water soluble and therefore biocompatible. The second goal was to functionalize the surface of the QDs with plasmid DNA for direct use in gene therapy. This approach uses chemoselective coupling chemistry between an InP/ZnS quantum dot (QD) and linker DNA (DNAlinker) to control the timing of protein expression. Linear DNA (lDNA), containing the CMV promoter and DsRedExpress gene, was condensed on the surface of the QDDNAlinker. Optical and flow cytometry analysis of the DsRedExpress expression after transfection of the QDlDNA into CHO cells shows a delayed protein expression for both coupling chemistries compared to naked lDNA. It is also clear that the protein expression form the QDSlDNA turns on quicker than the QDNHlDNA. We believe the protein expression delay is due to the site of coupling between the QD and DNAlinker and its affect on the lDNA packing strength. The SDNAlinker is believed to couple by direct exchange at the vertices of the QD whereas the NHDNAlinker couples through a condensation reaction to the facets. The delay in protein expression reflects the delayed exchange rate at the facets over the vertices. The ability to control the coupling chemistry and timing of release from the QD surface suggests a mechanism for dose control in transient gene therapeutics, and show QD delivery approaches are ideal candidates for multifunctional, targeted, drug carrying platforms that can simultaneously control dosing. The third goal of this research was to functionalize the surface of the QDs with the HIV cell penetrating peptide, TAT, and study its affects on QD internalization as well as toxicological affects within the cells. Tracking of the cellular uptake of these QDs by optical microscopy shows rapid, diffuse accumulation of both 10 % TAT and 100 % TAT passivated QDs throughout the cytosol of the cells. Toxicity studies were conducted by flow cytometry to investigate the effects of these materials on apoptosis, necrosis, and metabolic damage in Chinese Hamster Ovary (CHO) cells. These studies suggest toxic effects of the cell penetrating QDs are dependent on the amount of CAAKATAT used on the surface of the QD as well as the concentration of QD added. These observations aid in the use of QDs as self transfecting, nano delivery scaffolds for drug or gene therapy.
Show less  Date Issued
 2010
 Identifier
 FSU_migr_etd5467
 Format
 Thesis
 Title
 Applications of Representation Theory and HigherOrder Perturbation Theory in NMR.
 Creator

Srinivasan, Parthasarathy, Quine, John R., Gan, Zhehong, Chapman, Michael S., Bowers, Philip, Sumners, DeWitt, Department of Mathematics, Florida State University
 Abstract/Description

Solid State Nuclear Magnetic Resonance (NMR) is perhaps the only spectroscopic technique that allows experimentalists to manipulate the spin systems they are interested in. Of particular interest are nuclei with spins greater than 1/2, or quadrupolar nuclei, as they constitute over 70% of the magnetically active spins. Two of the important mathematical tools used in the theory of studying NMR are representation theory together with perturbation theory. We will use both these tools to describe...
Show moreSolid State Nuclear Magnetic Resonance (NMR) is perhaps the only spectroscopic technique that allows experimentalists to manipulate the spin systems they are interested in. Of particular interest are nuclei with spins greater than 1/2, or quadrupolar nuclei, as they constitute over 70% of the magnetically active spins. Two of the important mathematical tools used in the theory of studying NMR are representation theory together with perturbation theory. We will use both these tools to describe the underlying mathematical theory for quadrupolar nuclei. The theory shows that for nonsymmetric satellite transitions in halfinteger quadrupolar nuclei, perturbation effects up to thirdorder feature in the NMR spectra. We will also use irreducible representations to analyze experiments conducted on various spin systems and discuss ways to design new ones. Another topic that will also be explored is the theory of rotary resonance in halfinteger quadrupolar nuclei. This theory explains why techniques like FASTER (FAster Spinning gives Transfer Enhancement at Rotary resonance) improve the efficiency of symmetric multiple quantum experiments.
Show less  Date Issued
 2005
 Identifier
 FSU_migr_etd1600
 Format
 Thesis
 Title
 Approximating Nonlocal Diffusion Problems Using Quadrature Rules Generated by Radial Basis Functions.
 Creator

Lyngaas, Isaac Ron, Peterson, Janet S., Gunzburger, Max D., Burkardt, John V., Florida State University, College of Arts and Sciences, Department of Mathematics
 Abstract/Description

Nonlocal models differ from traditional partial differential equation (PDE) models because they contain no spatial derivatives; instead an appropriate integral is used. Nonlocal models are especially useful in the case where there are issues calculating the spatial derivatives of a PDE model. In many applications (e.g., biological systems, flow through porous media) the observed rate of diffusion is not accurately modeled by the standard diffusion differential operator but rather exhibits so...
Show moreNonlocal models differ from traditional partial differential equation (PDE) models because they contain no spatial derivatives; instead an appropriate integral is used. Nonlocal models are especially useful in the case where there are issues calculating the spatial derivatives of a PDE model. In many applications (e.g., biological systems, flow through porous media) the observed rate of diffusion is not accurately modeled by the standard diffusion differential operator but rather exhibits socalled anomalous diffusion. Anomalous diffusion can be represented in a PDE model by using a fractional Laplacian operator in space whereas the nonlocal approach only needs to slightly modify its integral formulation to model anomalous diffusion. Anomalous diffusion is one such case where approximating the spatial derivative operator is a difficult problem. In this work, an approach for approximating standard and anomalous nonlocal diffusion problems using a new technique that utilizes radial basis functions (RBFs) is introduced and numerically tested. The typical approach for approximating nonlocal diffusion problems is to use a Galerkin formulation. However, the Galerkin formulation for nonlocal diffusion problems can often be difficult to compute efficiently and accurately especially for problems in multiple dimensions. Thus, we investigate the alternate approach of using quadrature rules generated by RBFs to approximate the nonlocal diffusion problem. This work will be split into three major parts. The first will introduce RBFs and give some examples of how they are used. This part will motivate our approach for using RBFs on the nonlocal diffusion problem. In the second part, we will derive RBFgenerated quadrature rules in one dimension and show they can be used to approximate nonlocal diffusion problems. The final part will address how the RBF quadrature approach can be extended to higher dimensional problems. Numerical test cases are shown for both the standard and anomalous nonlocal diffusion problems and compared with standard finite element approximations. Preliminary results show that the method introduced is viable for approximating nonlocal diffusion problems and that highly accurate approximations are possible using this approach.
Show less  Date Issued
 2016
 Identifier
 FSU_FA2016_Lyngaas_fsu_0071N_13512
 Format
 Thesis
 Title
 Arithmetic Aspects of Noncommutative Geometry: Motives of Noncommutative Tori and Phase Transitions on GL(n) and Shimura Varieties Systems.
 Creator

Shen, Yunyi, Marcolli, Matilde, Aluffi, Paolo, Chicken, Eric, Bowers, Philip L., Petersen, Kathleen L., Florida State University, College of Arts and Sciences, Department of...
Show moreShen, Yunyi, Marcolli, Matilde, Aluffi, Paolo, Chicken, Eric, Bowers, Philip L., Petersen, Kathleen L., Florida State University, College of Arts and Sciences, Department of Mathematics
Show less  Abstract/Description

In this dissertation, we study three important cases in noncommutative geometry. We first observe the standard noncommutative object, noncommutative torus, in noncommutative motives. We work with the category of holomorphic bundles on a noncommutative torus, which is known to be equivalent to the heart of a nonstandard tstructure on coherent sheaves of an elliptic curve. We then introduce a notion of (weak) tstructure in dg categories. By lifting the nonstandard tstructure to the t...
Show moreIn this dissertation, we study three important cases in noncommutative geometry. We first observe the standard noncommutative object, noncommutative torus, in noncommutative motives. We work with the category of holomorphic bundles on a noncommutative torus, which is known to be equivalent to the heart of a nonstandard tstructure on coherent sheaves of an elliptic curve. We then introduce a notion of (weak) tstructure in dg categories. By lifting the nonstandard tstructure to the tstructure that we defined, we find a way of seeing a noncommutative torus in noncommutative motives. By applying the tstructure to a noncommutative torus and describing the cyclic homology of the category of holomorphic bundle on the noncommutative torus, we finally show that the periodic cyclic homology functor induces a decomposition of the motivic Galois group of the Tannakian category generated by the associated auxiliary elliptic curve. In the second case, we generalize the results of Laca, Larsen, and Neshveyev on the GL2ConnesMarcolli system to the GLnConnesMarcolli systems. We introduce and define the GLnConnesMarcolli systems and discuss the existence and uniqueness questions of the KMS equilibrium states. Using the ergodicity argument and Hecke pair calculation, we classify the KMS states at different inverse temperatures β. Specifically, we show that in the range of n − 1 < β ≤ n, there exists only one KMS state. We prove that there are no KMS states when β < n − 1 and β ̸= 0, 1, . . . , n − 1,, while we actually construct KMS states for integer values of β in 1 ≤ β ≤ n − 1. For β > n, we characterize the extremal KMS states. In the third case, we push the previous results to more abstract settings. We mainly study the connected Shimura dynamical systems. We give the definition of the essential and superficial KMS states. We further develop a set of arithmetic tools to generalize the results in the previous case. We then prove the uniqueness of the essential KMS states and show the existence of the essential KMS stats for high inverse temperatures.
Show less  Date Issued
 2017
 Identifier
 FSU_SUMMER2017_Shen_fsu_0071E_13982
 Format
 Thesis
 Title
 Asset Market Dynamics of Heterogeneous Agent Models with Learning.
 Creator

Guan, Yuanying, Beaumont, Paul M., Kercheval, Alec N., Marquis, Milton, MestertonGibbons, Mike, Nichols, Warren D., Department of Mathematics, Florida State University
 Abstract/Description

The standard Lucas asset pricing model makes two common assumptions of homogeneous agents and rational expectations equilibrium. However, these assumptions are unrealistic for real financial markets. In this work, we relax these assumptions and establish a Lucas type agentbased asset pricing model. We create an artificial economy with a single risky asset and populate it with heterogeneous, boundedly rational, utility maximizing, infinitely lived and forward looking agents. We restrict...
Show moreThe standard Lucas asset pricing model makes two common assumptions of homogeneous agents and rational expectations equilibrium. However, these assumptions are unrealistic for real financial markets. In this work, we relax these assumptions and establish a Lucas type agentbased asset pricing model. We create an artificial economy with a single risky asset and populate it with heterogeneous, boundedly rational, utility maximizing, infinitely lived and forward looking agents. We restrict agents' information by allowing them to use only available information when they make optimal choices. With independent, identically distributed market returns, agents are able to compute their policy functions and the equilibrium pricing function with Duffie's method (Duffie, 1988) without perfect information about the market. When agents are out of equilibrium, they simultaneously compute their policy functions with predictive pricing functions and use adaptive learning schemes to learn the motion of the correct pricing function. Agents are able to learn the correct equilibrium pricing function with certain risk and learning parameters. In some other cases, the market price has excess volatility and the trading volume is very high. Simulations of the market behavior show rich dynamics, including a whole cascade from period doubling bifurcations to chaos. We apply the full families theory (De Melo and Van Strien, 1993) to prove that the rich dynamics do not come from numerical errors but are embedded in the structure of our dynamical system.
Show less  Date Issued
 2011
 Identifier
 FSU_migr_etd3938
 Format
 Thesis
 Title
 Asset Pricing in a Lucas Framework with Boundedly Rational, Heterogeneous Agents.
 Creator

Culham, Andrew J. (Andrew James), Beaumont, Paul M., Kercheval, Alec N., Schlagenhauf, Don, Goncharov, Yevgeny, Kopriva, David, Department of Mathematics, Florida State University
 Abstract/Description

The standard dynamic general equilibrium model of financial markets does a poor job of explaining the empirical facts observed in real market data. The common assumptions of homogeneous investors and rational expectations equilibrium are thought to be major factors leading to this poor performance. In an attempt to relax these assumptions, the literature has seen the emergence of agentbased computational models where artificial economies are populated with agents who trade in stylized asset...
Show moreThe standard dynamic general equilibrium model of financial markets does a poor job of explaining the empirical facts observed in real market data. The common assumptions of homogeneous investors and rational expectations equilibrium are thought to be major factors leading to this poor performance. In an attempt to relax these assumptions, the literature has seen the emergence of agentbased computational models where artificial economies are populated with agents who trade in stylized asset markets. Although they offer a great deal of flexibility, the theoretical community has often criticized these agentbased models because the agents are too limited in their analytical abilities. In this work, we create an artificial market with a single risky asset and populate it with fully optimizing, forward looking, infinitely lived, heterogeneous agents. We restrict the state space of our agents by not allowing them to observe the aggregate distribution of wealth so they are required to compute their conditional demand functions while simultaneously learning the equations of motion for the aggregate state variables. We develop an efficient and flexible model code that can be used to explore a wide number of asset pricing questions while remaining consistent with conventional asset pricing theory. We validate our model and code against known analytical solutions as well as against a new analytical result for agents with differing discount rates. Our simulation results for general cases without known analytical solutions show that, in general, agents' asset holdings converge to a steadystate distribution and the agents are able to learn the equilibrium prices despite the restricted state space. Further work will be necessary to determine whether the exceptional cases have some fundamental theoretical explanation or can be attributed to numerical issues. We conjecture that convergence to the equilibrium is global and that the marketclearing price acts to guide the agents' forecasts toward that equilibrium.
Show less  Date Issued
 2007
 Identifier
 FSU_migr_etd2948
 Format
 Thesis
 Title
 Asymptotic Behaviour of Convection in Porous Media.
 Creator

Parshad, Rana Durga, Wang, Xiaoming, Ye, Ming, Case, Bettye Anne, Ewald, Brian, N.Kercheval, Alec, Nolder, Craig, Department of Mathematics, Florida State University
 Abstract/Description

This dissertation investigates asymptotic behaviour of convection in a fluid saturated porous medium. We analyse the DarcyBoussinesq system under perturbation of the DarcyPrandtl number parameter. In very tightly packed media this parameter is of very large order and can be driven to infinity to yield the infinite DarcyPrandtl number model. We show convergence of global attractors and invariant measures of the DarcyBoussinesq system to that of the infinite DarcyPrandtl number model with...
Show moreThis dissertation investigates asymptotic behaviour of convection in a fluid saturated porous medium. We analyse the DarcyBoussinesq system under perturbation of the DarcyPrandtl number parameter. In very tightly packed media this parameter is of very large order and can be driven to infinity to yield the infinite DarcyPrandtl number model. We show convergence of global attractors and invariant measures of the DarcyBoussinesq system to that of the infinite DarcyPrandtl number model with respect to perturbation of the DarcyPrandtl number parameter.
Show less  Date Issued
 2009
 Identifier
 FSU_migr_etd2182
 Format
 Thesis
 Title
 An Asymptotically Preserving Method for Multiphase Flow.
 Creator

Jemison, Matthew, Sussman, Mark, Nof, Doron, Cogan, Nick, Gallivan, Kyle, Wang, Xiaoming, Department of Mathematics, Florida State University
 Abstract/Description

A unified, asymptoticallypreserving method for simulating multiphase flows using an exactly mass, momentum, and energy conserving CellIntegrated SemiLagrangian advection algorithm is presented. The new algorithm uses a semiimplicit pressure update scheme that asymptotically preserves the standard incompressible pressure projection method in the limit of infinite sound speed. The asymptotically preserving attribute makes the new method applicable to compressible and incompressible flows,...
Show moreA unified, asymptoticallypreserving method for simulating multiphase flows using an exactly mass, momentum, and energy conserving CellIntegrated SemiLagrangian advection algorithm is presented. The new algorithm uses a semiimplicit pressure update scheme that asymptotically preserves the standard incompressible pressure projection method in the limit of infinite sound speed. The asymptotically preserving attribute makes the new method applicable to compressible and incompressible flows, including stiff materials, which enables large time steps characteristic of incompressible flow algorithms rather than the small time steps required by explicit methods. Shocks are captured and material discontinuities are tracked, without the aid of any approximate or exact Riemann solvers. The new method enables one to simulate the flow of multiple materials, each possessing a potentially exotic equation of state. Simulations of multiphase flow in one and two dimensions are presented which illustrate the effectiveness of the new algorithm at efficiently computing multiphase flows containing shock waves and material discontinuities with large ''impedance mismatch.'' Additionally, new techniques related to the MomentofFluid interface reconstruction are presented, including a novel, asymptoticallypreserving method for capturing ''filaments,'' and an improved method for initializing the MomentofFluid optimization problem on unstructured, triangular grids.
Show less  Date Issued
 2014
 Identifier
 FSU_migr_etd9012
 Format
 Thesis
 Title
 Biomedical Applications of Shape Descriptors.
 Creator

Celestino, Christian Edgar Laing, Sumners, De Witt, Greenbaum, Nancy, Mio, Washington, Hurdal, Monica, Department of Mathematics, Florida State University
 Abstract/Description

Given an edgeoriented polygonal graph in R3, we describe a method for computing the writhe as the average of weighted directional writhe numbers of the graph in a few directions. These directions are determined by the graph and the weights are determined by areas of pathconnected open regions on the unit sphere. Within each open region, the directional writhe is constant. We developed formulas for the writhe of polygons on Bravais lattices and a few crystallographic groups, and discuss...
Show moreGiven an edgeoriented polygonal graph in R3, we describe a method for computing the writhe as the average of weighted directional writhe numbers of the graph in a few directions. These directions are determined by the graph and the weights are determined by areas of pathconnected open regions on the unit sphere. Within each open region, the directional writhe is constant. We developed formulas for the writhe of polygons on Bravais lattices and a few crystallographic groups, and discuss applications to ring polymers. In addition, we obtained a closed formula for the writhe for graphs which extends the formula for the writhe of a polygon in R3, including the important special case of writhe of embedded open arcs. Additionally, we have developed shape descriptors based on a family of geometric measures for the purpose of classification and identification of shape differences for graphs. These shape descriptors involve combinations of writhe and average crossing numbers of curves, as well as total curvature, ropelength and thickness. We have applied these shape descriptors to RNA tertiary structures and families of sulcal curves from human brain surfaces. Preliminary results give an automatic method to distinguish RNA motifs. Clear differentiation among tRNA and/or ribozymes, and a distinction among mesophilic and thermophilic tRNA is shown. In addition, we notice a direct correlation between the length of an RNA backbone and its mean average crossing number which is described accurately by a power function. As a neuroscience application, human brain surfaces were extracted from MRI scans of human brains. In our preliminary results, an automatic differentiation between sulcal paths from the left or right hemispheres, an age differentiation and a malefemale classification were achieved.
Show less  Date Issued
 2007
 Identifier
 FSU_migr_etd3314
 Format
 Thesis
 Title
 Calibration of Local Volatility Models and Proper Orthogonal Decomposition Reduced Order Modeling for Stochastic Volatility Models.
 Creator

Geng, Jian, Navon, Ionel Michael, Case, Bettye Anne, Contreras, Rob, Okten, Giray, Kercheval, Alec N., Ewald, Brian, Department of Mathematics, Florida State University
 Abstract/Description

There are two themes in this thesis: local volatility models and their calibration, and Proper Orthogonal Decomposition (POD) reduced order modeling with application in stochastic volatility models, which has a potential in the calibration of stochastic volatility models. In the first part of this thesis (chapters IIIII), the local volatility models are introduced first and then calibrated for European options across all strikes and maturities of the same underlying. There is no...
Show moreThere are two themes in this thesis: local volatility models and their calibration, and Proper Orthogonal Decomposition (POD) reduced order modeling with application in stochastic volatility models, which has a potential in the calibration of stochastic volatility models. In the first part of this thesis (chapters IIIII), the local volatility models are introduced first and then calibrated for European options across all strikes and maturities of the same underlying. There is no interpolation or extrapolation of either the option prices or the volatility surface. We do not make any assumption regarding the shape of the volatility surface except to assume that it is smooth. Due to the smoothness assumption, we apply a second order Tikhonov regularization. We choose the Tikhonov regularization parameter as one of the singular values of the Jacobian matrix of the Dupire model. Finally we perform extensive numerical tests to assess and verify the aforementioned techniques for both local volatility models with known analytical solutions of European option prices and real market option data. In the second part of this thesis (chapters IVV), stochastic volatility models, POD reduced order modeling are introduced first respectively. Then POD reduced order modeling is applied to the Heston stochastic volatility model for the pricing of European options. Finally, chapter VI summaries the thesis and points out future research areas.
Show less  Date Issued
 2013
 Identifier
 FSU_migr_etd7388
 Format
 Thesis
 Title
 Calibration of Multivariate Generalized Hyperbolic Distributions Using the EM Algorithm, with Applications in Risk Management, Portfolio Optimization and Portfolio Credit Risk.
 Creator

Hu, Wenbo, Kercheval, Alec, Huﬀer, Fred, Case, Bettye, Nichols, Warren, Nolder, Craig, Department of Mathematics, Florida State University
 Abstract/Description

The distributions of many financial quantities are wellknown to have heavy tails, exhibit skewness, and have other nonGaussian characteristics. In this dissertation we study an especially promising family: the multivariate generalized hyperbolic distributions (GH). This family includes and generalizes the familiar Gaussian and Student t distributions, and the socalled skewed t distributions, among many others. The primary obstacle to the applications of such distributions is the numerical...
Show moreThe distributions of many financial quantities are wellknown to have heavy tails, exhibit skewness, and have other nonGaussian characteristics. In this dissertation we study an especially promising family: the multivariate generalized hyperbolic distributions (GH). This family includes and generalizes the familiar Gaussian and Student t distributions, and the socalled skewed t distributions, among many others. The primary obstacle to the applications of such distributions is the numerical difficulty of calibrating the distributional parameters to the data. In this dissertation we describe a way to stably calibrate GH distributions for a wider range of parameters than has previously been reported. In particular, we develop a version of the EM algorithm for calibrating GH distributions. This is a modification of methods proposed in McNeil, Frey, and Embrechts (2005), and generalizes the algorithm of Protassov (2004). Our algorithm extends the stability of the calibration procedure to a wide range of parameters, now including parameter values that maximize loglikelihood for our real market data sets. This allows for the first time certain GH distributions to be used in modeling contexts when previously they have been numerically intractable. Our algorithm enables us to make new uses of GH distributions in three financial applications. First, we forecast univariate ValueatRisk (VaR) for stock index returns, and we show in outofsample backtesting that the GH distributions outperform the Gaussian distribution. Second, we calculate an efficient frontier for equity portfolio optimization under the skewedt distribution and using Expected Shortfall as the risk measure. Here, we show that the Gaussian efficient frontier is actually unreachable if returns are skewed t distributed. Third, we build an intensitybased model to price Basket Credit Default Swaps by calibrating the skewed t distribution directly, without the need to separately calibrate xi the skewed t copula. To our knowledge this is the first use of the skewed t distribution in portfolio optimization and in portfolio credit risk.
Show less  Date Issued
 2005
 Identifier
 FSU_migr_etd3694
 Format
 Thesis
 Title
 Centroidal Voronoi Tessellations for Mesh Generation: from Uniform to Anisotropic Adaptive Triangulations.
 Creator

Nguyen, Hoa V., Gunzburger, Max D., ElAzab, Anter, Peterson, Janet, Wang, Xiaoming, Wang, Xiaoqiang, Department of Mathematics, Florida State University
 Abstract/Description

Mesh generation in regions in Euclidean space is a central task in computational science, especially for commonly used numerical methods for the solution of partial differential equations (PDEs), e.g., finite element and finite volume methods. Mesh generation can be classified into several categories depending on the element sizes (uniform or nonuniform) and shapes (isotropic or anisotropic). Uniform meshes have been well studied and still find application in a wide variety of problems....
Show moreMesh generation in regions in Euclidean space is a central task in computational science, especially for commonly used numerical methods for the solution of partial differential equations (PDEs), e.g., finite element and finite volume methods. Mesh generation can be classified into several categories depending on the element sizes (uniform or nonuniform) and shapes (isotropic or anisotropic). Uniform meshes have been well studied and still find application in a wide variety of problems. However, when solving certain types of partial differential equations for which the solution variations are large in some regions of the domain, nonuniform meshes result in more efficient calculations. If the solution changes more rapidly in one direction than in others, nonuniform anisotropic meshes are preferred. In this work, first we present an algorithm to construct uniform isotropic meshes and discuss several mesh quality measures. Secondly we construct an adaptive method which produces nonuniform anisotropic meshes that are well suited for numerically solving PDEs such as the convection diffusion equation. For the uniform Delaunay triangulation of planar regions, we focus on how one selects the positions of the vertices of the triangulation. We discuss a recently developed method, based on the centroidal Voronoi tessellation (CVT) concept, for effecting such triangulations and present two algorithms, including one new one, for CVTbased grid generation. We also compare several methods, including CVTbased methods, for triangulating planar domains. Furthermore, we define several quantitative measures of the quality of uniform grids. We then generate triangulations of several planar regions, including some having complexities that are representative of what one may encounter in practice. We subject the resulting grids to visual and quantitative comparisons and conclude that all the methods considered produce highquality uniform isotropic grids and that the CVTbased grids are at least as good as any of the others. For more general grid generation settings, e.g., nonuniform and/or anistropic grids, such quantitative comparisons are much more difficult, if not impossible, to either make or interpret. This motivates us to develop CVTbased adaptive nonuniform anisotropic mesh refinement in the context of solving the convectiondiffusion equation with emphasis on convectiondominated problems. The challenge in the numerical approximation of this equation is due to large variations in the solution over small regions of the physical domain. Our method not only refines the underlying grid at these regions but also stretches the elements according to the solution variation. Three main ingredients are incorporated to improve the accuracy of numerical solutions and increase the algorithm's robustness and efficiency. First, a streamline upwind Petrov Galerkin method is used to produce a stabilized solution. Second, an adapted metric tensor is computed from the approximate solution. Third, optimized anisotropic meshes are generated from the computed metric tensor. Our algorithm has been tested on a variety of 2dimensional examples. It is robust in detecting layers and efficient in resolving nonphysical oscillations in the numerical approximation.
Show less  Date Issued
 2008
 Identifier
 FSU_migr_etd2616
 Format
 Thesis
 Title
 Character Varieties of Knots and Links with Symmetries.
 Creator

Sparaco, Leona H., Petersen, Kathleen L., Harper, Kristine, Ballas, Sam, Bowers, Philip L., Hironaka, Eriko, Florida State University, College of Arts and Sciences, Department...
Show moreSparaco, Leona H., Petersen, Kathleen L., Harper, Kristine, Ballas, Sam, Bowers, Philip L., Hironaka, Eriko, Florida State University, College of Arts and Sciences, Department of Mathematics
Show less  Abstract/Description

: Let M be a hyperbolic manifold. The SL2(C) character variety of M is essentially the set of all representations ρ : π1(M) → SL2(C) up to trace equivalence. This algebraic set is connected to many geometric properties of the manifold M. We examine the effect of symmetries of M on its character variety. We compute the SL2(C) and PSL2(C) character varieties for an infinite family of twobridge hyperbolic knots with symmetry. We explore the effect the symmetry has on the character variety and...
Show more: Let M be a hyperbolic manifold. The SL2(C) character variety of M is essentially the set of all representations ρ : π1(M) → SL2(C) up to trace equivalence. This algebraic set is connected to many geometric properties of the manifold M. We examine the effect of symmetries of M on its character variety. We compute the SL2(C) and PSL2(C) character varieties for an infinite family of twobridge hyperbolic knots with symmetry. We explore the effect the symmetry has on the character variety and exploit this symmetry to factor the character variety. We then find the geometric genus of both components of the character variety. We compute the SL2(C) character variety for the Borromean ring complement in S^3. Further, we explore how the symmetries effect this character variety. Finally, we prove some general results about the structure of character varieties of links with symmetries.
Show less  Date Issued
 2017
 Identifier
 FSU_SUMMER2017_Sparaco_fsu_0071E_13851
 Format
 Thesis
 Title
 Chern Classes of Sheaves of Logarithmic Vector Fields for Free Divisors.
 Creator

Liao, Xia, Aluﬃ, Paolo, Reina, Laura, Klassen, Eric P., Aldrovandi, Ettore, Petersen, Kathleen, Department of Mathematics, Florida State University
 Abstract/Description

The thesis work we present here focuses on solving a conjecture raised by Aluffi about ChernSchwartzMacPherson classes. Let $X$ be a nonsingular variety defined over an algebraically closed field $k$ of characteristic $0$, $D$ a reduced effective divisor on $X$, and $U = X smallsetminus D$ the open complement of $D$ in $X$. The conjecture states that $c_{textup{SM}}(1_U) = c(textup{Der}_X(log D)) cap [X]$ in $A_{*}(X)$ for any locally quasihomogeneous free divisor $D$. We prove a stronger...
Show moreThe thesis work we present here focuses on solving a conjecture raised by Aluffi about ChernSchwartzMacPherson classes. Let $X$ be a nonsingular variety defined over an algebraically closed field $k$ of characteristic $0$, $D$ a reduced effective divisor on $X$, and $U = X smallsetminus D$ the open complement of $D$ in $X$. The conjecture states that $c_{textup{SM}}(1_U) = c(textup{Der}_X(log D)) cap [X]$ in $A_{*}(X)$ for any locally quasihomogeneous free divisor $D$. We prove a stronger version of this conjecture. We also report on work aimed at studying the Grothedieck class of hypersurfaces of low degree. In this work, we verified the Geometric ChevalleyWarning conjecture in several low dimensional cases.
Show less  Date Issued
 2013
 Identifier
 FSU_migr_etd7467
 Format
 Thesis
 Title
 ChernSchwartzMacpherson Classes of Graph Hypersurfaces and Schubert Varieties.
 Creator

Stryker, Judson P., Aluﬃ, Paolo, Van Engelen, Robert, Aldrovandi, Ettore, Hironaka, Eriko, Van Hoeij, Mark, Department of Mathematics, Florida State University
 Abstract/Description

This dissertation finds some partial results in support of two positivity conjectures regarding the ChernSchwartzMacPherson (CSM) classes of graph hypersurfaces (conjectured by Aluffi and Marcolli) and Schubert varieties (conjectured by Aluffi and Mihalcea). Direct calculations of some of these CSM classes are performed. Formulas for CSM classes of families of both graph hypersurfaces and coefficients of Schubert varieties are developed. Additionally, the positivity of the CSM class of...
Show moreThis dissertation finds some partial results in support of two positivity conjectures regarding the ChernSchwartzMacPherson (CSM) classes of graph hypersurfaces (conjectured by Aluffi and Marcolli) and Schubert varieties (conjectured by Aluffi and Mihalcea). Direct calculations of some of these CSM classes are performed. Formulas for CSM classes of families of both graph hypersurfaces and coefficients of Schubert varieties are developed. Additionally, the positivity of the CSM class of certain families of these varieties is proven. The first chapter starts with an overview and introduction to the material along with some of the background material needed to understand this dissertation. In the second chapter, a series of equivalences of graph hypersurfaces that are useful for reducing the number of cases that must be calculated are developed. A table of CSM classes of all but one graph with 6 or fewer edges are explicitly computed. This table also contains Fulton Chern classes and Milnor classes for the graph hypersurfaces. Using the equivalences and a series of formulas from a paper by Aluffi and Mihalcea, a new series of formulas for the CSM classes of certain families of graph hypersurfaces are deduced. I prove positivity for all graph hypersurfaces corresponding to graphs with first Betti number of 3 or less. Formulas for graphs equivalent to graphs with 6 or fewer edges are developed (as well as cones over graphs with 6 or fewer edges). In the third chapter, CSM classes of Schubert varieties are discussed. It is conjectured by Aluffi and Mihalcea that all Chern classes of Schubert varieties are represented by effective cycles. This is proven in special cases by B. Jones. I examine some positivity results by analyzing and applying combinatorial methods to a formula by Aluffi and Mihalcea. Positivity of what could be considered the ``typical' case for low codimensional coefficients is found. Some other general results for positivity of certain coefficients of Schubert varieties are found. This technique establishes positivity for some known cases very quickly, such as the codimension 1 case as described by Jones, as well as establishing positivity for codimension 2 and families of cases that were previously unknown. An unexpected connection between one family of cases and a second order PDE is also found. Positivity is shown for all cases of codimensions 14 and some higher codimensions are discussed. In both the graph hypersurfaces and Schubert varieties, all calculated ChernSchwartzMacPherson classes were found to be positive.
Show less  Date Issued
 2011
 Identifier
 FSU_migr_etd1531
 Format
 Thesis
 Title
 Closed Form Solutions of Linear Difference Equations.
 Creator

Cha, Yongjae, Van Hoeij, Mark, Van Engelen, Robert A., Agashe, Amod, Aldrovandi, Ettore, Aluﬃ, Paolo, Department of Mathematics, Florida State University
 Abstract/Description

In this thesis we present an algorithm that finds closed form solutions for homogeneous linear recurrence equations. The key idea is transforming an input operator Linp to an operator Lg with known solutions. The main problem of this idea is how to find a solved equation Lg to which Linp can be reduced. To solve this problem, we use local data of a difference operator, that is invariant under the transformation.
 Date Issued
 2011
 Identifier
 FSU_migr_etd3960
 Format
 Thesis
 Title
 Combinatorial Type Problems for Triangulation Graphs.
 Creator

Wood, William E., Bowers, Philip, Hawkes, Lois, Bellenot, Steve, Klassen, Eric, Nolder, Craig, Quine, Jack, Department of Mathematics, Florida State University
 Abstract/Description

The main result in this thesis bounds the combinatorial modulus of a ring in a triangulation graph in terms of the modulus of a related ring. The bounds depend only on how the rings are related and not on the rings themselves. This may be used to solve the combinatorial type problem in a variety of situation, most significant in graphs with unbounded degree. Other results regarding the type problem are presented along with several examples illustrating the limits of the results.
 Date Issued
 2006
 Identifier
 FSU_migr_etd0794
 Format
 Thesis
 Title
 Comparison of Different Noise Forcings, Regularization of Noise, and Optimal Control for the Stochastic NavierStokes Equations.
 Creator

Zhao, Wenju, Gunzburger, Max D., Sussman, Mark, Peterson, Janet S., Quaife, Bryan, Huang, Chen (Professor of Scientific Computing), Florida State University, College of Arts and...
Show moreZhao, Wenju, Gunzburger, Max D., Sussman, Mark, Peterson, Janet S., Quaife, Bryan, Huang, Chen (Professor of Scientific Computing), Florida State University, College of Arts and Sciences, Department of Scientific Computing
Show less  Abstract/Description

Stochastic NavierStokes equations have been widely applied in various computational fluid dynamics (CFD) fields in recent years. It can be considered as another milestone in CFD. Our work focuses on exploring some theoretical and numerical properties of the stochastic NavierStokes equations and related optimal control problems. In particular, we consider: a numerical comparison of solutions of the stochastic NavierStokes equations perturbed by a large range of random noises in time and...
Show moreStochastic NavierStokes equations have been widely applied in various computational fluid dynamics (CFD) fields in recent years. It can be considered as another milestone in CFD. Our work focuses on exploring some theoretical and numerical properties of the stochastic NavierStokes equations and related optimal control problems. In particular, we consider: a numerical comparison of solutions of the stochastic NavierStokes equations perturbed by a large range of random noises in time and space; effective Martingale regularized methods for the stochastic NavierStokes equations with additive noises; and the stochastic NavierStokes equations constrained stochastic boundary optimal control problems. We systemically provide numerical simulation methods for the stochastic NavierStokes equations with different types of noises. The noises are classified as colored or white based on their autocovariance functions. For each type of noise, we construct a representation and a simulation method. Numerical examples are provided to illustrate our schemes. Comparisons of the influence of different noises on the solution of the NavierStokes system are presented. To improve the simulation accuracy, we impose a Martingale correction regularized method for the stochastic NavierStokes equations with additive noise. The original systems are split into two parts, a linear stochastic Stokes equations with Martingale solution and a stochastic modified NavierStokes equations with smoother noise. In addition, a negative fractional Laplace operator is introduced to regularize the noise term. Stability and convergence of the pathwise modified NavierStokes equations are proved. Numerical simulations are provided to illustrate our scheme. Comparisons of nonregularized and regularized noises for the NavierStokes system are presented to further demonstrate the efficiency of our numerical scheme. As a consequence of the above work, we consider a stochastic optimal control problem constrained by the NavierStokes equations with stochastic Dirichlet boundary conditions. Control is applied only on the boundary and is associated with reduced regularity, compared to interior controls. To ensure the existence of a solution and the efficiency of numerical simulations, the stochastic boundary conditions are required to belong almost surely to H¹(∂D). To simulate the system, state solutions are approximated using the stochastic collocation finite element approach, and sparse grid techniques are applied to the boundary random field. Oneshot optimality systems are derived from Lagrangian functionals. Numerical simulations are then made, using a combination of Monte Carlo methods and sparse grid methods, which demonstrate the efficiency of the algorithm.
Show less  Date Issued
 2017
 Identifier
 FSU_SUMMER2017_Zhao_fsu_0071E_14002
 Format
 Thesis
 Title
 A comparison of verbal and nonverbal instruction in elementary school mathematics.
 Creator

Hollingsworth, Caroline Dean, Nichols, Eugene Douglas, Florida State University
 Abstract/Description

This study assessed the relative effectiveness of verbal and nonverbal teaching methods in facilitating the learning of mathematics. The two treatments differed only in that nonverbal instruction did not permit oral communication or use of written words. Chalkboard instruction was characterized by complete silence in nonverbal classes. In verbal classes, new terminology was introduced by writing the terms on the board and using them thorughout the lesson. Four fourthgrade classes consisting...
Show moreThis study assessed the relative effectiveness of verbal and nonverbal teaching methods in facilitating the learning of mathematics. The two treatments differed only in that nonverbal instruction did not permit oral communication or use of written words. Chalkboard instruction was characterized by complete silence in nonverbal classes. In verbal classes, new terminology was introduced by writing the terms on the board and using them thorughout the lesson. Four fourthgrade classes consisting of 88 students in one school were randomly assigned to treatment groups so that two were taught nonverbally, and two by the conventional verbal method. Two teachers were assigned one class of each type. Treatment and teacher factors were crossed in a pretestposttest control group design. The demonstrated comparability of the two teaching methods not only points to nonverbal instruction as an alternate mode, but also seriously questions the effectiveness of conventional teacher talk in enhancing learning. Teachers with a creative bent should be encouraged to experiment with nonverbal instruction and design activities for all levels of development. The technique could be used effectively to break the routine of conventional instruction. The importance of nonverbal components should be stressed in methods courses for pre and inservice teachers. Techniques of nonverbal instruction should be practiced in student teaching practices.
Show less  Date Issued
 1973
 Identifier
 FSU_afa8702
 Format
 Thesis
 Title
 A Comparison Study of Principal Component Analysis and Nonlinear Principal Component Analysis.
 Creator

Wu, Rui, Magnan, Jerry F., Bellenot, Steven, Sussman, Mark, Department of Mathematics, Florida State University
 Abstract/Description

In the field of data analysis, it is important to reduce the dimensionality of data, because it will help to understand the data, extract new knowledge from the data, and decrease the computational cost. Principal Component Analysis (PCA) [1, 7, 19] has been applied in various areas as a method of dimensionality reduction. Nonlinear Principal Component Analysis (NLPCA) [1, 7, 19] was originally introduced as a nonlinear generalization of PCA. Both of the methods were tested on various...
Show moreIn the field of data analysis, it is important to reduce the dimensionality of data, because it will help to understand the data, extract new knowledge from the data, and decrease the computational cost. Principal Component Analysis (PCA) [1, 7, 19] has been applied in various areas as a method of dimensionality reduction. Nonlinear Principal Component Analysis (NLPCA) [1, 7, 19] was originally introduced as a nonlinear generalization of PCA. Both of the methods were tested on various artificial and natural datasets sampled from: "F(x) = sin(x) + x", the Lorenz Attractor, and sunspot data. The results from the experiments have been analyzed and compared. Generally speaking, NLPCA can explain more variance than a neural network PCA (NN PCA) in lower dimensions. However, as a result of increasing the dimension, the NLPCA approximation will eventually loss its advantage. Finally, we introduce a new combination of NN PCA and NLPCA, and analyze and compare its performance.
Show less  Date Issued
 2007
 Identifier
 FSU_migr_etd0704
 Format
 Thesis
 Title
 Computational Aeroacoustics Cascade Model of Fan Noise.
 Creator

Lepoudre, Philip P., Tam, Christopher, Shih, Chiang, Gallivan, Kyle, Hussaini, Yousuff, Wang, Xiaoming, Department of Mathematics, Florida State University
 Abstract/Description

A Computational Aeroacoustics [CAA] cascade model has been built to study the generation and propagation mechanisms of noise resulting from the interaction of the fan and outlet guide vanes in a highbypass ratio turbofan engine. Also called rotorstator interaction noise, this noise source is a dominant contributor to the total tone and broadband noise levels produced by the engine, and therefore an improved understanding of the noise generation processes will assist in developing successful...
Show moreA Computational Aeroacoustics [CAA] cascade model has been built to study the generation and propagation mechanisms of noise resulting from the interaction of the fan and outlet guide vanes in a highbypass ratio turbofan engine. Also called rotorstator interaction noise, this noise source is a dominant contributor to the total tone and broadband noise levels produced by the engine, and therefore an improved understanding of the noise generation processes will assist in developing successful noise reduction strategies. The CAA cascade model directly solves the nonlinear compressible NavierStokes equations on a twodimensional linear cascade representation of the fan blade rows. The model incorporates real blade geometry and the rotor and stator blade rows are joined together with a sliding interface method. The fullycoupled aerodynamic flow and acoustic field are directly captured in one high resolution simulation, and therefore the noise production and propagation mechanisms can be visualized and measured in detail. The model includes the fullycoupled physics of the nonlinear sound generation and propagation in swirling wake flow, as well as the transmission and reflection of sound through the blade rows. Previous models of rotorstator interaction noise have typically involved some level of decoupling between the blade rows in order to simplify the noise problem. Stateoftheart CAA methodology is used to produce a high quality numerical solution with minimal dissipation and dispersion of supported waves. The multisizemesh multitimestep Dispersion Relation Preserving [DRP] scheme is used for efficient computation of the wide range of length and time scales in the problem. A conformal mapping technique is used to generate bodyfitted grids around the blade shapes, which are overset on a background grid to create the blade rows. An optimized interpolation scheme is employed for data transfer between the overset grids and also to create the sliding interface between the moving rotorfixed grid and stationary statorfixed grid. A completely new computer program was built for efficient implementation of the cascade model on parallel computers using Message Passing Interface [MPI], and the code was shown to have good parallel performance. The program is a general purpose solver for CAA calculations involving complex flow and geometry, and is a valuable resource for future research. A representative rotorstator cascade with three rotor blades and five stator blades was constructed using real fan and outlet guide vane crosssectional shapes from the NASA Glenn 22in. model fan. A fully developed flow was obtained through the blade rows at the approach condition of the model fan. The performance of the sliding interface method was analyzed by comparing the solution on the rotorfixed and statorfixed grids at the coincident sliding interface mesh line, and the error in grid transfer interpolation was found to be comparable to the low error levels of the underlying DRP scheme. The simulation was used to produce animations of pressure and Mach contour, which provided a wealth of visual information about the flow field and noise generation and propagation behaviour in the cascade. The ability of the CAA cascade model to produce a high fidelity picture of the interaction noise has been demonstrated. In addition, the velocity and pressure fields were measured at various axial locations in the domain to quantify the mean and fluctuating components of the swirling wake flow between the blade rows and after the stator. The tone noise results were compared with interaction tone linear theory. The theory predicted the existence of a small number of propagating spinning wave modes at harmonics of rotor blade passing frequency [BPF]. In particular, the dominant interaction tone at BPF, labelled , was predicted to have two wave fronts in the circumferential domain period and to spin counter to the direction of the rotor. This interaction tone was clearly visible in animations of the pressure contour as an intense shock wave moving at an oblique spiral angle between the blade rows and after the stator. The wave shape was measured using a moving average, and the high amplitude waveform showed characteristic nonlinear steepening, which calls into question the common assumption that the interaction tones can be adequately represented by single linear wave modes. The spinning modes in the solution were measured at various axial locations using a joint temporalspatial modal decomposition of the fluctuating pressure field, and very good agreement was observed with the modal content predicted by linear theory. The relationship of the mode spiral angle to blade stagger angle and the phase velocity of the spinning modes were shown to govern the transmission and reflection behaviour of the modes through the blade rows. The mode was reflected and frequency shifted by the rotor, and the reflected mode propagated through the stator blade row to the outlet. Only corotating modes were able to propagate through the rotor to the inlet, and hence the sound levels in the inlet were significantly lower than in the outlet. This behaviour is in good agreement with the trends observed in experimental studies of fan noise. The unsteady flow and surface pressure fluctuations around a stator blade were also measured. Spectral analysis of the surface pressure fluctuations revealed the highest sound pressure levels occurred near the blade leading edge and on the upper blade surface near the trailing edge. The sound source mechanisms on the stator blade are related to the fluctuating loading on the blade as it cuts through the rotor wake profile and experiences significant variation in the local angle of attack.
Show less  Date Issued
 2011
 Identifier
 FSU_migr_etd3115
 Format
 Thesis
 Title
 A Computational Study of Ion Conductance in the KcsA K⁺ Channel Using a NernstPlanck Model with Explicit Resident Ions.
 Creator

Jung, Yong Woon, Mascagni, Michael A., Huﬀer, Fred, Bowers, Philip, Klassen, Eric, Cogan, Nick, Department of Mathematics, Florida State University
 Abstract/Description

In this dissertation, we describe the biophysical mechanisms underlying the relationship between the structure and function of the KcsA K+ channel. Because of the conciseness of electrodiffusion theory and the computational advantages of a continuum approach, NernstPlanck (NP) type models such as the GoldmanHodgkinKatz (GHK) and PoissonNernstPlanck (PNP) models have been used to describe currents in ion channels. However, the standard PNP (SPNP) model is known to be inapplicable to...
Show moreIn this dissertation, we describe the biophysical mechanisms underlying the relationship between the structure and function of the KcsA K+ channel. Because of the conciseness of electrodiffusion theory and the computational advantages of a continuum approach, NernstPlanck (NP) type models such as the GoldmanHodgkinKatz (GHK) and PoissonNernstPlanck (PNP) models have been used to describe currents in ion channels. However, the standard PNP (SPNP) model is known to be inapplicable to narrow ion channels because it cannot handle discrete ion properties. To overcome this weakness, we formulated the explicit resident ions NernstPlanck (ERINP) model, which applies a local explicit model where the continuum model fails. Then we tested the effects of the ERI Coulomb potential, the ERI induced potential, and the ERI dielectric constant for ion conductance were tested in the ERINP model. Using the currentvoltage (IV ) and currentconcentration (IC) relationships determined from the ERINP model, we discovered biologically significant information that is unobtainable from the traditional continuum model. The mathematical analysis of the K+ ion dynamics revealed a tight structurefunction system with a shallow well, a deep well, and two K+ ions resident in the selectivity filter. We also demonstrated that the ERINP model not only reproduced the experimental results with a realistic set of parameters, it also reduced CPU costs.
Show less  Date Issued
 2010
 Identifier
 FSU_migr_etd3741
 Format
 Thesis
 Title
 Conformal Tilings and Type.
 Creator

Mayhook, Dane, Bowers, Philip L., Riley, Mark A., Heil, Wolfgang H., Klassen, E. (Eric), Florida State University, College of Arts and Sciences, Department of Mathematics
 Abstract/Description

This paper examines a class of geometric tilings known as conformal tilings, first introduced by Bowers and Stephenson in a 1997 paper, and later developed in a series of papers by the same authors. These tilings carry a prescribed conformal structure in that the tiles are all conformally regular, and admit a reflective structure. Conformal tilings are essentially uniquely determined by their combinatorial structure, which we encode as a planar polygonal complex. It is natural to consider not...
Show moreThis paper examines a class of geometric tilings known as conformal tilings, first introduced by Bowers and Stephenson in a 1997 paper, and later developed in a series of papers by the same authors. These tilings carry a prescribed conformal structure in that the tiles are all conformally regular, and admit a reflective structure. Conformal tilings are essentially uniquely determined by their combinatorial structure, which we encode as a planar polygonal complex. It is natural to consider not just a single planar polygonal complex, but its entire local isomorphism class. We present a case study on the local isomorphism class of the discrete hyperbolic plane complex, ultimately providing a constructive description of each of its uncountably many members. Conformal tilings may tile either the complex plane or the Poincaré disk, and answering the type problem motivates the remainder of the paper. Subdivision operators are used to repeatedly subdivide and amalgamate tilings, and Bowers and Stephenson prove that when a conformal tiling admits a combinatorial hierarchy manifested by an expansive, conformal subdivision operator, then that tiling is parabolic and tiles the plane. We introduce a new notion of hierarchya fractal hierarchyand generalize their result in some cases by showing that conformal tilings which admit a combinatorial hierarchy manifested by an expansive, fractal subdivision operator are also parabolic and tile the plane, assuming that two generic conditions for conformal tilings are true. This then answers the problem for certain expansion complexes, showing that expansion complexes for appropriate rotationally symmetric subdivision operators are necessarily parabolic.
Show less  Date Issued
 2016
 Identifier
 FSU_2016SU_Mayhook_fsu_0071E_13406
 Format
 Thesis
 Title
 Constant Proportions Portfolio Strategies in an Evolutionary Context under a Dividend Factor Model.
 Creator

Mavroudis, Konstantinos, Nolder, Craig, Schlagenhauf, Don, Beaumont, Paul, Case, Bettye Anne, Kercheval, Alec, Sumners, De Witt, Department of Mathematics, Florida State University
 Abstract/Description

In this dissertation we explore the impact of various constantproportions investment strategies in an economic evolutionary market. Dividends are generated according to a new Dividend Factor Model. Furthermore, Dividends were estimated and calibrated from data using Principal Component Analysis and Factor Analysis. Moreover, we perform simulations to study the longrun outcome of an evolutionary competition with several well diversified constantproportions strategies, among them some...
Show moreIn this dissertation we explore the impact of various constantproportions investment strategies in an economic evolutionary market. Dividends are generated according to a new Dividend Factor Model. Furthermore, Dividends were estimated and calibrated from data using Principal Component Analysis and Factor Analysis. Moreover, we perform simulations to study the longrun outcome of an evolutionary competition with several well diversified constantproportions strategies, among them some innovative strategies. We present and compare a variety of simulations with dividends being artificially generated according to the many different versions of our model. Our simulation results are important for both theoretical and practical reasons. In theoretical terms we have a model where, although the true rational strategy is the only probable dominant strategy, it is also possible for some "behavioral" rules to perform better under specific circumstances. In practical terms we suggest new constantproportions strategies that could be superior for investors at least in the short run.
Show less  Date Issued
 2008
 Identifier
 FSU_migr_etd2654
 Format
 Thesis
 Title
 Constructing NonTrivial Elements of the ShafarevichTate Group of an Abelian Variety.
 Creator

Biswas, Saikat, Agashe, Amod, Aggarwal, Sudhir, Hironaka, Eriko, Van Hoeij, Mark, Aldrovandi, Ettore, Department of Mathematics, Florida State University
 Abstract/Description

The ShafarevichTate group of an elliptic curve is an important invariant of the curve whose conjectural finiteness can sometimes be used to determine the rank of the curve. The second part of the Birch and SwinnertonDyer (BSD) conjecture gives a conjectural formula for the order of the ShafarevichTate group of a elliptic curve in terms of other computable invariants of the curve. Cremona and Mazur initiated a theory that can often be used to verify the BSD conjecture by constructing non...
Show moreThe ShafarevichTate group of an elliptic curve is an important invariant of the curve whose conjectural finiteness can sometimes be used to determine the rank of the curve. The second part of the Birch and SwinnertonDyer (BSD) conjecture gives a conjectural formula for the order of the ShafarevichTate group of a elliptic curve in terms of other computable invariants of the curve. Cremona and Mazur initiated a theory that can often be used to verify the BSD conjecture by constructing nontrivial elements of the ShafarevichTate group of an elliptic curve by means of the MordellWeil group of an ambient curve. In this thesis, we extract a general theorem out of Cremona and Mazur's work and give precise conditions under which such a construction can be made. We then give an extension of our result which provides new theoretical evidence for the BSD conjecture. Finally, we prove a theorem that gives an alternative method to potentially construct nontrivial elements of the ShafarevichTate group of an elliptic curve by using the component groups of a second curve.
Show less  Date Issued
 2011
 Identifier
 FSU_migr_etd3717
 Format
 Thesis
 Title
 Construction and Implementation of a BenchTop Aquaponic System as a Context for Teaching Science in Secondary Schools.
 Creator

Fernandez, Sofia, Goldsby, Kenneth A., Department of Biological Science
 Abstract/Description

Aquaponics is an integrated biological system that essentially combines a soilless garden with an aquarium. It is important because it uses less water than commercial farming, is ecofriendly, and provides a local source of food for its practitioners. Aquaponics is also important because of its capacity to serve as an authentic teaching tool in science classrooms. This thesis is divided into three components. First we will describe the construction and implementation of our Benchtop...
Show moreAquaponics is an integrated biological system that essentially combines a soilless garden with an aquarium. It is important because it uses less water than commercial farming, is ecofriendly, and provides a local source of food for its practitioners. Aquaponics is also important because of its capacity to serve as an authentic teaching tool in science classrooms. This thesis is divided into three components. First we will describe the construction and implementation of our Benchtop Aquaponics System (BAS). Next, the results of an experiment that compares two methods of establishing bacteria–culture in a fishless system will be presented. Finally, the potential for use of the BAS in STEM classrooms will be discussed. The goals of this project are to (1) create an Aquaponics system that has a small ecological footprint and not take up too much room in the classroom, (2) further the current body of research on applied aquaponic systems, and (3) provide a pedagogical tool that involves students in building equipment and solving authentic problems as a gateway for learning. The BAS is assembled in 3 separate compartments, a plant tray, an aquarium, and a bacteria reservoir, with PVC piping connecting the three. It is designed around a wooden frame that is smaller than 18 ft3. This design allows for students (and teachers) to easily access and see the different compartments of the system. Many of the problems we encountered came from plumping issues related to the fountain pump or the bell siphon; these were solved using applied physics principles. Other problems we faced, including biological were solved using more consistent testing and chemical reagents to stabilize our BAS. We learned ultimately that time is the key component in establishing a bacteria colony in any aquaponic system. We also learned that establishing bacteria is the most important step in setting up a successful aquaponic system whether on a large or miniaturized scale. Some aspects of this project that need further investigation include the importance of changing out the water of the system, whether dissolved oxygen is necessary for bacteria, and how/why consistently adding bacteria may stunt the ability of a bacteria colony to form. Conclusively we have found that it is not only possible to establish such an aquaponic system that is built by students, but it is also possible to maintain it. Further research is needed to estimate the Benchtop Aquaponic System's teaching potential within STEM classrooms.
Show less  Date Issued
 2015
 Identifier
 FSU_migr_uhm0507
 Format
 Thesis
 Title
 Contour Modeling by Multiple Linear Regression of the Nineteen Piano Sonatas by Mozart.
 Creator

Beard, R. Daniel, Clendinning, Jane Piper, Song, KaiSheng, Mathes, James R., Spencer, Peter, College of Music, Florida State University
 Abstract/Description

Theories of musical contour can be described as the study of the change in one musical parameter as a function of another. In my dissertation, contour theories proposed by Robert Morris, Michael Friedmann, Elizabeth Marvin, Paul Laprade, Ian Quinn, Robert John Clifford, Larry Polansky and Richard Bassein are reviewed. In general, these authors approach changes in pitch as a function of time. A commonality between these theories was shown to be the use of a system of pitch level identification...
Show moreTheories of musical contour can be described as the study of the change in one musical parameter as a function of another. In my dissertation, contour theories proposed by Robert Morris, Michael Friedmann, Elizabeth Marvin, Paul Laprade, Ian Quinn, Robert John Clifford, Larry Polansky and Richard Bassein are reviewed. In general, these authors approach changes in pitch as a function of time. A commonality between these theories was shown to be the use of a system of pitch level identification based on the relative highness or lowness of the pitches, not based on actual pitch frequencies or pitch intervals in the melody. Additionally, these theories did not account for rhythmic or durational elements of the pitches as they are articulated in time. Music perception studies were cited that indicated that contour can play an important role in the recognition and memory of a melody, and that pitch interval and rhythmic components are vital elements in music understanding. Because these contour theories lacked the important musical elements of pitch and rhythm, an analytical method for the study of musical contour that incorporates both of these in its model of a melody is developed. This analytical method uses the mathematical technique of multiple linear regression to develop a model of the melody that can be graphed as representative of the contour of the actual melody. This method was used to analyze the first themes from the first movements of the nineteen piano sonatas composed by Mozart. Using regression modeling, the sonata melodies were categorized into two melody types: Type MD and Type LB. Analytical methods proposed by other theorists were then used to analyze selected melodies, and a comparison between the multiple linear regression model and these results was made.
Show less  Date Issued
 2003
 Identifier
 FSU_migr_etd1173
 Format
 Thesis
 Title
 Deterministic and Stochastic Aspects of Data Assimilation.
 Creator

Akella, Santharam, Navon, Ionel Michael, O'Brien, James J., Erlebacher, Gordon, Wang, Qi, Sussman, Mark, Department of Mathematics, Florida State University
 Abstract/Description

The principles of optimal control of distributed parameter systems are used to derive a powerful class of numerical methods for solutions of inverse problems, called data assimilation (DA) methods. Using these DA methods one can efficiently estimate the state of a system and its evolution. This information is very crucial for achieving more accurate long term forecasts of complex systems, for instance, the atmosphere. DA methods achieve their goal of optimal estimation via combination of all...
Show moreThe principles of optimal control of distributed parameter systems are used to derive a powerful class of numerical methods for solutions of inverse problems, called data assimilation (DA) methods. Using these DA methods one can efficiently estimate the state of a system and its evolution. This information is very crucial for achieving more accurate long term forecasts of complex systems, for instance, the atmosphere. DA methods achieve their goal of optimal estimation via combination of all available information in the form of measurements of the state of the system and a dynamical model which describes the evolution of the system. In this dissertation work, we study the impact of new nonlinear numerical models on DA. High resolution advection schemes have been developed and studied to model propagation of flows involving sharp fronts and shocks. The impact of high resolution advection schemes in the framework of inverse problem solution/ DA has been studied only in the context of linear models. A detailed study of the impact of various slope limiters and the piecewise parabolic method (PPM) on DA is the subject of this work. In 1D we use a nonlinear viscous Burgers equation and in 2D a global nonlinear shallow water model has been used. The results obtained show that using the various advection schemes consistently improves variational data assimilation (VDA) in the strong constraint form, which does not include model error. However, the cost functional included efficient and physically meaningful construction of the background cost functional term, J_b, using balance and diffusion equation based correlation operators. This was then followed by an indepth study of various approaches to model the systematic component of model error in the framework of a weak constraint VDA. Three simple forms, decreasing, invariant, and exponentially increasing in time forms of evolution of model error were tested. The inclusion of model error provides a substantial reduction in forecasting errors, in particular the exponentially increasing form in conjunction with the piecewise parabolic high resolution advection scheme was found to provide the best results. Results obtained in this work can be used to formulate sophisticated forms of model errors, and could lead to implementation of new VDA methods using numerical weather prediction models which involve high resolution advection schemes such as the van Leer slope limiters and the PPM.
Show less  Date Issued
 2006
 Identifier
 FSU_migr_etd0145
 Format
 Thesis
 Title
 The development and testing of a teachtest instrument for prediction of success in college freshman mathematics.
 Creator

Smith, Joe Kelly, Heimer, Ralph T., Florida State University
 Abstract/Description

"The purpose of this research is the development and testing of an instrument to be used in prediction of success in college freshman mathematics courses"Introduction.
 Date Issued
 1967
 Identifier
 FSU_ahm6748
 Format
 Thesis
 Title
 Diffuse Interface Method for TwoPhase Incompressible Flows.
 Creator

Han, Daozhi, Wang, Xiaoming, Höflich, Peter, Gallivan, Kyle A., Kopriva, David A., Oberlin, Daniel M., Sussman, Mark, Florida State University, College of Arts and Sciences,...
Show moreHan, Daozhi, Wang, Xiaoming, Höflich, Peter, Gallivan, Kyle A., Kopriva, David A., Oberlin, Daniel M., Sussman, Mark, Florida State University, College of Arts and Sciences, Department of Mathematics
Show less  Abstract/Description

In this contribution, we focus on the study of multiphase flow using the phase field approach. Multiphase flow phenomena are ubiquitous. Common examples include coupled atmosphere and ocean system (air and water), oil reservoir (water, oil and gas), cloud and fog (water vapor, water and air). Multiphase flows also play an important role in many engineering and environmental science applications. For two fluids with matched density, the CahnHilliardNavierStokes system (CHNS) is a well...
Show moreIn this contribution, we focus on the study of multiphase flow using the phase field approach. Multiphase flow phenomena are ubiquitous. Common examples include coupled atmosphere and ocean system (air and water), oil reservoir (water, oil and gas), cloud and fog (water vapor, water and air). Multiphase flows also play an important role in many engineering and environmental science applications. For two fluids with matched density, the CahnHilliardNavierStokes system (CHNS) is a well accepted phase field model. We propose a novel second order in time numerical scheme for solving the CHNS system. The scheme is based on a second order convexsplitting for the CahnHilliard equation and pressureprojection for the NavierStokes equation. We show that the scheme is massconservative, satisfies a modified energy law and is therefore unconditionally stable. Moreover, we prove that the scheme is unconditionally uniquely solvable at each time step by exploring the monotonicity associated with the scheme. Thanks to the simple coupling of the scheme, we design an efficient Picard iteration procedure to further decouple the computation of CahnHilliard equation and NavierStokes equation. We implement the scheme by the mixed finite element method. Ample numerical experiments are performed to validate the accuracy and efficiency of the numerical scheme. In addition, we propose a novel decoupled unconditionally stable numerical scheme for the simulation of twophase flow in a HeleShaw cell which is governed by the CahnHilliardHeleShaw system (CHHS). The temporal discretization of the CahnHilliard equation is based on a convexsplitting of the associated energy functional. Moreover, the capillary forcing term in the Darcy equation is separated from the pressure gradient at the time discrete level by using an operatorsplitting strategy. Thus the computation of the nonlinear CahnHilliard equation is completely decoupled from the update of pressure. Finally, a pressurestabilization technique is used in the update of pressure so that at each time step one only needs to solve a Poisson equation with constant coefficient. We show that the scheme is unconditionally stable. Numerical results are presented to demonstrate the accuracy and efficiency of our scheme. The CHNS system and CHHS system are two widely used phase field models for twophase flow in a single domain (either conduit or HeleShaw cell/porous media). There are applications such as flows in unconfined karst aquifers, karst oil reservoir, proton membrane exchange fuel cell, where multiphase flows in conduits and in porous media must be considered together. Geometric configurations that contain both conduit (or vug) and porous media are termed karstic geometry. We present a family of phase field (diffusive interface) models for two phase flow in karstic geometry. These models, the socalled CahnHilliardStokesDarcy system, together with the associated interface boundary conditions are derived by utilizing Onsager's extremum principle. The models derived enjoy physically important energy laws and are consistent with thermodynamics. For the analysis of the CahnHilliardStokesDarcy system, we show that there exists at least a global in time finite energy solution by the compactness argument. A weakstrong uniqueness result is also established, which says that the strong solution, if exists, is unique in the class of weak solutions. Finally, we propose and analyze two unconditionally stable numerical algorithms of first order and second order respectively, for solving the CHSD system. A decoupled numerical procedure for practical implementation of the schemes are also presented. The decoupling is realized through explicit discretization of the velocity in the CahnHilliard equation and extrapolation in time of the interface boundary conditions. At each time step, one only needs to solve a CahnHilliard type equation in the whole domain, a Darcy equation in porous medium, and a Stokes equation in conduit in a separate and sequential fashion. Two numerical experiments, boundary driven and buoyancy driven flows, are performed to illustrate the effectiveness of our scheme. Both numerical simulations are of physical interest for transport processes of twophase flow in karst geometry.
Show less  Date Issued
 2015
 Identifier
 FSU_migr_etd9609
 Format
 Thesis
 Title
 Dirac Operators, Multipliers and H[superscript P] Spaces of Monogenic Functions.
 Creator

Wang, Guanghou, Nolder, Craig, Hawkes, Lois, Case, Bettye, Hironaka, Eriko, Quine, Jack, Seppälä, Mika, Department of Mathematics, Florida State University
 Abstract/Description

We have done a few things under Clifford algebra settings. Firstly, one Caccioppoli type estimate is derived for solutions of $A$Dirac equations in the form $DA(x,Du) = 0$, where $D$ is the Dirac operator. This kind of $A$Dirac equations are generalizations of elliptic equations of $A$harmonic type, i.e. div$A(x,\nabla u)=0.$ Secondly, the multiplier theory from Fourier analysis is generalized to Clifford analysis. After the multipliers of operators $\mathcal{D}$, $T$ and $ \Pi$ are...
Show moreWe have done a few things under Clifford algebra settings. Firstly, one Caccioppoli type estimate is derived for solutions of $A$Dirac equations in the form $DA(x,Du) = 0$, where $D$ is the Dirac operator. This kind of $A$Dirac equations are generalizations of elliptic equations of $A$harmonic type, i.e. div$A(x,\nabla u)=0.$ Secondly, the multiplier theory from Fourier analysis is generalized to Clifford analysis. After the multipliers of operators $\mathcal{D}$, $T$ and $ \Pi$ are identified, some related properties will be very easy to achieve, including two integral representation theorems, also the iterations of operators $\mathcal{D}$ and $\Delta$ are also discussed. Thirdly, one Carleson measure theorem is achieved for monogenic Hardy spaces on the unit ball in $R^{n+1}$, as well as one Clifford Riesz representation theorem. Furthermore, one bounded theorem about certain inhomogeneous Dirac equations is established with the help of spherical monogenic functions theory.
Show less  Date Issued
 2012
 Identifier
 FSU_migr_etd5259
 Format
 Thesis
 Title
 Dirichlet's Theorem and Analytic Number Theory.
 Creator

Frey, Thomas W., Department of Mathematics
 Abstract/Description

In 1837 Dirichlet proved the infinitude of primes in all arithmetic coprime sequences. This was done by look at Dirichlet Lfunctions, Dirichlet series, Dirichlet characters (modulo k), and Euler Products. In this thesis, the necessary facts, theorems, and properties are shown in order to prove Dirichlet's Theorem, concluding with a proof of Dirichlet's Theorem.
 Date Issued
 2015
 Identifier
 FSU_migr_uhm0560
 Format
 Thesis
 Title
 Discontinuous Galerkin Spectral Element Approximations for the Reflection and Transmission of Waves from Moving Material Interfaces.
 Creator

Winters, Andrew R., Kopriva, David, Piekarewicz, Jorge, Hussaini, M. Yousuff, Gallivan, Kyle, Cogan, Nick, Case, Bettye Anne, Department of Mathematics, Florida State University
 Abstract/Description

This dissertation develops and evaluates a computationally efficient and highorder numerical method to compute wave reflection and transmission from moving material boundaries. We use a discontinuous Galerkin spectral element approximation with an arbitrary LagrangianEulerian mapping and derive the exact upwind numerical fluxes to model the physics of wave reflection and transmission at jumps in material properties. Spectral accuracy is obtained by placing moving material interfaces at...
Show moreThis dissertation develops and evaluates a computationally efficient and highorder numerical method to compute wave reflection and transmission from moving material boundaries. We use a discontinuous Galerkin spectral element approximation with an arbitrary LagrangianEulerian mapping and derive the exact upwind numerical fluxes to model the physics of wave reflection and transmission at jumps in material properties. Spectral accuracy is obtained by placing moving material interfaces at element boundaries and solving the appropriate Riemann problem. We also derive and evaluate an explicit local time stepping (LTS) integration for the DGSEM on moving meshes. The LTS procedure is derived from AdamsBashforth multirate time integration methods. We present speedup and memory estimates, which show that the explicit LTS integration scales well with problem size. The LTS time integrator is also highly parallelizable. The manuscript also gathers, derives and analyzes several analytical solutions for the problem of wave reflection and transmission from a plane moving material interface. We present timestep refinement studies and numerical examples to show the approximations for wave reflection and transmission at dielectric and acoustic interfaces are spectrally accurate in space and have design temporal accuracy. The numerical tests also validate theoretical estimates that the LTS procedure can reduce computational cost by as much as an order of magnitude for time accurate problems. Finally, we investigate the parallel speedup of the LTS integrator and compare it to a standard, lowstorage RungeKutta method.
Show less  Date Issued
 2014
 Identifier
 FSU_migr_etd8916
 Format
 Thesis
 Title
 Discontinuous Galerkin Spectral Element Approximations on Moving Meshes for Wave Scattering from Reflective Moving Boundaries.
 Creator

AcostaMinoli, Cesar Augusto, Kopriva, David, Srivastava, Anuj, Hussaini, M. Yousuﬀ, Sussman, Mark, Ewald, Brian, Department of Mathematics, Florida State University
 Abstract/Description

This dissertation develops and evaluates a high order method to compute wave scattering from moving boundaries. Specifically, we derive and evaluate a Discontinuous Galerkin Spectral elements method (DGSEM) with Arbitrary Lagrangian Eulerian (ALE) mapping to compute conservation laws on moving meshes and numerical boundary conditions for Maxwell's equations, the linear Euler equations and the nonlinear Euler gasdynamics equations to calculate the numerical flux on reflective moving...
Show moreThis dissertation develops and evaluates a high order method to compute wave scattering from moving boundaries. Specifically, we derive and evaluate a Discontinuous Galerkin Spectral elements method (DGSEM) with Arbitrary Lagrangian Eulerian (ALE) mapping to compute conservation laws on moving meshes and numerical boundary conditions for Maxwell's equations, the linear Euler equations and the nonlinear Euler gasdynamics equations to calculate the numerical flux on reflective moving boundaries. We use one of a family of explicit time integrators such as AdamsBashforth or low storage explicit RungeKutta. The approximations preserve the discrete metric identities and the Discrete Geometric Conservation Law (DGCL) by construction. We present timestep refinement studies with moving meshes to validate the moving mesh approximations. The test problems include propagation of an electromagnetic gaussian plane wave, a cylindrical pressure wave propagating in a subsonic flow, and a vortex convecting in a uniform inviscid subsonic flow. Each problem is computed on a timedeforming mesh with three methods used to calculate the mesh velocities: From exact differentiation, from the integration of an acceleration equation, and from numerical differentiation of the mesh position. In addition, we also present four numerical examples using Maxwell's equations, one example using the linear Euler equations and one more example using nonlinear Euler equations to validate these approximations. These are: reflection of light from a constantly moving mirror, reflection of light from a constantly moving cylinder, reflection of light from a vibrating mirror, reflection of sound in linear acoustics and dipole sound generation by an oscillating cylinder in an inviscid flow.
Show less  Date Issued
 2011
 Identifier
 FSU_migr_etd0111
 Format
 Thesis
 Title
 Discrete Frenet Frame with Application to Structural Biology and Kinematics.
 Creator

Lu, Yuanting, Quine, John R., Huffer, Fred W., Bertram, Richard, Cross, Timothy A., Cogan, Nick, Department of Mathematics, Florida State University
 Abstract/Description

The classical Frenet frame is a moving frame on a smooth curve. Connecting a sequence of points in space by line segments makes a discrete curve. The reference frame consisting of tangent, normal and binormal vectors at each point is defined as discrete Frenet frame (DFF). The DFF is useful in studying shapes of long molecules such as proteins. In this dissertation, we provide a solid mathematics foundation for DFF by showing the limit of the Frenet formula for DFF is the classical Frenet...
Show moreThe classical Frenet frame is a moving frame on a smooth curve. Connecting a sequence of points in space by line segments makes a discrete curve. The reference frame consisting of tangent, normal and binormal vectors at each point is defined as discrete Frenet frame (DFF). The DFF is useful in studying shapes of long molecules such as proteins. In this dissertation, we provide a solid mathematics foundation for DFF by showing the limit of the Frenet formula for DFF is the classical Frenet formula. As part of a survey of various ways to compute rigid body motion, we show the DenavitHartenberg (DH) conventions in robotics are a special case of the DFFs. Finally, we apply DFF to solve the kink angle problem in protein alpha helical structure using data from NMR experiments.
Show less  Date Issued
 2013
 Identifier
 FSU_migr_etd7477
 Format
 Thesis
 Title
 Distance spaces.
 Creator

Willcox, Herbert S., Griffith, H. C., Florida State University
 Abstract/Description

"The purpose of this paper is to record the results of a study of an abstract set upon which a distance function, having certain properties, has been defined. It is assumed that the reader is familiar with the fundamental concepts of set theory"Introduction.
 Date Issued
 1959
 Identifier
 FSU_historic_AKP2815
 Format
 Thesis