Applied Mathematics Commons^™

Elimination For Systems Of Algebraic Differential Equations, Richard Gustavson

Dissertations, Theses, and Capstone Projects

We develop new upper bounds for several effective differential elimination techniques for systems of algebraic ordinary and partial differential equations. Differential elimination, also known as decoupling, is the process of eliminating a fixed subset of unknown functions from a system of differential equations in order to obtain differential algebraic consequences of the original system that do not depend on that fixed subset of unknowns. A special case of differential elimination, which we study extensively, is the question of consistency, that is, if the given system of differential equations has a solution. We first look solely at the ``algebraic data" of …

The Resolved And Unresolved Conjectures Of R.D. Carmichael, Brian D. Beasley

ACMS Conference Proceedings 2017

Even before heading to Princeton University to work on his doctoral degree, Robert Daniel Carmichael started influencing the path of number theory in the 20th century. From his study of Euler's totient function to his discovery of the first absolute pseudoprime, he set the stage for years of productive research. This talk will present a brief overview of Carmichael's life, including his breadth of mathematical interests and his service on behalf of the Mathematical Association of America. It will focus mainly on his two most famous conjectures- which one has been settled, and which one remains open to this day?

"Big Idea" Reflection Assignments For Learning And Valuing Mathematics, Jeremy Case, Mark Colgan

ACMS Conference Proceedings 2017

While participating in a Faculty Learning Community, we explored the "big questions" we wanted our students to take away from our mathematics courses. We called these questions the Big Ideas of the course and developed a Big Ideas Reflection Assignment, which we continue to assign at the end of each of our courses. Students are able to demonstrate understanding and application of their learning as well as their values and appreciation of mathematics. The assignment encourages students to move beyond a focus on technique and symbolic manipulations towards a broader and more holistic approach, including making connections between their learning …

Mentoring As A Statistical Educator In A Christian College, L. Marlin Eby

ACMS Conference Proceedings 2017

In this paper, I present principles based on more than thirty years of intentional mentoring as a statistical educator in a Christian college. I believe this mentoring has been enhanced due to the setting- a Christian college, and the discipline - statistics. I discuss distinctives of the Christian college setting that positively impact mentoring in any discipline with respect to the mentor, the mentee, and the pervading campus atmosphere. I focus on mentoring as a statistical educator by specifically considering the following: attracting students to the discipline of statistics, preparing students for careers using statistics, and preparing students for graduate …

The Daily Question: Building Student Trust And Interest In Undergraduate Introductory Probability And Statistics Courses, Matthew A. Hawks

ACMS Conference Proceedings 2017

Introducing probability or statistics to disinterested undergraduate students is challenging. Adding faith in such a classroom at a secular institution only increases the complexity. We share an unobtrusive way to build trust with students, creating a medium to both naturally share your faith and have your students look forward to attending each class. The context is the United States Naval Academy, a four-year undergraduate institution with an emphasis on leader development. In addition to a calculus sequence, Humanities majors enroll in Probability with Naval Applications or Introductory Statistics. These sophomores or juniors are split between those who have no intention …

The Topology Of Harry Potter: Exploring Higher Dimensions In Young Adult Fantasy Literature, Sarah Klanderman, Alexa Schut, Dave Klanderman, William Boerman-Cornell

ACMS Conference Proceedings 2017

As one of the most beloved series in children’s literature today, the Harry Potter books excite students of all ages with the adventures of living in a magical world. Magical objects (e.g., bottom-less handbags, the Knight Bus, time turners, and moving portraits) can inspire generalizations to mathematical concepts that would be relevant in an undergraduate geometry or topology course. Intuitive explanations for some of the magical objects connect to abstract mathematical ideas. We
offer a typology with a total of five categories, including Three Dimensions in Two Dimensions, Higher Dimensions in Three Dimensions, Two and Three Dimensional Movement, Higher Dimensional …

Start A Math Teacher Circle: Connect K-12 Teachers With Engaging, Approachable, And Meaningful Mahtematical Problems, Thomas Clark, Mike Janssen, Amanda Harsy, Dave Klanderman, Mandi Maxwell, Sharon Robbert

ACMS Conference Proceedings 2017

Many K-12 math teachers are not ready to teach from a conceptual and inquiry-oriented per

Ten Mathematicians Who Recognized God's Hand In Their Work (Part 2), Dale Mcintyre

ACMS Conference Proceedings 2017

Scottish philosopher David Hume (1711-1776) once observed that "Whoever is moved by faith to assent to [the Christian religion], is conscious of a continued miracle in his own person, which subverts all the principles of his understanding, and gives him a determination to believe what is most contrary to custom and experience." Evidently Hume's cynical pronouncement did not apply to Descartes, Newton, Riemann, and other profound thinkers who believed God had commissioned and equipped them to glorify Him in their pursuit of truth through mathematics - And based on their extraordinary achievements the principles of their understanding do not appear …

On Product Stability Of Asymptotic Property C, Gregory C. Bell, Andrzej Nagórko

Summer Conference on Topology and Its Applications

Asymptotic property C is a dimension-like large-scale invariant of metric spaces that is of interest when applied to spaces with infinite asymptotic dimension. It was first described by Dranishnikov, who based it on Haver's topological property C. Topological property C fails to be preserved by products in very striking ways and so a natural question that remained open for some 10+ years is whether asymptotic property C is preserved by products. Using a technique inspired by Rohm we show that asymptotic property C is preserved by direct products of metric spaces.

Domains And Probability Measures: A Topological Retrospective, Michael Mislove

Summer Conference on Topology and Its Applications

Domain theory has seen success as a semantic model for high-level programming languages, having devised a range of constructs to support various effects that arise in programming. One of the most interesting - and problematic - is probabilistic choice, which traditionally has been modeled using a domain-theoretic rendering of sub-probability measures as valuations. In this talk, I will place the domain-theoretic approach in context, by showing how it relates to the more traditional approaches such as functional analysis and set theory. In particular, we show how the topologies that arise in the classic approaches relate to the domain-theoretic rendering. We …

Extension Theorems For Large Scale Spaces Via Neighbourhood Operators, Thomas Weighill, Jerzy Dydak

Summer Conference on Topology and Its Applications

Coarse geometry is the study of the large scale behaviour of spaces. The motivation for studying such behaviour comes mainly from index theory and geometric group theory. In this talk we introduce the notion of (hybrid) large scale normality for large scale spaces and prove analogues of Urysohn’s Lemma and the Tietze Extension Theorem for spaces with this property, where continuous maps are replaced by (continuous and) slowly oscillating maps. To do so, we first prove a general form of each of these results in the context of a set equipped with a neighbourhood operator satisfying certain axioms, from which …

Braid Group Actions On Rational Maps, Eriko Hironaka, Sarah Koch

Summer Conference on Topology and Its Applications

Rational maps are maps from the Riemann sphere to itself that are defined by ratios of polynomials. A special type of rational map is the ones where the forward orbit of the critical points is finite. That is, under iteration, the critical points all eventually cycle in some periodic orbit. In the 1980s Thurston proved the surprising result that (except for a well-understood set of exceptions) when the post-critical set is finite the rational map is determined by the “combinatorics” of how the map behaves on the post-critical set. Recently, there has been interest in the question: what happens if …

Entropy In Topological Groups, Part 1, Dikran Dikranjan

Summer Conference on Topology and Its Applications

Entropy was introduced first in thermodynamics and statistical mechanics, as well as information theory. In the last sixty years entropy made its way also in topology, ergodic theory, as well as other branches of mathematics as algebra, geometry and number theory where dynamical systems appear in one way or another.

Roughly speaking, entropy is a non-negative real number or infinity assigned to a "selfmap" T of a "space" X, where the "space" X can be a topological or uniform space, a measure space, an abstract or topological group (or vector space) or just a set. The "selfmap" T can be, …

Introduction (2017), Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 2017

No abstract provided.

Understanding Angiography-Based Aneurysm Flow Fields Through Comparison With Computational Fluid Dynamics, Juan R. Cebral, F. Mut, Bong Jae Chung, L. Spelle, J. Moret, F. Van Nijnatten, D. Ruijters

Department of Applied Mathematics and Statistics Faculty Scholarship and Creative Works

BACKGROUND AND PURPOSE: Hemodynamics is thought to be an important factor for aneurysm progression and rupture. Our aim was to evaluate whether flow fields reconstructed from dynamic angiography data can be used to realistically represent the main flow structures in intracranial aneurysms. MATERIALS AND METHODS: DSA-based flow reconstructions, obtained during interventional treatment, were compared qualitatively with flow fields obtained from patient-specific computational fluid dynamics models and quantitatively with projections of the computational fluid dynamics fields (by computing a directional similarity of the vector fields) in 15 cerebral aneurysms. RESULTS: The average similarity between the DSA and the projected computational fluid …

Pseudo-Contractibility, Felix Capulín, Leonardo Juarez-Villa, Fernando Orozco

Summer Conference on Topology and Its Applications

Let X, Y be topological spaces and let f, g:X→ Y be mappings, we say that f is pseudo-homotopic to g if there exist a continuum C, points a, b ∈ C and a mapping H:X ×C → Y such that H(x, a)=f(x) and H(x, b)=g(x) for each x ∈ X. The mapping H is called a pseudo-homotopy between f and g. A topological space X is said to be pseudo-contractible if the identity mapping is pseudo-homotopic to a constant mapping in X. i.e., if there exist a continuum C, points a, b ∈ C, x₀ ∈ X and …

Normal Images Of A Product And Countably Paracompact Condensation, Jila Niknejad

Summer Conference on Topology and Its Applications

In 1997, Buzjakova proved that for a pseudocompact Tychonoff space X and λ = | βX|⁺, X condenses onto a compact space if and only if X×(λ+1) condenses onto a normal space. This is a condensation form of Tamano's theorem. An interesting problem is to determine how much of Buzjakova's result will hold if "pseudocompact" is removed from the hypothesis.

In this talk, I am going to show for a Tychonoff space X, there is a cardinal λ such that if X×(λ+1) condenses onto a normal space, then X condenses onto a countably paracompact space.

On The Tightness And Long Directed Limits Of Free Topological Algebras, Gábor Lukács, Rafael Dahmen

Summer Conference on Topology and Its Applications

For a limit ordinal λ, let (A_α)_{α < λ} be a system of topological algebras (e.g., groups or vector spaces) with bonding maps that are embeddings of topological algebras, and put A = ∪_{α < λ} A_α. Let (A, T) and (A, A) denote the direct limit (colimit) of the system in the category of topological spaces and topological algebras, respectively. One always has T ⊇ A, but the inclusion may be strict; however, if the tightness of A is smaller than the cofinality of λ, then A=T.

In 1988, Tkachenko proved …

A New Class Of Dendrites Having Unique Second Symmetric Product, David Maya, José G. Anaya, Fernando Orozco Zitli

Summer Conference on Topology and Its Applications

The second symmetric product of a continuum X, F₂(X), is the hyperspace consisting of all nonempty subsets of X having at most two points. A continuum X has unique hyperspace F₂(X) provided that each continuum Y satisfying that F₂(X) and F₂(Y) are homeomorphic must be homeomorphic to X. In this talk, a new class of dendrites having unique F₂(X) will be presented.

On The Axiomatic Systems Of Steenrod Homology Theory Of Compact Spaces, Leonard Mdzinarishvili, Anzor Beridze

Summer Conference on Topology and Its Applications

The Steenrod homology theory on the category of compact metric pairs was axiomatically described by J.Milnor. In Milnor, the uniqueness theorem is proved using the Eilenberg-Steenrod axioms and as well as relative homeomorphism and clusres axioms. J. Milnor constructed the homology theory on the category Top²_C of compact Hausdorff pairs and proved that on the given category it satisfies nine axioms - the Eilenberg-Steenrod, relative homeomorphis and cluster axioms (see theorem 5 in Milnor). Besides, he proved that constructed homology theory satisfies partial continuity property on the subcategory Top²_CM (see theorem 4 in Milnor) and the …

On Roitman's Principle For Box Products, Hector Alonso Barriga-Acosta

Summer Conference on Topology and Its Applications

One of the oldest problems in box products is if the countable box product of the convergent sequence is normal. It is known that consistenly (e.g., b=d, d=c) the answer is affirmative. A recent progress is due to Judy Roitman that states a combinatorial principle which also implies the normality and holds in many models.

Although the countable box product of the convergent sequence is normal in some models of b < d < c, Roitman asked what happen with her principle in this models. We answer that Roitman's principle is true in some models of b < d < c.

A Compact Minimal Space Whose Cartesian Square Is Not Minimal, Jan P. Boronski, Alex Clark, Piotr Oprocha

Summer Conference on Topology and Its Applications

A compact metric space X is called minimal if it admits a minimal homeomorphism; i.e. a homeomorphism h:X→ X such that the forward orbit {hⁿ(x):n=1, 2, ...} is dense in X, for every x ∈ X. In my talk I shall outline a construction of a family of 1-dimensional minimal spaces from "A compact minimal space Y such that its square YxY is not minimal" whose existence answer the following long standing problem in the negative.

Problem. Is minimality preserved under Cartesian product in the class of compact spaces?

Note that for the fixed point property this question …

Liouville Numbers And One-Sided Ergodic Hilbert Transformations, David Constantine, Joanna Furno

Summer Conference on Topology and Its Applications

We examine one-sided ergodic Hilbert transforms for irrational circle rotations and some mean-zero functions. Our approach uses continued fraction expansions to specify rotations by Liouville numbers for which the transformation has everywhere convergence or divergence.

Relationships Between Topological Properties Of X And Algebraic Properties Of Intermediate Rings A(X), Joshua Sack

Summer Conference on Topology and Its Applications

A topological property is a property invariant under homeomorphism, and an algebraic property of a ring is a property invariant under ring isomorphism. Let C(X) be the ring of real-valued continuous functions on a Tychonoff space X, let C^*(X) ⊆ C(X) be the subring of those functions that are bounded, and call a ring A(X) an intermediate ring if C^*(X) ⊆ A(X) ⊆ C(X). For a class Q of intermediate rings, an algebraic property P describes a topological property T among Q if for all A(X), B(Y) ∈ Q if A(X) and B(Y) both satisfy P, …

Fiber Strong Shape Theory For Topological Spaces, Ruslan Tsinaridze, Vladimer Baladze

Summer Conference on Topology and Its Applications

The purpose of this paper is the construction and investigation of fiber strong shape theory for compact metrizable spaces over a fixed base space B₀ , using the fiber versions of cotelescop, fibrant space and SSDR-map. In the paper obtained results containing the characterizations of fiber strong shape equivalences, based on the notion of double mapping cylinder over a fixed space B₀. Besides, in the paper we construct and develop a fiber strong shape theory for arbitrary spaces over fixed metrizable space B₀. Our approach is based on the method of Mardešić-Lisica and instead of …

Generalized Statistical Summability Of Double Sequences And Korovkin Type Approximation Theorem, M. Mursaleen

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, we introduce the notion of statistical (λ, μ)-summability and find its relation with (λ, μ)-statistical convergence. We apply this new method to prove a Korovkin type approximation theorem for functions of two variables. Furthermore, we provide an example in support to show that our result is stronger than the previous ones.

Finite Difference Schemes For Variable Order Time-Fractional First Initial Boundary Value Problems, Gunvant A. Birajdar, M. M. Rashidi

Applications and Applied Mathematics: An International Journal (AAM)

The aim of the study is to obtain the numerical solution of first initial boundary value problem (IBVP) for semi-linear variable order fractional diffusion equation by using different finite difference schemes. We developed the three finite difference schemes namely explicit difference scheme, implicit difference scheme and Crank-Nicolson difference scheme, respectively for variable order type semi-linear diffusion equation. For this scheme the stability as well as convergence are studied via Fourier method. At the end, solution of some numerical examples are discussed and represented graphically using Matlab.

Application Of Kudryashov Method For The Ito Equations, Mozhgan Akbari

Applications and Applied Mathematics: An International Journal (AAM)

In this present work, the Kudryashov method is used to construct exact solutions of the (1+1)- dimensional and the (1+2)-dimensional form of the generalized Ito integro-differential equation. The Kudryashov method is a powerful method for obtaining exact solutions of nonlinear evolution equations. This method can be applied to non-integrable equations as well as integrable ones.

A Simple Linear Time Algorithm For Computing A 1-Median On Cactus Graphs, Kien T. Nguyen, Pham V. Chien, Ly H. Hai, Huynh D. Quoc

Applications and Applied Mathematics: An International Journal (AAM)

We address the problem of finding a 1-median on a cactus graph. The problem has already been solved in linear time by the algorithms of Burkard and Krarup (1998), and Lan and Wang (2000). These algorithms are complicated and need efforts. Hence, we develop in this paper a simpler algorithm. First, we construct a condition for a cycle that contains a 1-median or for a vertex that is indeed a 1-median of the cactus. Based on this condition, we localize the search for deriving a 1-median on the underlying cactus. Complexity analysis shows that the approach runs in linear time.

Numerical Study Of Soliton Solutions Of Kdv, Boussinesq, And Kaup-Kuperschmidt Equations Based On Jacobi Polynomials, Khadijeh Sadri, Hamideh Ebrahimi

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, a numerical method is developed to approximate the soliton solutions of some nonlinear wave equations in terms of the Jacobi polynomials. Wave are very important phenomena in dispersion, dissipation, diffusion, reaction, and convection. Using the wave variable converts these nonlinear equations to the nonlinear ODE equations. Then, the operational Collocation method based on Jacobi polynomials as bases is applied to approximate the solution of ODE equation resulted. In addition, the intervals of the solution will be extended using an rational exponential approximation (REA). The KdV, Boussinesq, and Kaup–Kuperschmidt equations are studied as the test examples. Finally, numerical …