Mathematics Commons^™

Technology And Mathematics Standards: An Integrated Approach, Chris Merrill, Mark Comerford

Publications

The article focuses on the use of standards-based teaching and learning that has been gaining significant attention in the education world. State and national associations now base their specific subject area or discipline solely on standards, i.e., International Technology Education Association (ITEA), National Council of Teachers of Mathematics (NCTM), National Science Education Association (NSEA). Moreover, at the public school level, state boards of education are holding school districts accountable for teaching standards-based curricula. It is with the latter definition in mind that the authors created a standards-based, integrated technology and mathematics lesson using the design and construction of stair systems.

Torsion-Free Weakly Transitive Abelian Groups, Brendan Goldsmith, Lutz Strungmann

Articles

We introduce the notion of weak transitivity for torsion-free abelian groups. A torsion-free abelian group G is called weakly transitive if for any pair of elements x, y ∈ G and endomorphisms ϕ, ψ ∈ End(G) such that xϕ = y, yψ = x, there exists an automorphism of G mapping x onto y. It is shown that every suitable ring can be realized as the endomorphism ring of a weakly transitive torsion-free abelian group, and we characterize up to a number-theoretical property the separable weakly transitive torsion-free abelian groups.

Enrichment Over Iterated Monoidal Categories, Stefan Forcey

Mathematical Sciences Faculty Research

Joyal and Street note in their paper on braided monoidal categories [Braided tensor categories, Advances in Math. 102(1993) 20-78] that the 2-category V-Cat of categories enriched over a braided monoidal category V is not itself braided in any way that is based upon the braiding of V. The exception that they mention is the case in which V is symmetric, which leads to V-Cat being symmetric as well. The symmetry in V-Cat is based upon the symmetry of V. The motivation behind this paper is in part to describe how these facts relating V and V-Cat are in turn related …

Blowup And Dissipation In A Critical-Case Unstable Thin Film Equation, Thomas P. Witelski, Andrew J. Bernoff, Andrea L. Bertozzi

All HMC Faculty Publications and Research

We study the dynamics of dissipation and blow-up in a critical-case unstable thin film equation. The governing equation is a nonlinear fourth-order degenerate parabolic PDE derived from a generalized model for lubrication flows of thin viscous fluid layers on solid surfaces. There is a critical mass for blow-up and a rich set of dynamics including families of similarity solutions for finite-time blow-up and infinite-time spreading. The structure and stability of the steady-states and the compactly-supported similarity solutions is studied.

Semilinear Equations With Discrete Spectrum, Alfonso Castro

All HMC Faculty Publications and Research

This is an overview of the solvability of semilinear equations where the linear part has discrete spectrum. Semilinear elliptic and hyperbolic equations, as well as Hammerstein integral equations, are used as motivating examples. The presentation is intended to be accessible to non experts.

An Existence Result For A Class Of Sublinear Semipositone Systems, Alfonso Castro, C. Maya, Ratnasingham Shivaji

All HMC Faculty Publications and Research

We consider the existence of positive solutions for the system

-Δu_i = λ[f_i(u₁,u₂,...,u_m) - h_i]; Ω

u_i = 0; ∂Ω

where λ > 0 is a parameter, Δ is the Laplacian operator, Ω is a bounded domain in Rⁿ; n ≥ 1 with a smooth boundary ∂Ω, f_i are C¹ functions satisfying f₁(0,0,...,0) = 0, lim z→∞ f_i(z,z,...,z) = ∞ and lim z→∞ f_i(z,z,...,z)/z = 0, and h_i are nonnegative continuous functions in Ω for i = 1,2,...,m. …

Random Walks With Badly Approximable Numbers, Doug Hensley, Francis Su

All HMC Faculty Publications and Research

Using the discrepancy metric, we analyze the rate of convergence of a random walk on the circle generated by d rotations, and establish sharp rates that show that badly approximable d-tuples in Rd give rise to walks with the fastest convergence.

Book Review: Differential Equations And Mathematical Biology, D.S. Jones, B.D. Sleeman, In: Crc Mathematical Biology And Medicine Series. Chapman & Hall (2003), Hardback, 408 Pages, $79.95, Isbn: 1584882964, Christopher Kribs

Mathematics Faculty Publications - Archive

No abstract provided.

Effects Of Education, Vaccination And Treatment On Hiv Transmission In Homosexuals With Genetic Heterogeneity, Christopher Kribs, Sara Del Valle, Arlene Morales Evangelista, Maria Cristina Velasco, Shu-Fang Hsu Schmitz

Mathematics Faculty Publications - Archive

Genetic studies report the existence of a mutant allele Δ32 of CC R5 chemokine receptor gene at high allele frequencies ( 10%) in Caucasian populations. The presence of the allele is believed to provide partial or full resistance to HIV. In this study, we look at the impact of education, temporarily effective vaccines and therapies on the dynamics of HIV in homosexually active populations. In our model, it is assumed that some individuals possess one or two mutant alleles (like Δ32 of CCR5) that prevent the successful invasion or replication of HIV. Our model therefore differentiates by genetic and epidemiological …

Residues And Tame Symbols On Toroidal Varieties, Ivan Soprunov

Mathematics and Statistics Faculty Publications

We introduce a new approach to the study of a system of algebraic equations in (C) whose Newton polytopes have sufficiently general relative positions. Our method is based on the theory of Parshin’s residues and tame symbols on toroidal varieties. It provides a uniform algebraic explanation of the recent result of Khovanskii on the product of the roots of such systems and the Gel’fond–Khovanskii result on the sum of the values of a Laurent polynomial over the roots of such systems, and extends them to the case of an algebraically closed field of arbitrary characteristic.

Approximation For The Expectation Of A Function Of The Sample Mean, Rasul A. Khan

Mathematics and Statistics Faculty Publications

Let X¯ n be the mean of a random sample of size n from a distribution with mean μ and variance σ2. Under some conditions it is shown that Ef(X¯ n ) = f(μ) + (σ2/2n) f″(μ) + O(n −2), and var(f(X¯ n )) = (σ2/n) (f′(μ))2 + O(n −2), where f is a continuous function with a suitable growth condition. This complements a result of Lehmann [(1991). Theory of Point Estimation. Wadsworth, California] and Cramér [(1946). Mathematical Methods of Statistics. Princeton University Press, Princeton, N.J.] for wider application. An illustrative example is given to show an application where the …

Practical Approach To Incorporating Maple Into The Finite Mathematics Course: 3 Modules And 8 Case Studies, Jonica Helene Craft-Mcbride

Masters Theses

No abstract provided.

Cyclic Rings, Warren K. Buck

Masters Theses

No abstract provided.

Algebraic Semantics For Coalgebraic Logics, Clemens Kupke, Alexander Kurz, Dirk Pattinson

Engineering Faculty Articles and Research

With coalgebras usually being defined in terms of an endofunctor T on sets, this paper shows that modal logics for T-coalgebras can be naturally described as functors L on boolean algebras. Building on this idea, we study soundness, completeness and expressiveness of coalgebraic logics from the perspective of duality theory. That is, given a logic L for coalgebras of an endofunctor T, we construct an endofunctor L such that L-algebras provide a sound and complete (algebraic) semantics of the logic. We show that if L is dual to T, then soundness and completeness of the algebraic semantics immediately yield the …

Preface, Thomas Hildebrandt, Alexander Kurz

Engineering Faculty Articles and Research

No abstract provided.

Coalgebras And Modal Expansions Of Logics, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

In this paper we construct a setting in which the question of when a logic supports a classical modal expansion can be made precise. Given a fully selfextensional logic S, we find sufficient conditions under which the Vietoris endofunctor V on S-referential algebras can be defined and we propose to define the modal expansions of S as the logic that arises from the V-coalgebras. As an example, we also show how the Vietoris endofunctor on referential algebras extends the Vietoris endofunctor on Stone spaces. From another point of view, we examine when a category of ‘spaces’ (X,A), ie sets X …

Fuzzy Relational Maps And Neutrosophic Relational Maps, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

The aim of this book is two fold. At the outset the book gives most of the available literature about Fuzzy Relational Equations (FREs) and its properties for there is no book that solely caters to FREs and its applications. Though we have a comprehensive bibliography, we do not promise to give all the possible available literature about FRE and its applications. We have given only those papers which we could access and which interested us specially. We have taken those papers which in our opinion could be transformed for neutrosophic study. The second importance of this book is that …

Neutrosophic Dialogues, Florentin Smarandache, Feng Liu

Branch Mathematics and Statistics Faculty and Staff Publications

Thanks to Dr. Smarandache for his interest in Chinese culture. I cannot decline his warm request to write the preface, even with my fragments of knowledge – no insight nor wisdom, and therefore can be misleading. I have been extremely regretful for my ideological errors and mistakes in previous publications, especially those concerning Buddhism. As I mentioned in this book, I am not qualified. So please note that I am limited in my knowledge and enlightenment of the giant of Chinese heritage. I can express nothing more than my personal bias. In what aspect can Chinese culture be distinctive from …

Advances And Applications Of Dezert-Smarandache Theory (Dsmt), Vol. 1, Florentin Smarandache, Jean Dezert

Branch Mathematics and Statistics Faculty and Staff Publications

The Dezert-Smarandache Theory (DSmT) of plausible and paradoxical reasoning is a natural extension of the classical Dempster-Shafer Theory (DST) but includes fundamental differences with the DST. DSmT allows to formally combine any types of independent sources of information represented in term of belief functions, but is mainly focused on the fusion of uncertain, highly conflicting and imprecise quantitative or qualitative sources of evidence. DSmT is able to solve complex, static or dynamic fusion problems beyond the limits of the DST framework, especially when conflicts between sources become large and when the refinement of the frame of the problem under consideration …

Analysis Of Social Aspects Of Migrant Labourers Living With Hiv/Aids Using Fuzzy Theory And Neutrosophic Cognitive Maps, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

Neutrosophic logic grew as an alternative to the existing topics and it represents a mathematical model of uncertainty, vagueness, ambiguity, imprecision, undefined-ness, unknown, incompleteness, inconsistency, redundancy and contradiction. Despite various attempts to reorient logic, there has remained an essential need for an alternative system that could infuse into itself a representation of the real world. Out of this need arose the system of neutrosophy and its connected logic, neutrosophic logic. This new logic, which allows also the concept of indeterminacy to play a role in any real-world problem, was introduced first by one of the authors Florentin Smarandache. In this …

Basic Neutrosophic Algebraic Structures And Their Application To Fuzzy And Neutrosophic Models, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

Study of neutrosophic algebraic structures is very recent. The introduction of neutrosophic theory has put forth a significant concept by giving representation to indeterminates. Uncertainty or indeterminacy happen to be one of the major factors in almost all real-world problems. When uncertainty is modeled we use fuzzy theory and when indeterminacy is involved we use neutrosophic theory. Most of the fuzzy models which deal with the analysis and study of unsupervised data make use of the directed graphs or bipartite graphs. Thus the use of graphs has become inevitable in fuzzy models. The neutrosophic models are fuzzy models that permit …

Pencils Of Quadratic Forms Over Finite Fields, Robert W. Fitzgerald, Joseph L. Yucas

Articles and Preprints

A formula for the number of common zeros of a non-degenerate pencil of quadratic forms is given. This is applied to pencils which count binary strings with an even number of 1's prescribed distances apart.

The Linking Homomorphism Of One-Dimensional Minimal Sets, Alex Clark, Michael C. Sullivan

Articles and Preprints

We introduce a way of characterizing the linking of one-dimensional minimal sets in three-dimensional flows and carry out the characterization for some minimal sets within flows modeled by templates, with an emphasis on the linking of Denjoy continua. We also show that any aperiodic minimal subshift of minimal block growth has a suspension which is homeomorphic to a Denjoy continuum.

Moments Equalities For Nonnegative Integer-Valued Random Variables, Mohamed I. Riffi

Turkish Journal of Mathematics

We present and prove two theorems about equalities for the nth moment of nonnegative integer-valued random variables. These equalities generalize the well known equality for the first moment of a nonnegative integer-valued random variable X in terms of its cumulative distribution function, or in terms of its tail distribution.

On Multivariate Abel-Gontscharoff Interpolation, Tian-Xiao He

Scholarship

By using Gould's annihilation coefficients, we obtain an explicit fundamental polynomials of Multivariate Abel-Gontscharoff Interpolation and its remainder expression.

Fixed Point Theorems For Infinite Dimensional Holomorphic Functions, Lawrence A. Harris

Mathematics Faculty Publications

This talk discusses conditions on the numerical range of a holomorphic function defined on a bounded convex domain in a complex Banach space that imply that the function has a unique fixed point. In particular, extensions of the Earle-Hamilton Theorem are given for such domains. The theorems are applied to obtain a quantitative version of the inverse function theorem for holomorphic functions and a distortion form of Cartan's uniqueness theorem.

Integral Transforms, Convolution Products, And First Variations, Bong Jin Kim, Byoung Soo Kim, David Skough

Department of Mathematics: Faculty Publications

We establish the various relationships that exist among the integral transform F_α,βF, the convolution product (F∗G)α, and the first variation δF for a class of functionals defined on K[0,T], the space of complex-valued continuous functions on [0,T] which vanish at zero.

A Furi-Pera Theorem In Hausdorff Topological Spaces For Acyclic Maps, Ravi P. Agarwal, Donal O'Regan, Jewgeni H. Dshalalow

Mathematics and System Engineering Faculty Publications

We present new Furi-Pera theorems for acyclic maps between topological spaces.

Discrete Approximations And Necessary Optimality Conditions For Functional-Differential Inclusions Of Neutral Type, Boris S. Mordukhovich, Lianwen Wang

Mathematics Research Reports

This paper deals with necessary optimality conditions for optimal control systems governed by constrained functional-differential inclusions of neutral type. While some results are available for smooth control systems governed by neutral functional-differential equations, we are not familiar with any results for neutral functional-differential inclusions, even with smooth cost functionals in the absence of endpoint constraints. Developing the method of discrete approximations and employing advanced tools of generalized differentiation, we conduct a variational analysis of neutral functional-differential inclusions and obtain new necessary optimality conditions of both Euler-Lagrange and Hamiltonian types.

The Quaternions With An Application To Rigid Body Dynamics, Evangelos A. Coutsias, Louis Romero

Branch Mathematics and Statistics Faculty and Staff Publications

William Rowan Hamilton invented the quaternions in 1843, in his effort to construct hypercomplex numbers, or higher dimensional generalizations of the complex numbers. Failing to construct a generalization in three dimensions (involving triplets) in such a way that division would be possible, he considered systems with four complex units and arrived at the quaternions. He realized that, just as multiplication by i is a rotation by 90o in the complex plane, each one of his complex units could also be associated with a rotation in space. Vectors were introduced by Hamilton for the first time as pure quaternions and Vector …