Modified Laguerre spectral and pseudospectral methods for nonlinear partial differential equations in multiple dimensions

The Laguerre spectral and pseudospectral methods are investigated for multidimensional nonlinear partial differential equations. Some results on the modified Laguerre orthogonal approximation and interpolation are established, which play important roles in the related numerical methods for unbounded domains. As an example, the modified Laguerre spectral and pseudospectral methods are proposed for two-dimensional Logistic equation. The stability and convergence of the suggested schemes are proved. Numerical results demonstrate the high accuracy of these approaches.

<i>L</i>-Stable Block Hybrid Second Derivative Algorithm for Parabolic Partial Differential Equations

An L-stable block method based on hybrid second derivative algorithm (BHSDA) is provided by a continuous second derivative method that is defined for all values of the independent variable and applied to parabolic partial differential equations (PDEs). The use of the BHSDA to solve PDEs is facilitated by the method of lines which involves making an approximation to the space derivatives, and hence reducing the problem to that of solving a time-dependent system of first order initial value ordinary differential equations. The stability properties of the method is examined and some numerical results presented.

Efficient Sparse-Grid Implementation of a Fifth-Order Multi-resolution WENO Scheme for Hyperbolic Equations

High-order accurate weighted essentially non-oscillatory(WENO)schemes are a class of broadly applied numerical methods for solving hyperbolic partial differential equations(PDEs).Due to highly nonlinear property of the WENO algorithm,large amount of computational costs are required for solving multidimensional problems.In our previous work(Lu et al.in Pure Appl Math Q 14:57–86,2018;Zhu and Zhang in J Sci Comput 87:44,2021),sparse-grid techniques were applied to the classical finite difference WENO schemes in solving multidimensional hyperbolic equations,and it was shown that significant CPU times were saved,while both accuracy and stability of the classical WENO schemes were maintained for computations on sparse grids.In this technical note,we apply the approach to recently developed finite difference multi-resolution WENO scheme specifically the fifth-order scheme,which has very interesting properties such as its simplicity in linear weights’construction over a classical WENO scheme.Numerical experiments on solving high dimensional hyperbolic equations including Vlasov based kinetic problems are performed to demonstrate that the sparse-grid computations achieve large savings of CPU times,and at the same time preserve comparable accuracy and resolution with those on corresponding regular single grids.

Lax-Oleinik-Type Formulas and Efficient Algorithms for Certain High-Dimensional Optimal Control Problems

Two of the main challenges in optimal control are solving problems with state-dependent running costs and developing efficient numerical solvers that are computationally tractable in high dimensions.In this paper,we provide analytical solutions to certain optimal control problems whose running cost depends on the state variable and with constraints on the control.We also provide Lax-Oleinik-type representation formulas for the corresponding Hamilton-Jacobi partial differential equations with state-dependent Hamiltonians.Additionally,we present an efficient,grid-free numerical solver based on our representation formulas,which is shown to scale linearly with the state dimension,and thus,to overcome the curse of dimensionality.Using existing optimization methods and the min-plus technique,we extend our numerical solvers to address more general classes of convex and nonconvex initial costs.We demonstrate the capabilities of our numerical solvers using implementations on a central processing unit(CPU)and a field-programmable gate array(FPGA).In several cases,our FPGA implementation obtains over a 10 times speedup compared to the CPU,which demonstrates the promising performance boosts FPGAs can achieve.Our numerical results show that our solvers have the potential to serve as a building block for solving broader classes of high-dimensional optimal control problems in real-time.

THE HIGH ACCURACY EXPLICIT DIFFERENCE SCHEME FOR SOLVING PARABOLIC EQUATIONS 3-DIMENSION

In this paper, an explicit three_level symmetrical differencing scheme with parameters for solving parabolic partial differential equation of three_dimension will be considered. The stability condition and local truncation error for the scheme are r<1/2 and O( Δ t 2+ Δ x 4+ Δ y 4+ Δ z 4) ,respectively.

A SINGULAR PERTURBATION PROBLEM FOR PERIODIC BOUNDARY PARTIAL DIFFERENTIAL EQUATION

In this paper, we consider a singular perturbation elliptic-parabolic partial differential equation for periodic boundary value problem, and construct a difference scheme. Using the method of decomposing the singular term from its solution and combining an asymptotic expansion of the equation, we prove that the scheme constructed by this paper converges uniformly to the solution of its original problem with O(r+h2).

OSCILLATION THEOREM TO SYSTEMS OF IMPULSIVE NEUTRAL DELAY PARABOLIC PARTIAL DIFFERENTIAL EQUATIONS

In this paper, we study the oscillation of solutions to the systems of impulsive neutral delay parabolic partial differential equations. Under two different boundary conditions, we obtain some sufficient conditions for oscillation of all solutions to the systems.

A POSTERIORI ERROR ESTIMATE FOR BOUNDARY CONTROL PROBLEMS GOVERNED BY THE PARABOLIC PARTIAL DIFFERENTIAL EQUATIONS

In this paper, we discuss the a posteriori error estimate of the finite element approximation for the boundary control problems governed by the parabolic partial differential equations. Three different a posteriori error estimators are provided for the parabolic boundary control problems with the observations of the distributed state, the boundary state and the final state. It is proven that these estimators are reliable bounds of the finite element approximation errors, which can be used as the indicators of the mesh refinement in adaptive finite element methods.

IMPROVEMENT ON STABILITY AND CONVERGENCE OF A. D. I. SCHEMES

Alternating direction implicit (A.D.I.) schemes have been proved valuable in the approximation of the solutions of parabolic partial differential equations in multi-dimensional space. Consider equations in the form partial derivative u/partial derivative t - partial derivative/partial derivative x(a(x,y,t) partial derivative u/partial derivative x) - partial derivative/partial derivative y(b(x,y,t) partial derivative u partial derivative y) = f Two A.D.I. schemes, Peaceman-Rachford scheme and Douglas scheme will be studied. In the literature, stability and convergence have been analysed with Fourier Method, which cannot be extended beyond the model problem with constant coefficients. Additionally, L-2 energy method has been introduced to analyse the case of non-constant coefficients, however, the conclusions are too weak and incomplete because of the so-called 'equivalence between L-2 norm and H-1 semi-norm'. In this paper, we try to improve these conclusions by H-1 energy estimating method. The principal results are that both of the two A.D.I. schemes are absolutely stable and converge to the exact solution with error estimations O(Delta t(2) + h(2)) in discrete H-1 norm. This implies essential improvement of existing conclusions.

A Fitted Numerov Method for Singularly Perturbed Parabolic Partial Differential Equation with a Small Negative Shift Arising in Control Theory

In this paper,a fitted Numerov method is constructed for a class of singularly perturbed one-dimensional parabolic partial differential equations with a small negative shift in the temporal variable.Similar boundary value problems are associated with a furnace used to process a metal sheet in control theory.Here,the study focuses on the effect of shift on the boundary layer behavior of the solution via finite difference approach.When the shift parameter is smaller than the perturbation parameter,the shifted term is expanded in Taylor series and an exponentially fitted tridiagonal finite difference scheme is developed.The proposed finite difference scheme is unconditionally stable.When the shift parameter is larger than the perturbation parameter,a special type of mesh is used for the temporal variable so that the shift lies on the nodal points and an exponentially fitted scheme is developed.This scheme is also unconditionally stable.The applicability of the proposed methods is demonstrated by means of two examples.

OSCILLATION OF SYSTEMS OF IMPULSIVE DELAY PARABOLIC EQUATIONS ABOUT BOUNDARY VALUE PROBLEMS

In this paper, oscillation of solutions to a class of impulsive delay parabolic partial differential equations system with higher order Laplace operator is studied. Under two different boundary value conditions, we establish some sufficient criteria with respect to the oscillations of such systems, employing first-order impulsive delay differential inequalities. The results fully reflect the influence action of impulsive and delay in oscillation.

ODE-Based Multistep Schemes for Backward Stochastic Differential Equations

In this paper,we explore a new approach to design and analyze numerical schemes for backward stochastic differential equations(BSDEs).By the nonlinear Feynman-Kac formula,we reformulate the BSDE into a pair of reference ordinary differential equations(ODEs),which can be directly discretized by many standard ODE solvers,yielding the corresponding numerical schemes for BSDEs.In particular,by applying strong stability preserving(SSP)time discretizations to the reference ODEs,we can propose new SSP multistep schemes for BSDEs.Theoretical analyses are rigorously performed to prove the consistency,stability and convergency of the proposed SSP multistep schemes.Numerical experiments are further carried out to verify our theoretical results and the capacity of the proposed SSP multistep schemes for solving complex associated problems.

EXISTENCE AND UNIQUENESS OF WEAK SOLUTIONS FOR A NONLINEAR PARABOLIC EQUATION RELATED TO IMAGE ANALYSIS

In this paper we establish the existence and uniqueness of weak solutions for the initial-boundary value problem of a nonlinear parabolic partial differential equation, which is related to the Malik-Perona model in image analysis.

Attractors for a Three-Dimensional Thermo-Mechanical Model of Shape Memory Alloys

In this note, we consider a Fremond model of shape memory alloys. Let us imagine a piece of a shape memory alloy which is fixed on one part of its boundary, and assume that forcing terms, e.g., heat sources and external stress on the remaining part of its boundary, converge to some time-independent functions, in appropriate senses, as time goes to infinity. Under the above assumption, we shall discuss the asymptotic stability for the dynamical system from the viewpoint of the global attractor. More precisely, we generalize the paper dealing with the one-dimensional case. First, we show the existence of the global attractor for the limiting autonomous dynamical system; then we characterize the asymptotic stability for the non-autonomous case by the limiting global attractor.

On the speed of convergence of Picard iterations of backward stochastic differential equations

It is a well-established fact in the scientific literature that Picard iterations of backward stochastic differential equations with globally Lipschitz continuous nonlinearities converge at least exponentially fast to the solution.In this paper we prove that this convergence is in fact at least square-root factorially fast.We show for one example that no higher convergence speed is possible in general.Moreover,if the nonlinearity is zindependent,then the convergence is even factorially fast.Thus we reveal a phase transition in the speed of convergence of Picard iterations of backward stochastic differential equations.

具连续分布滞量的非线性中立型抛物偏泛函微分方程的振动性

考虑一类具连续分布滞量的非线性中立型抛物偏泛函微分方程解的振动性,借助Green定理和时滞微分不等式获得了这类方程在Robin,Dirichlet边值条件下所有解振动的若干充分条件.

脉冲向量中立型抛物方程解的H-振动性

研究一类脉冲向量中立型抛物偏微分方程边值问题解的振动性,利用Domslak引进的H-振动的概念及内积降维的方法,将多维振动问题化为一维脉冲中立型微分不等式正解的不存在性问题,并借助于一阶脉冲中立型微分不等式,给出了该类边值问题所有解H-振动的若干充分性判据,这里H是R^M中的单位向量.

具连续偏差变元的向量抛物型方程的H-振动性

考虑一类具连续偏差变元的向量抛物型偏微分方程的振动性,利用Domslak引进的H-振动的概念及内积降维的方法,将多维振动问题化为一维泛函微分不等式不存在最终正解的问题,给出了该类方程在Robin边值条件下所有解H-振动的若干充分条件,这里H是RM中的单位向量.

具拟线性扩散系数的脉冲中立型抛物系统的(强)振动性

研究一类具拟线性扩散系数的脉冲中立型抛物偏微分系统解的(强)振动性,直接利用振动的定义、Green公式和Neumann边值条件将这类脉冲中立型抛物系统的振动问题转化为脉冲中立型微分不等式不存在最终正解的问题,并利用最终正解的定义和脉冲中立型微分不等式,获得了该类系统(强)振动的充分判据.所得结果充分反映了脉冲和时滞在振动中的作用。

非线性脉冲中立型时滞抛物偏微分方程的振动性

研究一类非线性脉冲中立型时滞抛物偏微分方程解的振动性,借助一阶脉冲中立型微分不等式,获得了该类方程在两类不同边值条件下振动的若干新的充分性判据.所得结果改进了已有的结果,且充分反映了脉冲和时滞在振动中的影响作用.