Mathematics Commons^™

Tool Support For Reasoning In Display Calculi, Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone. As an example, we implement the display calculus D.EAK of dynamic epistemic logic. Second, we provide embeddings of the calculus in the theorem prover Isabelle for formalising proofs about D.EAK. As a case study we show that the solution of the muddy children puzzle is derivable for any number of muddy children. Third, there is a set of meta-tools, …

Computing Closed Forms For The Convergent Series $\Displaystyle\Sum_{N \In \Mathbb{Z}}\Frac{1}{(N^3+Bn^2+Cn+D)^K}$, Gagandeep K. Virk

Theses and Dissertations (Comprehensive)

In this thesis we discuss the various approaches that will be taken to evaluate and find a finite closed form for the sum $$\sum_{n \in \mathbb{Z}} \frac{1}{(n^3+Bn^2+Cn+D)^k}$$ where $B, C, D \in \mathbb{C}$ and $k$ is a positive integer. We begin this thesis by studying the cubic equations and discussing briefly various methods of finding their roots. Cardano's method (1545) for finding the roots of cubic polynomials is explored in detail as this method is used in later parts of the thesis to make calculations while evaluating the sums. Various tools and techniques from Fourier analysis are reviewed for these …

A Continuous Tale On Continuous And Separately Continuous Functions, Krzysztof Ciesielski

Faculty & Staff Scholarship

Assume that you have developed a good set of tools allowing you to decide which real functions of one real variable, f : R → R, are continuous. (Q): How can such a tool-box be utilized to decide on the continuity of the functions g : R n → R of n real variables? This is one of the questions which must be faced by any student taking multivariable calculus. Of course, such a student is following the footsteps of many generations of mathematicians, which were, and still are, struggling with the same general question. The aim of this article …

Nongauge Bright Soliton Of The Nonlinear Schrodinger (Nls) Equation And A Family Of Generalized Nls Equations, M. A. Reyes, D. Gutierrez-Ruiz, S. C. Mancas, H. C. Rosu

Publications

We present an approach to the bright soliton solution of the nonlinear Schrödinger (NLS) equation from the standpoint of introducing a constant potential term in the equation. We discuss a “nongauge” bright soliton for which both the envelope and the phase depend only on the traveling variable. We also construct a family of generalized NLS equations with solitonic sechpsechp solutions in the traveling variable and find an exact equivalence with other nonlinear equations, such as the Korteveg–de Vries (KdV) and Benjamin–Bona–Mahony (BBM) equations when p=2.

Existence And Classification Of Nonoscillatory Solutions Of Two Dimensional Time Scale Systems, Özkan Özturk

Doctoral Dissertations

"During the past years, there has been an increasing interest in studying oscillation and nonoscillation criteria for dynamic equations and systems on time scales that harmonize the oscillation and nonoscillation theory for the continuous and discrete cases in order to combine them in one comprehensive theory and eliminate obscurity from both.

We not only classify nonoscillatory solutions of dynamic equations and systems on time scales but also guarantee the (non)existence of such solutions by using the Knaster fixed point theorem, Schauder - Tychonoff fixed point theorem, and Schauder fixed point theorem. The approach is based on the sign of nonoscillatory …

Boundary Control Of Parabolic Pde Using Adaptive Dynamic Programming, Behzad Talaei

Doctoral Dissertations

"In this dissertation, novel adaptive/approximate dynamic programming (ADP) based state and output feedback control methods are presented for distributed parameter systems (DPS) which are expressed as uncertain parabolic partial differential equations (PDEs) in one and two dimensional domains. In the first step, the output feedback control design using an early lumping method is introduced after model reduction. Subsequently controllers were developed in four stages; Unlike current approaches in the literature, state and output feedback approaches were designed without utilizing model reduction for uncertain linear, coupled nonlinear and two-dimensional parabolic PDEs, respectively. In all of these techniques, the infinite horizon cost …

Pointwise And Uniform Convergence Of Fourier Series On Su(2), Donald Forrest Myers

Doctoral Dissertations

"Let f be a Lipschitz function on the special unitary group SU (2). We prove that the Fourier partial sums of f converge to f uniformly on SU (2), thereby extending theorems of Caccioppoli, Mayer, and a special case of Ragozin. Pointwise convergence theorems for the Fourier series of functions on SU (2), due to Liu and Qian, were obtained by Clifford algebra techniques. We obtain similar versions of these theorems using simpler proof techniques: classical harmonic analysis and group theory"--Abstract, page iii.

Signal Velocity In Oscillator Arrays, Carlos E. Cantos, David K. Hammond, J. J. P. Veerman

Mathematics and Statistics Faculty Publications and Presentations

We investigate a system of coupled oscillators on the circle, which arises from a simple model for behavior of large numbers of autonomous vehicles. The model considers asymmetric, linear, decentralized dynamics, where the acceleration of each vehicle depends on the relative positions and velocities between itself and a set of local neighbors. We first derive necessary and sufficient conditions for asymptotic stability, then derive expressions for the phase velocity of propagation of disturbances in velocity through this system. We show that the high frequencies exhibit damping, which implies existence of well-defined signal velocities c+>0 and c−f(x−c+t) in the direction …

Teachers' Perceptions Of Manipulatives During Middle School Math Instruction, Angela L. Vizzi

Walden Dissertations and Doctoral Studies

In a Colorado school district, school personnel and parents were concerned that middle school math proficiency levels were low for 2011-2014 and math teachers were not using manipulatives in their classes to increase math performance. The district's math coordinator did not foresee providing specific professional development (PD) for math manipulative use to address these concerns. Without this PD, math teachers may be ill-quipped to teach math concepts when using manipulatives, which, in turn, could lead to further poor math performance. The purpose of this qualitative bounded collective case study was to explore middle school teachers' perceptions of PD and perceived …

On A Constant Associated With The Prouhet-Tarry-Escott Problem, Maria E. Markovich

Theses and Dissertations

For n a positive integer, the Prouhet-Tarry-Escott Problem asks for two different sets of n positive integers for which the sum of the kth powers of the elements of one set is equal to the sum of the kth powers of the elements of the second set for each positive integer k < n. For n > 12, it is not known whether such sets exist. I will give some background on this problem and then show how Newton polygons can be used to determine information on the size of the 2-adic value of a certain constant associated with the problem.

Some Extremal And Structural Problems In Graph Theory, Taylor Mitchell Short

Theses and Dissertations

This work considers three main topics. In Chapter 2, we deal with König-Egerváry graphs. We will give two new characterizations of König-Egerváry graphs as well as prove a related lower bound for the independence number of a graph. In Chapter 3, we study joint degree vectors (JDV). A problem arising from statistics is to determine the maximum number of non-zero elements of a JDV. We provide reasonable lower and upper bounds for this maximum number. Lastly, in Chapter 4 we study a problem in chemical graph theory. In particular, we characterize extremal cases for the number of maximal matchings in …

Modeling Of Structural Relaxation By A Variable-Order Fractional Differential Equation, Su Yang

Theses and Dissertations

In physical point of view, relaxation usually describes the return from a perturbed system into equilibrium and each process has its own characteristic relaxation time. In 1946, Tool first formulated the notion of fictive temperature to characterize the structure of a glass-forming melt. Since then, people used to simulate structural relaxation by first order model. Since fractional-based models have not widely applied in modeling the fictive temperature, I want to explore the the possibility of modeling structural relaxation by fractional differential equation.

In this thesis, I will first introduce the definitions of two different kinds of fractional derivatives: Riemann-Liouville fractional …

Chebyshev Inversion Of The Radon Transform, Jared Cameron Szi

Theses and Dissertations

In its two-dimensional form, the Radon transform of an image (function) is a collection of projections of the image which are parameterized by a set of angles (from the positive x-axis) and distances from the origin. Computational methods of the Radon transform are important in many image processing and computer vision problems, such as pattern recognition and the reconstruction of medical images. However, computability requires the construction of a discrete analog to the Radon transform, along with discrete alternatives for its inversion. In this paper, we present discrete analogs using classical methods of Chebyshev polynomial reconstruction, along with a new …

The Complete Classification Of Five-Dimensional Dirichlet–Voronoi Polyhedra Of Translational Lattices, Mathieu Dutour Sikiric, Alexey Garber, Achill Schürmann, Clara Waldmann

School of Mathematical & Statistical Sciences Faculty Publications

This paper reports on the full classification of Dirichlet–Voronoi polyhedra and Delaunay subdivisions of five-dimensional translational lattices. A complete list is obtained of 110 244 affine types (L-types) of Delaunay subdivisions and it turns out that they are all combinatorially inequivalent, giving the same number of combinatorial types of Dirichlet–Voronoi polyhedra. Using a refinement of corresponding secondary cones, 181 394 contraction types are obtained. The paper gives details of the computer-assisted enumeration, which was verified by three independent implementations and a topological mass formula check.

Metabolic Health Has Greater Impact On Diabetes Than Simple Overweight/Obesity In Mexican Americans, Shenghui Wu, Susan P. Fisher-Hoch, Belinda M. Reininger, Kristina Vatcheva, Joseph B. Mccormick

School of Mathematical & Statistical Sciences Faculty Publications

To compare the risk for diabetes in each of 4 categories of metabolic health and BMI. Methods. Participants were drawn from the Cameron County Hispanic Cohort, a randomly selected Mexican American cohort in Texas on the US-Mexico border. Subjects were divided into 4 phenotypes according to metabolic health and BMI: metabolically healthy normal weight, metabolically healthy overweight/obese, metabolically unhealthy normal weight, and metabolically unhealthy overweight/obese. Metabolic health was defined as having less than 2 metabolic abnormalities. Overweight/obese status was assessed by BMI higher than 25 kg/m2. Diabetes was defined by the 2010 ADA definition or by being on a diabetic …

Hepatitis C Virus In Mexican Americans: A Population-Based Study Reveals Relatively High Prevalence And Negative Association With Diabetes, Gordon P. Watt, Kristina Vatcheva, Laura Beretta, Jen-Jung Pan, Michael Fallon, Joseph B. Mccormick, Susan P. Fisher-Hoch

School of Mathematical & Statistical Sciences Faculty Publications

This study aimed to estimate the prevalence and risk factors for hepatitis C virus (HCV) infection in Mexican Americans living in South Texas. We tested plasma for the presence of HCV antibody from the Cameron County Hispanic Cohort (CCHC), a randomized, population-based cohort in an economically disadvantaged Mexican American community on the United States/Mexico border with high rates of chronic disease. A weighted prevalence of HCV antibody of 2·3% [n = 1131, 95% confidence interval (CI) 1·2-3·4] was found. Participants with diabetes had low rates of HCV antibody (0·4%, 95% CI 0·0-0·9) and logistic regression revealed a statistically significant negative …

An Application Of The Spectral Theorem To The Laplacian On A Riemannian Manifold, Paul Bracken

School of Mathematical & Statistical Sciences Faculty Publications

There continues to be great interest in the study of the heat equation on Riemannian manifolds. This may be due to the remarkable more recent work of Patodi [1]. It may also be due in part to the asymptotic expansion of Minakshisundaram and Pleijel. The heat equation involves a parabolic partial differential equation that describes the distribution of heat in a given region over time. This equation has also appears in probability theory to describe random walks. The heat equation is also of importance in Riemannian geometry, topology and applied mathematics.

Existence Of Periodic Orbits In Nonlinear Oscillators Of Emden-Fowler Form, S.C. Mancas, Haret C. Rosu

Publications

The nonlinear pseudo-oscillator recently tackled by Gadella and Lara is mapped to an Emden–Fowler (EF) equation that is written as an autonomous two-dimensional ODE system for which we provide the phase-space analysis and the parametric solution. Through an invariant transformation we find periodic solutions to a certain class of EF equations that pass an integrability condition. We show that this condition is necessary to have periodic solutions and via the ODE analysis we also find the sufficient condition for periodic orbits. EF equations that do not pass integrability conditions can be made integrable via an invariant transformation which also allows …

An Extremal Problem For Finite Lattices, John Goldwasser, Brendan Nagle, Andres Saez

Theory & Applications of Graphs

For a fixed M x N integer lattice L(M,N), we consider the maximum size of a subset A of L(M,N) which contains no squares of prescribed side lengths k(1),...,k(t). We denote this size by ex(L(M,N), {k(1),...,k(t)}), and when t = 1, we abbreviate this parameter to ex(L(M,N), k), where k = k(1).

Our first result gives an exact formula for ex(L( …

An Edge-Swap Heuristic For Finding Dense Spanning Trees, Mustafa Ozen, Hua Wang, Kai Wang, Demet Yalman

Theory & Applications of Graphs

Finding spanning trees under various restrictions has been an interesting question to researchers. A "dense" tree, from a graph theoretical point of view, has small total distances between vertices and large number of substructures. In this note, the "density" of a spanning tree is conveniently measured by the weight of a tree (defined as the sum of products of adjacent vertex degrees). By utilizing established conditions and relations between trees with the minimum total distance or maximum number of sub-trees, an edge-swap heuristic for generating "dense" spanning trees is presented. Computational results are presented for randomly generated graphs and specific …