Table of Contents



News

 

Technical Reports - 2005


SMU Math Report 2005-01
  
Computational methods and results for structured multiscale models of tumor invasion
We present multiscale models of cancer tumor invasion with components at the molecular, cellular, and tissue levels. We provide biological justifications for the model components, present computational results from the model, and discuss the scientific-computing methodology used to solve the model equations. The models and methodology presented in this paper form the basis for developing and treating increasingly complex, mechanistic models of tumor invasion that will be more predictive and less phenomenological. Because many of the features of the cancer models, such as taxis, aging and growth, are seen in other biological systems, the models and methods discussed here also provide a template for handling a broader range of biological problems.
Bruce P. Ayati, Glenn F. Webb and Alexander R.A. Anderson
Get paper


SMU Math Report 2005-02
  
Negative-coupling resonances in pump-coupled lasers
We consider coupled lasers, where the intensity deviations from the steady state, modulate the pump of the other lasers. Most of our results are for two lasers where the coupling constants are of opposite sign. This leads to a Hopf bifurcation to periodic output for weak coupling. As the magnitude of the coupling constants is increased (negatively) we observe novel amplitude effects such as a weak coupling resonance peak and, strong coupling subharmonic resonances and chaos. In the weak coupling regime the output is predicted by a set of slow evolution amplitude equations. Pulsating solutions in the strong coupling limit are described by discrete map derived from the original model.
Thomas W. Carr, Michael L. Taylor and Ira B. Schwartz
Get paper


SMU Math Report 2005-03
  
Modeling the Role of the Cell Cycle in Regulating Proteus mirabilis Swarm-Colony Development
We present models and computational results which indicate that the spatial and temporal regularity seen in Proteus mirabilis swarm-colony development is largely an expression of a sharp age of dedifferentiation in the cell cycle from motile swarmer cells to immotile dividing cells (also called swimmer or vegetative cells.) This contrasts strongly with reaction-diffusion models of Proteus behavior that ignore or average out the age structure of the cell population and instead use only density-dependent mechanisms. We argue the necessity of retaining the explicit age structure, and suggest experiments that may help determine the underlying mechanisms empirically. Consequently, we advocate Proteus as a model organism for a multiscale understanding of how and to what extent the life cycle of individual cells affects the macroscopic behavior of a biological system.
Bruce P. Ayati
Get paper


SMU Math Report 2005-04
  
Numerical computation of local vapor-liquid interface shape and heat transfer near steady contact line on heated surface
We develop an efficient and robust numerical procedure for computing the local interface shape and heat flux near a steady contact line on a heated surface using Matlab. The approach is based on reduction of the full system of coupled equations for liquid flow and heat transfer to a single ordinary differential equation for interface position. Results are obtained for a number of values of non-dimensional parameters. Common features of the solutions include high values of the evaporative mass flux and curvature close to the apparent contact line, as well as strong capillary pressure gradients that drive the local flow.
H.R.Quach and V.S.Ajaev
Get paper


SMU Math Report 2005-05
  
A Theory of Inertial Range Similarity in Isotropic Turbulence
We consider equilibrium statistics for high Reynolds number isotropic turbulence in an incompressible flow driven by steady forcing at the largest scale. Motivated by shell model observations, we develop a similarity theory for the inertial range from clearly stated assumptions. In the right variables, the theory is scaling invariant, but in traditional variables it shows anomalous scaling. We obtain the underlying probability density function, the scaling exponents, and the coefficients for the structure functions. An inertial range length scale also emerges.
Mogens V. Melander and Bruce R. Fabijonas
Get paper

Technical Reports - 2004


SMU Math Report 2004-01
  
Effects of Basis Selection and H-Refinement on Error Estimator Reliability and Solution Efficiency for High-Order Methods in Three Space Dimensions
Designing effective high-order adaptive methods for solving stationary reaction-diffusion equations in three dimensions requires the selection of a finite element basis, {\it a posteriori} error estimator and refinement strategy. Estimator accuracy may depend on the basis chosen, which in turn, may lead to unreliability or inefficiency via under- or over-refinement, respectively. The basis may also have an impact on the size and condition of the matrices that arise from discretization, and thus, on algorithm effectiveness. Herein, the interaction between these three components is studied in the context of an h-refinement procedure. The effects of these choices on the robustness and efficiency of the algorithm are examined for several linear and nonlinear problems.
Get paper: P. Moore

SMU Math Report 2004-02
  
Localized patterns in homogeneous networks of diffusively coupled reactors
We study the influence of network topology on instabilities of the homogeneous steady state of diffusively coupled, monostable nonlinear cells. A particular focus are diffusion-induced instabilities, i.e., Turing instabilities. We present various theorems that make it possible to determine analytically the stability properties of networks with arbitrary topologies and general monostable dynamics of the individual cells. This work aims in particular to determine those topologies that will give rise to localized stationary patterns. Specific examples focus on well-stirred chemical reactors. The reactors are coupled by diffusion-like mass transfer, and the kinetics is given by the Lengyel-Epstein model, a two-variable scheme for the chlorine dioxide-iodine-malonic acid reaction.
Get paper: P. Moore and Werner Horsthemke

SMU Math Report 2004-03
  
Viscous flow of a volatile liquid on an inclined heated surface
We investigate the effects of evaporation on a gravity driven flow of a viscous liquid on a heated solid. Vapor molecules are adsorbed on the dry areas of the solid and form a microscopic adsorbed film. The thickness of this film is calculated from the formulas for disjoining pressure and the principles of equilibrium thermodynamics. A lubrication-type approach is used to derive an evolution equation capable of describing both the macroscopic shape of the vapor-liquid interface and the adsorbed film on the vapor-solid interface. Under the conditions of negligible evaporation, the numerical solution of the evolution equation predicts translational motion and formation of capillary ridge, in agreement with previous investigations. Moderate evaporation is shown to slow down the flow and decrease the height of the capillary ridge, which implies stabilizing effect of evaporation on the well-known instability observed in gravity driven thin film flows. We also study combined effects of evaporation and thermocapillary stresses and show that the latter act to reduce the velocity of the downward motion, but increase the height of the capillary ridge. Apparent contact angles are found from the solution and shown to increase with evaporation and contact line speed. For strong evaporation, steady state solutions are found such that evaporation balances the downward motion of the interface under the action of gravity.
Vladimir Ajaev
Get pdf file.

SMU Math Report 2004-04
  
A Structured-Population Model of Proteus mirabilis Swarm-Colony Development
In this paper we present continuous age- and space-structured models and numerical computations of Proteus mirabilis swarm-colony development. We base the mathematical representation of the cell-cycle dynamics of Proteus mirabilis on those developed by Esipov and Shapiro, which are the best understood aspects of the system, and we make minimum assumptions about less-understood mechanisms, such as precise forms of the spatial diffusion. The models in this paper have explicit age-structure and, when solved numerically, display both the temporal and spatial regularity seen in experiments, whereas the Esipov and Shapiro model, when solved accurately, shows only the temporal regularity. The composite hyperbolic-parabolic partial differential equations used to model Proteus mirabilis swarm-colony development are relevant to other biological systems where the spatial dynamics depend on local physiological structure. We use computational methods designed for such systems, with known convergence properties, to obtain the numerical results presented in this paper.
Bruce Ayati
Get pdf file.

Technical Reports - 2003



SMU Math Report 2003-01
  
Quadrature Formulas for ``Moments" of B-spline Wavelets
We derive exact quadrature formulas for integrals involving integrands that are the products of linear functions and wavelets based on the cardinal B-spline. More specifically, the formulas evaluate the first and second ``moments" of the B-spline wavelet with arbitrary shift and scale, and the double integral of the B-spline wavelet of arbitrary shift and scale. In the process, we derive formulas that are efficient in terms of the number of B-spline evaluations. These quadratures are useful in solving certain integral equations discretized with a wavelet expansion of the solution and collocation.
Bentley T. Garrett
Get pdf file.

SMU Math Report 2003-02
  
A Spectral Integration Method for Linear Two-Point Boundary Value Problems
In recent years, a robust method based on spectral integration with Chebyshev expansions has been applied to stiff linear two-point boundary value problems. Furthermore, the complexity of the solution process has been reduced by solving local integral equations over subintervals, resulting in $O(Np^2)$ instead of $O(N^3)$ arithmetic operations, where $N$ is the number of nodes, and $p$ is the order of the Chebyshev approximation on each subinterval. An adaptive version has also been devised. In this paper, a spectral analysis is used to demonstrate how the order affects the accuracy. Also the specialized method for the constant coefficient case, the general nonadaptive method, and the general adaptive method are compared against one another in terms of complexity. The complexity of all three methods are then compared to that of COLNEW, a collocation code that is currently one of the best established, robust codes for solving general boundary value problems.
Bentley T. Garrett
Get pdf file.

Technical Reports - 2002


SMU Math Report 2002-01
  
A Variable Order Wavelet Method for the Sparse Representation of Layer Potentials in the Non-Standard Form
We discuss a variable order wavelet method for boundary integral formulations of elliptic boundary value problems. The wavelets are restrictions of piecewise polynomial functions in three variables on the boundary manifold. This construction is especially suited to obtain sparse approximate representations of integral operators on complicated geometries. For integral equations of the second kind we will show that the non-standard form can be compressed to contain only $O(N)$ non-vanishing entries while retaining the asymptotic converge of the full Galerkin scheme. Here, $N$ is the number of degrees of freedom in the discretization. The leading terms of the complexity estimates for the overhead are of the form $C_1 N \log^3 N + C_2 N$, where $C_1$ is much smaller than $C_2$. The constants in the complexity estimates are independent of the geometry of the boundary manifold.
Get paper: J. Tausch

SMU Math Report 2002-02
  
Period Locking due to Delayed Feedback in a Laser with Saturable Absorber
We consider laser with saturable absorber operating in the pulsating regime that is subject to delayed optical feedback. Alone, both the saturable absorber and delayed feedback cause the CW output to become unstable to periodic output via Hopf bifurcations. The delay feedback causes the laser pulse period to lock to an integer fraction of the feedback time. We derive a map from the original model to describe the periodic pulsations of the laser. Equations for the period of the laser predict the occurrence of the different locking states as well as the value of the pump when there is a switch between the locked states.
Thomas W. Carr
Get pdf file

SMU Math Report 2002-03
  
An Incomplete Assembly with Thresholding Algorithm for Systems of Reaction-Diffusion Equations in Three Space Dimensions
Solving systems of reaction-diffusion equations in three space dimensions can be prohibitively expensive both in terms of storage and cpu time. Herein I present a new incomplete assembly procedure that is designed to reduce storage requirements. Incomplete assembly is analogous to incomplete factorization in that only a fixed number of nonzero entries are stored per row and a drop tolerance is used to discard small values. The algorithm is incorporated in a finite element method-of-lines code and tested on a set of reaction-diffusion systems. The effect of incomplete assembly on cpu time and storage and on the performance of the temporal integrator DASPK, algebraic solver GMRES and preconditioner ILUT is studied.
Get paper: Peter K. Moore
SMU Math Report 2002-04
  
An Implicit Interpolation Error-Based Error Estimation Strategy for HP-Adaptivity
Hp-adaptive finite element methods require error estimates of the solution at the current order and one order higher. In [Moore,94] it was proved that a p-refinement (hierarchical) error estimation strategy was asymptotically exact for nonlinear parabolic equations. An extension of this strategy was proposed for computing higher-order estimates [Flaherty, Moore95]. Recently a new approach, interpolation error based (IEB) error estimation, for constructing a posteriori error estimates at both orders has been developed. I show that: i) IEB error estimation can be applied to semilinear two-point boundary value problems and parabolic equations in one space dimension; ii) the hierarchical estimator is an implicit IEB method and thus, works for semilinear two-point boundary value problems; iii) the hierarchical extension for computing higher-order error estimates is asymptotically exact. Computational results illustrating the theory and comparing the implicit (hierarchical) strategy with the earlier explicit IEB methods are presented.
Get paper: Peter K. Moore
SMU Math Report 2002-05
  
Implicit Interpolation Error-Based Error Estimation for Semilinear Elliptic and Parabolic Equations in Two Space Dimensions
Several authors have proposed an error estimation strategy for the finite element method applied to linear elliptic and parabolic equations in two space dimensions based on an odd/even order dichotomy principle. For odd-order approximations error estimates are computed directly from the finite element solution via jumps in the first derivatives across element boundaries. With even-order approximations an error estimate is obtained by computing a second solution on each element. Although both estimators are asymptotically exact the even-order estimators are typically more robust than the odd-order ones. In this paper the even-order method is extended to a family of methods for all orders greater than one, thereby recovering robustness for odd-orders. Proofs of asymptotic exactness are extended to semilinear elliptic and parabolic equations. Computational results demonstrating the effectiveness of the approach and comparing different members of the family are presented.
Get paper: Peter K. Moore

Technical Reports - 2001



SMU Math Report 2001-01
  
Efficient Analysis of Periodic Dielectric Waveguides using Dirichlet-to-Neumann Maps.
We present a numerical scheme for the analysis of periodic dielectric waveguides using Floquet-Bloch theory. The problem of finding the fundamental propagation modes is reduced to a nonlinear eigenvalue problem involving Dirichlet-to-Neumann maps. This approach leads to much smaller matrix problems than the ones that have appeared previously. We discuss an eigensolver and extend the conventional rule to choose the branches of the transverse wave numbers. This ensures analytic dependence on the Floquet multiplier and convergence of the nonlinear solver. This methology allows arbitrary precision by increasing the discretization fineness. We will demonstrate that even for a complicated multilayer waveguide structure, the propagation factors can be calculated within seconds to several digits of accuracy.
J. Tausch and J. Butler
(get compressed ps file)
SMU Math Report 2001-02
  
Improved Integral Formulations for Fast 3-D Method-of-Moments Solvers.
This paper introduces a new integral formulation to calculate charge densities of conductor systems that may include multiple dielectric materials. We show that the conditioning of our formulation is much better than that of the standard equivalent charge formulation. When combined with a nonstandard discretization scheme, results can be obtained with higher accuracy at reduced numerical cost. We present a multipole accelerated implementation of our formulation. The results demonstrate that the new approach can cut the iteration count by a factor between two and four. Moreover, we will demonstrate that in the presence of sparsification errors and multiple dielectric materials second-kind formulations are much more accurate than the standard first-kind formulations.
J. Tausch, J. Wang and J. White
(get compressed ps file)
SMU Math Report 2001-03
  
Solving Bordered Almost Block Diagonal Linear Systems
Almost block diagonal (ABD) linear systems arise in a variety of contexts, specifically in the numerical solution of systems of ordinary differential equation two-point boundary value problems with separated boundary conditions. The stable, efficient solution of ABDs has received much attention recently. Bordered almost block diagonal (BABD) linear systems arise when the boundary conditions are non-separated. After an introduction to the problem, we describe a variety of direct approaches to solving BABD systems, some of them extensions of ABD techniques. We pay particular attention to questions of efficiency and stability.
B. Garrett and I. Gladwell
(get compressed ps file)
SMU Math Report 2001-04
  
Applications of Lobatto Polynomials to an Adaptive Finite Element Method: Estimating Solution Derivatives and Grid-to-Grid Interpolation
Hp-adaptive finite element methods require algorithms for estimating the error in the solution for different discretizations and for interpolating solutions between grids. The first often involves estimating high-order derivatives of the solution. The second typically leads to the solution of large linear systems. The Lobatto interpolant, which possesses a variety of superconvergence properties for two-point boundary value problems and parabolic equations provides one approach to developing these algorithms. I derive a ``Taylor-like'' series for the pointwise error in the Lobatto interpolant. Differentiating this series leads to high-order derivative approximations using the interpolant. These estimates are extended to the finite element solution using the weak form of the equations. Explicit formulas for the inverses of the Lobatto interpolation matrices are given. Computational results illustrate the theory.
Peter K. Moore
(get compressed ps file)
SMU Math Report 2001-05
  
Onset of instabilities in self-pulsing semiconductor lasers with delayed feedback
We consider the deterministic dynamics of a semiconductor laser with saturable absorber that is subject to delayed optical feedback. Alone, both the saturable absorber and delayed feedback cause the CW output to become unstable to periodic output via Hopf bifurcations. We examine the combined effects of these two destabilizing mechanisms to determine new conditions for the Hopf bifurcations. We also describe the transient as the unstable CW output evolves to the oscillatory state. A main result is that the presence of a saturable absorber can increase the sensitivity of the laser to delayed feedback.
Thomas W. Carr
(get pdf file)
SMU Math Report 2001-06
  
Laplace's Method on a computer algebra system with an application to the real valued modified Bessel functions
We examine a Maple implementation of two distinct approaches to Laplace's Method used to obtain asymptotic expansions of Laplace type integrals. One algorithm uses power series reversion, whereas the other expands all quantities in Taylor or Puiseux series. These algorithms are used to derive asymptotic expansions for the real valued modified Bessel functions of pure imaginary order and real argument that mimic the well-known corresponding expansions for the unmodified Bessel functions.
Bruce R. Fabijonas
(get pdf file)
SMU Math Report 2001-07
  
Interpolation Error-Based A Posteriori Error Estimation for P-Refinement Using First and Second Derivative Jumps
Hp-adaptive finite element methods require estimates of the error in the solution at the current order and one order higher. Interpolation-error based a posteriori error estimates offer one solution to this problem. I show how such estimates at the current order can be obtained in one dimension for odd (even) order bases by using jumps in the first (second) derivative of the finite element solution at element boundaries. Additionally the jumps in the second (first) derivative for odd (even) order elements allow error estimates of the finite element solution one order higher than the current order to be computed. These estimates are compared with interpolation-error based methods that use high-order derivative approximations of the finite element solution. Computational results illustrate the theory and the impact of the estimation strategy on the refinement algorithm is discussed.
Peter K. Moore
(get pdf file)
SMU Math Report 2001-08
  
Interpolation Error-Based A Posteriori Error Estimation in Three Dimensions: A First Step
Interpolation error-based a posteriori error estimation for elliptic and parabolic equations requires finding an interpolant that is asymptotically equivalent to the finite element solution. In three dimensions such an interpolant is obtained by taking the tensor product of the one-dimensional Lobatto interpolant. Formulas for the error in L^2 and H^1 of this interpolant are derived. These formulas involve high-order derivatives of the solution of the partial differential equations. Approximations of these derivatives from jumps in first and second derivatives of the interpolant across element boundaries and from differences of high-order derivatives of the interpolant are presented. Projections of the interpolant onto finite element spaces constructed from hierarchical and modified-hierarchical bases are examined and the effect of using these smaller bases on the error estimation strategy is considered.
Peter K. Moore
(get compressed ps file)

Technical Reports - 2000


SMU Math Report 2000-01
  
Multiscale bases for the sparse representation of boundary integral operators on complex geometry
A multilevel transform is introduced to represent discretizations of integral operators from potential theory by nearly sparse matrices. The new feature presented here is to construct the basis in a hierarchical decomposition of the three-space and not, as in previous approaches, in a parameter space of the boundary manifold. This construction leads to sparse representations of the operator even for geometrically complicated, multiply connected domains. We will demonstrate that the numerical cost to apply a vector to the operator using the non-standard form is essentially equal to performing the same operation with the Fast Multipole Method. With a second compression scheme the multiscale approach can be further optimized. Moreover, the diagonal blocks of the transformed matrix can be used as an efficient and inexpensive preconditioner.
Johannes Tausch and Jacob White
(get compressed ps file)
SMU Math Report 2000-02
  
On the Relationship of Various Discontinuous Finite Element Methods for Second-Order Elliptic Equations
In this paper we introduce a family of discontinuous finite element methods for fairly general second-order elliptic equations with variable coefficients. Lower-order terms are included in these equations, so the analysis and results apply also to time-dependent equations. We first write this family of methods in a mixed formulation, and then establish their equivalent versions in a nonmixed formulation by incorporating some projection operators. Within this framework, we can recover all existing discontinuous finite element methods by changing appropriate parameters. Stability and convergence properties are studied for these discontinuous methods; stability results and sharp error estimates are established for general boundary conditions and with reasonable assumptions. We show that when discontinuous finite element methods are defined in mixed form, they not only preserve good features of these methods, also have some advantages over classical Galerkin discontinuous methods such as they are more stable in this form.
Zhangxin Chen
(get compressed ps file)
SMU Math Report 2000-03
  
Error Analysis for Characteristics-Based Methods for Degenerate Parabolic Problems
We consider characteristics-based finite element methods for solving nonlinear, degenerate, advection-diffusion equations. These equations have applications in simulation of petroleum reservoirs and groundwater aquifers and in modeling of free boundary problems. Standard finite element Galerkin methods have been studied for these equations. In this paper we analyze the characteristics-based finite element methods for them. The main difficulty in the analysis is that they are degenerate and the solution lacks in regularity. Here we develop a technique that respects the degeneracy and the known minimal regularity. This technique is based on the Green operator for standard elliptic equations and is developed directly for the degenerate advection-diffusion equations. We concentrate our analysis on the modified method of characteristics (MMOC) and one of its variants, the modified method of characteristics with adjusted advection (MMOCAA), which preserves mass. We derive error estimates in various norms. The extension to other variants is discussed. The present technique is also applied to nondegenerate problems; error estimates previously obtained for the MMOC are derived under much weaker regularity assumptions on the solution, and the error estimates for the MMOCAA appear new even in the nondegenerate case. Finally, numerical results are presented to show the sharpness of the error estimates derived.
Zhangxin Chen, Richard E. Ewing, Ellen Q. Jiang, and Anna M. Spagnuolo
(get compressed ps file)
SMU Math Report 2000-04
  
Characteristics-Discontinuous Finite Element Methods in Mixed Form for Advection-Dominated Diffusion Problems
In this paper three characteristics-discontinuous finite element methods in mixed form are introduced for time dependent advection-dominated diffusion problems. Namely, the diffusion problems are discretized using discontinuous finite elements in mixed form, and the temporal differentiation and advection terms in these problems are treated by a characteristic tracking scheme. The first method is based on the standard modified method of characteristics. It is simple to set up and analyze, but fails to preserve an integral identity satisfied by the solution of the differential problems. The second method is formulated using the modified method of characteristics with adjusted advection and preserves the integral identity globally. The third method is defined in terms of a local Eulerian-Lagrangian technique and preserves the identity locally. These three methods not only preserve the conceptual and computational merits of both characteristics-based procedures and discontinuous finite element schemes, also possess some new features. Stability and convergence properties are studied for all three methods; unconditionally stable results and sharp error estimates are established. Their relationships to standard characteristics-based methods such as MMOC, MMOCAA, ELLAM, and CMFEM are described in detail.
Zhangxin Chen
(get compressed ps file)
SMU Math Report 2000-05
  
Convergence and Stability of Two Families of Discontinuous Finite Element Methods for Second-Order Problems
In this paper, we study two families of discontinuous finite element methods for second-order problems. For the first family for a model elliptic problem, we obtain optimal error estimates in both the energy norm and the $L^2(\O)$-norm. We prove a stability result for this family when the coefficient in the lower-order term of the elliptic problem is positive; without this lower-order term, we show a similar stability result for finite element spaces with piecewise polynomials of degree greater than one. For the second family, we derive an optimal estimate in the energy norm and a sub-optimal estimate in the $L^2(\O)$-norm. We establish the stability result for the second family with or without the lower-order term of the elliptic problem. The stiffness matrix arising from the first family is symmetric and positive definite, while it is positive definite but nonsymmetric from the second one. We extend the convergence and stability results to parabolic and convection-dominated problems as well.
Zhangxin Chen
(get compressed ps file)
SMU Math Report 2000-06
  
Distributional modes for scaler field quantization
We propose a mode-sum formalism for the quantization of the scalar field based on distributional modes, which are naturally associated with a slight modification of the standard plane-wave modes. We show that this formalism leads to the standard Rindler temperature result, and that these modes can be canonically defined on any Cauchy surface.
Alfonso F. Agnew and Tevian Dray
(get compressed ps file)