Applied Mathematics Commons^™

Asymptotic Behavior Of Linearized Viscoelastic Flow Problem, Yinnian He, Yi Li

Mathematics and Statistics Faculty Publications

In this article, we provide some asymptotic behaviors of linearized viscoelastic flows in a general two-dimensional domain with certain parameters small and the time variable large.

Optimization Of Delay-Differential Inclusions Of Infinite Dimensions, Boris S. Mordukhovich, Dong Wang, Lianwen Wang

Mathematics Research Reports

No abstract provided.

Limiting Subgradients Of Minimal Time Functions In Banach Spaces, Boris S. Mordukhovich, Nguyen Mau Nam

Mathematics Research Reports

The paper mostly concerns the study of generalized differential properties of the so-called minimal time functions associated, in particular, with constant dynamics and arbitrary closed target sets in control theory. Functions of this type play a significant role in many aspects of optimization, control theory: and Hamilton-Jacobi partial differential equations. We pay the main attention to computing and estimating limiting subgradients of the minimal value functions and to deriving the corresponding relations for Frechet type epsilon-subgradients in arbitrary Banach spaces.

Linearizable Feedforward Systems: A Special Class, Issa Amadou Tall

Miscellaneous (presentations, translations, interviews, etc)

We address the problem of linearizability of systems in feedforward form. In a recent paper [22] we completely solved the linearizability for strict feedforward systems. We extend here those results to a special class of feedforward systems. We provide an algorithm, along with explicit transformations, that linearizes the system by change of coordinates when some easily checkable conditions are met. We also re-analyze type II class of linearizable strict feedforward systems provided by Krstic in [9] and we show that this class is the unique linearizable among the class of quasi-linear strict feedforward systems (see Definition III.1). Our results allow …

Understanding Similarity: Bridging Geometric And Numeric Contexts For Proportional Reasoning, Dana Christine Cox

Dissertations

The concept of similarity is uniquely situated at the crossroads of geometric and numerical proportional reasoning. Although studies have documented the existence and nature of student difficulties with this topic, there exists a gap between documented visual insights of younger children and the quantitative inadequacies of older ones. Using a revised version of the Similarity Perception Test followed by 21 clinical interviews, this study investigated the visual and analytical strategies that are used by middle-school students to differentiate and construct similar figures.

New strategies for construction and differentiation were identified, and three overarching conclusions were drawn from the work. First, …

A Universal Theory Of Decoding And Pseudocodewords, Nathan Axvig, Deanna Dreher, Katherine Morrison, Eric T. Psota, Lance C. Pérez, Judy L. Walker

Department of Mathematics: Faculty Publications

The discovery of turbo codes [5] and the subsequent rediscovery of low-density parity-check (LDPC) codes [9, 18] represent a major milestone in the field of coding theory. These two classes of codes can achieve realistic bit error rates, between 10−5 and 10−12, with signalto- noise ratios that are only slightly above the minimum possible for a given channel and code rate established by Shannon’s original capacity theorems. In this sense, these codes are said to be near-capacity-achieving codes and are sometimes considered to have solved (in the engineering sense, at least) the coding problem for the additive white Gaussian noise …

Necessary Conditions For Nonsmooth Optimization Problems With Operator Constraints In Metric Spaces, Boris S. Mordukhovich, Libin Mou

Mathematics Research Reports

This paper concerns nonsmooth optimization problems involving operator constraints given by mappings on complete metric spaces with values in nonconvcx subsets of Banach spaces. We derive general first-order necessary optimality conditions for such problems expressed via certain constructions of generalized derivatives for mappings on metric spaces and axiomatically defined subdifferentials for the distance function to nonconvex sets in Banach spaces. Our proofs arc based on variational principles and perturbation/approximation techniques of modern variational analysis. The general necessary conditions obtained are specified in the case of optimization problems with operator constraints dDScribcd by mappings taking values in approximately convex subsets of …

Positive Solutions Of A Third-Order Three-Point Boundary-Value Problem, Bo Yang

Faculty Articles

We obtain upper and lower estimates for positive solutions of a third-order three-point boundary-value problem. Sufficient conditions for the existence and nonexistence of positive solutions for the problem are also obtained. Then to illustrate our results, we include an example.

Nonbinary Quantum Error-Correcting Codes From Algebraic Curves, Jon-Lark Kim, Judy L. Walker

Department of Mathematics: Faculty Publications

We give a generalized CSS construction for nonbinary quantum error-correcting codes. Using this we construct nonbinary quantum stabilizer codes from algebraic curves. We also give asymptotically good nonbinary quantum codes from a Garcia- Stichtenoth tower of function fields which are constructible in polynomial time.

Binary quantum error-correcting codes have been constructed in several ways. One interesting construction uses algebraic-geometry codes [2], [6], [7], [12], with the main idea being to apply the binary CSS construction [4], [5], [16] to the asymptotically good algebraic-geometry codes arising from the Garcia-Stichtenoth [11] tower of function fields over F_q2 (where q is a …

Radiotherapy Optimal Design: An Academic Radiotherapy Treatment Design System, R Acosta, W Brick, A Hanna, Allen Holder, D Lara, G Mcquillen, D Nevin, P Uhlig, B Salter

Mathematical Sciences Technical Reports (MSTR)

Optimally designing radiotherapy and radiosurgery treatments to increase the likelihood of a successful recovery from cancer is an important application of operations research. Researchers have been hindered by the lack of academic software that supports head-to-head comparisons of different techniques, and this article addresses the inherent difficulties of designing and implementing an academic treatment planning system. In particular, this article details the algorithms and the software design of Radiotherapy optimAl Design (RAD).

Uniform Uncertainty Principle And Signal Recovery Via Regularized Orthogonal Matching Pursuit, Deanna Needell, Roman Vershynin

CMC Faculty Publications and Research

This paper seeks to bridge the two major algorithmic approaches to sparse signal recovery from an incomplete set of linear measurements—L1-minimization methods and iterative methods (Matching Pursuits). We find a simple regularized version of Orthogonal Matching Pursuit (ROMP) which has advantages of both approaches: the speed and transparency of OMP and the strong uniform guarantees of L1-minimization. Our algorithm, ROMP, reconstructs a sparse signal in a number of iterations linear in the sparsity, and the reconstruction is exact provided the linear measurements satisfy the uniform uncertainty principle.

On Linearizability Of Strict Feedforward Systems, Issa Amadou Tall, Witold Respondek

Miscellaneous (presentations, translations, interviews, etc)

In this paper we address the problem of linearizability of systems in strict feedforward form. We provide an algorithm, along with explicit transformations, that linearizes a system by change of coordinates when some easily checkable conditions are met. Those conditions turn out to be necessary and sufficient, that is, if one fails the system is not linearizable. We revisit type I and type II classes of linearizable strict feedforward systems provided by Krstic in [6] and illustrate our algorithm by various examples mostly taken from [5], [6].

On A-Ary Subdivision For Curve Design: I. 4-Point And 6-Point Interpolatory Schemes, Jian-Ao Lian

Applications and Applied Mathematics: An International Journal (AAM)

The classical binary 4-point and 6-point interpolatery subdivision schemes are generalized to a-ary setting for any integer a greater than or equal to 3. These new a-ary subdivision schemes for curve design are derived easily from their corresponding two-scale scaling functions, a notion from the context of wavelets.

Signed Decomposition Of Fully Fuzzy Linear Systems, Tofigh Allahviranloo, Nasser Mikaeilvand, Narsis A. Kiani, Rasol M. Shabestari

Applications and Applied Mathematics: An International Journal (AAM)

System of linear equations is applied for solving many problems in various areas of applied sciences. Fuzzy methods constitute an important mathematical and computational tool for modeling real-world systems with uncertainties of parameters. In this paper, we discuss about fully fuzzy linear systems in the form AX = b (FFLS). A novel method for finding the non-zero fuzzy solutions of these systems is proposed. We suppose that all elements of coefficient matrix A are positive and we employ parametric form linear system. Finally, Numerical examples are presented to illustrate this approach and its results are compared with other methods.

Rethinking Pythagorean Triples, William J. Spezeski

Applications and Applied Mathematics: An International Journal (AAM)

It has been known for some 2000 years how to generate Pythagorean Triples. While the classical formulas generate all of the primitive triples, they do not generate all of the triples. For example, the triple (9, 12, 15) can’t be generated from the formulas, but it can be produced by introducing a multiplier to the primitive triple (3, 4, 5). And while the classical formulas produce the triple (3, 4, 5), they don’t produce the triple (4, 3, 5); a transposition is needed. This paper explores a new set of formulas that, in fact, do produce all of the triples …

Certain Expansion Formulae Involving A Basic Analogue Of Fox’S H-Function, S. D. Purohit, R. K. Yadav, S. L. Kalla

Applications and Applied Mathematics: An International Journal (AAM)

Certain expansion formulae for a basic analogue of the Fox’s H-function have been derived by the applications of the q-Leibniz rule for the Weyl type q-derivatives of a product of two functions. Expansion formulae involving a basic analogue of Meijer’s G-function and MacRobert’s E-function have been derived as special cases of the main results.

The Weak Euler Scheme For Stochastic Delay Equations, Evelyn Buckwar, Rachel Kuske, Salah-Eldin A. Mohammed, Tony Shardlow

Articles and Preprints

We study weak convergence of an Euler scheme for non-linear stochastic delay differential equations (SDDEs) driven by multidimensional Brownian motion. The Euler scheme has weak order of convergence 1, as in the case of stochastic ordinary differential equations (SODEs) (i.e., without delay). The result holds for SDDEs with multiple finite fixed delays in the drift and diffusion terms. Although the set-up is non-anticipating, our approach uses the Malliavin calculus and the anticipating stochastic analysis techniques of Nualart and Pardoux.

Methods Of Assessing And Ranking Probable Sources Of Error, Nataniel Greene

Publications and Research

A classical method for ranking n potential events as sources of error is Bayes' theorem. However, a ranking based on Bayes' theorem lacks a fundamental symmetry: the ranking in terms of blame for error will not be the reverse of the ranking in terms of credit for lack of error. While this is not a flaw in Bayes' theorem, it does lead one to inquire whether there are related methods which have such symmetry. Related methods explored here include the logical version of Bayes' theorem based on probabilities of conditionals, probabilities of biconditionals, and ratios or differences of credit to …

Connectivity In Frame Matroids, Dan Slilaty, Hongxun Qin

Mathematics and Statistics Faculty Publications

We discuss the relationship between the vertical connectivity of a biased graph Ω and the Tutte connectivity of the frame matroid of Ω (also known as the bias matroid of Ω).

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.