Mathematics Commons^™

Introduction (2005), Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 2005

Fifteenth Conference of the Association of Christians in the Mathematical Sciences

Lower Bounds For Simplicial Covers And Triangulations Of Cubes, Adam Bliss '03, Francis E. Su

All HMC Faculty Publications and Research

We show that the size of a minimal simplicial cover of a polytope P is a lower bound for the size of a minimal triangulation of P, including ones with extra vertices. We then use this fact to study minimal triangulations of cubes, and we improve lower bounds for covers and triangulations in dimensions 4 through at least 12 (and possibly more dimensions as well). Important ingredients are an analysis of the number of exterior faces that a simplex in the cube can have of a specified dimension and volume, and a characterization of corner simplices in terms of their …

A Mathematical Model For Treatment-Resistant Mutations Of Hiv, Helen Moore, Weiqing Gu

All HMC Faculty Publications and Research

In this paper, we propose and analyze a mathematical model, in the form of a system of ordinary differential equations, governing mutated strains of human immunodeficiency virus (HIV) and their interactions with the immune system and treatments. Our model incorporates two types of resistant mutations: strains that are not responsive to protease inhibitors, and strains that are not responsive to reverse transcriptase inhibitors. It also includes strains that do not have either of these two types of resistance (wild-type virus) and strains that have both types. We perform our analysis by changing the system of ordinary differential equations (ODEs) to …

Global Optimality Conditions In Mathematical Programming And Optimal Control, Pariwat Pacheenburawana

Dissertations

We derive new first-order necessary and sufficient optimality conditions characterizing global minimizers in mathematical programming and optimal controlproblems. These conditions are based on level sets of an objective functional and they do not assume special structure of a problem (convexity, linearity, etc.). For a mathematical programming problem of minimization of a smooth functional on some compact convex set with equality nonlinear constraints, we derive first-order optimality conditions in the form of a generalized Lagrange multiplier rule. This rule should hold for any point from the level set of the objective functional corresponding to a global minimizer. We demonstrate that these …

Structure Preserving Algorithms For Computing The Symplectic Singular Value Decom Position, Archara Chaiyakarn

Dissertations

In this thesis we develop two types of structure preserving Jacobi algorithms for com puting the symplectic singular value decomposition of real symplectic matrices and complex symplectic matrices. Unlike general purpose algorithms, these algorithms produce symplectic structure in all factors of the singular value decomposition.

Our first algorithm uses the relation between the singular value decomposition and the polar decomposition to reduce the problem of finding the symplectic singular value decomposition to th a t of calculating the structured spectral decomposition of a doubly structured m atrix. A Jacobi-like m ethod is developed to compute this doubly structured spectral decomposition. …

Stratification And Domination In Graphs And Digraphs, Ralucca M. Gera

Dissertations

In this thesis we combine the idea of stratification with the one of domination in graphs and digraphs, respectively.

A graph is 2-stratified if its vertex set is partitioned into two classes, where the vertices in one class are colored red and those in the other class are colored blue. Let F be a 2-stratified graph rooted at some blue vertex v . An F -coloring of a graph G is a red-blue coloring of the vertices of G in which every blue vertexu belongs to a copy of F rooted at u . The F -domination number γ …

Error Analysis Of Variable Degree Mixed Methods For Elliptic Problems Via Hybridization, Bernardo Cockburn, Jay Gopalakrishnan

Mathematics and Statistics Faculty Publications and Presentations

A new approach to error analysis of hybridized mixed methods is proposed and applied to study a new hybridized variable degree Raviart-Thomas method for second order elliptic problems. The approach gives error estimates for the Lagrange multipliers without using error estimates for the other variables. Error estimates for the primal and flux variables then follow from those for the Lagrange multipliers. In contrast, traditional error analyses obtain error estimates for the flux and primal variables first and then use it to get error estimates for the Lagrange multipliers. The new approach not only gives new error estimates for the new …

Balanced Scaling Vectors Using Linear Combinations Of Existing Scaling Vectors, Bruce Kessler

Mathematics Faculty Publications

The majority of the research done into creating balanced multiwavelets has involved establishing a series of conditions on the mask of the new scaling vector by solving a large nonlinear system. The result is a completely different new function vector solution to the dilation equation with the new matrix coefficients. The research presented here will show a way to use previously-constructed orthonormal scaling vectors to generate equivalent orthonormal scaling vectors that are balanced up to the approximation order of the previous scaling vector. The technique uses linear combinations of the integer translates of the previous-constructed scaling vector.

Erratum: “Uniqueness Theorems In Bioluminescence Tomography” [Med. Phys. 31, 2289–2299 (2004)], Ge Wang, Yi Li, Ming Jiang

Mathematics and Statistics Faculty Publications

In this Erratum, we present a correction to our proof of Theorem D.4 in Ref. 1.

Conformal Properties And Baecklund Transform For The Associated Camassa-Holm Equation, Rossen Ivanov

Articles

Integrable equations exhibit interesting conformal properties and can be written in terms of the so-called conformal invariants. The most basic and important example is the KdV equation and the corresponding Schwarz-KdV equation. Other examples, including the Camassa-Holm equation and the associated Camassa-Holm equation are investigated in this paper. It is shown that the B¨acklund transform is related to the conformal properties of these equations. Some particular solutions of the Associated Camassa-Holm Equation are discussed also.

Feedback Classification Of Multi-Input Nonlinear Control Systems, Issa Amadou Tall

Articles and Preprints

We study the feedback group action on multi-input nonlinear control systems with uncontrollable mode. We follow slightly an approach proposed in Kang and Krener [W. Kang and A. J. Krener, SIAM J. Control. Optim., 30 (1992), pp. 1319–1337] which consists of analyzing the system and the feedback group step by step. We construct a normal form which generalizes, on one hand, the results obtained in the single-input case and, on the other hand, those recently obtained by the same author in the controllable case. We illustrate our results by studying the Caltech Multi-Vehicle Wireless Testbed (MVWT) and the prototype …

A Symbolic Operator Approach To Several Summation Formulas For Power Series, Tian-Xiao He, Leetsch Hsu, Peter Shiue, D. Torney

Scholarship

This paper deals with the summation problem of power series of the form Sba (f; x) = ∑a ≤ k ≤ b f(k) xk, where 0≤ a < b ≤ ∞, and {f(k)} is a given sequence of numbers with k Є [a, b) or f(t) is a differentiable function defined on [a, b). We present a symbolic summation operator with its various expansions, and construct several summation formulas with estimable remainders for Sba (f; x), by the aid of some classical interpolation series due to Newton, Gauss and Everett, respectively.

On An Extension Of Abel-Gontscharoff's Expansion Formula, Tian-Xiao He, Leetsch Hsu, Peter Shiue

Scholarship

We present a constructive generalization of Abel-Gontscharoff’s series expansion to higher dimensions. A constructive application to a problem of multivariate interpolation is also investigated. In addition, two algorithms for the constructing the basis functions of the interpolants are given.

Nédélec Spaces In Affine Coordinates, Jay Gopalakrishnan, Luis E. García-Castillo, Leszek Demkowicz

Mathematics and Statistics Faculty Publications and Presentations

In this note, we provide a conveniently implementable basis for simplicial Nédélec spaces of any order in any space dimension. The main feature of the basis is that it is expressed solely in terms of the barycentric coordinates of the simplex.

Stability Properties Of Linear Volterra Integrodifferential Equations With Nonlinear Perturbation, Muhammad Islam, Youssef Raffoul

Mathematics Faculty Publications

A Lyapunov functional is employed to obtain conditions that guarantee stability, uniform stability and uniform asymptotic stability of the zero solution of a scalar linear Volterra integrodifferential equation with nonlinear perturbation.

Boundedness And Stability In Nonlinear Delay Difference Equations Employing Fixed Point Theory, Muhammad Islam, Ernest Yankson

Mathematics Faculty Publications

In this paper we study stability and boundedness of the nonlinear difference equation

x(t+1)=a(t)x(t)+c(t)Δx(t−g(t))+q(x(t),x(t−g(t))).

In particular we study equi-boundedness of solutions and the stability of the zero solution of this equation. Fixed point theorems are used in the analysis.

Incompressible Finite Elements Via Hybridization. Part Ii: The Stokes System In Three Space Dimensions, Bernardo Cockburn, Jay Gopalakrishnan

Mathematics and Statistics Faculty Publications and Presentations

We introduce a method that gives exactly incompressible velocity approximations to Stokes ow in three space dimensions. The method is designed by extending the ideas in Part I (http://archives.pdx.edu/ds/psu/10914) of this series, where the Stokes system in two space dimensions was considered. Thus we hybridize a vorticity-velocity formulation to obtain a new mixed method coupling approximations of tangential velocity and pressure on mesh faces. Once this relatively small tangential velocity-pressure system is solved, it is possible to recover a globally divergence-free numerical approximation of the fluid velocity, an approximation of the vorticity whose tangential component is continuous across …

Incompressible Finite Elements Via Hybridization. Part I: The Stokes System In Two Space Dimensions, Bernardo Cockburn, Jay Gopalakrishnan

Mathematics and Statistics Faculty Publications and Presentations

In this paper, we introduce a new and efficient way to compute exactly divergence-free velocity approximations for the Stokes equations in two space dimensions. We begin by considering a mixed method that provides an exactly divergence-free approximation of the velocity and a continuous approximation of the vorticity. We then rewrite this method solely in terms of the tangential fluid velocity and the pressure on mesh edges by means of a new hybridization technique. This novel formulation bypasses the difficult task of constructing an exactly divergence-free basis for velocity approximations. Moreover, the discrete system resulting from our method has fewer degrees …

An Explicit Mapping Between The Frequency Domain And The Time Domain Representations Of Nonlinear Systems, Marissa Condon, Rossen Ivanov

Articles

Explicit expressions are presented that describe the input-output behaviour of a nonlinear system in both the frequency and the time domain. The expressions are based on a set of coefficients that do not depend on the input to the system and are universal for a given system. The anharmonic oscillator is chosen as an example and is discussed for different choices of its physical parameters. It is shown that the typical approach for the determination of the Volterra Series representation is not valid for the important case when the nonlinear system exhibits oscillatory behaviour and the input has a pole …

The Simultaneous Onset And Interaction Of Taylor And Dean Instabilities In A Couette Geometry, C. P. Hills, A. P. Bassom

Articles

The fluid flow between a pair of coaxial circular cylinders generated by the uniform rotation of the inner cylinder and an azimuthal pressure gradient is susceptible to both Taylor and Dean type instabilities. The flow can be characterised by two parameters: a measure of the relative magnitude of the rotation and pressure effects and a non-dimensional Taylor number. Neutral curves associated with each instability can be constructed but it has been suggested that these curves do not cross but rather posses `kinks'. Our work is based in the small gap, large wavenumber limit and considers the simultaneous onset of Taylor …

On Cographic Matroids And Signed-Graphic Matroids, Dan Slilaty

Mathematics and Statistics Faculty Publications

We prove that a connected cographic matroid of a graph G is the bias matroid of a signed graph Σ iff G imbeds in the projective plane. In the case that G is nonplanar, we also show that Σ must be the projective-planar dual signed graph of an actual imbedding of G in the projective plane. As a corollary we get that, if G1, . . . , G29 denote the 29 nonseparable forbidden minors for projective-planar graphs, then the cographic matroids of G1, . . . , G29 are among the forbidden minors for the class of bias matroids …

Cyclic Difference Covers, K. T. Arasu, Surinder Sehgal

Mathematics and Statistics Faculty Publications

his paper studies cyclic difference covers in finite cyclic groups and develops several constructions and existence results for these combinatorial structures. The authors investigate conditions under which cyclic difference covers exist, derive new infinite families, and analyze connections with related objects such as difference sets and covering designs. Applications to combinatorial design theory and coding-related constructions are also discussed.

Reversals And Transpositions Over Finite Alphabets, A. J. Radcliffe, A. D. Scott, E. L. Wilmer

Department of Mathematics: Faculty Publications

Extending results of Christie and Irving, we examine the action of reversals and transpositions on finite strings over an alphabet of size k. We show that determining reversal, transposition, or signed reversal distance between two strings over a finite alphabet is NP-hard, while for “dense” instances we give a polynomial-time approximation scheme. We also give a number of extremal results, as well as investigating the distance between random strings and the problem of sorting a string over a finite alphabet.

On The Integrability Of A Class Of Nonlinear Dispersive Wave Equations, Rossen Ivanov

Articles

We investigate the integrability of a class of 1+1 dimensional models describing nonlinear dispersive waves in continuous media, e.g. cylindrical compressible hyperelastic rods, shallow water waves, etc. The only completely integrable cases coincide with the Camassa-Holm and Degasperis-Procesi equations.

Positive Solutions For A Fourth Order Boundary Value Problem, Bo Yang

Faculty Articles

We consider a boundary value problem for the beam equation, in which the boundary conditions mean that the beam is embedded at one end and free at the other end. Some new estimates to the positive solutions to the boundary value problem are obtained. Some sufficient conditions for the existence of at least one positive solution for the boundary value problem are established. An example is given at the end of the paper to illustrate the main results.

Weak Solutions To The Cauchy Problem Of A Semilinear Wave Equation With Damping And Source Terms, Petronela Radu

Department of Mathematics: Faculty Publications

In this paper we prove local existence of weak solutions for a semilinear wave equation with power-like source and dissipative terms on the entire space ℝⁿ. The main theorem gives an alternative proof of the local in time existence result due to J. Serrin, G. Todorova and E. Vitillaro, and also some extension to their work. In particular, our method shows that sources that are not locally Lipschitz in L² can be controlled without any damping at all. If the semilinearity involving the displacement has a “good” sign, we obtain global existence of solutions.

Fuzzy And Neutrosophic Analysis Of Women With Hiv/Aids, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

Fuzzy theory is one of the best tools to analyze data, when the data under study is an unsupervised one, involving uncertainty coupled with imprecision. However, fuzzy theory cannot cater to analyzing the data involved with indeterminacy. The only tool that can involve itself with indeterminacy is the neutrosophic model. Neutrosophic models are used in the analysis of the socio-economic problems of HIV/AIDS infected women patients living in rural Tamil Nadu. Most of these women are uneducated and live in utter poverty. Till they became seriously ill they worked as daily wagers. When these women got admitted in the hospital …

Fuzzy And Neutrosophic Analysis Of Periyar’S Views On Untouchability, Florentin Smarandache, Vasantha Kandasamy, K. Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

“Day in and day out we take pride in claiming that India has a 5000 year old civilization. But the way Dalits and those suppressed are being treated by the people who wield power and authority speaks volumes for the degradations of our moral structure and civilized standards.” Ex-President of India, the late K. R. Narayanan The New Indian Express, Saturday, 12 Nov. 2005 K.R.Narayanan was a lauded hero and a distinguished victim of his Dalit background. Even in an international platform when he was on an official visit to Paris, the media headlines blazed, ‘An Untouchable at Elysee’. He …

Strict Feedforward Form And Symmetries Of Nonlinear Control Systems, Witold Respondek, Issa Amadou Tall

Miscellaneous (presentations, translations, interviews, etc)

We establish a relation between strict feedforward form and symmetries of nonlinear control systems. We prove that a system is feedback equivalent to the strict feedforward form if and only if it gives rise to a sequence of systems, such that each element of the sequence, firstly, possesses an infinitesimal symmetry and, secondly, it is the factor system of the preceding one, i.e., is reduced from the preceding one by its symmetry. We also propose a strict feedforward normal form and prove that a smooth strict feedforward system can be smoothly brought to that form.

Weighted Canonical Forms Of Nonlinear Single-Input Control Systems With Noncontrollable Linearization, Issa Amadou Tall, Witold Respondek

Miscellaneous (presentations, translations, interviews, etc)

We propose a weighted canonical form for single-input systems with noncontrollable first order approximation under the action of formal feedback transformations. This weighted canonical form is based on associating different weights to the linearly controllable and linearly noncontrollable parts of the system. We prove that two systems are formally feedback equivalent if and only if their weighted canonical forms coincide up to a diffeomorphism whose restriction to the linearly controllable part is identity.