A theory of discretization for nonlinear evolution inequalities applied to parabolic Signorini problems

We present a discretization theory for a class of nonlinear evolution inequalities that encompasses time dependent monotone operator equations and parabolic variational inequalities. This discretization theory combines a backward Euler scheme for time discretization and the Galerkin method for space discretization. We include set convergence of convex subsets in the sense of Glowinski-Mosco-Stummel to allow a nonconforming approximation of unilateral constraints. As an application we treat parabolic Signorini problems involving the p-Laplacian, where we use standard piecewise polynomial finite elements for space discretization. Without imposing any regularity assumption for the solution we establish various norm convergence results for piecewise linear as well piecewise quadratic trial functions, which in the latter case leads to a nonconforming approximation scheme. Entrata in Redazione il 16 marzo 1998, in versione riveduta il 15 febbraio 1999.     

A mathematical model for the three-dimentional ocean sound propagation

A model is developed mathematically to represent sound propagation in a three-dimensional ocean. The complete development is based on characteristics of the physical environment, mathematical theory, and computational accuracy.While the two-dimentional underwater acoustic wave propagation problem is not yet solved completely for range-dependent environments,three-dimentional environmental effects, such as fronts and eddies, often cannot be neglected. To predict underwater sound propagation, one usually deals with the solution of the Helmholtz (reduced wave) equation. This elliptical equation, along with a set of boundary conditions including a wall condition at the maximum range, forms a well-posed problem, which is pure boundary-value problem. An existing approach to economically solve this three-dimensional range-dependent problem is by means of a two-dimensional parabolic partial differential equation. This parabolic approximation approach, within the limitation of mathematical and acoustical approximations, offers efficient solutions to a class of long-range propagation problems. The parabolic wave equation is much easier to solve than the elliptic equation; one major saving is the removal of the wall boundary condition at the maximum range. The application of the two-dimensional parabolic wave equation to a number of realistic problems has been successful.We discuss the extension of the parabolic equation approach to three-dimensional problems. This paper begins with general considerations of the three-dimensional elliptic wave equation and shows how to transform this equation into parabolic equations which are easier to solve. The development of this paper focuses on wide angle three-dimensional underwater acoustic propagation and accommodates as a special case prevoius developments by other authors. In the course of our development, the physical properties, mathematical validity, and computational accuracy are the primary factors considered. We describe how parabolic wave equations are derived and how wide angle propagation is taken into consideration. Then, a discussion of the limitations and the advantages of the parabolic equation approximation is highlighted. These provide the background for the mathematical formulation of three-dimensional underwater acoustic wave propagation models.Modelling the mathematical solution to three-dimensional underwater acoustic wave propagation involves difficulties both in describing the theoretical acoustics and in performing the large scale computations. We have used the mathematical and physical properties of the problem to simplify considerably. Simplications allow us to introduce a three-dimensional mathematical model for underwater acoustic propagation predictions. Our wide angle three-dimensional parabolic equation model is theoretically justifiable and computationally accurate. This model offers a variety of capabilities to handle a class of long-range propagation problems under acoustical environments with three-dimensional variations.     

一类三维抛物型方程有限差分逼近的长时间性态

1引言 抛物型方程是一类十分重要的方程,它出现在很多数学物理问题中,对这类方程的研究已有大量工作,如[10-12]等.随着无穷维动力系统研究的深入,人们越来越关心系统的长时间性态,而追踪系统长时间性态很大程度上依赖数值计算.     

Discrete Approximations for Singularly Perturbed Boundary Value Problems with Parabolic Layers,I

In this series of three papers we study singularly perturbed (SP) boundary value problems for equations of elliptic and parabolic type. For small values of the perturbation parameter parabolic boundary and interior layers appear in these problems. If classical discretisation methods are used, the solution of the finite difference scheme and the approximation of the diffusive flux do not converge uniformly with respect to this parameter. Using the method of special, adapted grids, we can construct difference schemes that allow approximation of the solution and the normalised diffusive flux uniformly with respect to the small parameter. We also consider singularly perturbed boundary value problems for convection-diffusion equations. Also for these problems we construct special finite difference schemes, the solution of which converges $ε$-uniformly. We study what problems appear, when classical schemes are used for the approximation of the spatial derivatives. We compare the results with those obtained by the adapted approach. Results of numerical experiments are discussed. In the three papers we first give an introduction on the general problem, and then we consider respectively (i) Problems for SP parabolic equations, for which the solution and the normalised diffusive fluxes are required; (ii) Problems for SP elliptic equations with boundary conditions of Dirichlet, Neumann and Robin type; (iii) Problems for SP parabolic equation with discontinuous boundary conditions.     

AN EMBEDDED BOUNDARY METHOD FOR ELLIPTIC AND PARABOLIC PROBLEMS WITH INTERFACES AND APPLICATION TO MULTI-MATERIAL SYSTEMS WITH PHASE TRANSITIONS

The embedded boundary method for solving elliptic and parabolic problems in geometrically complex domains using Cartesian meshes by Johansen and Colella （1998, J. Comput. Phys. 147, 60） has been extended for elliptic and parabolic problems with interior boundaries or interfaces of discontinuities of material properties or solutions. Second order accuracy is achieved in space and time for both stationary and moving interface problems. The method is conservative for elliptic and parabolic problems with fixed interfaces. Based on this method, a front tracking algorithm for the Stefan problem has been developed. The accuracy of the method is measured through comparison with exact solution to a two-dimensional Stefan problem. The algorithm has been used for the study of melting and solidification problems.     

DISCRETE APPROXIMATIONS FOR SINGULARLY PERTURBED BOUNDARY VALUE PROBLEMS WITH PARABOLIC LAYERS,Ⅱ

l)ThisworkwassupportedbyNWOthroughgrantIBo7-3Go12.BOUNDAarv^LUEPRoBLEMFORELLIPTICEQUMIONwiTHMIXEDBOUNDAavCONDITION1.IntroductionInthispedwesketchavarietyofspecialmethodswhichareusedforconstructinge-unifornilyconvergelltschemes-WeshaJldemonstrateamethodwhichachieveshaprovedaccuracyforsolvingsingularlyperturbedb0undaryvalueproblemforeiliPicequatiouswithparabolicboundarylayers-InSecti0n4weshallintroduceanaturalclass,B,oftritefferenceschemes,inwhich(bytheabovementi0nedaP…     

Discrete Approximations for Singularly Perturbed Boundary Value Problems with Parabolic Layers,III

1.IntroductionThesolution0fpartialdifferentiaJequationsthataresingularlyperturbedand/orhavediscontinu0usboundaryconditionsgenerallyhave0nlylimitedsmoothness.DuetothisfaCtdndcultiesaPpearwhenwesolvethesepr0blemsbynumericalmethods.Forexampleforregularparab0licequationswithdiscontinuousboundaryconditions,classicalmethods(FDMorFEM)onregularrectangulargridsd0n0tconvergeintheIoo-normonadomainthatincludesaneighbourhood0fthediscontinulty[8,9,4].Iftheparametermultiplyingthehighest-orderderivativeva…     

Alternating direction implicit orthogonal spline collocation on some non-rectangular regions with inconsistent partitions

The alternating direction implicit (ADI) method is a highly efficient technique for solving multi-dimensional dependent initial-boundary value problems on rectangles. Earlier we have used the ADI technique in conjunction with orthogonal spline collocation (OSC) for discretization in space to solve parabolic problems on rectangles and rectangular polygons. Recently, we extended applications of ADI OSC schemes to the solution of parabolic problems on some non-rectangular regions that allow for consistent nonuniform partitions. However, for many regions, it is impossible to construct such partitions. Therefore, in this paper, we show how to extend our approach further to solve parabolic problems on some non-rectangular regions using inconsistent uniform partitions. Numerical results are presented using piecewise Hermite cubic polynomials for spatial discretizations and our ADI OSC scheme for parabolic problems to demonstrate its performance on several regions.     

Time step selection for the numerical solution of boundary value problems for parabolic equations

An algorithm is proposed for selecting a time step for the numerical solution of boundary value problems for parabolic equations. The solution is found by applying unconditionally stable implicit schemes, while the time step is selected using the solution produced by an explicit scheme. Explicit computational formulas are based on truncation error estimation at a new time level. Numerical results for a model parabolic boundary value problem are presented, which demonstrate the performance of the time step selection algorithm.     

Numerical propagator method solutions for the linear parabolic initial boundary-value problems

On the base of our numerical propagator method a new finite volume difference scheme is proposed for solution of linear initial-boundary value problems. Stability of the scheme is investigated taking into account the obtained analytical solution of the initial-boundary value problems. It is shown that stability restrictions for the propagator scheme become weaker in comparison to traditional semi-implicit difference schemes. There are some regions of coefficients, for which the elaborated propagator difference scheme becomes absolutely stable. It is proven that the scheme is unconditionally monotonic. Analytical solutions, which are consistent with solubility conditions of the problem are formulated for the case of constant coefficients of parabolic equation by using Green function approach. Solubility of the linear initial-boundary value problem with Newton boundary conditions containing lower order derivatives is discussed. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

and Norms Error Estimates in Finite Element Method for Linear Parabolic Interface Problems

We derive new a priori error estimates for linear parabolic equations with discontinuous coefficients. Due to low global regularity of the solutions the error analysis of the standard finite element method for parabolic problems is difficult to adopt for parabolic interface problems. A finite element procedure is, therefore, proposed and analyzed in this paper. We are able to show that the standard energy technique of finite element method for non-interface parabolic problems can be extended to parabolic interface problems if we allow interface triangles to be curved triangles. Optimal pointwise-in-time error estimates in the L ²(Ω) and H ¹(Ω) norms are shown to hold for the semidiscrete scheme. A fully discrete scheme based on backward Euler method is analyzed and pointwise-in-time error estimates are derived. The interfaces are assumed to be arbitrary shape but smooth for our purpose.     

Coefficient Stability of the Solution of a Difference Scheme Approximating a Mixed Problem for a Semilinear Parabolic Equation

We study the coefficient stability of a difference scheme approximating a mixed problem for a one-dimensional semilinear parabolic equation. We obtain sufficient conditions on the input data under which the solutions of the differential and difference problems are bounded. We also obtain estimates of perturbations of the solution of a linearized difference scheme with respect to perturbations of the coefficients; these estimates agree with the estimates for the differential problem.     

Finite element discretization of parabolic-elliptic interface problems

We consider mixed boundary value problems for partial differential equations which are parabolic in one part of the underlying domain and elliptic in another part. Such problems arise in eddy current simulations in electromagnetics. A fully discrete scheme for the numerical solution of such problems is presented. Particularly, adaptivity in space and time is discussed. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

The parameter uniform numerical method for singularly perturbed parabolic reaction–diffusion problems on equidistributed grids

This article presents the study of singularly perturbed parabolic reaction–diffusion problems with boundary layers. To solve these problems, we use a modified backward Euler finite difference scheme on layer adapted nonuniform meshes at each time level. The nonuniform meshes are obtained by equidistribution of a positive monitor function, which involves the second-order spatial derivative of the singular component of the solution. The equidistributing monitor function at each time level allows us to use this technique to non-linear parabolic problems. The truncation error and the stability analysis are obtained. Parameter–uniform error estimates are derived for the numerical solution. To support the theoretical results, numerical experiments are carried out.     

Monotone difference schemes stabilized by discrete mollification for strongly degenerate parabolic equations

The discrete mollification method is a convolution‐based filtering procedure suitable for the regularization of ill‐posed problems and for the stabilization of explicit schemes for the solution of PDEs. This method is applied to the discretization of the diffusive terms of a known first‐order monotone finite difference scheme [Evje and Karlsen, SIAM J Numer Anal 37 (2000) 1838–1860] for initial value problems of strongly degenerate parabolic equations in one space dimension. It is proved that the mollified scheme is monotone and converges to the unique entropy solution of the initial value problem, under a CFL stability condition which permits to use time steps that are larger than with the unmollified (basic) scheme. Several numerical experiments illustrate the performance and gains in CPU time for the mollified scheme. Applications to initial‐boundary value problems are included. © 2010 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 28: 38–62, 2012     

A high order HODIE finite difference scheme for 1D parabolic singularly perturbed reaction-diffusion problems

This paper deals with the numerical approximation of the solution of 1D parabolic singularly perturbed problems of reaction-diffusion type. The numerical method combines the standard implicit Euler method on a uniform mesh to discretize in time and a HODIE compact fourth order finite difference scheme to discretize in space, which is defined on a priori special meshes condensing the grid points in the boundary layer regions. The method is uniformly convergent having first order in time and almost fourth order in space. The analysis of the uniform convergence is made in two steps, splitting the contribution to the error from the time and the space discretization. Although this idea has been previously used to prove the uniform convergence for parabolic singularly perturbed problems, here the proof is based on a new study of the asymptotic behavior of the exact solution of the semidiscrete problems obtained after the time discretization by using the Euler method. Some numerical results are given corroborating in practice the theoretical results.     

Thermodynamically conditioned splitting schemes in combustion problems

Algorithms for solving the two-dimensional combustion problem for premixed flames are proposed and examined. The solution method is based on splitting into convective and diffusion parts according to the processes involved. A high-resolution explicit quasi-monotone scheme with flux correction is used for the hyperbolic part. For the parabolic part, the scheme is conservative and the source in the heat equation is set to be positive; i.e., the scheme ensures that the different thermodynamic consequences of the original equations hold; therefore, the scheme is thermodynamically conditioned. The applicability of the scheme to the full and purely gasdynamic problems is examined under various types of initial conditions and with various flux limiters. Numerical results are presented for one-and two-dimensional problems, including the Frank-Kamenetskii classical problem in two dimensions. The flame is shown to become turbulent in sufficiently wide pipes.     

Long Time Asymptotic Behavior of Solution of Difference Scheme for a Semilinear Parabolic Equation

In this paper we prove that the solution of implicit difference scheme for a semilinear parabolic equation converges to the solution of difference scheme for the corresponding nonlinear stationary problem as $t\rightarrow\infty$. For the discrete solution of nonlinear parabolic problem, we get its long time asymptotic behavior which is similar to that of the continuous solution. For simplicity, we consider one-dimensional problem.     

A hybrid method for pricing European options based on multiple assets with transaction costs

The problem of pricing European options based on multiple assets with transaction costs is considered. These options include, for example, quality options and options on the minimum of two or more risky assets. The value of these options is the solution of a nonlinear parabolic partial differential equation subject to a final condition given by the payoff function associated with the option. A computationally efficient method to solve this final-value problem is proposed. This method is based on an asymptotic expansion of the required solution with respect to the parameters related to the transaction costs followed by the numerical solution of the linear partial differential equations obtained at each order in perturbation theory. The numerical solution of these linear problems involves an implicit finite-difference scheme for the parabolic equation and the use of the fast Fourier sine transform to solve the resulting elliptic problems. Numerical results obtained on test problems with the method proposed here are shown and discussed.     

A parameter‐uniform scheme for the parabolic singularly perturbed problem with a delay in time

In this paper, a parameter‐uniform numerical scheme for the solution of singularly perturbed parabolic convection–diffusion problems with a delay in time defined on a rectangular domain is suggested. The presence of the small diffusion parameter ? leads to a parabolic right boundary layer. A collocation method consisting of cubic B ‐spline basis functions on an appropriate piecewise‐uniform mesh is used to discretize the system of ordinary differential equations obtained by using Rothe's method on an equidistant mesh in the temporal direction. The parameter‐uniform convergence of the method is shown by establishing the theoretical error bounds. The numerical results of the test problems validate the theoretical error bounds.