An accurate and efficient method for the incompressible Navier–Stokes equations using the projection method as a preconditioner

The projection method is a widely used fractional-step algorithm for solving the incompressible Navier–Stokes equations. Despite numerous improvements to the methodology, however, imposing physical boundary conditions with projection-based fluid solvers remains difficult, and obtaining high-order accuracy may not be possible for some choices of boundary conditions. In this work, we present an unsplit, linearly-implicit discretization of the incompressible Navier–Stokes equations on a staggered grid along with an efficient solution method for the resulting system of linear equations. Since our scheme is not a fractional-step algorithm, it is straightforward to specify general physical boundary conditions accurately; however, this capability comes at the price of having to solve the time-dependent incompressible Stokes equations at each timestep. To solve this linear system efficiently, we employ a Krylov subspace method preconditioned by the projection method. In our implementation, the subdomain solvers required by the projection preconditioner employ the conjugate gradient method with geometric multigrid preconditioning. The accuracy of the scheme is demonstrated for several problems, including forced and unforced analytic test cases and lid-driven cavity flows. These tests consider a variety of physical boundary conditions with Reynolds numbers ranging from 1 to 30000. The effectiveness of the projection preconditioner is compared to an alternative preconditioning strategy based on an approximation to the Schur complement for the time-dependent incompressible Stokes operator. The projection method is found to be a more efficient preconditioner in most cases considered in the present work.     

Fractional Klein-Gordon-Schrödinger equations with Mittag-Leffler memory

The main objective of the present investigation is to find the solution for the fractional model of Klein-Gordon-Schrödinger system with the aid of q-homotopy analysis transform method (q-HATM). The projected solution procedure is an amalgamation of q-HAM with Laplace transform. More preciously, to elucidate the effectiveness of the projected scheme we illustrate the response of the q-HATM results, and the numerical simulation is offered to guarantee the exactness. Further, the physical behaviour has been presented associated with parameters present the method with respect fractional-order. The present study confirms that, the projected solution procedure is highly methodical and accurate to solve and study the behaviours of the system of differential equations with arbitrary order exemplifying the real word problems.     

Weak solutions for partial differential equations with source terms: Application to the shallow water equations

Weak solutions of problems with m equations with source terms are proposed using an augmented Riemann solver defined by m + 1 states instead of increasing the number of involved equations. These weak solutions use propagating jump discontinuities connecting the m + 1 states to approximate the Riemann solution. The average of the propagated waves in the computational cell leads to a reinterpretation of the Roe’s approach and in the upwind treatment of the source term of Vázquez-Cendón. It is derived that the numerical scheme can not be formulated evaluating the physical flux function at the position of the initial discontinuities, as usually done in the homogeneous case. Positivity requirements over the values of the intermediate states are the only way to control the global stability of the method. Also it is shown that the definition of well-balanced equilibrium in trivial cases is not sufficient to provide correct results: it is necessary to provide discrete evaluations of the source term that ensure energy dissipating solutions when demanded. The one and two dimensional shallow water equations with source terms due to the bottom topography and friction are presented as case study. The stability region is shown to differ from the one defined for the case without source terms, and it can be derived that the appearance of negative values of the thickness of the water layer in the proximity of the wet/dry front is a particular case, of the wet/wet fronts. The consequence is a severe reduction in the magnitude of the allowable time step size if compared with the one obtained for the homogeneous case. Starting from this result, 1D and 2D numerical schemes are developed for both quadrilateral and triangular grids, enforcing conservation and positivity over the solution, allowing computationally efficient simulations by means of a reconstruction technique for the inner states of the weak solution that allows a recovery of the time step size.     

Numerical approximation of the Vlasov–Poisson–Fokker–Planck system in two dimensions

A numerical method is developed for approximating the solution to the Vlasov–Poisson–Fokker–Planck system in two spatial dimensions. The method generalizes the approximation for the system in one dimension given in [S. Wollman, E. Ozizmir, Numerical approximation of the Vlasov–Poisson–Fokker–Planck system in one dimension, J. Comput. Phys. 202 (2005) 602–644]. The numerical procedure is based on a change of variables that puts the convection–diffusion equation into a form so that finite difference methods for parabolic type partial differential equations can be applied. The computational cycle combines a type of deterministic particle method with a periodic interpolation of the solution along particle trajectories onto a fixed grid. computational work is done to demonstrate the accuracy and effectiveness of the approximation method. Parts of the numerical procedure are adapted to run on a parallel computer.     

Positive stable preconditioners for symmetric indefinite linear systems arising from Helmholtz equations

Using the finite difference method to discretize Helmholtz equations usually leads to a large spare linear system of equations Ax=b. Since the coefficient matrix A is frequently indefinite, it is difficult to solve iteratively. The approach taken in this Letter is to precondition this linear system with positive stable preconditioners and then to solve it iteratively using Krylov subspace methods. Numerical experiments are given in order to demonstrate the efficiency of the presented preconditioners.     

A high-resolution mapped grid algorithm for compressible multiphase flow problems

We describe a simple mapped-grid approach for the efficient numerical simulation of compressible multiphase flow in general multi-dimensional geometries. The algorithm uses a curvilinear coordinate formulation of the equations that is derived for the Euler equations with the stiffened gas equation of state to ensure the correct fluid mixing when approximating the equations numerically with material interfaces. A γ-based and a α-based model have been described that is an easy extension of the Cartesian coordinates counterpart devised previously by the author [30]. A standard high-resolution mapped grid method in wave-propagation form is employed to solve the proposed multiphase models, giving the natural generalization of the previous one from single-phase to multiphase flow problems. We validate our algorithm by performing numerical tests in two and three dimensions that show second order accurate results for smooth flow problems and also free of spurious oscillations in the pressure for problems with interfaces. This includes also some tests where our quadrilateral-grid results in two dimensions are in direct comparisons with those obtained using a wave-propagation based Cartesian grid embedded boundary method.     

Splitting multisymplectic integrators for Maxwell’s equations

In the paper, we describe a novel kind of multisymplectic method for three-dimensional (3-D) Maxwell’s equations. Splitting the 3-D Maxwell’s equations into three local one-dimensional (LOD) equations, then applying a pair of symplectic Runge–Kutta methods to discretize each resulting LOD equation, it leads to splitting multisymplectic integrators. We say this kind of schemes to be LOD multisymplectic scheme (LOD-MS). The discrete conservation laws, convergence, dispersive relation, dissipation and stability are investigated for the schemes. Theoretical analysis shows that the schemes are unconditionally stable, non-dissipative, and of first order accuracy in time and second order accuracy in space. As a reduction, we also consider the application of LOD-MS to 2-D Maxwell’s equations. Numerical experiments match the theoretical results well. They illustrate that LOD-MS is not only efficient and simple in coding, but also has almost all the nature of multisymplectic integrators.     

VECTOR COUPLED-WAVE THEORY OF DIFFRACTIVE OPTICS IN THE RESONANCE DOMAIN

In this paper, based on Maxwell's equations and boundary continuity condi-tions of electromagnetic fields, we derive rigorous vector coupled-wave equations of two-dimensional diffractive patterns for an arbitrary polarization in the resonance domain, and describe the solution to these equations. We verify this theory with a practical example, and show the effectiveness of this method for the resonance-domain diffractive optics.     

A Spectral Time-Domain Method for Computational Electrodynamics

Ever since its introduction by Kane Yee over forty years ago, the finite-difference time-domain (FDTD) method has been a widely-used technique for solving the time-dependent Maxwell's equations that has also inspired many other methods. This paper presents an alternative approach to these equations in the case of spatially-varying electric permittivity and/or magnetic permeability, based on Krylov subspace spectral (KSS) methods. These methods have previously been applied to the variable-coefficient heat equation and wave equation, and have demonstrated high-order accuracy, as well as stability characteristic of implicit time-stepping schemes, even though KSS methods are explicit. KSS methods for scalar equations compute each Fourier coefficient of the solution using techniques developed by Golub and Meurant for approximating elements of functions of matrices by Gaussian quadrature in the spectral, rather than physical, domain. We show how they can be generalized to coupled systems of equations, such as Maxwell's equations, by choosing appropriate basis functions that, while induced by this coupling, still allow efficient and robust computation of the Fourier coefficients of each spatial component of the electric and magnetic fields. We also discuss the application of block KSS methods to problems involving non-self-adjoint spatial differential operators, which requires a generalization of the block Lanczos algorithm of Golub and Underwood to unsymmetric matrices.     

Sinc-collocation method for solving the Blasius equation

Sinc-collocation method is applied for solving Blasius equation which comes from boundary layer equations. It is well known that sinc procedure converges to the solution at an exponential rate. Comparison with Howarth and Asaithambi's numerical solutions reveals that the proposed method is of high accuracy and reduces the solution of Blasius' equation to the solution of a system of algebraic equations.     

Local derivative post-processing for the discontinuous Galerkin method

Obtaining accurate approximations for derivatives is important for many scientific applications in such areas as fluid mechanics and chemistry as well as in visualization applications. In this paper we discuss techniques for computing accurate approximations of high-order derivatives for discontinuous Galerkin solutions to hyperbolic equations related to these areas. In previous work, improvement in the accuracy of the numerical solution using discontinuous Galerkin methods was obtained through post-processing by convolution with a suitably defined kernel. This post-processing technique was able to improve the order of accuracy of the approximation to the solution of time-dependent symmetric linear hyperbolic partial differential equations from order k+1$k+1$ to order 2k+1$2k+1$ over a uniform mesh; this was extended to include one-sided post-processing as well as post-processing over non-uniform meshes. In this paper, we address the issue of improving the accuracy of approximations to derivatives of the solution by using the method introduced by Thomée [19]. It consists in simply taking the α$\alpha$th-derivative of the convolution of the solution with a sufficiently smooth kernel. The order of convergence of the approximation is then independent   of the order of the derivative, |α|$|\alpha |$. We also discuss an efficient way of computing the approximation which does not involve differentiation but the application of simple finite differencing. Our results show that the above-mentioned approximations to the α$\alpha$th-derivative of the exact solution of linear, multidimensional symmetric hyperbolic systems obtained by the discontinuous Galerkin method with polynomials of degree k$k$ converge with order 2k+1$2k+1$ regardless of the order |α|$|\alpha |$ of the derivative.     

Hyperbolic transverse patterns in nonlinear optical resonators

We consider a nonlinear optical system in general, and a broad aperture laser, in particular, in a resonator where the diffraction coefficients are of opposite signs along two transverse directions. The system is described by the hyperbolic Maxwell-Bloch equations, where the spatial coupling is provided by the D'Alambert operator rather than by the Laplace operator. We show that this system supports hyperbolic transverse patterns residing on hyperbolas in far-field domain, and consisting of stretched vortices in near-field domain.     

A high order kinetic flux-vector splitting method for the reduced five-equation model of compressible two-fluid flows

We present a high order kinetic flux-vector splitting (KFVS) scheme for the numerical solution of a conservative interface-capturing five-equation model of compressible two-fluid flows. This model was initially introduced by Wackers and Koren (2004) [21]. The flow equations are the bulk equations, combined with mass and energy equations for one of the two fluids. The latter equation contains a source term in order to account for the energy exchange. We numerically investigate both one- and two-dimensional flow models. The proposed numerical scheme is based on the direct splitting of macroscopic flux functions of the system of equations. In two space dimensions the scheme is derived in a usual dimensionally split manner. The second order accuracy of the scheme is achieved by using MUSCL-type initial reconstruction and Runge–Kutta time stepping method. For validation, the results of our scheme are compared with those from the high resolution central scheme of Nessyahu and Tadmor [14]. The accuracy, efficiency and simplicity of the KFVS scheme demonstrate its potential for modeling two-phase flows.     

The finite element method for the coupled Schrödinger-KdV equations

In this Letter, we employ finite element method to study a periodic initial value problem for the coupled Schrödinger-KdV equations. For the case of one dimension, this problem is reduced to a system of ordinary differential equations by using a semi-discrete scheme. The conservation properties of this scheme, the existence and uniqueness of the discrete solutions, and error estimates are presented. In numerical experiments, the resulting system of ordinary differential equations are solved by Runge-Kutta method at each time level. The superior accuracy of this scheme is shown by comparing the numerical solutions with the exact solutions.     

Rational Legendre pseudospectral approach for solving nonlinear differential equations of Lane–Emden type

Lane–Emden equation is a nonlinear singular equation in the astrophysics that corresponds to the polytropic models. In this paper, a pseudospectral technique is proposed to solve the Lane–Emden type equations on a semi-infinite domain. The method is based on rational Legendre functions and Gauss–Radau integration. The method reduces solving the nonlinear ordinary differential equation to solve a system of nonlinear algebraic equations. The comparison of the results with the other numerical methods shows the efficiency and accuracy of this method.     

电偶极子位于均匀介质球中时球外电场的研究

采用分离变量法求解了电偶极子位于均匀介质球中时复连通域的拉普拉斯方程和泊松方程,求出了球内外两种不同介质的电势分布和球面上的极化电荷分布;通过求解二阶非线性微分方程得到了球外的电场线函数;利用计算软件Math-ematica 5.0,作出了相应的相互正交的等势线簇图形和电场线簇图形,并且进行了必要的讨论.     

Dynamically orthogonal field equations for continuous stochastic dynamical systems

In this work we derive an exact, closed set of evolution equations for general continuous stochastic fields described by a Stochastic Partial Differential Equation (SPDE). By hypothesizing a decomposition of the solution field into a mean and stochastic dynamical component, we derive a system of field equations consisting of a Partial Differential Equation (PDE) for the mean field, a family of PDEs for the orthonormal basis that describe the stochastic subspace where the stochasticity ‘lives’ as well as a system of Stochastic Differential Equations that defines how the stochasticity evolves in the time varying stochastic subspace. These new evolution equations are derived directly from the original SPDE, using nothing more than a dynamically orthogonal condition on the representation of the solution. If additional restrictions are assumed on the form of the representation, we recover both the Proper Orthogonal Decomposition equations and the generalized Polynomial Chaos equations. We apply this novel methodology to two cases of two-dimensional viscous fluid flows described by the Navier–Stokes equations and we compare our results with Monte Carlo simulations.     

Electromagnetic integral equations requiring small numbers of Krylov-subspace iterations

We present a new class of integral equations for the solution of problems of scattering of electromagnetic fields by perfectly conducting bodies. Like the classical Combined Field Integral Equation (CFIE), our formulation results from a representation of the scattered field as a combination of magnetic- and electric-dipole distributions on the surface of the scatterer. In contrast with the classical equations, however, the electric-dipole operator we use contains a regularizing operator; we call the resulting equations Regularized Combined Field Integral Equations (CFIE-R). Unlike the CFIE, the CFIE-R are Fredholm equations which, we show, are uniquely solvable; our selection of coupling parameters, further, yields CFIE-R operators with excellent spectral distributions—with closely clustered eigenvalues—so that small numbers of iterations suffice to solve the corresponding equations by means of Krylov subspace iterative solvers such as GMRES. The regularizing operators are constructed on the basis of the single layer operator, and can thus be incorporated easily within any existing surface integral equation implementation for the solution of the classical CFIE. We present one such methodology: a high-order Nyström approach based on use of partitions of unity and trapezoidal-rule integration. A variety of numerical results demonstrate very significant gains in computational costs that can result from the new formulations, for a given accuracy, over those arising from previous approaches.     

A finite element variational multiscale method for incompressible flows based on two local gauss integrations

In this article, we present a finite element variational multiscale (VMS) method for incompressible flows based on two local Gauss integrations, and compare it with common VMS method which is defined by a low order finite element space L_h$L_h$ on the same grid as X_h$X_h$ for the velocity deformation tensor and a stabilization parameter α$\alpha$. The best algorithmic feature of our method is using two local Gauss integrations to replace projection operator. We theoretically discuss the relationship between our method and common VMS method for the Taylor–Hood elements, and show that the nonlinear system derived from our method by finite element discretization is much smaller than that of common VMS method computationally.