Applied Mathematics Commons^™

S-Extremal Additive F4 Codes, Evangeline P. Bautista, Philippe Gaborit, Jon-Lark Kim, Judy L. Walker

Department of Mathematics: Faculty Publications

Binary self-dual codes and additive self-dual codes over F₄ have in common interesting properties, for example, Type I, Type II, shadows, etc. Recently Bachoc and Gaborit introduced the notion of s-extremality for binary self-dual codes, generalizing Elkies' study on the highest possible minimum weight of the shadows of binary self-dual codes. In this paper, we introduce a concept of s-extremality for additive self-dual codes over F₄, give a bound on the length of these codes with even distance d, classify them up to minimum distance d = 4, give possible lengths and (shadow) weight …

Water Waves And Integrability, Rossen Ivanov

Articles

The Euler’s equations describe the motion of inviscid fluid. In the case of shallow water, when a perturbative asymtotic expansion of the Euler’s equations is taken (to a certain order of smallness of the scale parameters), relations to certain integrable equations emerge. Some recent results concerning the use of integrable equation in modeling the motion of shallow water waves are reviewed in this contribution.

Locally Conservative Fluxes For The Continuous Galerkin Method, Bernardo Cockburn, Jay Gopalakrishnan, Haiying Wang

Mathematics and Statistics Faculty Publications and Presentations

The standard continuous Galerkin (CG) finite element method for second order elliptic problems suffers from its inability to provide conservative flux approximations, a much needed quantity in many applications. We show how to overcome this shortcoming by using a two step postprocessing. The first step is the computation of a numerical flux trace defined on element inter- faces and is motivated by the structure of the numerical traces of discontinuous Galerkin methods. This computation is non-local in that it requires the solution of a symmetric positive definite system, but the system is well conditioned independently of mesh size, so it …

A Comparison Of Three Topologies On Ordered Sets, Joe Mashburn

Mathematics Faculty Publications

We introduce two new topologies on ordered sets: the way below topology and weakly way below topology. These are similar in definition to the Scott topology, but are very different if the set is not continuous. The basic properties of these three topologies are compared. We will show that while domain representable spaces must be Baire, this is not the case with the new topologies.

Estimates Of Positive Solutions To A Boundary Value Problem For The Beam Equation, Bo Yang

Faculty Articles

We consider a two-point boundary value problem for the fourth order beam equation. New upper and lower estimates of positive solutions of the problem are obtained.

Elementary Fuzzy Matrix Theory And Fuzzy Models For Social Scientists, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

This book aims to assist social scientists to analyze their problems using fuzzy models. The basic and essential fuzzy matrix theory is given. The book does not promise to give the complete properties of basic fuzzy theory or basic fuzzy matrices. Instead, the authors have only tried to give those essential basically needed to develop the fuzzy model. The authors do not present elaborate mathematical theories to work with fuzzy matrices; instead they have given only the needed properties by way of examples. The authors feel that the book should mainly help social scientists who are interested in finding out …

Special Fuzzy Matrices For Social Scientists, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

This book is a continuation of the book, "Elementary fuzzy matrix and fuzzy models for socio-scientists" by the same authors. This book is a little advanced because we introduce a multi-expert fuzzy and neutrosophic models. It mainly tries to help social scientists to analyze any problem in which they need multi-expert systems with multi-models. To cater to this need, we have introduced new classes of fuzzy and neutrosophic special matrices. The first chapter is essentially spent on introducing the new notion of different types of special fuzzy and neutrosophic matrices, and the simple operations on them which are needed in …

A Unifying Field In Logics: Neutrosophic Logic. Neutrosophy, Neutrosophic Set, Neutrosophic Probability And Statistics - 6th Ed., Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

It was a surprise for me when in 1995 I received a manuscript from the mathematician, experimental writer and innovative painter Florentin Smarandache, especially because the treated subject was of philosophy - revealing paradoxes - and logics. He had generalized the fuzzy logic, and introduced two new concepts: a) “neutrosophy” – study of neutralities as an extension of dialectics; b) and its derivative “neutrosophic”, such as “neutrosophic logic”, “neutrosophic set”, “neutrosophic probability”, and “neutrosophic statistics” and thus opening new ways of research in four fields: philosophy, logics, set theory, and probability/statistics. It was known to me his setting up in …

Auxiliary Information And A Priori Values In Construction Of Improved Estimators, Florentin Smarandache, Rajesh Singh, Pankaj Chauhan, Nirmala Sawan

Branch Mathematics and Statistics Faculty and Staff Publications

This volume is a collection of six papers on the use of auxiliary information and a priori values in construction of improved estimators. The work included here will be of immense application for researchers and students who employ auxiliary information in any form. Below we discuss each paper: 1. Ratio estimators in simple random sampling using information on auxiliary attribute. Prior knowledge about population mean along with coefficient of variation of the population of an auxiliary variable is known to be very useful particularly when the ratio, product and regression estimators are used for estimation of population mean of a …

Collected Papers Vol. 1, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Positive Solutions Of A Nonlinear Higher Order Boundary-Value Problem, John R. Graef, Johnny Henderson, Bo Yang

Faculty Articles

The authors consider the higher order boundary-value problem u (n)(t) = q(t)f(u(t)), 0 ≤ t ≤ 1, u(i-1)(0) = u (n-2)(p) = u(n-1)(1) = 0, 1 ≤ i ≤ n -2, where n ≥ 4 is an integer, and p ∈ (1/2, 1) is a constant. Sufficient conditions for the existence and nonexistence of positive solutions of this problem are obtained. The main results are illustrated with an example.

Characterizations Of Pseudo-Codewords Of Ldpc Codes, Ralf Koetter, Wen-Cheng W. Li, Pascal O. Vontobel, Judy L. Walker

Department of Mathematics: Faculty Publications

An important property of high-performance, low complexity codes is the existence of highly efficient algorithms for their decoding. Many of the most efficient, recent graph-based algorithms, e.g. message passing algorithms and decoding based on linear programming, crucially depend on the efficient representation of a code in a graphical model. In order to understand the performance of these algorithms, we argue for the characterization of codes in terms of a so called fundamental cone in Euclidean space which is a function of a given parity check matrix of a code, rather than of the code itself. We give a number of …

Slow Flow Between Concentric Cones, O. Hall, C. P. Hills, A. D. Gilbert

Articles

This paper considers the low-Reynolds-number flow of an incompressible fluid contained in the gap between two coaxial cones with coincident apices and bounded by a spherical lid. The two cones and the lid are allowed to rotate independently about their common axis, generating a swirling motion. The swirl induces a secondary, meridional circulation through inertial effects. For specific configurations complex eigenmodes representing an infinite sequence of eddies, analogous to those found in two-dimensional corner flows and some three-dimensional geometries, form a component of this secondary circulation. When the cones rotate these eigenmodes, arising from the geometry, compete with the forced …

Krylov Subspaces From Bilinear Representations Of Nonlinear Systems, Marissa Condon, Rossen Ivanov

Articles

For efficient simulation of state-of-the-art dynamical systems as arise in all aspects of engineering, the development of reduced-order models is of paramount importance. While linear reduction techniques have received considerable study, increasingly nonlinear model reduction is becoming a significant field of interest. From a circuits and systems viewpoint, systems involving micromachined devices or systems involving mixed technologies necessitate the development of reduced-order nonlinear models. From a control systems viewpoint, the design of controllers for nonlinear systems is greatly facilitated by nonlinear model reduction strategies. To this end, the paper proposes two novel model-reduction strategies for nonlinear systems. The first involves …

Generalised Fourier Transform For The Camassa-Holm Hierarchy, Adrian Constantin, Vladimir Gerdjikov, Rossen Ivanov

Articles

The squared eigenfunctions of the spectral problem associated to the Camassa-Holm equation represent a complete basis of functions, which helps to describe the Inverse Scattering Transform for the Camassa-Holm hierarchy as a Generalised Fourier transform. The main result of this work is the derivation of the completeness relation for the squared solutions of the Camassa-Holm spectral problem. We show that all the fundamental properties of the Camassa-Holm equation such as the integrals of motion, the description of the equations of the whole hierarchy and their Hamiltonian structures can be naturally expressed making use of the completeness relation and the recursion …

Asymmetric Games For Convolution Systems With Applications To Feedback Control Of Constrained Parabolic Equations, Boris S. Mordukhovich

Mathematics Research Reports

The paper is devoted to the study of some classes of feedback control problems for linear parabolic equations subject to hard/pointwise constraints on both Dirichlet boundary controls and state dynamic/output functions in the presence of uncertain perturbations within given regions. The underlying problem under consideration, originally motivated by automatic control of the groundwater regime in irrigation networks, is formalized as a minimax problemof optimal control, where the control strategy is sought as a feedback law. Problems of this type are among the most important in control theory and applications - while most challenging and difficult. Based on the Maximum Principle …

Suboptimal Feedback Control Design Of Constrained Parabolic Systems In Uncertainty Conditions, Boris S. Mordukhovich

Mathematics Research Reports

The paper concerns minimax control problems forlinear multidimensional parabolic systems with distributed uncertain perturbations and control functions acting in the Dirichlet boundary conditions. The underlying parabolic control system is functioning under hard/pointwise constraints on control and state variables. The main goal is to design a feedback control regulator that ensures the required state performance and robust stability under any feasible perturbations and minimize an energy-type functional under the worst perturbations from the given area. We develop an efficient approach to the minimax control design of constrained parabolic systems that is based on certain characteristic features of the parabolic dynamics including …

Generalized Differentiation Of Parameter-Dependent Sets And Mappings, Boris S. Mordukhovich, Bingwu Wang

Mathematics Research Reports

The paper concerns new aspects of generalized differentiation theory that plays a crucial role in many areas of modern variational analysis, optimization, and their applications. In contrast to the majority of previous developments, we focus here on generalized differentiation of parameter-dependent objects (sets, set-valued mappings, and nonsmooth functions), which naturally appear, e.g., in parametric optimization and related topics. The basic generalized differential constructions needed in this case are different for those known in parameter-independent settings, while they still enjoy comprehensive calculus rules developed in this paper.

Optimal Control Of Nonconvex Differential Inclusions, Boris S. Mordukhovich

Mathematics Research Reports

The paper concerns new aspects of generalized differentiation theory that plays a crucial role in many areas of modern variational analysis, optimization, and their applications. In contrast to the majority of previous developments, we focus here on generalized differentiation of parameter-dependent objects (sets, set-valued mappings, and nonsmooth functions), which naturally appear, e.g., in parametric optimization and related topics. The basic generalized differential constructions needed in this case are different for those known in parameter-independent settings, while they still enjoy comprehensive calculus rules developed in this paper.

Explicit Symmetries Of Strict Feedforward Control Systems, Issa Amadou Tall, Witold Respondek

Miscellaneous (presentations, translations, interviews, etc)

We show that any symmetry of a smooth strict feedforward system is conjugated to a scaling translation and any 1-parameter family of symmetries to a family of scaling translations along the first variable. We compute explicitly those symmetries by finding the conjugating diffeomorphism. We deduce, in accordance with our previous work, that a smooth system is feedback equivalent to a 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 whose flow is conjugated to a 1- parameter families of scaling translations and, …

Epi-Convergent Discretization Of The Generalizaed Bolza Problem In Dynamic Optimization, Boris S. Mordukhovich, Teemu Pennanen

Mathematics Research Reports

The paper is devoted to well-posed discrete approximations of the so-called generalized Bolza problem of minimizing variational functionals defined via extended-real-valued functions. This problem covers more conventional Bolza-type problems in the calculus of variations and optimal control of differential inclusions as well of parameterized differential equations. Our main goal is find efficient conditions ensuring an appropriate epi-convergence of discrete approximations, which plays a significant role in both the qualitative theory and numerical algorithms of optimization and optimal control. The paper seems to be the first attempt to study epi-convergent discretizations of the generalized Bolza problem; it establishes several rather general …

Balanced Biorthogonal Scaling Vectors Using Fractal Function Macroelements On [0,1], Bruce Kessler

Mathematics Faculty Publications

Geronimo, Hardin, et al have previously constructed orthogonal and biorthogonal scaling vectors by extending a spline scaling vector with functions supported on $[0,1]$. Many of these constructions occurred before the concept of balanced scaling vectors was introduced. This paper will show that adding functions on $[0,1]$ is insufficient for extending spline scaling vectors to scaling vectors that are both orthogonal and balanced. We are able, however, to use this technique to extend spline scaling vectors to balanced, biorthogonal scaling vectors, and we provide two large classes of this type of scaling vector, with approximation order two and three, respectively, with …

Bayesian Wavelet-Based Methods For The Detection Of Multiple Changes Of The Long Memory Parameter, Kyungduk Ko

Mathematics Faculty Publications and Presentations

Long memory processes are widely used in many scientific fields, such as economics, physics, and engineering. Change point detection problems have received considerable attention in the literature because of their wide range of possible applications. Here we describe a wavelet-based Bayesian procedure for the estimation and location of multiple change points in the long memory parameter of Gaussian autoregressive fractionally integrated moving average models (ARFIMA(p, d, q)), with unknown autoregressive and moving average parameters. Our methodology allows the number of change points to be unknown. The reversible jump Markov chain Monte Carlo algorithm is used for posterior inference. The method …

On T-Pure And Almost Pure Exact Sequences Of Lca Groups, Peter Loth

Mathematics Faculty Publications

A proper short exact sequence in the category of locally compact abelian groups is said to be t-pure if φ(A) is a topologically pure subgroup of B, that is, if for all positive integers n. We establish conditions under which t-pure exact sequences split and determine those locally compact abelian groups K ⊕ D (where K is compactly generated and D is discrete) which are t-pure injective or t-pure projective. Calling the extension (*) almost pure if for all positive integers n, we obtain a complete description of the almost pure injectives and almost pure projectives in the category of …

Multiobjective Optimization Problems With Equilibrium Constraints, Boris S. Mordukhovich

Mathematics Research Reports

The paper is devoted to new applications of advanced tools of modern variational analysis and generalized differentiation to the study of broad classes of multiobjective optimization problems subject to equilibrium constraints in both finite-dimensional and infinite-dimensional settings. Performance criteria in multiobjectivejvector optimization are defined by general preference relationships satisfying natural requirements, while equilibrium constraints are described by parameterized generalized equations/variational conditions in the sense of Robinson. Such problems are intrinsically nonsmooth and are handled in this paper via appropriate normal/coderivativejsubdifferential constructions that exhibit full calculi. Most of the results obtained are new even in finite dimensions, while the case of …

Allometric Extension For Multivariate Regression Models, Thaddeus Tarpey, Christopher T. Ivey

Mathematics and Statistics Faculty Publications

In multivariate regression, interest lies on how the response vector depends on a set of covariates. A multivariate regression model is proposed where the covariates explain variation in the response only in the direction of the first principal component axis. This model is not only parsimonious, but it provides an easy interpretation in allometric growth studies where the first principal component of the log-transformed data corresponds to constants of allometric growth. The proposed model naturally generalizes the two–group allometric extension model to the situation where groups differ according to a set of covariates. A bootstrap test for the model is …

Positive Solutions Of A Nonlinear N-Th Order Eigenvalue Problem, John R. Graef, Johnny Henderson, Bo Yang

Faculty Articles

For 1/2 < p < 1 fixed, values of lambda > 0 are determined for which there exist positive solutions of the n-th order differential equation u((n)) = lambda g(t)f(u), 0 < t < 1, satisfying the three-point boundary conditions, u((i-1)) (0) = u((n-2)) (P) = u((n-1)) (1) = 0, 1

The problem is converted to a third order differential-integro boundary value problem and then a recent result of Graef and Yang for third order boundary value problems is adapted. An example is included to illustrate the results.

Norming Algebras And Automatic Complete Boundedness Of Isomorphisms Of Operator Algebras, David R. Pitts

Department of Mathematics: Faculty Publications

We combine the notion of norming algebra introduced by Pop, Sinclair and Smith with a result of Pisier to show that if A1 and A2 are operator algebras, then any bounded epimorphism of A1 onto A2 is completely bounded provided that A2 contains a norming C*-subalgebra. We use this result to give some insights into Kadison’s Similarity Problem: we show that every faithful bounded homomorphism of a C*-algebra on a Hilbert space has completely bounded inverse, and show that a bounded representation of a C-algebra is similar to a -representation precisely when the image operator algebra -norms itself. We give …

Necessary Conditions In Multiobjective Optimization With Equilibrium Constraints, Truong Q. Bao, Panjak Gupta, Boris S. Mordukhovich

Mathematics Research Reports

In this paper we study multiobjective optimization problems with equilibrium constraints (MOECs) described by generalized equations in the form 0 is an element of the set G(x,y) + Q(x,y), where both mappings G and Q are set-valued. Such models particularly arise from certain optimization-related problems governed by variational inequalities and first-order optimality conditions in nondifferentiable programming. We establish verifiable necessary conditions for the general problems under consideration and for their important specifications using modern tools of variational analysis and generalized differentiation. The application of the obtained necessary optimality conditions is illustrated by a numerical example from bilevel programming with convex …

Can We Have Superconvergent Gradient Recovery Under Adaptive Meshes?, Haijun Wu, Zhimin Zhang

Mathematics Research Reports

We study adaptive finite element methods for elliptic problems with domain corner singularities. Our model problem is the two dimensional Poisson equation. Results of this paper are two folds. First, we prove that there exists an adaptive mesh (gauged by a discrete mesh density function) under which the recovered.gradient by the Polynomial Preserving Recovery (PPR) is superconvergent. Secondly, we demonstrate by numerical examples that an adaptive procedure with a posteriori error estimator based on PPR does produce adaptive meshes satisfy our mesh density assumption, and the recovered gradient by PPR is indeed supercoveregent in the adaptive process.