An Error Indicator Monitor Function for an r-Adaptive Finite-Element Method

An r-adaptive finite-element method based on moving-mesh partial differential equations (PDEs) and an error indicator is presented. The error indicator is obtained by applying a technique developed by Bank and Weiser to elliptic equations which result in this case from temporal discretization of the underlying physical PDEs on moving meshes. The construction of the monitor function based on the error indicator is discussed. Numerical results obtained with the current method and the commonly used method based on solution gradients are presented and analyzed for several examples.     

Minimization of the Truncation Error by Grid Adaptation

A new grid adaptation strategy, which minimizes the truncation error of a pth-order finite difference approximation, is proposed. The main idea of the method is based on the observation that the global truncation error associated with discretization on nonuniform meshes can be minimized if the interior grid points are redistributed in an optimal sequence. The method does not explicitly require the truncation error estimate, and at the same time, it allows one to increase the design order of approximation globally by one, so that the same finite difference operator reveals superconvergence properties on the optimal grid. Another very important characteristic of the method is that if the differential operator and the metric coefficients are evaluated identically by some hybrid approximation, then the single optimal grid generator can be employed in the entire computational domain independently of points where the hybrid discretization switches from one approximation to another. Generalization of the present method to multiple dimensions is presented. Numerical calculations of several one-dimensional and one two-dimensional test examples demonstrate the performance of the method and corroborate the theoretical results.     

The Three Dimensional Non-conforming Finite Element Solution of the Chapman–Ferraro Problem

We demonstrate the feasibility of using a non-conforming, piecewise harmonic finite element method on an unstructured grid in solving a magnetospheric physics problem. We use this approach to construct a global discrete model of the magnetic field of the magnetosphere that includes the effects of shielding currents at the outer boundary (the magnetopause). As in the approach of F. R. Toffolettoet al.(1994,Geophys. Res. Lett.21, 7) the internal magnetospheric field model is that of R. V. Hilmer and G.-H. Voigt (1995,J. Geophys. Res.) while the magnetopause shape is based on an empirically determined approximation (1997, J. Shueet al.,J. Geophys. Res.102, 9497). The results is a magnetic field model whose field lines are completely confined within the magnetosphere. The presented numerical results indicate that the discrete non-conforming finite element model is well-suited for magnetospheric field modeling.     

A General-Purpose Finite-Volume Advection Scheme for Continuous and Discontinuous Fields on Unstructured Grids

We present a new general-purpose advection scheme for unstructured meshes based on the use of a variation of the interface-tracking flux formulation recently put forward by O. Ubbink and R. I. Issa (J. Comput. Phys.153, 26 (1999)), in combination with an extended version of the flux-limited advection scheme of J. Thuburn (J. Comput. Phys.123, 74 (1996)), for continuous fields. Thus, along with a high-order mode for continuous fields, the new scheme presented here includes optional integrated interface-tracking modes for discontinuous fields. In all modes, the method is conservative, monotonic, and compatible. It is also highly shape preserving. The scheme works on unstructured meshes composed of any kind of connectivity element, including triangular and quadrilateral elements in two dimensions and tetrahedral and hexahedral elements in three dimensions. The scheme is finite-volume based and is applicable to control-volume finite-element and edge-based node-centered computations. An explicit–implicit extension to the continuous-field scheme is provided only to allow for computations in which the local Courant number exceeds unity. The transition from the explicit mode to the implicit mode is performed locally and in a continuous fashion, providing a smooth hybrid explicit–implicit calculation. Results for a variety of test problems utilizing the continuous and discontinuous advection schemes are presented.     

Transparent Boundary Conditions for Split-Step Padé Approximations of the One-Way Helmholtz Equation

In this paper, we generalize the nonlocal discrete transparent boundary condition introduced by F. Schmidt and P. Deuflhard (1995, Comput. Math. Appl.29, 53–76) and by F. Schmidt and D. Yevick (1997, J. Comput. Phys.134, 96–107) to propagation methods based on arbitrary Padé approximations of the two-dimensional one-way Helmholtz equation. Our approach leads to a recursive formula for the coefficients appearing in the nonlocal condition, which then yields an unconditionally stable propagation method.     

The Adjoint Method for an Inverse Design Problem in the Directional Solidification of Binary Alloys

This paper presents a systematic procedure based on the adjoint method for solving a class of inverse directional alloy solidification design problems in which a desired growth velocityv_fis achieved under stable growth conditions. To the best of our knowledge, this is the first time that a continuum adjoint formulation is proposed for the solution of an inverse problem with simultaneous heat and mass transfer, thermo-solutal convection, and phase change. In this paper, the interfacial stability is considered to imply a sharp solid–liquid freezing interface. This condition is enforced using the constitutional undercooling criterion in the form of an inequality constraint between the thermal and solute concentration gradients,GandG_c, respectively, at the freezing front. The main unknowns of the design problem are the heating and/or cooling boundary conditions on the mold walls. The inverse design problem is formulated as a functional optimization problem. The cost functional is defined by the square of theL₂norm of the deviation of the freezing interface temperature from the temperature corresponding to thermodynamic equilibrium. A continuum adjoint system is derived to calculate the adjoint temperature, concentration, and velocity fields such that the gradient of the cost functional can be expressed analytically. The cost functional minimization process is realized by the conjugate gradient method via the finite element method solutions of the continuum direct, sensitivity, and adjoint problems. The developed formulation is demonstrated with an example of designing the directional solidification of a binary aqueous solution in a rectangular mold such that a stable vertical interface advances from left to right with a desired growth velocity.     

Accurate Measurement of Small Spin–Spin Couplings in Partially Aligned Molecules Using a Novel J-Mismatch Compensated Spin-State-Selection Filter

The accurate measurement of small spin–spin coupling constants in macromolecules dissolved in a liquid crystalline phase is important in the context of molecular structure investigation by modern liquid state NMR. A new spin-state-selection filter, DIPSAP, is presented with significantly reduced sensitivity to J-mismatch of the filter delays compared to previously proposed pulse sequences. DIPSAP presents an attractive new approach for the accurate measurement of small spin–spin coupling constants in molecules dissolved in anisotropic solution. Application to the measurement of ¹⁵N–¹³C′ and ¹H^N–¹³C′ coupling constants in the peptide planes of ¹³C, ¹⁵N labeled proteins demonstrates the high accuracy obtained by a DIPSAP-based experiment.     

Unconditionally Stable Methods for Hamilton–Jacobi Equations

We present new numerical methods for constructing approximate solutions to the Cauchy problem for Hamilton–Jacobi equations of the form u_t+H(D_xu)=0. The methods are based on dimensional splitting and front tracking for solving the associated (non-strictly hyperbolic) system of conservation laws p_t+D_xH(p)=0, where p=D_xu. In particular, our methods depend heavily on a front tracking method for one-dimensional scalar conservation laws with discontinuous coefficients. The proposed methods are unconditionally stable in the sense that the time step is not limited by the space discretization and they can be viewed as “large-time-step” Godunov-type (or front tracking) methods. We present several numerical examples illustrating the main features of the proposed methods. We also compare our methods with several methods from the literature.     

Wave Simulation in Frozen Porous Media

We propose a numerical algorithm for simulation of wave propagation in frozen porous media, where the pore space is filled with ice and water. The model, based on a Biot-type three-phase theory, predicts three compressional waves and two shear waves and models the attenuation level observed in rocks. Attenuation is modeled with exponential relaxation functions which allow a differential formulation based on memory variables. The wavefield is obtained using a grid method based on the Fourier differential operator and a Runge–Kutta time-integration algorithm. Since the presence of slow quasistatic modes makes the differential equations stiff, a time-splitting integration algorithm is used to solve the stiff part analytically. The modeling is second-order accurate in the time discretization and has spectral accuracy in the calculation of the spatial derivatives.     

Two-Level Hierarchical FEM Method for Modeling Passive Microwave Devices

In recent years multigrid methods have been proven to be very efficient for solving large systems of linear equations resulting from the discretization of positive definite differential equations by either the finite difference method or theh-version of the finite element method. In this paper an iterative method of the multiple level type is proposed for solving systems of algebraic equations which arise from thep-version of the finite element analysis applied to indefinite problems. A two-levelV-cycle algorithm has been implemented and studied with a Gauss–Seidel iterative scheme used as a smoother. The convergence of the method has been investigated, and numerical results for a number of numerical examples are presented.     

New High-Resolution Semi-discrete Central Schemes for Hamilton–Jacobi Equations

We introduce a new high-resolution central scheme for multidimensional Hamilton–Jacobi equations. The scheme retains the simplicity of the non-oscillatory central schemes developed by C.-T. Lin and E. Tadmor (in press, SIAM J. Sci. Comput.), yet it enjoys a smaller amount of numerical viscosity, independent of 1/Δt. By letting Δt↓0 we obtain a new second-order central scheme in the particularly simple semi-discrete form, along the lines of the new semi-discrete central schemes recently introduced by the authors in the context of hyperbolic conservation laws. Fully discrete versions are obtained with appropriate Runge–Kutta solvers. The smaller amount of dissipation enables efficient integration of convection-diffusion equations, where the accumulated error is independent of a small time step dictated by the CFL limitation. The scheme is non-oscillatory thanks to the use of nonlinear limiters. Here we advocate the use of such limiters on second discrete derivatives, which is shown to yield an improved high resolution when compared to the usual limitation of first derivatives. Numerical experiments demonstrate the remarkable resolution obtained by the proposed new central scheme.     

Moving Mesh Methods in Multiple Dimensions Based on Harmonic Maps

In practice, there are three types of adaptive methods using the finite element approach, namely the h-method, p-method, and r-method. In the h-method, the overall method contains two parts, a solution algorithm and a mesh selection algorithm. These two parts are independent of each other in the sense that the change of the PDEs will affect the first part only. However, in some of the existing versions of the r-method (also known as the moving mesh method), these two parts are strongly associated with each other and as a result any change of the PDEs will result in the rewriting of the whole code. In this work, we will propose a moving mesh method which also contains two parts, a solution algorithm and a mesh-redistribution algorithm. Our efforts are to keep the advantages of the r-method (e.g., keep the number of nodes unchanged) and of the h-method (e.g., the two parts in the code are independent). A framework for adaptive meshes based on the Hamilton–Schoen–Yau theory was proposed by Dvinsky. In this work, we will extend Dvinsky's method to provide an efficient solver for the mesh-redistribution algorithm. The key idea is to construct the harmonic map between the physical space and a parameter space by an iteration procedure. Each iteration step is to move the mesh closer to the harmonic map. This procedure is simple and easy to program and also enables us to keep the map harmonic even after long times of numerical integration. The numerical schemes are applied to a number of test problems in two dimensions. It is observed that the mesh-redistribution strategy based on the harmonic maps adapts the mesh extremely well to the solution without producing skew elements for multi-dimensional computations.     

Physics-Based Preconditioning and the Newton–Krylov Method for Non-equilibrium Radiation Diffusion

An algorithm is presented for the solution of the time dependent reaction-diffusion systems which arise in non-equilibrium radiation diffusion applications. This system of nonlinear equations is solved by coupling three numerical methods, Jacobian-free Newton–Krylov, operator splitting, and multigrid linear solvers. An inexact Newton's method is used to solve the system of nonlinear equations. Since building the Jacobian matrix for problems of interest can be challenging, we employ a Jacobian–free implementation of Newton's method, where the action of the Jacobian matrix on a vector is approximated by a first order Taylor series expansion. Preconditioned generalized minimal residual (PGMRES) is the Krylov method used to solve the linear systems that come from the iterations of Newton's method. The preconditioner in this solution method is constructed using a physics-based divide and conquer approach, often referred to as operator splitting. This solution procedure inverts the scalar elliptic systems that make up the preconditioner using simple multigrid methods. The preconditioner also addresses the strong coupling between equations with local 2×2 block solves. The intra-cell coupling is applied after the inter-cell coupling has already been addressed by the elliptic solves. Results are presented using this solution procedure that demonstrate its efficiency while incurring minimal memory requirements.     

High-Order Nonreflecting Boundary Conditions without High-Order Derivatives

A wave problem in an unbounded domain is often treated numerically by truncating the infinite domain via an artificial boundary , imposing a so-called nonreflecting boundary condition (NRBC) on , and then solving the problem numerically in the finite domain bounded by . A general approach is devised here to construct high-order local NRBCs with a symmetric structure and with only low (first- or second-) order spatial and/or temporal derivatives. This enables the practical use of NRBCs of arbitrarily high order. In the case of time-harmonic waves with finite element discretization, the approach yields a symmetric C⁰ finite element formulation in which standard elements can be employed. The general methodology is presented for both the time-harmonic case (Helmholtz equation) and the time-dependent case (the wave equation) and is demonstrated numerically in the former case.     

Probing Proteins in Solution by Xe NMR Spectroscopy

The interaction of xenon with different proteins in aqueous solution is investigated by ¹²⁹Xe NMR spectroscopy. Chemical shifts are measured in horse metmyoglobin, hen egg white lysozyme, and horse cytochrome c solutions as a function of xenon concentration. In these systems, xenon is in fast exchange between all possible environments. The results suggest that nonspecific interactions exist between xenon and the protein exteriors and the data are analyzed in term of parameters which characterize the protein surfaces. The experimental data for horse metmyoglobin are interpreted using a model in which xenon forms a 1:1 complex with the protein and the chemical shift of the complexed xenon is reported (Locci et al., Keystone Symposia “Frontiers of NMR in Molecular Biology VI”, Jan. 9–15, 1999, Breckenridge, CO, Abstract E216, p. 53; Locci et al., XeMAT 2000 “Optical Polarization and Xenon NMR of Materials”, June 28–30, 2000, Sestri Levante, Italy, p. 46).     

Accurate ω-ψ Spectral Solution of the Singular Driven Cavity Problem

This article provides accurate spectral solutions of the driven cavity problem, calculated in the vorticity–stream function representation without smoothing the corner singularities—a prima facie impossible task. As in a recent benchmark spectral calculation by primitive variables of Botella and Peyret, closed-form contributions of the singular solution for both zero and finite Reynolds numbers are subtracted from the unknown of the problem tackled here numerically in biharmonic form. The method employed is based on a split approach to the vorticity and stream function equations, a Galerkin–Legendre approximation of the problem for the perturbation, and an evaluation of the nonlinear terms by Gauss–Legendre numerical integration. Results computed for Re=0, 100, and 1000 compare well with the benchmark steady solutions provided by the aforementioned collocation–Chebyshev projection method. The validity of the proposed singularity subtraction scheme for computing time-dependent solutions is also established.     

Implementation Aspects of 3D Lattice-BGK: Boundaries, Accuracy, and a New Fast Relaxation Method

In many realistic fluid-dynamical simulations the specification of the boundary conditions, the error sources, and the number of time steps to reach a steady state are important practical considerations. In this paper we study these issues in the case of the lattice-BGK model. The objective is to present a comprehensive overview of some pitfalls and shortcomings of the lattice-BGK method and to introduce some new ideas useful in practical simulations. We begin with an evaluation of the widely used bounce-back boundary condition in staircase geometries by simulating flow in an inclined tube. It is shown that the bounce-back scheme is first-order accurate in space when the location of the non-slip wall is assumed to be at the boundary nodes. Moreover, for a specific inclination angle of 45 degrees, the scheme is found to be second-order accurate when the location of the non-slip velocity is fitted halfway between the last fluid nodes and the first solid nodes. The error as a function of the relaxation parameter is in that case qualitatively similar to that of flat walls. Next, a comparison of simulations of fluid flow by means of pressure boundaries and by means of body force is presented. A good agreement between these two boundary conditions has been found in the creeping-flow regime. For higher Reynolds numbers differences have been found that are probably caused by problems associated with the pressure boundaries. Furthermore, two widely used 3D models, namelyD₃Q₁₅andD₃Q₁₉, are analysed. It is shown that theD₃Q₁₅model may induce artificial checkerboard invariants due to the connectivity of the lattice. Finally, a new iterative method, which significantly reduces the saturation time, is presented and validated on different benchmark problems.     

Comparison of Several Spatial Discretizations for the Navier–Stokes Equations

Grid convergence studies for subsonic and transonic flows over airfoils are presented in order to compare the accuracy of several spatial discretizations for the compressible Navier–Stokes equations. The discretizations include the following schemes for the inviscid fluxes: (1) second-order-accurate centered differences with third-order matrix numerical dissipation, (2) the second-order convective upstream split pressure scheme (CUSP), (3) third-order upwind-biased differencing with Roe's flux-difference splitting, and (4) fourth-order centered differences with third-order matrix numerical dissipation. The first three are combined with second-order differencing for the grid metrics and viscous terms. The fourth discretization uses fourth-order differencing for the grid metrics and viscous terms, as well as higher-order approximations near boundaries and for the numerical integration used to calculate forces and moments. The results indicate that the discretization using higher-order approximations for all terms is substantially more accurate than the others, producing less than two percent numerical error in lift and drag components on grids with less than 13,000 nodes for subsonic cases and less than 18,000 nodes for transonic cases. Since the cost per grid node of all of the discretizations studied is comparable, the higher-order discretization produces solutions of a given accuracy much more efficiently than the others.     

Millimeter-Wave Spectroscopy, High-Resolution Infrared Spectrum, ab Initio Calculations, and Molecular Geometry of FPS

The transient thiophosphenous fluoride FPS was produced by pyrolysis of 2.5% F₂PSPF₂ in Ar at 1300–1800°C. High-resolution (≥0.004 cm⁻¹) Fourier transform infrared spectra of the a-type ν₁ and b-type ν₂ bands, centered respectively at 803.249 and 726.268 cm⁻¹, were measured and fitted to rotational and quartic centrifugal distortion parameters. The millimeter-wave spectrum, essentially b-type, was measured between 300 and 370 GHz in the ground state and in the ν₃ excited state for FP³²S and in the ground state for FP³⁴S. The frequencies were fitted to a Watson-type A-reduced Hamiltonian up to sextic distortion terms. High level ab initio calculations with large basis sets were performed on FPS and supported the first identification of its infrared and millimeter wave spectra. The calculated anharmonic force field provided precise ab initio rovibrational α constants which were combined with the experimental molecular parameters to determine an accurate equilibrium structure of the molecule: r_e(PS)=188.86 pm, r_e(PF)=158.70 pm, θ(FPS)=109.28°. The collision-controlled 1/e lifetime measured in a 10-Pa (1 : 20) F₂PSPF₂/Ar mixture was 2 s, more than two orders of magnitude larger than that of FPO under the same experimental conditions.