
Nonlinear boundary value problems occur in many practical applications in science and engineering. Classical iterative methods require a full linearizion of the nonlinear system. Multigrid full approximation schemes (FAS) require a directional coarsening to significantly improve the rate of convergence for advection diffusion boundary value problems.
This work reports on the development of an efficient multilevel adaptive scheme for solving nonlinear advectiondiffusion boundary value problems. A multilevel solver is proposed using the second generation adaptive wavelet collocation method (AWCM). The solver does not calculate explicitly the Jacobian of the nonlinear system. We have verified numerically that the CPU time remains approximately proportional to the number of grid points if the mesh is refined locally to resolve small scale features of the solution.
A numerical method for passive scalar and selfadvection dynamics, Lagrangian rearrangement, is proposed. This fully Lagrangian advection algorithm introduces no artificial numerical dissipation or interpolation of parcel values. In the inviscid limit, it preserves the infinity of Casimir invariants associated with parcel rearrangement. In the twodimensional case presented here, these invariants are arbitrary C^{1} functions of the vorticity and concentration fields. The initial parcel centroids are evolved in a Lagrangian frame, using the method of characteristics. At any time this Lagrangian solution may be viewed by projecting it onto an Eulerian grid using a rearrangement map. The resulting rearrangement of initial parcel values is accomplished with a weighted Bresenham algorithm, which identifies quasioptimal, distributed paths along which chains of parcels are pushed to fill in nearby empty cells. The error introduced by this rearrangement does not propagate to future time steps.
For simplicity, the Lagrangian rearrangement algorithm was initially developed for periodic boundary conditions. In this work we discuss the extension of the method to Dirichlet boundary conditions.
Chemical structures (often represented as graphs) have a number of identifying properties, the most obvious being atoms (vertices) and bonds (edges). Although humans can easily determine whether two structures are the same or similar visually, computational chemical structure identification has proven to be a difficult task. With advances in technology resulting in a drastic increase in the number and rate of structures that are computed, the creation of databases with advanced search capabilities has become a necessity. Consequently, tools that allow for the identification of points of interest and the determination of levels of similarity between multiple structures are becoming increasingly important. Existing chemical structure representation schemes will be discussed in the context of our own topological indices which assign, based on its chemical environment (nearest neighbours), numerical values to each atom and bond in a structure. Such topological indices allow identification of functional groups (specific groups of atoms within a structure that exhibit characteristic chemical behaviour) and will be used to develop substructure search algorithms as used in the pharmaceutical industry to identify drug candidates. Further, easily computed properties of chemical structures have been seen to be useful in assessing similarity.
We consider a nonlinear fourthorder degenerate parabolic partial differential equation which describes the dynamics of an incompressible thin liquid film on the outer surface of a rotating horizontal cylinder in the presence of gravity. The equation contains two nonnegative parameters proportional to gravity and surface tension respectively. These parameters determine a rich variety of regimes which we analyze analytically and numerically.
Realistic (and interesting) mathematical models often involve quantities which vary over disparate time and space scales. Successful simulation necessarily involves a blend of computational techniques and close attention to the details of the interaction between them. In this talk I review two such instances: the solution of boundary layer (or interior layer) problems utilizing fast linear algebra update strategies and recent advances in the development of a 2D Schwarz waveform relaxation moving mesh method.
In 1974, A. R. Curtis, M. J. D. Powell, and J. K. Reid published a seminal paper on the estimation of Jacobian matrices which was later coined as the CPR method. Central to the CPR method is the effective utilization of a priori known sparsity information. It is only recently that the optimal CPR method in its general form is characterized and the theoretical underpinning for the optimality is shown. In this talk we provide an overview of the development of computational techniques and software tools for the estimation of Jacobian matrices over the last 30+ years.
We examine the density and velocity structure of interstellar gas traversed by curved shock waves. We demonstrate mathematically that just a few passages of curved shock waves generically produces a lognormal density PDF. This explains the ubiquity of the lognormal PDF in many different numerical simulations. We also show that subsequent interaction with a spherical blast wave generates a powerlaw mass distribution at high densities, similar to the Salpeter index for the IMF. Finally, we show that a focused shock produces a downstream flow with energy spectrum exponent a = 2. Subsequent shock passages reduce this slope, achieving a » 5/3 after a few passages. These results suggest that fullydeveloped turbulence may not be required to explain the observed energy spectrum and density PDF.
On the basis of these mathematical results, we argue that the selfsimilar spherical blast wave arising from expanding HII regions or stellar winds from massive stars may ultimately be responsible for creating the high mass, powerlaw, Salpeterlike tail on an otherwise a lognormal density PDF for gas in star forming regions. The IMF arises from the gravitational collapse of sufficiently overdense regions within this PDF. Thus, the composite nature of the IMFa lognormal plus powerlaw distributionis shown to be a natural consequence of shock interaction and feedback from the most massive stars that form in most regions of star formation in the galaxy.
A twodimensional computer model is developed to simulate free surface flow interaction with a moving body using a fixedgrid system. The twophase flow model is based on a viscous incompressible twofluid model with an oscillating circular cylinder. This method is based on a finite volume discretization of the twodimensional unsteady NavierStokes equations and uses improved volumeoffluid method for the displacement of the free surface. The code validations in special cases show good comparisons with previous experimental and numerical results.
Two fourthorder compact finite difference methods are proposed to solve the onedimensional Burgers' equation with high Reynolds number. The methods are based on the HopfCole transformation, Richardson's extrapolation and multilevel grids. Numerical experiments are included to demonstrate the efficiency, accuracy, robustness and unconditional stability of the methods.
Symmetric pentadiagonal Toeplitz systems of linear equations arise in many application areas involving finite difference methods with equistep sizes. Recently, significant advancement has been made into algorithm development for fast parallel scalable solutions for solving diagonally dominant tridiagonal Toeplitz Linear systems as well as in sequentially solving diagonally dominant symmetric pentadiagonal problems using similar fast approaches. In this talk we will introduce two new scalable parallel algorithms for solving symmetric pentadiagonal Toeplitz systems of linear equations based upon parallel techniques used by McNally et al. in A communicationless parallel algorithm for tridiagonal Toeplitz systems (2008) and a sequential algorithm presented by McNally in A Fast Algorithm for Solving Diagonally Dominant Symmetric Pentadiagonal Toeplitz Systems (2008).
The talk discusses an inverse problem for estimating Qfactor of a viscoelastic medium from complex effective modulus. The approach is based on the reconstruction of the spectral measure in the analytic Stieltjes integral representation of the complex effective modulus using Padé approximation. The spectral measure contains information about the relaxation spectrum of the medium and is uniquely determined if the spectral function is known on an arc in the complex plane.
However, the problem of reconstruction of the spectral measure is illposed and requires regularization. A discrete [p, q]Padé approximation of the spectral measure is derived from a constrained least squares minimization problem with regularization. Numerical examples are given to demonstrate the validity of the inversion method.
This is a joint work with Michael P. Lamoureux and Gary Margrave at the University of Calgary.