Mathematics Commons^™

How Has Christian Theology Furthered Mathematics?, Gene B. Chase

ACMS Conference Proceedings 1991

In revising my Bibliography of Christianity and Mathematics to include material prior to the 20th century, it is difficult to know what to include and what to exclude, since Christian presuppositions informed much scholarship in a vague, cultural sort of way. This paper is a first cut at attempting to narrow down candidates for that Bibliography by looking for specific ways in which Christian theology has furthered mathematics.

C. S. Lewis, George Macdonald, And Mathematics, David L. Neuhouser

ACMS Conference Proceedings 1991

This paper examines the influence and role of mathematics and mathematicians in the stories of George MacDonald and C. S. Lewis.

Introduction (1991), Robert Brabenec

ACMS Conference Proceedings 1991

An Eighth Conference on Mathematics from a Christian Perspective

Table Of Contents (1991), Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 1991

An Eighth Conference on Mathematics from a Christian Perspective

Schedule (1991), Association Of Christians In The Mathematical Sciences

ACMS Conference Proceedings 1991

An Eighth Conference on Mathematics from a Christian Perspective

On A Lower Bound For The Redundancy Of Reliable Networks With Noisy Gates, Nicholas Pippenger

All HMC Faculty Publications and Research

A proof is provided that a logarithmic redundancy factor is necessary for the reliable computation of the parity function by means of a network with noisy gates. This result was first stated by R.L. Dobrushin and S.I. Ortyukov (1977). However, the authors believe that the analysis given by Dobrushin and Ortyukov is not entirely correct. The authors establish the result by following the same steps and by replacing the questionable part of their analysis with entirely new arguments.

A Double Chain Of Coupled Circuits In Analogy With Mechanical Lattices, J. N. Boyd, P. N. Raychowdhury

Mathematics and Applied Mathematics Publications

A unitary transformation obtained from group theoretical considerations is applied to the problem of finding the resonant frequencies of a system of coupled LC-circuits. This transformation was previously derived to separate the equations of motion for one dimensional mechanical lattices. Computations are performed in matrix notation. The electrical system is an analog of a pair of coupled linear lattices. After the resonant frequencies have been found, comparisons between the electrical and mechanical systems are noted.

Shadow Casting Phenomena At Newgrange, Frank Prendergast

Articles

A digital model of the Newgrange passage tomb and surrounding ring of monoliths known as the Great Circle is used to investigate sunrise shadow casting phenomena at the monument. Diurnal variation in shadow directions and lengths are analysed for their potential use in the Bronze Age to indicate the passage of seasonal time. Computer-aided simulations are developed from a photogrammetric survey to accurately show how three of the largest monoliths, located closest to the tomb entrance and archaeologically coded GC1, GC-1 and GC-2, cast their shadows onto the vertical face of the entrance kerbstone, coded K1. The phenomena occur at …

Nonlinear-Interaction Of A Detonation Vorticity Wave, D. G. Lasseigne, T. L. Jackson, M. Y. Hussaini

Mathematics & Statistics Faculty Publications

The interaction of an oblique, overdriven detonation wave with a vorticity disturbance is investigated by a direct two-dimensional numerical simulation using a multidomain, finite-difference solution of the compressible Euler equations. The results are compared to those of linear theory, which predict that the effect of exothermicity on the interaction is relatively small except possibly near a critical angle where linear theory no longer holds. It is found that the steady-state computational results whenever obtained in this study agree with the results of linear theory. However, for cases with incident angle near the critical angle, moderate disturbance amplitudes, and/or sudden transient …

Analysis And Finite Element Approximation Of Optimal Control Problems For The Stationary Navier-Stokes Equations With Dirichlet Controls, M. D. Gunzburger, L. S. Hou, Tom Svobodny

Mathematics and Statistics Faculty Publications

Optimal control problems for the stationary Navier-Stokes equations are examined from analytical and numerical points of view. The controls considered are of Dirichlet type, that is, control is effected through the velocity field on (or the mass flux through) the boundary; the functionals minimized are either the viscous dissipation or the L4-distance of candidate flows to some desired flow. We show that optimal solutions exist and justify the use of Lagrange multiplier techniques to derive a system of partial differential equations from which optimal solutions may be deduced. We study the regularity of solutions of this system. The n, finite …

Sets Of Typical Subsamples, Joel Atkins, G.J Sherman

Mathematical Sciences Technical Reports (MSTR)

A group theoretic condition on a set of subsamples of a random sample from a continuous random variable symmetric about 0 is shown to be sufficient to provide typical values for 0.

Berry-Esseen-Type Bounds For Signed Linear Rank Statistics With A Broad Range Of Scores, Munsup Seoh

Mathematics and Statistics Faculty Publications

The Berry-Esseen-type bounds of order N^−1/2 for the rate of convergence to normality are derived for the signed linear rank statistics under the hypothesis of symmetry. The results are obtained with a broad range of regression constants and scores (allowed to be generated by discontinuous score generating functions, but not necessarily) restricted by only mild conditions, while almost all previous results are obtained with continuously differentiable score generating functions. Furthermore, the proof is very short and elementary, based on the conditioning argument.

Rewriteable Sequencings Of Groups, Jeanne Nielsen

Mathematical Sciences Technical Reports (MSTR)

A finite group is called P_n-sequenceable if its nonidentity elements can be listed x₁ , x₂ , ..., x_k so that the product x _i x _i+i · · · x _i+n-1 can be rewritten in at least one nontrivial way for all i. It is shown that S_n , A_n , D_n are P₃-sequenceable, that every finite simple group is P₄ -sequenceable, and that every finite group is P_s-sequenceable. It is conjectured that every finite group is P₃-sequenceable.

A Mathematical Model Of The Dynamics Of An Optically Pumped Codoped Solid State Laser System, Thomas G. Wangler

Mathematics & Statistics Theses & Dissertations

This is a study of a mathematical model for the dynamics of an optically pumped codoped solid state laser system. The model comprises five first order, nonlinear, coupled, ordinary differential equations which describe the temporal evolution of the dopant electron populations in the laser crystal as well as the photon density in the laser cavity. The analysis of the model is conducted in three parts.

First, a detailed explanation of the modeling process is given and the full set of rate equations is obtained. The model is then simplified and certain qualitative properties of the solution are obtained.

In the …

The Fokker-Planck And Related Equations In Theoretical Population Dynamics, George Derise

Mathematics & Statistics Theses & Dissertations

The population growth of a single species is modeled by a differential equation with initial condition(s) so that the number of organisms in the population is derived using some mechanism of growth, i.e. a growth rate function. However, such deterministic models are often highly unrealistic in population dynamics because population growth is basically a random event. There are a large number of chance factors influencing growth that might not be taken into account by deterministic models. The effect of other species (for example, in the chance meeting of a predator), population fluctuations due to weather changes that would alter food …

Bimodules Over Cartan Subalgebras, Richard Mercer

Mathematics and Statistics Faculty Publications

Given a Cartan subalgebra A of a non Neumann algebra M, the techniques of Feldman and Moore are used to analyze the partial isometries v in M such that v* Av is contained in A. Orthonormal bases for M consisting of such partial isometries are discussed, and convergence of the resulting generalized fourier series is shown to take place in the Bures A-topology. The Bures A-topology is shown to be equivalent to the strong topology on the unit ball of M. These ideas are applied to A-bimodules and to give a simplified and intuitive proof of the Spectral Theorem …

Stability Of A Viscoelastic Burgers Flow, D. Glenn Lasseigne, W. E. Olmstead

Mathematics & Statistics Faculty Publications

The system of equations proposed by Burgers to model turbulent flow in a channel is extended to include viscoelastic affects. The stability and bifurcation properties are examined in the neighborhood of the critical Reynolds number. For highly elastic fluids, the bifurcated state is periodic with a shift in frequency.

On The Equivalence Of The Operator Equations Xa + Bx = C And X - P(-B)Xp(A)(-1) = W In A Hilbert-Space, P A Polynomial, Tapas Mazumdar, David Miller

Mathematics and Statistics Faculty Publications

We consider the solution of (*) XA+BX = C for bounded operators A,B,C and X on a Hilbert space, A normal. We establish the existence of a polynomial p and a bounded operator W with the property that the unique solution X of (*) also solves X − p(−B)Xp(A)⁻¹ = W uniquely. A known iterative algorithm can be applied to the latter equation to solve (*).

Boundary Value Problems In Elasticity And Thermoelasticity, Stuart Davidson

Mathematics & Statistics Theses & Dissertations

In this dissertation the author solves a series of mixed boundary value problems arising from crack problems in elasticity and thermoelasticity. Using integral transform techniques and separation of variables appropriately, it is shown that the solutions can be found by solving a corresponding set of triple or dual integral equations in some instances, while in others the solutions of triple or dual series relations are required. These in turn reduce to various singular integral equations which are solved in closed form, in two cases, or by numerical methods. The stress intensity factors at the crack tips, the physical parameters of …

Graphs, Maneuvers, And Turnpikes, Arthur T. Benjamin

All HMC Faculty Publications and Research

We address the problem of moving a collection of objects from one subset of Z^m to another at minimum cost. We show that underfairly natural rules for movement assumptions, if the origin and destination are far enough apart, then a near optimal solution with special structure exists: Our trajectory from the originto the destination accrues almost all of its cost repeatingat most m different patterns of movement. Directions for related research are identified.

Remarks On Estimates For The Green Function, Jose Luis Menaldi

Mathematics Faculty Research Publications

No abstract provided.

Bivariate C1 Quadratic Finite Elements And Vertex Splines, Tian-Xiao He

Scholarship

No abstract provided.

Spatial Critical Points Of Solutions Of A One-Dimensional Nonlinear Parabolic Problem, Larry Turyn

Mathematics and Statistics Faculty Publications

The number of spatial critical points is nonincreasing in time, for positive, analytic solutions of a scalar, nonlinear, parabolic partial differential equation in one space dimension. While proving this, we answer the question: What happens to a critical point which loses simplicity?

Nonnegative Solutions For A Class Of Radially Symmetric Nonpositone Problems, Alfonso Castro, Ratnasingham Shivaji

All HMC Faculty Publications and Research

We consider the existence of radially symmetric non-negative solutions for the boundary value problem

\begin{displaymath}\begin{array}{*{20}{c}} { - \Delta u(x) = \lambda f(u(x))\qua... ...\\ {u(x) = 0\quad \left\Vert x \right\Vert = 1} \\ \end{array} \end{displaymath}

where $ \lambda > 0,f(0) < 0$ (non-positone), $ f' \geq 0$ and $ f$ is superlinear. We establish existence of non-negative solutions for $ \lambda $ small which extends some work of our previous paper on non-positone problems, where we considered the case $ N = 1$. Our work also proves a recent conjecture by Joel Smoller and Arthur Wasserman.

On The Dimension Of Bivariate Superspline Spaces, Tian-Xiao He

Scholarship

A bivariate piecewise polynomial function of total degree d on some grid partition △ that has rth order continuous partial derivatives everywhere may have higher-order partial derivatives at the vertices of the grid partition. In finite element considerations and in the construction of vertex splines, it happens that only those functions with continuous partial derivatives of order higher than r at the vertices are needed to give the same full approximation order as the entire space of piecewise polynomials. This is certainly the case for d > 4r + 1. Such piecewise polynomial functions are called supersplines. This …

Simulated Annealing On Np-Complete Problems, Russell W. Howell

ACMS Conference Proceedings 1989

The Random House Dictionary defines anneal as " ... to free (glass, metals, etc.) from internal stress by heating and gradually cooling." In the physical world, impurities are annealed out of a substance by heating it to a high temperature. As it is cooled, its molecular structure gradually settles into a stable "low-energy" configuration. It is important to cool the substance slowly, especially at lower temperatures, so that impurities do not get "frozen" into place. With careful cooling, a low-energy state can eventually be reached. This state may not be the one with the lowest potential energy, where the spins …

The Mathematical Intelligencer, Dmitrii Egorov: Mathematics And Theology In Russia, Charles E. Ford

ACMS Conference Proceedings 1989

This paper tells the story of Russian mathematician Dmitri Egorov, recounting his faith and contributions to the field of mathematics.

A Course On Mathematics And The Christian Faith, W. David Laverell, Carl J. Sinke

ACMS Conference Proceedings 1989

The January interim term at Calvin College provides an opportunity for developing and teaching courses outside a normal major program. As a result faculty members are frequently given the interim off to provide time for research and development of new courses. In 1987 we were given such a leave in order to pursue the questions of the relationship between mathematics and the Christian Faith. One result was our presentation at the 1987 Association of Christians in the Mathematical Sciences conference. Immediately thereafter we began to develop a specific interim course based on our studies. We offered the course during the …

The Bisexual Galton-Watson Branching Process, David M. Hull

ACMS Conference Proceedings 1989

I would like to present the bisexual Galton-Watson branching process. The word "bisexual" indicates that we will be considering a population of two sexes--which will be designated as the usual male and female. Here is a brief overview of what I would like to cover.

1. The bisexual process motivated: why is it needed?
2. The standard Galton-Watson branching process.
3. The state of affairs regarding two-sex models.
4. The nuts and bolts of the bisexual Galton-Watson branching process (parameters defined and how it works).
5. A review of published bisexual results to date.
6. What is to come?

Newton And Saccheri: Case Studies In The Interplay Of Mathematics And Religion, Tommy Leavelle

ACMS Conference Proceedings 1989

In the course of this paper I will try to present to you the basic facts and some of the subsequent assessments of the life and work of two mathematicians for whom the interplay of mathematics and religion was influential: Issac Newton and Girolamo Saccheri.