VARIATIONAL DISCRETIZATION FOR OPTIMAL CONTROL GOVERNED BY CONVECTION DOMINATED DIFFUSION EQUATIONS

In this paper, we study variational discretization for the constrained optimal control problem governed by convection dominated diffusion equations, where the state equation is approximated by the edge stabilization Galerkin method. A priori error estimates are derived for the state, the adjoint state and the control. Moreover, residual type a posteriori error estimates in the L^2-norm are obtained. Finally, two numerical experiments are presented to illustrate the theoretical results.     

THE OPTIMAL CONVERGENCE ORDER OF THE DISCONTINUOUS FINITE ELEMENT METHODS FOR FIRST ORDER HYPERBOLIC SYSTEMS

In this paper, a discontinuous finite element method for the positive and symmetric, first-order hyperbolic systems （steady and nonsteady state） is constructed and analyzed by using linear triangle elements, and the O（h^2）-order optimal error estimates are derived under the assumption of strongly regular triangulation and the Ha-regularity for the exact solutions. The convergence analysis is based on some superclose estimates of the interpolation approximation. Finally, we discuss the Maxwell equations in a two-dimensional domain, and numerical experiments are given to validate the theoretical results.     

EQUIVALENCE OF SEMI-LAGRANGIAN AND LAGRANGE-GALERKIN SCHEMES UNDER CONSTANT ADVECTION SPEED

We compare in this paper two major implementations of large time-step schemes for advection equations, i.e., Semi-Lagrangian and Lagrange-Galerkin techniques. We show that SL schemes are equivalent to exact LG schemes via a suitable definition of the basis functions. In this paper, this equivalence will be proved assuming some simplifying hypoteses, mainly constant advection speed, uniform space grid, symmetry and translation invariance of the cardinal basis functions for interpolation. As a byproduct of this equivalence, we obtain a simpler proof of stability for SL schemes in the constant-coefficient case.     

A STOPPING CRITERION FOR HIGHER-ORDER SWEEPING SCHEMES FOR STATIC HAMILTON-JACOBI EQUATIONS

We propose an effective stopping criterion for higher-order fast sweeping schemes for static Hamilton-Jacobi equations based on ratios of three consecutive iterations. To design the new stopping criterion we analyze the convergence of the first-order Lax-Friedrichs sweeping scheme by using the theory of nonlinear iteration. In addition, we propose a fifth-order Weighted PowerENO sweeping scheme for static Hamilton-Jacobi equations with convex Hamiltonians and present numerical examples that validate the effectiveness of the new stopping criterion.     

FINITE ELEMENT AND DISCONTINUOUS GALERKIN METHOD FOR STOCHASTIC HELMHOLTZ EQUATION IN TWO- AND THREE-DIMENSIONS

In this paper, we consider the finite element method and discontinuous Galerkin method for the stochastic Helmholtz equation in R^d （d = 2, 3）. Convergence analysis and error estimates are presented for the numerical solutions. The effects of the noises on the accuracy of the approximations are illustrated. Numerical experiments are carried out to verify our theoretical results.     

MIXED INTERIOR PENALTY DISCONTINUOUS GALERKIN METHODS FOR ONE-DIMENSIONAL FULLY NONLINEAR SECOND ORDER ELLIPTIC AND PARABOLIC EQUATIONS

This paper is concerned with developing accurate and efficient numerical methods for one-dimensional fully nonlinear second order elliptic and parabolic partial differential equations （PDEs）. In the paper we present a general framework for constructing high order interior penalty discontinuous Galerkin （IP-DG） methods for approximating viscosity solutions of these fully nonlinear PDEs. In order to capture discontinuities of the second order derivative uxx of the solution u, three independent functions p1,p2 and p3 are introduced to represent numerical derivatives using various one-sided limits. The proposed DG frame- work, which is based on a nonstandard mixed formulation of the underlying PDE, embeds a nonlinear problem into a mostly linear system of equations where the nonlinearity has been modified to include multiple values of the second order derivative uxz. The proposed framework extends a companion finite difference framework developed by the authors in [9] and allows for the approximation of fully nonlinear PDEs using high order polynomials and non-uniform meshes. In addition to the nonstandard mixed formulation setting, another main idea is to replace the fully nonlinear differential operator by a numerical operator which is consistent with the differential operator and satisfies certain monotonicity （called g-monotonicity） properties. To ensure such a g-monotonicity, the crux of the construction is to introduce the numerical moment, which plays a critical role in the proposed DG frame- work. The g-monotonicity gives the DG methods the ability to select the mathematically ＂correct＂ solution （i.e., the viscosity solution） among all possible solutions. Moreover, the g-monotonicity allows for the possible development of more efficient nonlinear solvers as the special nonlinearity of the algebraic systems can be explored to decouple the equations. This paper also presents and analyzes numerical results for several numerical test problems which are used to guage the accuracy and efficiency of the proposed DG methods.     

A POSTERIORI ERROR ESTIMATES FOR LOCAL CO DISCONTINUOUS GALERKIN METHODS FOR KIRCHHOFF PLATE BENDING PROBLEMS

We derive some residual-type a posteriori error estimates for the local CO discontinuous Galerkin （LCDG） approximations （[31]） of the Kirchhoff bending plate clamped on the boundary. The estimator is both reliable and efficient with respect to the moment-field approximation error in an energy norm. Some numerical experiments are reported to demonstrate theoretical results.     

RICHARDSON EXTRAPOLATION AND DEFECT CORRECTION OF FINITE ELEMENT METHODS FOR OPTIMAL CONTROL PROBLEMS

Asymptotic error expansions in H^1-norm for the bilinear finite element approximation to a class of optimal control problems are derived for rectangular meshes. With the rectan- gular meshes, the Richardson extrapolation of two different schemes and an interpolation defect correction can be applied. The higher order numerical approximations are used to generate a posteriori error estimators for the finite element approximation.     

A PRIORI ERROR ESTIMATE AND SUPERCONVERGENCE ANALYSIS FOR AN OPTIMAL CONTROL PROBLEM OF BILINEAR TYPE

In this paper, we investigate a priori error estimates and superconvergence properties for a model optimal control problem of bilinear type, which includes some parameter estimation application. The state and co-state are discretized by piecewise linear functions and control is approximated by piecewise constant functions. We derive a priori error estimates and superconvergence analysis for both the control and the state approximations. We also give the optimal L^2-norm error estimates and the almost optimal L^∞-norm estimates about the state and co-state. The results can be readily used for constructing a posteriori error estimators in adaptive finite element approximation of such optimal control problems.     

SUPERCONVERGENCE ANALYSIS OF FINITE ELEMENT METHODS FOR OPTIMAL CONTROL PROBLEMS OF THE STATIONARY BENARD TYPE

In this paper, we consider the finite element approximation of the distributed optimal control problems of the stationary Benard type under the pointwise control constraint. The states and the co-states are approximated by polynomial functions of lowest-order mixed finite element space or piecewise linear functions and the control is approximated by piecewise constant functions. We give the superconvergence analysis for the control; it is proved that the approximation has a second-order rate of convergence. We further give the superconvergence analysis for the states and the co-states. Then we derive error estimates in L^∞-norm and optimal error estimates in L^2-norm.     

A COMPACT UPWIND SECOND ORDER SCHEME FOR THE EIKONAL EQUATION

We present a compact upwind second order scheme for computing the viscosity solution of the Eikonal equation. This new scheme is based on： 1. the numerical observation that classical first order monotone upwind schemes for the Eikonal equation yield numerical upwind gradient which is also first order accurate up to singularities; 2. a remark that partial information on the second derivatives of the solution is known and given in the structure of the Eikonal equation and can be used to reduce the size of the stencil. We implement the second order scheme as a correction to the well known sweeping method but it should be applicable to any first order monotone upwind scheme. Care is needed to choose the appropriate stencils to avoid instabilities.     

REFLECTION/TRANSMISSION CHARACTERISTICS OF A DISCONTINUOUS GALERKIN METHOD FOR MAXWELL＇S EQUATIONS IN DISPERSIVE INHOMOGENEOUS MEDIA

In this paper, we analyze the transmission and reflection properties of a high order discontinuous Galerkin method for dispersive Maxwell＇s equations, originally proposed by Lu et al. [J. Comput. Phys. 200 （2004）, pp. 549-580]. We study the reflection and transmission properties of the numerical method for up to second-order polynomial elements for one- and two-dimensional Maxwell＇s equations with rectangular meshes. High order accuracy has been shown for reflection and transmission coefficients near material interfaces.     

A POSTERIORI ENERGY-NORM ERROR ESTIMATES FOR ADVECTION-DIFFUSION EQUATIONS APPROXIMATED BY WEIGHTED INTERIOR PENALTY METHODS

We propose and analyze a posteriori energy-norm error estimates for weighted interior penalty discontinuous Galerkin approximations of advection-diffusion-reaction equations with heterogeneous and anisotropic diffusion. The weights, which play a key role in the analysis, depend on the diffusion tensor and are used to formulate the consistency terms in the discontinuous Galerkin method. The error upper bounds, in which all the constants are specified, consist of three terms： a residual estimator which depends only on the elementwise fluctuation of the discrete solution residual, a diffusive flux estimator where the weights used in the method enter explicitly, and a non-conforming estimator which is nonzero because of the use of discontinuous finite element spaces. The three estimators can be bounded locally by the approximation error. A particular attention is given to the dependency on problem parameters of the constants in the local lower error bounds. For moderate advection, it is shown that full robustness with respect to diffusion heterogeneities is achieved owing to the specific design of the weights in the discontinuous Galerkin method, while diffusion anisotropies remain purely local and impact the constants through the square root of the condition number of the diffusion tensor. For dominant advection, it is shown, in the spirit of previous work by Verfiirth on continuous finite elements, that the local lower error bounds can be written with constants involving a cut-off for the ratio of local mesh size to the reciprocal of the square root of the lowest local eignevalue of the diffusion tensor.     

A NEW APPROACH TO RECOVERY OF DISCONTINUOUS GALERKIN

A new recovery operator P ：Qn^disc（T）→Qn＋1^disc（M） for discontinuous Galerkin is derived. It is based on the idea of projecting a discontinuous, piecewise polynomial solution on a given mesh T into a higher order polynomial space on a macro mesh M. In order to do so, we define local degrees of freedom using polynomial moments and provide global degrees of freedom on the macro mesh. We prove consistency with respect to the local L2-projection, stability results in several norms and optimal anisotropic error estimates. As an example, we apply this new recovery technique to a stabilized solution of a singularly perturbed convection-diffusion problem using bilinear elements.     

DISSIPATIVE NUMERICAL METHODS FOR THE HUNTER-SAXTON EQUATION

In this paper, we present further development of the local discontinuous Galerkin （LDG） method designed in [21] and a new dissipative discontinuous Galerkin （DG） method for the HuntermSaxton equation. The numerical fluxes for the LDG and DG methods in this paper are based on the upwinding principle. The resulting schemes provide additional energy dissipation and better control of numerical oscillations near derivative singularities. Stability and convergence of the schemes are proved theoretically, and numerical simulation results are provided to compare with the scheme in [21].     

A NEW DIRECT DISCONTINUOUS GALERKIN METHOD WITH SYMMETRIC STRUCTURE FOR NONLINEAR DIFFUSION EQUATIONS

In this paper we continue the study of discontinuous Galerkin finite element methods for nonlinear diffusion equations following the direct discontinuous Galerkin （DDG） meth- ods for diffusion problems [17] and the direct discontinuous Galerkin （DDG） methods for diffusion with interface corrections [18]. We introduce a numerical flux for the test func- tion, and obtain a new direct discontinuous Galerkin method with symmetric structure. Second order derivative jump terms are included in the numerical flux formula and explicit guidelines for choosing the numerical flux are given. The constructed scheme has a sym- metric property and an optimal L2 （L2） error estimate is obtained. Numerical examples are carried out to demonstrate the optimal （k ＋ 1）th order of accuracy for the method with pk polynomial approximations for both linear and nonlinear problems, under one-dimensional and two-dimensional settings.     

A NUMERICAL STUDY FOR THE PERFORMANCE OF THE WENO SCHEMES BASED ON DIFFERENT NUMERICAL FLUXES FOR THE SHALLOW WATER EQUATIONS

In this paper we investigate the performance of the weighted essential non-oscillatory （WENO） methods based on different numerical fluxes, with the objective of obtaining better performance for the shallow water equations by choosing suitable numerical fluxes. We consider six numerical fluxes, i.e., Lax-Friedrichs, local Lax-Friedrichs, Engquist-Osher, Harten-Lax-van Leer, HLLC and the first-order centered fluxes, with the WENO finite volume method and TVD Runge-Kutta time discretization for the shallow water equations. The detailed numerical study is performed for both one-dimensional and two-dimensional shallow water equations by addressing the property, and resolution of discontinuities. issues of CPU cost, accuracy, non-oscillatory     

STRONG STABILITY PRESERVING PROPERTY OF THE DEFERRED CORRECTION TIME DISCRETIZATION

In this paper, we study the strong stability preserving （SSP） property of a class of deferred correction time discretization methods, for solving the method-of-lines schemes approximating hyperbolic partial differential equations.     

A NOTE ON PRESSURE APPROXIMATION OF FIRST AND HIGHER ORDER PROJECTION SCHEMES FOR THE NONSTATIONARY INCOMPRESSIBLE NAVIER-STOKES EQUATIONS

Projection methods are efficient operator-splitting schemes to approximate solutions of the incompressible Navier-Stokes equations. As a major drawback, they introduce spurious layers, both in space and time. In this work, we survey convergence results for higher order projection methods, in the presence of only strong solutions of the limiting problem; in particular, we highlight concomitant difficulties in the construction process of accurate higher order schemes, such as limited regularities of the limiting solution, and a lack of accurate initial data for the pressure. Computational experiments are included to compare the presented schemes, and illustrate the difficulties mentioned.