Open Access. Powered by Scholars. Published by Universities.®

Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 30 of 41

Full-Text Articles in Mathematics

Coarsening In High Order, Discrete, Ill-Posed Diffusion Equations, Catherine Kublik Aug 2015

Coarsening In High Order, Discrete, Ill-Posed Diffusion Equations, Catherine Kublik

Catherine Kublik

We study the discrete version of a family of ill-posed, nonlinear diffusion equations of order 2n. The fourth order (n=2) version of these equations constitutes our main motivation, as it appears prominently in image processing and computer vision literature. It was proposed by You and Kaveh as a model for denoising images while maintaining sharp object boundaries (edges). The second order equation (n=1) corresponds to another famous model from image processing, namely Perona and Malik's anisotropic diffusion, and was studied in earlier papers. The equations studied in this paper are high order analogues of the Perona-Malik equation, and like the …


Algorithms For Area Preserving Flows, Catherine Kublik, Selim Esedoglu, Jeffrey A. Fessler Aug 2015

Algorithms For Area Preserving Flows, Catherine Kublik, Selim Esedoglu, Jeffrey A. Fessler

Catherine Kublik

We propose efficient and accurate algorithms for computing certain area preserving geometric motions of curves in the plane, such as area preserving motion by curvature. These schemes are based on a new class of diffusion generated motion algorithms using signed distance functions. In particular, they alternate two very simple and fast operations, namely convolution with the Gaussian kernel and construction of the distance function, to generate the desired geometric flow in an unconditionally stable manner. We present applications of these area preserving flows to large scale simulations of coarsening.


An Implicit Interface Boundary Integral Method For Poisson’S Equation On Arbitrary Domains, Catherine Kublik, Nicolay M. Tanushev, Richard Tsai Aug 2015

An Implicit Interface Boundary Integral Method For Poisson’S Equation On Arbitrary Domains, Catherine Kublik, Nicolay M. Tanushev, Richard Tsai

Catherine Kublik

We propose a simple formulation for constructing boundary integral methods to solve Poisson’s equation on domains with smooth boundaries defined through their signed distance function. Our formulation is based on averaging a family of parameterizations of an integral equation defined on the boundary of the domain, where the integrations are carried out in the level set framework using an appropriate Jacobian. By the coarea formula, the algorithm operates in the Euclidean space and does not require any explicit parameterization of the boundaries. We present numerical results in two and three dimensions.


Lyapunov Functionals That Lead To Exponential Stability And Instability In Finite Delay Volterra Difference Equations, Catherine Kublik, Youssef Raffoul Aug 2015

Lyapunov Functionals That Lead To Exponential Stability And Instability In Finite Delay Volterra Difference Equations, Catherine Kublik, Youssef Raffoul

Catherine Kublik

We use Lyapunov functionals to obtain sufficient conditions that guarantee exponential stability of the zero solution of the finite delay Volterra difference equation. Also, by displaying a slightly different Lyapunov functional, we obtain conditions that guarantee the instability of the zero solution. The highlight of the paper is the relaxing of the condition |a(t)| < 1. Moreover, we provide examples in which we show that our theorems provide an improvement of some recent results.


Pixley-Roy Hyperspaces Of Ω-Graphs, Joe Mashburn Jul 2015

Pixley-Roy Hyperspaces Of Ω-Graphs, Joe Mashburn

Joe D. Mashburn

The techniques developed by Wage and Norden are used to show that the Pixley-Roy hyperspaces of any two ω-graphs are homeomorphic. The Pixley-Roy hyperspaces of several subsets of Rn are also shown to be homeomorphic.


A Note On Irreducibility And Weak Covering Properties, Joe Mashburn Jul 2015

A Note On Irreducibility And Weak Covering Properties, Joe Mashburn

Joe D. Mashburn

A space X is irreducible if every open cover of X has a minimal open refinement. Interest in irreducibility began when Arens and Dugendji used this property to show that metacompact countably compact spaces are compact. It was natural, then, to find out what other types of spaces would be irreducible and therefore compact in the presence of countable compactness or Lindelof in the presence of N1-compactness. … It is shown in this paper that T1 δθ -refinable spaces and T1 weakly δθ-refinable spaces are irreducible. Since examples of Lindelof spaces that are neither T1 nor irreducible can be easily …


Countable Covers Of Spaces By Migrant Sets, Zoltan Balogh, Joe Mashburn, Peter Nyikos Jul 2015

Countable Covers Of Spaces By Migrant Sets, Zoltan Balogh, Joe Mashburn, Peter Nyikos

Joe D. Mashburn

The motivation for this note is a paper by Hidenori Tanaka in which he shows that the Pixley-Roy hyperspace of a metric space X is normal if and only if X is an almost strong q-set.


Sobriety In Delta Not Sober, Joe Mashburn Jul 2015

Sobriety In Delta Not Sober, Joe Mashburn

Joe D. Mashburn

We will show that the space delta not sober defined by Coecke and Martin is sober in the Scott topology, but not in the weakly way below topology.


Dissertation: The Least Fixed Point Property For Ω-Chain Continuous Functions, Joe Mashburn Jul 2015

Dissertation: The Least Fixed Point Property For Ω-Chain Continuous Functions, Joe Mashburn

Joe D. Mashburn

The basic definitions are given in the first section, including those for ω-chain continuity, ω-chain completeness, and the least fixed point property for ω-chain continuous functions. Some of the relations between completeness and fixed point properties in partially ordered sets are stated and it is briefly shown how the question basic to the dissertation arises. In the second section, two examples are given showing that a partially ordered set need not be ω-chain complete to have the least fixed point property for ω-chain continuous functions. Retracts are discussed in section 3, where it is seen that they are not sufficient …


On The Decomposition Of Order-Separable Posets Of Countable Width Into Chains, Gary Gruenhage, Joe Mashburn Jul 2015

On The Decomposition Of Order-Separable Posets Of Countable Width Into Chains, Gary Gruenhage, Joe Mashburn

Joe D. Mashburn

partially ordered set X has countable width if and only if every collection of pairwise incomparable elements of X is countable. It is order-separable if and only if there is a countable subset D of X such that whenever p, q ∈ X and p < q, there is r ∈ D such that p ≤ r ≤ q. Can every order-separable poset of countable width be written as the union of a countable number of chains? We show that the answer to this question is "no" if there is a 2-entangled subset of IR, and "yes" under the Open Coloring …


The Least Fixed Point Property For Ω-Chain Continuous Functions, Joe Mashburn Jul 2015

The Least Fixed Point Property For Ω-Chain Continuous Functions, Joe Mashburn

Joe D. Mashburn

A partially ordered set P is ω-chain complete if every countable chain (including the empty set) in P has a supremum. … Notice that an ω-chain continuous function must preserve order. P has the (least) fixed point property for ω-chain continuous functions if every ω-chain continuous function from P to itself has (least) fixed point. It has been shown that a partially ordered set does not have to be ω-chain complete to have the least fixed point property for ω-chain continuous functions. This answers a question posed by G. Plotkin in 1978. I.I. Kolodner has shown that an ω-chain complete …


Oif Spaces, Zoltan Balogh, Harold Bennett, Dennis Burke, Gary Gruenhage, David Lutzer, Joe D. Mashburn Jul 2015

Oif Spaces, Zoltan Balogh, Harold Bennett, Dennis Burke, Gary Gruenhage, David Lutzer, Joe D. Mashburn

Joe D. Mashburn

A base β of a space X is called an OIF base when every element of B is a subset of only a finite number of other elements of β. We will explore the fundamental properties of spaces having such bases. In particular, we will show that in T2 spaces, strong OIF bases are the same as uniform bases, and that in T3 spaces where all subspaces have OIF bases, compactness, countable compactness, or local compactness will give metrizability.


Linearly Ordered Topological Spaces And Weak Domain Representability, Joe Mashburn Jul 2015

Linearly Ordered Topological Spaces And Weak Domain Representability, Joe Mashburn

Joe D. Mashburn

It is well known that domain representable spaces, that is topological spaces that are homeomorphic to the space of maximal elements of some domain, must be Baire. In this paper it is shown that every linearly ordered topological space (LOTS) is homeomorphic to an open dense subset of a weak domain representable space. This means that weak domain representable spaces need not be Baire.


A Spectral Order For Infinite Dimensional Quantum Spaces: A Preliminary Report, Joe Mashburn Jul 2015

A Spectral Order For Infinite Dimensional Quantum Spaces: A Preliminary Report, Joe Mashburn

Joe D. Mashburn

In 2002 Coecke and Martin created a Bayesian order for the finite dimensional spaces of classical states in physics and used this to define a similar order, the spectral order on the finite dimensional quantum states. These orders gave the spaces a structure similar to that of a domain. This allows for measuring information content of states and for determining which partial states are approximations of which pure states. In a previous paper the author extended the Bayesian order to infinite dimensional spaces of classical states. The order on infinite dimensional spaces retains many of the characteristics important to physics, …


Three Counterexamples Concerning Ω-Chain Continuous Functions And Fixed-Point Properties, Joe Mashburn Jul 2015

Three Counterexamples Concerning Ω-Chain Continuous Functions And Fixed-Point Properties, Joe Mashburn

Joe D. Mashburn

A partially ordered set is ω-chain complete if, for every countable chain, or ω-chain, in P, the least upper bound of C, denoted by sup C, exists. Notice that C could be empty, so an ω-chain complete partially ordered set has a least element, denoted by 0.


A Spectral Order For Infinite Dimensional Quantum Spaces, Joe Mashburn Jul 2015

A Spectral Order For Infinite Dimensional Quantum Spaces, Joe Mashburn

Joe D. Mashburn

In this paper we extend the spectral order of Coecke and Martin to infinite-dimensional quantum states. Many properties present in the finite-dimensional case are preserved, but some of the most important are lost. The order is constructed and its properties analysed. Most of the useful measurements of information content are lost. Shannon entropy is defined on only a part of the model, and that part is not a closed subset of the model. The finite parts of the lattices used by Birkhoff and von Neumann as models for classical and quantum logic appear as subsets of the models for infinite …


An Order Model For Infinite Classical States, Joe Mashburn Jul 2015

An Order Model For Infinite Classical States, Joe Mashburn

Joe D. Mashburn

In 2002 Coecke and Martin (Research Report PRG-RR-02-07, Oxford University Computing Laboratory,2002) created a model for the finite classical and quantum states in physics. This model is based on a type of ordered set which is standard in the study of information systems. It allows the information content of its elements to be compared and measured. Their work is extended to a model for the infinite classical states. These are the states which result when an observable is applied to a quantum system. When this extended order is restricted to a finite number of coordinates, the model of Coecke and …


A Note On Reordering Ordered Topological Spaces And The Existence Of Continuous, Strictly Increasing Functions, Joe Mashburn Jul 2015

A Note On Reordering Ordered Topological Spaces And The Existence Of Continuous, Strictly Increasing Functions, Joe Mashburn

Joe D. Mashburn

The origin of this paper is in a question that was asked of the author by Michael Wellman, a computer scientist who works in artificial intelligence at Wright Patterson Air Force Base in Dayton, Ohio. He wanted to know if, starting with Rn and its usual topology and product partial order, he could linearly reorder every finite subset and still obtain a continuous function from Rn into R that was strictly increasing with respect to the new order imposed on Rn. It is the purpose of this paper to explore the structural characteristics of ordered topological spaces which have this …


A Comparison Of Three Topologies On Ordered Sets, Joe Mashburn Jul 2015

A Comparison Of Three Topologies On Ordered Sets, Joe Mashburn

Joe D. Mashburn

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.


Research In Mathematics Educational Technology: Current Trends And Future Demands, Shannon O. Driskell, Robert N. Ronau, Christopher R. Rakes, Sarah B. Bush, Margaret L. Niess, David K. Pugalee May 2015

Research In Mathematics Educational Technology: Current Trends And Future Demands, Shannon O. Driskell, Robert N. Ronau, Christopher R. Rakes, Sarah B. Bush, Margaret L. Niess, David K. Pugalee

Shannon O.S. Driskell

This systematic review of mathematics educational technology literature identified 1356 manuscripts addressing the integration of educational technology into mathematics instruction. The manuscripts were analyzed using three frameworks (Research Design, Teacher Knowledge, and TPACK) and three supplementary lenses (Data Sources, Outcomes, and NCTM Principles) to produce a database to support future research syntheses and meta-analyses. Preliminary analyses of student and teacher outcomes (e.g., knowledge, cognition, affect, and performance) suggest that the effects of incorporating graphing calculator and dynamic geometry technologies have been abundantly studied; however, the usefulness of the results was often limited by missing information regarding measures of validity, reliability, …


Prospective Teachers' Use Of Representations In Solving Statistical Tasks With Dynamic Statistical Software, Hollylynne Lee, Shannon O. Driskell, Suzanne R. Harper, Keith R. Leatham, Gladis Kersaint, Robin L. Angotti May 2015

Prospective Teachers' Use Of Representations In Solving Statistical Tasks With Dynamic Statistical Software, Hollylynne Lee, Shannon O. Driskell, Suzanne R. Harper, Keith R. Leatham, Gladis Kersaint, Robin L. Angotti

Shannon O.S. Driskell

This study examined a random stratified sample (n=62) of prospective teachers' work across eight institutions on three tasks that utilized dynamic statistical software. Our work was guided by considering how teachers may utilize their statistical knowledge and technological statistical knowledge to engage in cycles of investigation. Although teachers did not tend to take full advantage of dynamic linking capabilities, they utilized a large variety of graphical representations and often added statistical measures or other augmentations to graphs as part of their analysis.


Examining The Literature On “Networks In Space And In Time.” An Introduction, Luca De Benedictis, Prosperina Vitale, Stanley Wasserman Mar 2015

Examining The Literature On “Networks In Space And In Time.” An Introduction, Luca De Benedictis, Prosperina Vitale, Stanley Wasserman

Luca De Benedictis

The Network science special issue of “Networks in space and in time: methods and applications” contributes to the debate on contextual analysis in network science. It includes seven research papers that shed light on the analysis of network phenomena studied within geographic space and across temporal dimensions. In these papers, methodological issues as well as specific applications are described from different fields. We take the seven papers, study their citations and texts, and relate them to the broader literature. By exploiting the bibliographic information and the textual data of these seven documents, citation analysis and lexical correspondence analysis allow us …


Valuing Initial Intellectual Capital Contribution In New Ventures - A Short Technical Note, Peter Blood, Kuldeep Kumar, Sukanto Bhattacharya Mar 2015

Valuing Initial Intellectual Capital Contribution In New Ventures - A Short Technical Note, Peter Blood, Kuldeep Kumar, Sukanto Bhattacharya

Kuldeep Kumar

In this short research note, we add to the existing technical literature on venture valuations. We posit and numerically demonstrate a simple technique of valuing intellectual contribution to a new venture in the form of initial know-how. Such valuation is essential in many practical venture valuation situations where the sources of the intellectual and cash contributions are separate thus necessitating a rational model for a fair apportioning of equity.


Bayesian Decision Theoretic Approach To Directional Multiple Hypotheses Problems, Naveen K. Bansal, Klaus J. Miescke Mar 2015

Bayesian Decision Theoretic Approach To Directional Multiple Hypotheses Problems, Naveen K. Bansal, Klaus J. Miescke

Naveen Bansal

A multiple hypothesis problem with directional alternatives is considered in a decision theoretic framework. Skewness in the alternatives is considered, and it is shown that this skewness permits the Bayes rules to possess certain advantages when one direction of the alternatives is more important or more probable than the other direction. Bayes rules subject to constraints on certain directional false discovery rates are obtained, and their performances are compared with a traditional FDR rule through simulation. We also analyzed a gene expression data using our methodology, and compare the results to that of a FDR method.


Higher Order Dynamic Equations On Measure Chains: Wronskians, Disconjugacy, And Interpolating Families Of Functions, Martin Bohner, Paul Eloe Mar 2015

Higher Order Dynamic Equations On Measure Chains: Wronskians, Disconjugacy, And Interpolating Families Of Functions, Martin Bohner, Paul Eloe

Paul W. Eloe

This paper introduces generalized zeros and hence disconjugacy of nth order linear dynamic equations, which cover simultaneously as special cases (among others) both differential equations and difference equations. We also define Markov, Fekete, and Descartes interpolating systems of functions. The main result of this paper states that disconjugacy is equivalent to the existence of any of the above interpolating systems of solutions and that it is also equivalent to a certain factorization representation of the operator. The results in this paper unify the corresponding theories of disconjugacy for nth order linear ordinary differential equations and for nth order linear difference …


Bifurcations In Steady State Solutions Of A Class Of Nonlinear Dispersive Wave Equation, Paul Eloe, Muhammad Usman Mar 2015

Bifurcations In Steady State Solutions Of A Class Of Nonlinear Dispersive Wave Equation, Paul Eloe, Muhammad Usman

Paul W. Eloe

We consider the damped externally excited KdV and BBM equations and use an asymptotic perturbation method to analyze the stability of solutions. We consider the primary resonance by defining the detuning parameter. External-excitation and frequency-response curves are shown to exhibit jump and hysteresis phenomena (dis-continuous transitions between two stable solutions) for both KdV and BBM equations.


Fully Nonlinear Boundary Value Problems With Impulse, Paul Eloe, Muhammad Usman Mar 2015

Fully Nonlinear Boundary Value Problems With Impulse, Paul Eloe, Muhammad Usman

Paul W. Eloe

An impulsive boundary value problem with nonlinear boundary conditions for a second order ordinary differential equation is studied. In particular, sufficient conditions are provided so that a compression- expansion cone theoretic fixed point theorem can be applied to imply the existence of positive solutions. The nonlinear forcing term is assumed to satisfy usual sublinear or superlinear growth as t → ∞ or t → 0 +. The nonlinear impulse terms and the nonlinear boundary terms are assumed to satisfy the analogous asymptotic behavior.


A New Undergraduate Curriculum On Mathematical Biology At University Of Dayton, Muhammad Usman, Amit Singh Mar 2015

A New Undergraduate Curriculum On Mathematical Biology At University Of Dayton, Muhammad Usman, Amit Singh

Amit Singh

The beginning of modern science is marked by efforts of pioneers to understand the natural world using a quantitative approach. As Galileo wrote, "the book of nature is written in the language of mathematics". The traditional undergraduate course curriculum is heavily focused on individual disciplines like biology, physics, chemistry, mathematics rather than interdisciplinary courses. This fragmented teaching of sciences in majority of universities leave biology outside the quantitative and mathematical approaches. The landscape of biomedical science has transformed dramatically with advances in high throughput experimental approaches, which led to the huge amount of data. The best possible approach to generate …


The Effects Of Variable Viscosity On The Peristaltic Flow Of Non-Newtonian Fluid Through A Porous Medium In An Inclined Channel With Slip Boundary Conditions, Ambreen Afsar Khan, R. Ellahi, Muhammad Usman Mar 2015

The Effects Of Variable Viscosity On The Peristaltic Flow Of Non-Newtonian Fluid Through A Porous Medium In An Inclined Channel With Slip Boundary Conditions, Ambreen Afsar Khan, R. Ellahi, Muhammad Usman

Muhammad Usman

The present paper investigates the peristaltic motion of an incompressible non-Newtonian fluid with variable viscosity through a porous medium in an inclined symmetric channel under the effect of the slip condition. A long wavelength approximation is used in mathematical modeling. The system of the governing nonlinear partial differential equation has been solved by using the regular perturbation method and the analytical solutions for velocity and pressure rise have been obtained in the form of stream function. In the obtained solution expressions, the long wavelength and low Reynolds number assumptions are utilized. The salient features of pumping and trapping phenomena are …


A New Undergraduate Curriculum On Mathematical Biology At University Of Dayton, Muhammad Usman, Amit Singh Mar 2015

A New Undergraduate Curriculum On Mathematical Biology At University Of Dayton, Muhammad Usman, Amit Singh

Muhammad Usman

The beginning of modern science is marked by efforts of pioneers to understand the natural world using a quantitative approach. As Galileo wrote, "the book of nature is written in the language of mathematics". The traditional undergraduate course curriculum is heavily focused on individual disciplines like biology, physics, chemistry, mathematics rather than interdisciplinary courses. This fragmented teaching of sciences in majority of universities leave biology outside the quantitative and mathematical approaches. The landscape of biomedical science has transformed dramatically with advances in high throughput experimental approaches, which led to the huge amount of data. The best possible approach to generate …