Mathematics Commons^™

Bifurcations And Parametric Representations Of Traveling Wave Solutions For The Green--Naghdi Equations, Shengqiang Tang, Libing Zeng, Dahe Feng

Turkish Journal of Mathematics

By using the bifurcation theory of dynamical systems to study the dynamical behavior of the Green--Naghdi equations, the existence of solitary wave solutions along with smooth periodic traveling wave solutions is obtained. Under different regions of parametric spaces, various sufficient conditions to guarantee the existence of the above solutions are given. Some exact and explicit parametric representations of traveling wave solutions are constructed.

Complemented Invariant Subspaces Of Structural Matrix Algebras, Mustafa Akkurt, Emi̇ra Akkurt, George Phillip Barker

Turkish Journal of Mathematics

In this paper, we explore when the lattice of invariant subspaces of a structural matrix algebra can be complemented. We give several equivalent conditions for this lattice to be a Boolean algebra.

Magnetic Field-Induced Stability Of A Specific Configuration And The Asymptotic Behavior Of Minimizers In Nematic Liquid Crystals, Junichi Aramaki

Turkish Journal of Mathematics

We consider the stability of a specific nematic liquid crystal configuration under an applied magnetic field. We impose the strong anchoring condition, and we allow the boundary data to be nonconstant and also the applied field to be nonconstant. Thus, we shall extend the results of Lin and Pan in 2007. We show that for some specific configuration there exist 2 critical values H_n and H_{sh} of applied magnetic field. When the intensity of the magnetic field is smaller than H_n, the configuration of the energy is only a global minimizer, when the intensity is between H_n and H_{sh}, the …

Semi-Slant And Bi-Slant Submanifolds Of Almost Contact Metric 3-Structure Manifolds, Fereshteh Malek, Mohammad Bagher Kazemi Balgeshir

Turkish Journal of Mathematics

In this paper we introduce the notions of semi-slant and bi-slant submanifolds of an almost contact 3-structure manifold. We give some examples and characterization theorems about these submanifolds. Moreover, the distributions of semi-slant submanifolds of 3-cosymplectic and 3-Sasakian manifolds are studied.

On Nearly Kenmotsu Manifolds, Behzad Najafi, Niloufar Hosseinpour Kashani

Turkish Journal of Mathematics

We prove that on a nearly Kenmotsu manifold a second-order symmetric closed recurrent tensor is a multiple of the associated metric tensor. We then find the necessary condition under which a vector field on a nearly Kenmotsu manifold will be a strict contact or Killing vector field. Finally, we prove that every \phi-recurrent nearly Kenmotsu manifold is an Einstein manifold and every locally \phi-recurrent nearly Kenmotsu manifold is a manifold of constant curvature -1 .

Can One Hear...? An Exploration Into Inverse Eigenvalue Problems Related To Musical Instruments, Christine Adams

Electronic Theses and Dissertations

The central theme of this thesis deals with problems related to the question, “Can one hear the shape of a drum?” first posed formally by Mark Kac in 1966. More precisely, can one determine the shape of a membrane with fixed boundary from the spectrum of the associated differential operator? For this paper, Kac received both the Lester Ford Award and the Chauvant Prize of the Mathematical Association of America. This problem has received a great deal of attention in the past forty years and has led to similar questions in completely different contexts such as “Can one hear the …

Dynamical Invariants And The Fluid Impulse In Plasma Models, Martin Michalak

Electronic Theses and Dissertations

Much progress has been made in understanding of plasmas through the use of the MHD equations and newer models such as Hall MHD and electron MHD. As with most equations of fluid behavior, these equations are nonlinear, and no general solutions can be found. The use of invariant structures allows limited predictions of fluid behavior without requiring a full solution of the underlying equations. The use of gauge transformation can allow the creation of new invariants, while differential geometry offers useful tools for constructing additional invariants from those that are already known. Using these techniques, new geometric, integral and topological …

Creating A User Satisfaction Index From A Parsimonious Survey Instrument, Brian Barthel

All Graduate Theses, Dissertations, and Other Capstone Projects

In this paper we present a comprehensive method for creating a user satisfaction index using a survey instrument. First we construct a parsimonious survey instrument, using the PageRank Centrality, to measure attributes of user satisfaction. Then confirmatory factor analysis is applied to extract ``weights'' on the questions that are used in a linear model of computing the user satisfaction index. Throughout the paper an analysis of an existing data set is implemented to illustrate the proposed method. In addition the validity of the confirmatory factor model is tested using bootstrap sampling.

Epistemic Updates On Algebras, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

We develop the mathematical theory of epistemic updates with the tools of duality theory. We focus on the Logic of Epistemic Actions and Knowledge (EAK), introduced by Baltag-Moss-Solecki, without the common knowledge operator. We dually characterize the product update construction of EAK as a certain construction transforming the complex algebras associated with the given model into the complex algebra associated with the updated model. This dual characterization naturally generalizes to much wider classes of algebras, which include, but are not limited to, arbitrary BAOs and arbitrary modal expansions of Heyting algebras (HAOs). As an application of this dual characterization, we …

Dynamic Sequent Calculus For The Logic Of Epistemic Actions And Knowledge, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

"Dynamic Logics (DLs) form a large family of nonclassical logics, and perhaps the one enjoying the widest range of applications. Indeed, they are designed to formalize change caused by actions of diverse nature: updates on the memory state of a computer, displacements of moving robots in an environment, measurements in models of quantum physics, belief revisions, knowledge updates, etc. In each of these areas, DL-formulas express properties of the model encoding the present state of affairs, as well as the pre- and post-conditions of a given action. Actions are semantically represented as transformations of one model into another, encoding the …

Nominal Regular Expressions For Languages Over Infinite Alphabets, Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto

Engineering Faculty Articles and Research

We propose regular expressions to abstractly model and study properties of resource-aware computations. Inspired by nominal techniques – as those popular in process calculi – we extend classical regular expressions with names (to model computational resources) and suitable operators (for allocation, deallocation, scoping of, and freshness conditions on resources). We discuss classes of such nominal regular expressions, show how such expressions have natural interpretations in terms of languages over infinite alphabets, and give Kleene theorems to characterise their formal languages in terms of nominal automata.

Pressure Poisson Method For The Incompressible Navier-Stokes Equations Using Galerkin Finite Elements, John Cornthwaite

College of Graduate Studies: Theses & Dissertations

In this thesis we examine the Navier-Stokes equations (NSE) with the continuity equation replaced by a pressure Poisson equation (PPE). Appropriate boundary conditions are developed for the PPE, which allow for a fully decoupled numerical scheme to recover the pressure. The variational form of the NSE with PPE is derived and used in the Galerkin Finite Element discretization. The Galerkin finite element method is then used to solve the NSE with PPE. Moderate accuracy is shown.

Full Newton Step Interior Point Method For Linear Complementarity Problem Over Symmetric Cones, Andrii Berdnikov

College of Graduate Studies: Theses & Dissertations

In this thesis, we present a new Feasible Interior-Point Method (IPM) for Linear Complementarity Problem (LPC) over Symmetric Cones. The advantage of this method lies in that it uses full Newton-steps, thus, avoiding the calculation of the step size at each iteration. By suitable choice of parameters we prove the global convergence of iterates which always stay in the the central path neighborhood. A global convergence of the method is proved and an upper bound for the number of iterations necessary to find ε-approximate solution of the problem is presented.

Applications Of The Lopsided Lovász Local Lemma Regarding Hypergraphs, Austin Tyler Mohr

Theses and Dissertations

The Lovász local lemma is a powerful and well-studied probabilistic technique useful in establishing the possibility of simultaneously avoiding every event in some collection. A principle limitation of the lemma's application is that it requires most events to be independent of one another. The lopsided local lemma relaxes the requirement of independence to negative dependence, which is more general but also more difficult to identify. We will examine general classes of negative dependent events involving maximal matchings of uniform hypergraphs, partitions of sets, and spanning trees of complete graphs. The results on hypergraph matchings (together with the configuration model of …

Spectral Analysis Of Randomly Generated Networks With Prescribed Degree Sequences, Clifford Davis Gaddy

Theses and Dissertations

Network science attempts to capture real-world phenomenon through mathematical models. The underlying model of a network relies on a mathematical structure called a graph. Having seen its early beginnings in the 1950's, the field has seen a surge of interest over the last two decades, attracting interest from a range of scientists including computer scientists, sociologists, biologists, physicists, and mathematicians. The field requires a delicate interplay between real-world modeling and theory, as it must develop accurate probabilistic models and then study these models from a mathematical perspective. In my thesis, we undertake a project involving computer programming in which we …

Study On Covolume-Upwind Finite Volume Approximations For Linear Parabolic Partial Differential Equations, Rosalia Tatano

Theses and Dissertations

In this thesis we solve two-dimensional linear parabolic partial differential equations with pure Dirichelet boundary conditions, using the bilinear covolume-upwind finite volume method on rectangular grids to discretize the spatial variables and the Crank-Nicholson method for the time variable. These PDEs provide a model for problems from various fields of engineering and applied sciences, such as unsteady viscous flow problems, the simulation of oil extraction from underground reservoirs, transport of air and ground water pollutants and modeling of semiconductor devices. Finite volume method has the important advantage of allowing the conversion of integrations over the control volume to integrations over …

Coloring Pythagorean Triples And A Problem Concerning Cyclotomic Polynomials, Daniel White

Theses and Dissertations

One may easily show that there exist $O( \log n)$-colorings of $\{1,2, \ldots, n\}$ such that no Pythagorean triple with elements $\le n$ is monochromatic. In Chapter~\ref{CH:triples}, we investigate two analogous ideas. First, we find an asymptotic bound for the number of colors required to color $\{1,2,\ldots ,n\}$ so that every Pythagorean triple with elements $\le n$ is $3$-colored. Afterwards, we examine the case where we allow a vanishing proportion of Pythagorean triples with elements $\le n$ to fail to have this property.

Unrelated, in 1908, Schur raised the question of the irreducibility over $\Q$ of polynomials of the form …

Selected Research In Covering Systems Of The Integers And The Factorization Of Polynomials, Joshua Harrington

Theses and Dissertations

In 1960, Sierpi\'{n}ski proved that there exist infinitely many odd positive integers $k$ such that $k\cdot 2^n+1$ is composite for all positive integers $n$. Such integers are known as Sierpi\'{n}ski numbers. Letting $f(x)=ax^r+bx+c\in\mathbb{Z}[x]$, Chapter 2 of this document explores the existence of integers $k$ such that $f(k)2^n+d$ is composite for all positive integers $n$. Chapter 3 then looks into a polynomial variation of a similar question. In particular, Chapter~\ref{CH:FH} addresses the question, for what integers $d$ does there exist a polynomial $f(x)\in\mathbb{Z}[x]$ with $f(1)\neq -d$ such that $f(x)x^n+d$ is reducible for all positive integers $n$. The last two chapters of …

Analysis And Processing Of Irregularly Distributed Point Clouds, Kamala Hunt Diefenthaler

Theses and Dissertations

We address critical issues arising in the practical implementation of processing real point cloud data that exhibits irregularities. We develop an adaptive algorithm based on Learning Theory for processing point clouds from a stationary sensor that standard algorithms have difficulty approximating. Moreover, we build the theory of distribution-dependent subdivision schemes targeted at representing curves and surfaces with gaps in the data. The algorithms analyze aggregate quantities of the point cloud over subdomains and predict these quantities at the finer level from the ones at the coarser level.

Introduction To International Perspectives On Problem Solving Research In Mathematics Education, Luis Moreno Armella, Manuel Santos-Trigo

The Mathematics Enthusiast

Any field of research and innovation must be exposed to revisions, criticisms and to an intense scrutiny not only to discuss the state of the art but, hopefully, to identify prospective changes and new areas of study and exploration as well.