Mathematics Commons^™

The Signed-Graphic Representations Of Wheels And Whirls, Dan Slilaty, Hongxun Qin

Mathematics and Statistics Faculty Publications

We characterize all of the ways to represent the wheel matroids and whirl matroids using frame matroids of signed graphs. The characterization of wheels is in terms of topological duality in the projective plane and the characterization of whirls is in terms of topological duality in the annulus.

Traveling Waves And Shocks In A Viscoelastic Generalization Of Burgers' Equation, Victor Camacho '07, Robert D. Guy, Jon T. Jacobsen

All HMC Faculty Publications and Research

We consider traveling wave phenomena for a viscoelastic generalization of Burgers' equation. For asymptotically constant velocity profiles we find three classes of solutions corresponding to smooth traveling waves, piecewise smooth waves, and piecewise constant (shock) solutions. Each solution type is possible for a given pair of asymptotic limits, and we characterize the dynamics in terms of the relaxation time and viscosity.

A Wavelet-Based Method For Overcoming The Gibbs Phenomenon, Nataniel Greene

Publications and Research

The Gibbs phenomenon refers to the lack of uniform convergence which occurs in many orthogonal basis approximations to piecewise smooth functions. This lack of uniform convergence manifests itself in spurious oscillations near the points of discontinuity and a low order of convergence away from the discontinuities. Here we describe a numerical procedure for overcoming the Gibbs phenomenon called the inverse wavelet reconstruction method. The method takes the Fourier coefficients of an oscillatory partial sum and uses them to construct the wavelet coefficients of a non-oscillatory wavelet series.

Failure Of Metric Regularity For Major Classes Of Variational Systems, Boris S. Mordukhovich

Mathematics Research Reports

The paper is devoted to the study of metric regularity, which is a remarkable property of set-valued mappings playing an important role in many aspects of nonlinear analysis and its applications. We pay the main attention to metric regularity of the so- called parametric variational systems that contain, in particular, various classes of parameterized/perturbed variational and hemivariational inequalities, complementarity systems, sets of optimal solutions and corresponding Lagrange multipliers in problems of parametric optimization and equilibria, etc. Based on the advanced machinery of generalized differentiation1 we surprisingly reveal that metric regularity fails for certain major classes of parametric variational systems, which …

An Overview Of Conditionals And Biconditionals In Probability, Nataniel Greene

Publications and Research

Conditional and biconditional statements are a standard part of symbolic logic but they have only recently begun to be explored in probability for applications in artificial intelligence. Here we give a brief overview of the major theorems involved and illustrate them using two standard model problems from conditional probability.

Local Cohomology And Support For Triangulated Categories, Dave Benson, Srikanth Iyengar, Henning Krause

Department of Mathematics: Faculty Publications

We propose a new method for defining a notion of support for objects in any compactly generated triangulated category admitting small coproducts. This approach is based on a construction of local cohomology functors on triangulated categories, with respect to a central ring of operators. Suitably specialized one recovers, for example, the theory for commutative noetherian rings due to Foxby and Neeman, the theory of Avramov and Buchweitz for complete intersection local rings, and varieties for representations of finite groups according to Benson, Carlson, and Rickard. We give explicit examples of objects whose triangulated support and cohomological support differ. In the …

Fourier Series Of Orthogonal Polynomials, Nataniel Greene

Publications and Research

Explicit formulas for the Fourier coefficients of the Legendre polynomials can be found in the Bateman Manuscript Project. However, similar formulas for more general classes of orthogonal polynomials do not appear to have been worked out. Here we derive explicit formulas for the Fourier series of Gegenbauer, Jacobi, Laguerre and Hermite polynomials.

Optimal Control Of Delay-Differential Inclusions With Multivalued Initial Conditions In Infinite Dimensions, Boris S. Mordukhovich, Dong Wang, Lianwen Wang

Mathematics Research Reports

This paper is devoted to the study of a general class of optimal control problems described by delay-differential inclusions with infinite-dimensional state spaces, endpoints constraints, and multivalued initial conditions. To the best of our knowledge, problems of this type have not been considered in the literature, except some particular cases when either the state space is finite-dimensional or there is no delay in the dynamics. We develop the method of discrete approximations to derive necessary optimality conditions in the extended Euler-Lagrange form by using advanced tools of variational analysis and generalized differentiation in infinite dimensions. This method consists of the …

Non-Preemptive Shunting In M/M/1 And Dynamic Service Queueing Systems, Steven Lacek

Theses, Dissertations and Capstones

We provide a study of two queueing systems, namely, an M/M/1 queueing system in which an incoming customer shunts, or skips line, and a dynamic server in an infinite capacity system moving among service nodes. In the former, we explore various aspects of the system, including waiting time, and the relationships between shunting and position in queue and rate of service. Through use of global balance equations, we find the probability that an arriving non-priority customer, finding customers waiting in the system, will shunt to a position other than behind the queue. In the latter, we explore a system in …

A Study Of Present Value Maximization For The Monopolist Problem In Time Scales, Keshav Prasad Pokhrel

Theses, Dissertations and Capstones

There are some mathematical characters in the abstract that will not transfer. Refer to the download to read full abstract.

General results for time scales with right dense points are established. A study of issues that arise when unifying (C) and (D) is included in the analysis

Formulas For The Fourier Series Of Orthogonal Polynomials In Terms Of Special Functions, Nataniel Greene

Publications and Research

An explicit formula for the Fourier coefficient of the Legendre polynomials can be found in the Bateman Manuscript Project. However, formulas for more general classes of orthogonal polynomials do not appear to have been worked out. Here we derive explicit formulas for the Fourier series of Gegenbauer, Jacobi, Laguerre and Hermite polynomials. The methods described here apply in principle to a class of polynomials, including non-orthogonal polynomials.

Nearly-Hamiltonian Structure For Water Waves With Constant Vorticity, Adrian Constantin, Rossen Ivanov, Emil Prodanov

Articles

We show that the governing equations for two-dimensional gravity water waves with constant non-zero vorticity have a nearly-Hamiltonian structure, which becomes Hamiltonian for steady waves.

Algorithm-Independent Optimal Input Fluxes For Boundary Identification In Thermal Imaging, Kurt Bryan, Lester Caudill

Department of Math & Statistics Faculty Publications

An inverse boundary determination problem for a parabolic model, arising in thermal imaging, is considered. The focus is on intelligently choosing an effective input heat flux, so as to maximize the practical effectiveness of an inversion algorithm. Three different methods, based on different interpretations of the term “effective", are presented and analyzed, then demonstrated through numerical examples. It is noteworthy that each of these flux-selection methods is independent of the particular inversion algorithm to be used.

Polynomial Extension Operators. Part I, Leszek Demkowicz, Jay Gopalakrishnan, Joachim Schöberl

Mathematics and Statistics Faculty Publications and Presentations

In this series of papers, we construct operators that extend certain given functions on the boundary of a tetrahedron into the interior of the tetrahedron, with continuity properties in appropriate Sobolev norms. These extensions are novel in that they have certain polynomial preservation properties important in the analysis of high order finite elements. This part of the series is devoted to introducing our new technique for constructing the extensions, and its application to the case of polynomial extensions from H^½(∂K) into H¹(K), for any tetrahedron K.

A Mixed Method For Axisymmetric Div-Curl Systems, Dylan M. Copeland, Jay Gopalakrishnan, Joseph E. Pasciak

Mathematics and Statistics Faculty Publications and Presentations

We present a mixed method for a three-dimensional axisymmetric div-curl system reduced to a two-dimensional computational domain via cylindrical coordinates. We show that when the meridian axisymmetric Maxwell problem is approximated by a mixed method using the lowest order Nédélec elements (for the vector variable) and linear elements (for the Lagrange multiplier), one obtains optimal error estimates in certain weighted Sobolev norms. The main ingredient of the analysis is a sequence of projectors in the weighted norms satisfying some commutativity properties.

Inverse Wavelet Reconstruction For Resolving The Gibbs Phenomenon, Nataniel Greene

Publications and Research

The Gibbs phenomenon refers to the lack of uniform convergence which occurs in many orthogonal basis approximations to piecewise smooth functions. This lack of uniform convergence manifests itself in spurious oscillations near the points of discontinuity and a low order of convergence away from the discontinuities. Here we describe a numerical procedure for overcoming the Gibbs phenomenon called the inverse wavelet reconstruction method. The method takes the Fourier coefficients of an oscillatory partial sum and uses them to construct the wavelet coefficients of a non-oscillatory wavelet series.

An Order Model For Infinite Classical States, Joe Mashburn

Mathematics Faculty Publications

In 2002 Coecke and Martin (Research Report PRG-RR-02-07, Oxford University Computing Laboratory,2002) created a model for the finite classical and quantum states in physics. This model is based on a type of ordered set which is standard in the study of information systems. It allows the information content of its elements to be compared and measured. Their work is extended to a model for the infinite classical states. These are the states which result when an observable is applied to a quantum system. When this extended order is restricted to a finite number of coordinates, the model of Coecke and …

Qualitative Properties Of Nonlinear Volterra Integral Equations, Muhammad Islam, Jeffrey T. Neugebauer

Mathematics Faculty Publications

In this article, the contraction mapping principle and Liapunov's method are used to study qualitative properties of nonlinear Volterra equations of the form x(t)=a(t)−∫^t₀C(t,s)g(s,x(s))ds,t≥0. In particular, the existence of bounded solutions and solutions with various L^p properties are studied under suitable conditions on the functions involved with this equation.

Multigrid Convergence For Second Order Elliptic Problems With Smooth Complex Coefficients, Jay Gopalakrishnan, Joseph E. Pasciak

Mathematics and Statistics Faculty Publications and Presentations

The finite element method when applied to a second order partial differential equation in divergence form can generate operators that are neither Hermitian nor definite when the coefficient function is complex valued. For such problems, under a uniqueness assumption, we prove the continuous dependence of the exact solution and its finite element approximations on data provided that the coefficients are smooth and uniformly bounded away from zero. Then we show that a multigrid algorithm converges once the coarse mesh size is smaller than some fixed number, providing an efficient solver for computing discrete approximations. Numerical experiments, while confirming the theory, …

Asymptotic And Numerical Techniques For Resonances Of Thin Photonic Structures, Jay Gopalakrishnan, Shari Moskow, Fadil Santosa

Mathematics and Statistics Faculty Publications and Presentations

We consider the problem of calculating resonance frequencies and radiative losses of an optical resonator. The optical resonator is in the form of a thin membrane with variable dielectric properties. This work provides two very different approaches for doing such calculations. The first is an asymptotic method which exploits the small thickness and high index of the membrane. We derive a limiting resonance problem as the thickness goes to zero, and for the case of a simple resonance, find a first order correction. The limiting problem and the correction are in one less space dimension, which can make the approach …

Origin Of Conductive Surface Layer In Annealed Zno, David C. Look, B. Claflin, Helen Smith

Mathematics and Statistics Faculty Publications

The highly conductive surface layers found in nearly all as-grown or annealed bulk ZnO wafers are studied by temperature-dependent Hall-effect and secondary-ion mass spectroscopy (SIMS) measurements. In this work, we have used annealing in N₂ at 900 degrees C, and forming gas (5% H₂ in N₂) at 600 degrees C, to cause a large enough surface conduction that SIMS measurements can be reliably employed. The increased near-surface donor density, as determined from two-layer Hall-effect modeling, is consistent with an increased near-surface concentration of Al, Ga, and In atoms, resulting from diffusion. There is no evidence for …

Super Fuzzy Matrices And Super Fuzzy Models For Social Scientists, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Amal

Branch Mathematics and Statistics Faculty and Staff Publications

The concept of supermatrix for social scientists was first introduced by Paul Horst. The main purpose of his book was to introduce this concept to social scientists, students, teachers and research workers who lacked mathematical training. He wanted them to be equipped in a branch of mathematics that was increasingly valuable for the analysis of scientific data. This book introduces the concept of fuzzy super matrices and operations on them. The author has provided only those operations on fuzzy supermatrices that are essential for developing super fuzzy multi expert models. We do not indulge in labourious use of suffixes or …

Iterated Aluthge Transforms: A Brief Survey, Jorge Antezana, Enrique R. Pujals, Demetrio Stojanoff

Publications and Research

Given an r × r complex matrix T, if T = U|T| is the polar decomposition of T, then the Aluthge transform is defined by

∆(T) = |T|^1/2U|T|^1/2.

Let ∆ⁿ(T) denote the n-times iterated Aluthge transform of T, i.e. ∆⁰(T) = T and ∆ⁿ(T) = ∆(∆ⁿ⁻¹(T)), n ∈ N. In this paper we make a brief survey on the known properties and applications of …

Towards Universal Cover Decoding, Nathan Axvig, Deanna Dreher, Katherine Morrison, Eric T. Psota, Lance C. Pérez, Judy L. Walker

Department of Mathematics: Faculty Publications

Low complexity decoding of low-density paritycheck (LDPC) codes may be obtained from the application of iterative message-passing decoding algorithms to the bipartite Tanner graph of the code. Arguably, the two most important decoding algorithms for LDPC codes are the sum-product decoder and the min-sum (MS) decoder. On a bipartite graph without cycles (a tree), the sum-product decoder minimizes the probability of bit error, while the min-sum decoder minimizes the probability of word error [9]. While the behavior of sum-product and min-sum is easily understood when operating on trees, their behavior becomes much more difficult to characterize when the Tanner graph …

Ldpc Codes From Voltage Graphs, Christine A. Kelley, Judy L. Walker

Department of Mathematics: Faculty Publications

Several well-known structure-based constructions of LDPC codes, for example codes based on permutation and circulant matrices and in particular, quasi-cyclic LDPC codes, can be interpreted via algebraic voltage assignments. We explain this connection and show how this idea from topological graph theory can be used to give simple proofs of many known properties of these codes. In addition, the notion of abelianinevitable cycle is introduced and the subgraphs giving rise to these cycles are classified. We also indicate how, by using more sophisticated voltage assignments, new classes of good LDPC codes may be obtained.

Average Min-Sum Decoding Of Ldpc Codes, Nathan Axvig, Deanna Dreher, Katherine Morrison, Eric T. Psota, Lance C. Pérez, Judy L. Walker

Department of Mathematics: Faculty Publications

Simulations have shown that the outputs of minsum (MS) decoding generally behave in one of two ways: the output either eventually stabilizes at a codeword or eventually cycles through a finite set of vectors that may include both codewords and non-codewords. This inconsistency in MS across iterations has significantly contributed to the difficulty in studying the performance of this decoder. To overcome this problem, a new decoder, average min-sum (AMS), is proposed; this decoder outputs the average of the min-sum output vectors over a finite set of iterations. Simulations comparing MS, AMS, linear programming (LP) decoding, and maximum likelihood (ML) …

Estimates Of Positive Solutions For Higher Order Right Focal Boundary Value Problem, Bo Yang

Faculty Articles

We consider the (p;n - p) right focal boundary value problem. A new set of upper and lower estimates of positive solutions for the boundary value problem are obtained. These estimates implement and improve the ones in the literature.

On An Integrable Two-Component Camassa-Holm Shallow Water System, Adrian Constantin, Rossen Ivanov

Articles

The interest in the Camassa-Holm equation inspired the search for various generalizations of this equation with interesting properties and applications. In this letter we deal with such a twocomponent integrable system of coupled equations. First we derive the system in the context of shallow water theory. Then we show that while small initial data develop into global solutions, for some initial data wave breaking occurs. We also discuss the solitary wave solutions. Finally, we present an explicit construction for the peakon solutions in the short wave limit of system.

Algebraic Discretization Of The Camassa-Holm And Hunter-Saxton Equations, Rossen Ivanov

Articles

The Camassa-Holm (CH) and Hunter-Saxton (HS) equations have an interpretation as geodesic flow equations on the group of diffeomorphisms, preserving the H1 and H.1 right-invariant metrics correspondingly. There is an analogy to the Euler equations in hydrodynamics, which describe geodesic flow for a right-invariant metric on the infinitedimensional group of diffeomorphisms preserving the volume element of the domain of fluid flow and to the Euler equations of rigid body whith a fixed point, describing geodesics for a left-invariant metric on SO(3). The CH and HS equations are integrable bi-hamiltonian equations and one of their Hamiltonian structures is associated to the …

A Symbolic Operator Approach To Several Summation Formulas For Power Series Ii, Tian-Xiao He, Peter Shiue, L. C. Hsu

Scholarship

Here expounded is a kind of symbolic operator method that can be used to construct many transformation formulas and summation formulas for various types of power series including some old ones and more new ones.