Mathematics Commons^™

Bounded, Asymptotically Stable, And L^1 Solutions Of Caputo Fractional Differential Equations, Muhammad Islam

Mathematics Faculty Publications

The existence of bounded solutions, asymptotically stable solutions, and L¹ solutions of a Caputo fractional differential equation has been studied in this paper. The results are obtained from an equivalent Volterra integral equation which is derived by inverting the fractional differential equation. The kernel function of this integral equation is weakly singular and hence the standard techniques that are normally applied on Volterra integral equations do not apply here. This hurdle is overcomed using a resolvent equation and then applying some known properties of the resolvent. In the analysis Schauder's fixed point theorem and Liapunov's method have been employed. …

A Generalization Of Poincaré-Cartan Integral Invariants Of A Nonlinear Nonholonomic Dynamical System, Muhammad Usman, M. Imran

Mathematics Faculty Publications

Based on the d'Alembert-Lagrange-Poincar\'{e} variational principle, we formulate general equations of motion for mechanical systems subject to nonlinear nonholonomic constraints, that do not involve Lagrangian undetermined multipliers. We write these equations in a canonical form called the Poincar\'{e}-Hamilton equations, and study a version of corresponding Poincar\'{e}-Cartan integral invariant which are derived by means of a type of asynchronous variation of the Poincar\'{e} variables of the problem that involve the variation of the time. As a consequence, it is shown that the invariance of a certain line integral under the motion of a mechanical system of the type considered characterizes the …

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

Mathematics Faculty Publications

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.

A Spectral Order For Infinite Dimensional Quantum Spaces, Joe Mashburn

Mathematics Faculty Publications

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 …

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

Mathematics Faculty Publications

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 …

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

Mathematics Faculty Publications

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.

A Study Of The Gam Approach To Solve Laminar Boundary Layer Equations In The Presence Of A Wedge, Rahmat Ali Khan, Muhammad Usman

Mathematics Faculty Publications

We apply an easy and simple technique, the generalized ap- proximation method (GAM) to investigate the temperature field associated with the Falkner-Skan boundary-layer problem. The nonlinear partial differ- ential equations are transformed to nonlinear ordinary differential equations using the similarity transformations. An iterative scheme for the non-linear ordinary differential equations associated with the velocity and temperature profiles are developed via GAM. Numerical results for the dimensionless ve- locity and temperature profiles of the wedge flow are presented graphically for different values of the wedge angle and Prandtl number.

A Meshless Numerical Solution Of The Family Of Generalized Fifth-Order Korteweg-De Vries Equations, Syed Tauseef Mohyud-Din, Elham Negahdary, Muhammad Usman

Mathematics Faculty Publications

In this paper we present a numerical solution of a family of generalized fifth-order Korteweg-de Vries equations using a meshless method of lines. This method uses radial basis functions for spatial derivatives and Runge-Kutta method as a time integrator. This method exhibits high accuracy as seen from the comparison with the exact solutions.

Bounded Solutions Of Almost Linear Volterra Equations, Muhammad Islam, Youssef Raffoul

Mathematics Faculty Publications

Fixed point theorem of Krasnosel’skii is used as the primary mathematical tool to study the boundedness of solutions of certain Volterra type equations. These equations are studied under a set of assumptions on the functions involved in the equations. The equations will be called almost linear when these assumptions hold.

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

Mathematics Faculty Publications

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 …

Global Well-Posedness And Asymptotic Behavior Of A Class Of Initial-Boundary-Value Problems Of The Kdv Equation On A Finite Domain, Ivonne Rivas, Muhammad Usman, Bingyu Zhang

Mathematics Faculty Publications

In this paper, we study a class of initial boundary value problem (IBVP) of the Korteweg- de Vries equation posed on a ?nite interval with nonhomogeneous boundary conditions. The IBVP is known to be locally well-posed, but its global L2 a priori estimate is not available and therefore it is not clear whether its solutions exist globally or blow up in finite time. It is shown in this paper that the solutions exist globally as long as their initial value and the associated boundary data are small, and moreover, those solutions decay exponentially if their boundary data decay exponentially.

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

Mathematics Faculty Publications

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, …

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

Mathematics Faculty Publications

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.

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

Mathematics Faculty Publications

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.

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

Mathematics Faculty Publications

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.

Linearly Ordered Topological Spaces And Weak Domain Representability, Joe Mashburn

Mathematics Faculty Publications

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.

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

Mathematics Faculty Publications

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 …

Periodic Solutions Of Neutral Delay Integral Equations Of Advanced Type, Muhammad Islam, Nasrin Sultana, James Booth

Mathematics Faculty Publications

We study the existence of continuous periodic solutions of a neutral delay integral equation of advanced type. In the analysis we employ three fixed point theorems: Banach, Krasnosel'skii, and Krasnosel'skii-Schaefer. Krasnosel'skii-Schaefer fixed point theorem requires an a priori bound on all solutions. We employ a Liapunov type method to obtain such bound.

Forced Oscillations Of The Korteweg-De Vries Equation On A Bounded Domain And Their Stability, Muhammad Usman, Bingyu Zhang

Mathematics Faculty Publications

It has been observed in laboratory experiments that when nonlinear dispersive waves are forced periodically from one end of undisturbed stretch of the medium of propagation, the signal eventually becomes temporally periodic at each spatial point. The observation has been confirmed mathematically in the context of the damped Kortewg-de Vries (KdV) equation and the damped Benjamin-Bona-Mahony (BBM) equation. In this paper we intend to show the same results hold for the pure KdV equation (without the damping terms) posed on a bounded domain. Consideration is given to the initial-boundary-value problem

uu_xu_xxx 0 < x < 1, t > 0, (*)

It is shown …

Qualitative Properties Of Nonlinear Volterra Integral Equations, Muhammad Islam, Jeffrey T. Neugebauer

Mathematics Faculty Publications

In this article, the contraction mapping principle and Liapunov's method are used to study qualitative properties of nonlinear Volterra equations of the form x(t)=a(t)−∫^t₀C(t,s)g(s,x(s))ds,t≥0. In particular, the existence of bounded solutions and solutions with various L^p properties are studied under suitable conditions on the functions involved with this equation.

An Order Model For Infinite Classical States, Joe Mashburn

Mathematics Faculty Publications

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 Spectral Order For Infinite Dimensional Quantum Spaces: A Preliminary Report, Joe Mashburn

Mathematics Faculty Publications

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, …

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.

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.

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

Mathematics Faculty Publications

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.

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

Mathematics Faculty Publications

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 Axiom.

Stability Properties And Integrability Of The Resolvent Of Linear Volterra Equations, Muhammad Islam, Paul W. Eloe

Mathematics Faculty Publications

Integrability of the resolvent and the stability properties of the zero solution of linear Volterra integrodifferential systems are studied. In particular, it is shown that, the zero solution is uniformly stable if and only if the resolvent is integrable in some sense. It is also shown that, the zero solution is uniformly asymptotically stable if and only if the resolvent is integrable and an additional condition in terms of the resolvent and the kernel is satisfied. Finally, the integrability of the resolvent is obtained under an explicit condition.

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

Mathematics Faculty Publications

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 Rⁿ into R that was strictly increasing with respect to the new order imposed on Rⁿ. It is the purpose of this paper to explore the structural characteristics of ordered topological spaces …

On Infinite Delay Integral Equations Having Nonlinear Perturbations, Muhammad Islam

Mathematics Faculty Publications

The existence of bounded solutions and periodic solutions is studied for a system of infinite delay integral equations having nonlinear perturbations. An equivalent system of equations is obtained in terms of the resolvent kernel. Then the existence results are shown for the equivalent equations. Contraction principle, Schauder’s fixed point theorem, and monotone method are used in the study.