Algebra Commons^™

Centric Cardinal Sine Function, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

According to any standard dictionary, the word "cardinal" is synonymous with "principal", "essential", "fundamental". In centric mathematics (CM), or ordinary mathematics, cardinal is, on the one hand, a number equal to a number of finite aggregate, called the power of the aggregate, and on the other hand, known as the sine cardinal sinc(x) or cosine cardinal cosc(x), is a special function defined by the centric circular function (CCF). sin(x) and cos(x) are commonly used in undulatory physics (see Figure 1) and whose graph, the graph of cardinal sine, which is called as "Mexican hat" (sombrero) because of its shape.

Schur Functions And Their Realizations In The Slice Hyperholomorphic Setting, Daniel Alpay, Fabrizio Colombo, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we start the study of Schur analysis in the quaternionic setting using the theory of slice hyperholomorphic functions. The novelty of our approach is that slice hyperholomorphic functions allows to write realizations in terms of a suitable resolvent, the so called S-resolvent operator and to extend several results that hold in the complex case to the quaternionic case. We discuss reproducing kernels, positive definite functions in this setting and we show how they can be obtained in our setting using the extension operator and the slice regular product. We define Schur multipliers, and find their co-isometric realization …

On The Class Rsi Of J-Contractive Functions Intertwining Solutions Of Linear Differential Equations, Daniel Alpay, Andrey Melnikov, Victor Vinnikov

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we extend and solve in the class of functions RSI mentioned in the title, a number of problems originally set for the class RS of rational functions contractive in the open right-half plane, and unitary on the imaginary line with respect to some preassigned self-adjoint matrix. The problems we consider include the Schur algorithm, the partial realization problem and the Nevanlinna-Pick interpolation problem. The arguments rely on the one-to-one correspondence between elements in a given subclass of RSI and elements in RS. Another important tool in the arguments is a new result pertaining to the classical tangential …

New Topological C-Algebras With Applications In Linear Systems Theory, Daniel Alpay, Guy Salomon

Mathematics, Physics, and Computer Science Faculty Articles and Research

Motivated by the Schwartz space of tempered distributions S′ and the Kondratiev space of stochastic distributions S−1 we define a wide family of nuclear spaces which are increasing unions of (duals of) Hilbert spaces H′p,p∈N, with decreasing norms |⋅|p. The elements of these spaces are functions on a free commutative monoid. We characterize those rings in this family which satisfy an inequality of the form |f∗g|p≤A(p−q)|f|q|g|p for all p≥q+d, where * denotes the convolution in the monoid, A(p−q) is a strictly positive number and d is a fixed natural number (in this case we obtain commutative topological C-algebras). Such an …

White Noise Based Stochastic Calculus Associated With A Class Of Gaussian Processes, Daniel Alpay, Haim Attia, David Levanony

Mathematics, Physics, and Computer Science Faculty Articles and Research

Using the white noise space setting, we define and study stochastic integrals with respect to a class of stationary increment Gaussian processes. We focus mainly on continuous functions with values in the Kondratiev space of stochastic distributions, where use is made of the topology of nuclear spaces. We also prove an associated Ito formula.

Abelian Groups With Partial Decomposition Bases In LΔ∞Ω, Part I, Carol Jacoby, Katrin Leistner, Peter Loth, Lutz Strungmann

Mathematics Faculty Publications

We consider the class of abelian groups possessing partial decomposition bases in L^δ_∞ω for δ an ordinal. This class contains the class of Warfield groups which are direct summands of simply presented groups or, alternatively, are abelian groups possessing a nice decomposition basis with simply presented cokernel. We prove a classification theorem using numerical invariants that are deduced from the classical Ulm-Kaplansky and Warfield invariants. This extends earlier work by Barwise-Eklof, Göbel and the authors.

Unitary Equivalence To A Truncated Toeplitz Operator: Analytic Symbols, William T. Ross, Stephan Ramon Garcia, Daniel E. Poore

Department of Math & Statistics Faculty Publications

Unlike Toeplitz operators on H², truncated Toeplitz operators do not have a natural matricial characterization. Consequently, these operators are difficult to study numerically. In this note we provide criteria for a matrix with distinct eigenvalues to be unitarily equivalent to a truncated Toeplitz operator having an analytic symbol. This test is constructive and we illustrate it with several examples. As a byproduct, we also prove that every complex symmetric operator on a Hilbert space of dimension < 3 is unitarily equivalent to a direct sum of truncated Toeplitz operators.

Non Associative Linear Algebras, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors for the first time introduce the notion of non associative vector spaces and non associative linear algebras over a field. We construct non associative space using loops and groupoids over fields. In general in all situations, which we come across to find solutions may not be associative; in such cases we can without any difficulty adopt these non associative vector spaces/linear algebras. Thus this research is a significant one.

This book has six chapters. First chapter is introductory in nature. The new concept of non associative semilinear algebras is introduced in chapter two. This structure is …

Dual Numbers, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

Dual numbers was first introduced by W.K. Clifford in 1873. This nice concept has lots of applications; to screw systems, modeling plane joint, iterative methods for displacement analysis of spatial mechanisms, inertial force analysis of spatial mechanisms etc. In this book the authors study dual numbers in a special way. The main aim of this book is to find rich sources of new elements g such that g2 = 0. The main sources of such new elements are from Zn, n a composite number. We give algebraic structures on them. This book is organized into six chapters. The final chapter …

Exploring The Extension Of Natural Operations On Intervals, Matrices And Complex Numbers, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

This book extends the natural operations defined on intervals, finite complex numbers and matrices. The intervals [a, b] are such that a ≤ b. But the natural class of intervals [a, b] introduced by the authors are such that a ≥ b or a need not be comparable with b. This way of defining natural class of intervals enables the authors to extend all the natural operations defined on reals to these natural class of intervals without any difficulty. Thus with these natural class of intervals working with interval matrices like stiffness matrices finding eigenvalues takes the same time as …

Enhancements Of Rack Counting Invariants Via Dynamical Cocycles, Alissa S. Crans, Sam Nelson, Aparna Sarkar

Mathematics, Statistics and Data Science Faculty Works

We introduce the notion of N-reduced dynamical cocycles and use these objects to define enhancements of the rack counting invariant for classical and virtual knots and links. We provide examples to show that the new invariants are not determined by the rack counting invariant, the Jones polynomial or the generalized Alexander polynomial.

Completeness For The Coalgebraic Cover Modality, Clemens Kupke, Alexander Kurz, Yde Venema

Engineering Faculty Articles and Research

We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional logic with a so-called coalgebraic cover modality depending on the type functor. Its semantics is defined in terms of a categorically defined relation lifting operation.

As the main contributions of our paper we introduce a derivation system, and prove that it provides a sound and complete axiomatization for the collection of coalgebraically valid inequalities. Our soundness and completeness proof is algebraic, …

Strongly Complete Logics For Coalgebras, Alexander Kurz, Jiří Rosický

Engineering Faculty Articles and Research

Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary set-functor is given and proven to be strongly complete under additional assumptions. We proceed in three parts.

Part I argues that sifted colimit preserving functors are those functors that preserve universal algebraic structure. Our main theorem here states that a functor preserves sifted colimits if and only if it has a finitary presentation by operations and equations. Moreover, the presentation of the …

Coalgebraic Logics (Dagstuhl Seminar 12411), Ernst-Erich Doberkat, Alexander Kurz

Engineering Faculty Articles and Research

This report documents the program and the outcomes of Dagstuhl Seminar 12411 “Coalgebraic Logics”. The seminar deals with recent developments in the area of coalgebraic logic, a branch of logics which combines modal logics with coalgebraic semantics. Modal logic finds its uses when reasoning about behavioural and temporal properties of computation and communication, coalgebras have evolved into a general theory of systems. Consequently, it is natural to combine both areas for a mathematical description of system specification. Coalgebraic logics are closely related to the broader categories semantics/formal methods and verification/logic.

An Interpolation Problem For Functions With Values In A Commutative Ring, Daniel Alpay, Haim Attia

Mathematics, Physics, and Computer Science Faculty Articles and Research

It was recently shown that the theory of linear stochastic systems can be viewed as a particular case of the theory of linear systems on a certain commutative ring of power series in a countable number of variables. In the present work we study an interpolation problem in this setting. A key tool is the principle of permanence of algebraic identities.

Stochastic Processes Induced By Singular Operators, Daniel Alpay, Palle Jorgensen

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we study a general family of multivariable Gaussian stochastic processes. Each process is prescribed by a fixed Borel measure σ on Rn. The case when σ is assumed absolutely continuous with respect to Lebesgue measure was stud- ied earlier in the literature, when n = 1. Our focus here is on showing how different equivalence classes (defined from relative absolute continuity for pairs of measures) translate into concrete spectral decompositions of the corresponding stochastic processes under study. The measures σ we consider are typically purely singular. Our proofs rely on the theory of (singular) unbounded operators in …

Bicomplex Numbers And Their Elementary Functions, M. E. Luna-Elizarrarás, M. Shapiro, Daniele C. Struppa, Adrian Vajiac

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we introduce the algebra of bicomplex numbers as a generalization of the field of complex numbers. We describe how to define elementary functions in such an algebra (polynomials, exponential functions, and trigonometric functions) as well as their inverse functions (roots, logarithms, inverse trigonometric functions). Our goal is to show that a function theory on bicomplex numbers is, in some sense, a better generalization of the theory of holomorphic functions of one variable, than the classical theory of holomorphic functions in two complex variables.

Lagrange's Theory Of Analytical Functions And His Ideal Of Purity Of Method, Giovanni Ferraro, Marco Panza

MPP Published Research

We reconstruct essential features of Lagrange’s theory of analytical functions by exhibiting its structure and basic assumptions, as well as its main shortcomings. We explain Lagrange’s notions of function and algebraic quantity, and we concentrate on power-series expansions, on the algorithm for derivative functions, and the remainder theorem—especially on the role this theorem has in solving geometric and mechanical problems. We thus aim to provide a better understanding of Enlightenment mathematics and to show that the foundations of mathematics did not, for Lagrange, concern the solidity of its ultimate bases, but rather purity of method—the generality and internal organization of …

Analyzing Common Algebra-Related Misconceptions And Errors Of Middle School Students., Sarah B. Bush

Electronic Theses and Dissertations

The purpose of this study was to examine common algebra-related misconceptions and errors of middle school students. In recent years, success in Algebra I is often considered the mathematics gateway to graduation from high school and success beyond. Therefore, preparation for algebra in the middle grades is essential to student success in Algebra I and high school. This study examines the following research question: What common algebra-related misconceptions and errors exist among students in grades six and eight as identified on student responses on an annual statewide standardized assessment? In this study, qualitative document analysis of existing data was used …

Finitely Presented Modules Over The Steenrod Algebra In Sage, Michael J. Catanzaro

Wayne State University Theses

No abstract provided.