SearcharxivSearch

arXiv subjects

Alexander Zlotnik

Publications and source records attributed to Alexander Zlotnik.

At least 19 recordsLinked to original sources

On weak solutions to the 1d compressible Navier-Stokes equations: a Lipschitz continuous dependence on data in weaker norms and an error of their homogenization

We deal with the global in time weak solutions to the 1D compressible Navier-Stokes system of equations for large discontinuous initial data and nonhomogeneous boundary conditions of three standard types. We prove the Lipschitz-type continuous dependence of the solution $(\eta,u,\theta)$, in a norm slightly stronger than $L^{2,\infty}(Q)\times L^2(Q)\times L^2(Q)$, on the initial data $(\eta^0,u^0,e^0)$ in a norm of $L^2(\Omega)\times H^{-1}(\Omega)\times H^{-1}(\Omega)$-type and also on the free terms in all the equations in some dual norms. Here $\eta$, $u$ and $\theta$ are the specific volume, velocity and absolute temperature as well as $\eta^0$, $u^0$ and $e^0$ are the initial specific volume, velocity and specific total energy, and $Q=\Omega\times (0,T)$. We also apply this result to the case of discontinuous rapidly oscillating, with the period $\varepsilon$, initial data and free terms and derive an estimate $O(\varepsilon)$ for the difference between the solutions to the Navier-Stokes equations and their Bakhvalov-Eglit two-scale homogenized version with averaged data.

math.AP

Upper and Lower Error Bounds for a Compact Fourth-Order Finite-Difference Scheme for the Wave Equation with Nonsmooth Data

The compact fourth-order finite-difference scheme for solving the 1d wave equation is studied. New error bounds of the fractional order $\mathcal{O}(h^{4(\lambda-1)/5})$ are proved in the mesh energy norm in terms of data, for two initial functions from the Sobolev and Nikolskii spaces with the smoothness order $\lambda$ and $\lambda-1$ and the free term with a dominated mixed smoothness of order $\lambda-1$, for $1\leq\lambda\leq 6$. The corresponding lower error bounds are proved as well to ensure the sharpness in order of the above error bounds with respect to each of the initial functions and the free term for any $\lambda$. Moreover, they demonstrate that the upper error bounds cannot be improved if the Lebesgue summability indices in the error norm are weakened down to 1 both in $x$ and $t$ and simultaneously the summability indices in the norms of data are strengthened up to $\infty$ both in $x$ and $t$. Numerical experiments confirming the sharpness of the mentioned orders for half-integer $\lambda$ and piecewise polynomial data have already been carried out previously.

math.NA

On properties of a semi-explicit in time fourth-order vector compact scheme for the multidimensional acoustic wave equation

We deal with an initial-boundary value problem for the multidimensional acoustic wave equation, with the variable speed of sound. For a three-level semi-explicit in time higher-order vector compact scheme, we prove stability and derive 4th order error bound in the enlarged energy norm. This scheme is three-point in each spatial direction, and it exploits additional sought functions which approximate 2nd order non-mixed spatial derivatives of the solution to the equation. At the first time level, a similar two-level in time scheme is applied, with no derivatives of the data. No iterations are required to implement the scheme. We also present results of various 3D numerical experiments that demonstrate a very high accuracy of the scheme for smooth data, its advantages in the error behavior over the classical explicit 2nd order scheme for nonsmooth data as well and an example of the wave in a layered medium initiated by the Ricker-type wavelet source function.

math.NA

On properties of an explicit in time fourth-order vector compact scheme for the multidimensional wave equation

An initial-boundary value problem for the $n$-dimensional wave equation is considered. A three-level explicit in time and conditionally stable 4th-order compact scheme constructed recently for $n=2$ and the square mesh is generalized to the case of any $n\geq 1$ and the rectangular uniform mesh. Another approach to approximate the solution at the first time level (not exploiting high-order derivatives of the initial functions) is suggested. New stability bounds in the mesh energy norms and the discrete energy conservation laws are given, and the 4th order error bound is rigorously proved. Generalizations to the cases of the non-uniform meshes in space and time as well as of the wave equation with variable coefficients are suggested.

math.NA

On Properties of Compact 4th order Finite-Difference Schemes for the Variable Coefficient Wave Equation

We consider an initial-boundary value problem for the $n$-dimensional wave equation with the variable sound speed, $n\geq 1$. We construct three-level implicit in time and compact in space (three-point in each space direction) 4th order finite-difference schemes on the uniform rectangular meshes including their one-parameter (for $n=2$) and three-parameter (for $n=3$) families. We also show that some already known methods can be converted into such schemes. In a unified manner, we prove the conditional stability of schemes in the strong and weak energy norms together with the 4th order error estimate under natural conditions on the time step. We also transform an unconditionally stable 4th order two-level scheme suggested for $n=2$ to the three-level form, extend it for any $n\geq 1$ and prove its stability. We also give an example of a compact scheme for non-uniform in space and time rectangular meshes. We suggest simple fast iterative methods based on FFT to implement the schemes. A new effective initial guess to start iterations is given too. We also present promising results of numerical experiments.

math.NA

A compact higher-order finite-difference scheme for the wave equation can be strongly non-dissipative on non-uniform meshes

We study necessary conditions for stability of a Numerov-type compact higher-order finite-difference scheme for the 1D homogeneous wave equation in the case of non-uniform spatial meshes. We first show that the uniform in time stability cannot be valid in any spatial norm provided that the complex eigenvalues appear in the associated mesh eigenvalue problem. Moreover, we prove that then the solution norm grows exponentially in time making the scheme strongly non-dissipative and therefore impractical. Numerical results confirm this conclusion. In addition, for some sequences of refining spatial meshes, an excessively strong condition between steps in time and space is necessary (even for the non-uniform in time stability) which is familiar for explicit schemes in the parabolic case.

math.NA

On compact 4th order finite-difference schemes for the wave equation

We consider compact finite-difference schemes of the 4th approximation order for an initial-boundary value problem (IBVP) for the $n$-dimensional non-homogeneous wave equation, $n\geq 1$. Their construction is accomplished by both the classical Numerov approach and alternative technique based on averaging of the equation, together with further necessary improvements of the arising scheme for $n\geq 2$. The alternative technique is applicable to other types of PDEs including parabolic and time-dependent Schr\"{o}dinger ones. The schemes are implicit and three-point in each spatial direction and time and include a scheme with a splitting operator for $n\geq 2$. For $n=1$ and the mesh on characteristics, the 4th order scheme becomes explicit and close to an exact four-point scheme. We present a conditional stability theorem covering the cases of stability in strong and weak energy norms with respect to both initial functions and free term in the equation. Its corollary ensures the 4th order error bound in the case of smooth solutions to the IBVP. The main schemes are generalized for non-uniform rectangular meshes. We also give results of numerical experiments showing the sensitive dependence of the error orders in three norms on the weak smoothness order of the initial functions and free term and essential advantages over the 2nd approximation order schemes in the non-smooth case as well.

math.NA

A "converse" stability condition is necessary for a compact higher order scheme on non-uniform meshes

The stability bounds and error estimates for a compact higher order Numerov-Crank-Nicolson scheme on non-uniform space meshes for the 1D time-dependent Schr\"odinger equation have been recently derived. This analysis has been done in $L^2$ and $H^1$ mesh norms and used the non-standard "converse" condition $h_\omega\leq c_0\tau$, where $h_\omega$ is the mean space step, $\tau$ is the time step and $c_0>0$. Now we prove that such condition is necessary for some families of non-uniform meshes and any space norm. Also numerical results show unacceptably wrong behavior of numerical solutions (their dramatic mass non-conservation) when this condition is violated.

math.NA

Finite element error analysis for measure-valued optimal control problems governed by a 1D wave equation with variable coefficients

This work is concerned with the optimal control problems governed by a 1D wave equation with variable coefficients and the control spaces $\mathcal M_T$ of either measure-valued functions $L_{w^*}^2(I,\mathcal M(\Omega))$ or vector measures $\mathcal M(\Omega,L^2(I))$. The cost functional involves the standard quadratic tracking terms and the regularization term $\alpha\|u\|_{\mathcal M_T}$ with $\alpha>0$. We construct and study three-level in time bilinear finite element discretizations for this class of problems. The main focus lies on the derivation of error estimates for the optimal state variable and the error measured in the cost functional. The analysis is mainly based on some previous results of the authors. The numerical results are included.

math.NA

On fast Fourier solvers for the tensor product high-order FEM for a generalized Poisson equation

We present direct logarithmically optimal in theory and fast in practice algorithms to implement the tensor product high order finite element method on multi-dimensional rectangular parallelepipeds for solving PDEs of the Poisson kind. They are based on the well-known Fourier approaches. The key new points are the fast direct and inverse FFT-based algorithms for expansion in eigenvectors of the 1D eigenvalue problems for the high order FEM. The algorithms can further be used for numerous applications, in particular, to implement the tensor product high order finite element methods for various time-dependent PDEs. Results of numerical experiments in 2D and 3D cases are presented.

math.NA

A direct fast FFT-based implementation for high order finite element method on rectangular parallelepipeds for PDE

We present a new direct logarithmically optimal in theory and fast in practice algorithm to implement the high order finite element method on multi-dimensional rectangular parallelepipeds for solving PDEs of the Poisson kind. The key points are the fast direct and inverse FFT-based algorithms for decomposition in eigenvectors of the 1D eigenvalue problems for the high order FEM. The algorithm can further be used for numerous applications, in particular, to implement the high order finite element methods for various time-dependent PDEs.

math.NA

On Error Estimates of the Crank-Nicolson-Polylinear Finite Element Method with the Discrete TBC for the Generalized Schr\"odinger Equation in an Unbounded Parallelepiped

We deal with an initial-boundary value problem for the generalized time-dependent Schr\"odinger equation with variable coefficients in an unbounded $n$--dimensional parallelepiped ($n\geq 1$). To solve it, the Crank-Nicolson in time and the polylinear finite element in space method with the discrete transpa\-rent boundary conditions is considered. We present its stability properties and derive new error estimates $O(\tau^2+|h|^2)$ uniformly in time in $L^2$ space norm, for $n\geq 1$, and mesh $H^1$ space norm, for $1\leq n\leq 3$ (a superconvergence result), under the Sobolev-type assumptions on the initial function. Such estimates are proved for methods with the discrete TBCs for the first time.

math.NA

Some remarks on discrete and semi-discrete transparent boundary conditions for solving the time-dependent Schr\"odinger equation on the half-axis

We consider the generalized time-dependent Schr\"odinger equation on the half-axis and a broad family of finite-difference schemes with the discrete transparent boundary conditions (TBCs) to solve it. We first rewrite the discrete TBCs in a simplified form explicit in space step $h$. Next, for a selected scheme of the family, we discover that the discrete convolution in time in the discrete TBC does not depend on $h$ and, moreover, it coincides with the corresponding convolution in the semi-discrete TBC rewritten similarly. This allows us to prove the bound for the difference between the kernels of the discrete convolutions in the discrete and semi-discrete TBCs (for the first time). Numerical experiments on replacing the discrete TBC convolutions by the semi-discrete one exhibit truly small absolute errors though not relative ones in general. The suitable discretization in space of the semi-discrete TBC for the higher-order Numerov scheme is also discussed.

math.NA

A splitting higher order scheme with discrete transparent boundary conditions for the Schr\"odinger equation in a semi-infinite parallelepiped

An initial-boundary value problem for the $n$-dimensional ($n\geq 2$) time-dependent Schr\"odinger equation in a semi-infinite (or infinite) parallelepiped is considered. Starting from the Numerov-Crank-Nicolson finite-difference scheme, we first construct higher order scheme with splitting space averages having much better spectral properties for $n\geq 3$. Next we apply the Strang-type splitting with respect to the potential and, third, construct discrete transparent boundary conditions (TBC). For the resulting method, the uniqueness of solution and the unconditional uniform in time $L^2$-stability (in particular, $L^2$-conservativeness) are proved. Owing to the splitting, an effective direct algorithm using FFT (in the coordinate directions perpendicular to the leading axis of the parallelepiped) is applicable for general potential. Numerical results on the 2D tunnel effect for a P\"{o}schl-Teller-like potential-barrier and a rectangular potential-well are also included.

math.NA

A Numerov-Crank-Nicolson-Strang scheme with discrete transparent boundary conditions for the Schr\"odinger equation on a semi-infinite strip

We consider an initial-boundary value problem for a 2D time-dependent Schr\"odinger equation on a semi-infinite strip. For the Numerov-Crank-Nicolson finite-difference scheme with discrete transparent boundary conditions, the Strang-type splitting with respect to the potential is applied. For the resulting method, the uniqueness of a solution and the uniform in time $L^2$-stability (in particular, $L^2$-conservativeness) are proved. Due to the splitting, an effective direct algorithm using FFT in the direction perpendicular to the strip is developed to implement the splitting method for general potential. Numerical results on the tunnel effect for smooth and rectangular barriers together with the practical error analysis on refining meshes are included as well.

math.NA

The splitting in potential Crank-Nicolson scheme with discrete transparent boundary conditions for the Schr\"odinger equation on a semi-infinite strip

We consider an initial-boundary value problem for a generalized 2D time-dependent Schrodinger equation (with variable coefficients) on a semi-infinite strip. For the Crank-Nicolson-type finite-difference scheme with approximate or discrete transparent boundary conditions (TBCs), the Strang-type splitting with respect to the potential is applied. For the resulting method, the unconditional uniform in time $L^2$-stability is proved. Due to the splitting, an effective direct algorithm using FFT is developed now to implement the method with the discrete TBC for general potential. Numerical results on the tunnel effect for rectangular barriers are included together with the detailed practical error analysis confirming nice properties of the method.

math.NA

On a family of finite-difference schemes with discrete transparent boundary conditions for a parabolic equation on the half-axis

An initial-boundary value problem for the 1D self-adjoint parabolic equation on the half-axis is solved. We study a broad family of two-level finite-difference schemes with two parameters related to averagings both in time and space. Stability in two norms is proved by the energy method. Also discrete transparent boundary conditions are rigorously derived for schemes by applying the method of reproducing functions. Results of numerical experiments are included as well.

math.NA

On a regularization of the magnetic gas dynamics system of equations

A brief derivation of a specific regularization for the magnetic gas dynamic system of equations is given in the case of general equations of gas state (in presence of a body force and a heat source). The entropy balance equation in two forms is also derived for the system. For a constant regularization parameter and under a standard condition on the heat source, we show that the entropy production rate is nonnegative.

math.AP