arXiv Science⌕ Search

arXiv subjects

Sergey Repin

Publications and source records attributed to Sergey Repin.

At least 19 recordsLinked to original sources
arXiv2025

Functional a posteriori estimates for the fractional Laplacian problem

The paper is concerned with a posteriori estimates for approximations of boundary value problems generated by the spectral fractional Laplace operator. The derivation is based upon the Stinga--Torrea extension, which generalizes the Caffarelli--Silvestre extension and transfers the corresponding nonlocal problem in a bounded domain to a local problem of higher dimensionality. A posteriori estimates are first derived for this local problem. Two-sided error bounds for the original problem follow from them. The estimates are fully computable and contain no conditions and constants depending on a method or mesh used to compute an approximation. They are valid for any energy admissible approximation of the extended problem.

math.AP↗
arXiv2021

A posteriori error estimates for domain decomposition methods

Nowadays, a posteriori error control methods have formed a new important part of the numerical analysis. Their purpose is to obtain computable error estimates in various norms and error indicators that show distributions of global and local errors of a particular numerical solution. In this paper, we focus on a particular class of domain decomposition methods (DDM), which are among the most efficient numerical methods for solving PDEs. We adapt functional type a posteriori error estimates and construct a special form of error majorant which allows efficient error control of approximations computed via these DDM by performing only subdomain-wise computations. The presented guaranteed error bounds use an extended set of admissible fluxes which arise naturally in DDM.

math.NA↗
arXiv2020

An abstract inf-sup problem inspired by limit analysis in perfect plasticity and related applications

This work is concerned with an abstract inf-sup problem generated by a bilinear Lagrangian and convex constraints. We study the conditions that guarantee no gap between the inf-sup and related sup-inf problems. The key assumption introduced in the paper generalizes the well-known Babuska-Brezzi condition. It is based on an inf-sup condition defined for convex cones in function spaces. We also apply a regularization method convenient for solving the inf-sup problem and derive a computable majorant of the critical (inf-sup) value, which can be used in a posteriori error analysis of numerical results. Results obtained for the abstract problem are applied to continuum mechanics. In particular, examples of limit load problems and similar ones arising in classical plasticity, gradient plasticity and delamination are introduced.

math.OC↗
arXiv2019

Functional a posteriori error estimates for boundary element methods

Functional error estimates are well-established tools for a posteriori error estimation and related adaptive mesh-refinement for the finite element method (FEM). The present work proposes a first functional error estimate for the boundary element method (BEM). One key feature is that the derived error estimates are independent of the BEM discretization and provide guaranteed lower and upper bounds for the unknown error. In particular, our analysis covers Galerkin BEM and the collocation method, what makes the approach of particular interest for scientific computations and engineering applications. Numerical experiments for the Laplace problem confirm the theoretical results.

math.NA↗
arXiv2018

The Stationary Stokes Problem in Exterior Domains: Estimates of the Distance to Solenoidal Fields and Functional A Posteriori Error Estimates

This paper is concerned with the analysis of the inf-sup condition arising in the stationary Stokes problem in exterior domains. We deduce values of the constant in the stability lemma, which yields fully computable estimates of the distance to the set of divergence free fields defined in exterior domains. Using these estimates we obtain computable majorants of the difference between the exact solution of the Stokes problem in exterior domains and any approximation from the admissible (energy) class of functions satisfying the Dirichlet boundary condition exactly.

math.NA↗
arXiv2018

Guaranteed and computable error bounds for approximations constructed by an iterative decoupling of the Biot problem

The paper is concerned with guaranteed a posteriori error estimates for a class of evolutionary problems related to poroelastic media governed by the quasi-static linear Biot equations. The system is decoupled employing the fixed-stress split scheme, which leads to a semi-discrete system solved iteratively. The error bounds are derived by combining a posteriori estimates for contractive mappings with those of the functional type for elliptic partial differential equations. The estimates are applicable for any approximation in the admissible functional space and are independent of the discretization method. They are fully computable, do not contain mesh dependent constants, and provide reliable global estimates of the error measured in the energy norm. Moreover, they suggest efficient error indicators for the distribution of local errors, which can be used in adaptive procedures.

math.NA↗
arXiv2018

Adaptive space-time isogeometric analysis for parabolic evolution problems

The paper is concerned with locally stabilized space-time IgA approximations to initial boundary value problems of the parabolic type. Originally, similar schemes (but weighted with a global mesh parameter) was presented and studied by U. Langer, M. Neumueller, and S. Moore (2016). The current work devises a localised version of this scheme and establishes coercivity, boundedness, and consistency of the corresponding bilinear form. Using these fundamental properties together with the corresponding approximation error estimates for B-splines, we show that the space-time IgA solutions generated by the new scheme satisfy asymptotically optimal a priori discretization error estimates. The adaptive mesh refinement algorithm proposed in the paper is based on a posteriori error estimates of the functional type that has been rigorously studied in earlier works by S. Repin (2002) and U. Langer, S. Matculevich, and S. Repin (2017). Numerical results presented in the second part of the paper confirm the improved convergence of global approximation errors. Moreover, these results also confirm the local efficiency of the error indicators produced by the error majorants.

math.NA↗
arXiv2018

Reliable numerical solution of a class of nonlinear elliptic problems generated by the Poisson-Boltzmann equation

We consider a class of nonlinear elliptic problems associated with models in biophysics, which are described by the Poisson-Boltzmann equation (PBE). We prove mathematical correctness of the problem, study a suitable class of approximations, and deduce guaranteed and fully computable bounds of approximation errors. The latter goal is achieved by means of the approach suggested in [S. Repin, A posteriori error estimation for variational problems with uniformly convex functionals. Math. Comp., 69:481-500, 2000] for convex variational problems. Moreover, we establish the error identity, which defines the error measure natural for the considered class of problems and show that it yields computable majorants and minorants of the global error as well as indicators of local errors that provide efficient adaptation of meshes. Theoretical results are confirmed by a collection of numerical tests that includes problems on $2D$ and $3D$ Lipschitz domains.

math.NA↗
arXiv2017

Guaranteed error control bounds for the stabilised space-time IgA approximations to parabolic problems

The paper is concerned with space-time IgA approximations of parabolic initial-boundary value problems. We deduce guaranteed and fully computable error bounds adapted to special features of IgA approximations and investigate their applicability. The derivation method is based on the analysis of respective integral identities and purely functional arguments. Therefore, the estimates do not contain mesh-dependent constants and are valid for any approximation from the admissible (energy) class. In particular, they provide computable error bounds for norms associated with stabilised space-time IgA approximations as well as imply efficient error indicators enhancing the performance of fully adaptive solvers. The last section of the paper contains a series of numerical examples where approximate solutions are recovered by IgA techniques. The mesh refinement algorithm is governed by a local error indicator generated by the error majorant. Numerical results discussed in the last section illustrate both reliability, as well as the quantitative efficiency of the error estimates presented.

math.NA↗
arXiv2017

Verifications of primal energy identities for variational problems with obstacles

We discuss error identities for two classes of free boundary problems generated by obstacles. The identities suggest true forms of the respective error measures which consist of two parts: standard energy norm and a certain nonlinear measure. The latter measure controls (in a weak sense) approximation of free boundaries. Numerical tests confirm sharpness of error identities and show that in different examples one or another part of the error measure may be dominant.

math.AP↗
arXiv2017

Error identities for variational problems with obstacles

The paper is concerned with a class of nonlinear free boundary problems, which are usually solved by variational methods based on primal (or primal-dual) variational settings. We deduce and investigate special relations (error identities). They show that a certain nonlinear measure of the distance to the exact solution (specific for each problem) is equivalent to the respective duality gap, which minimization is a keystone of all variational numerical methods. Therefore, the identity defines the measure that contains maximal quantitative information on the quality of a numerical solution available through these methods. The measure has quadratic terms generated by the linear part of the differential operator and nonlinear terms associated with free boundaries. We obtain fully computable two sided bounds of this measure and show that they provide efficient estimates of the distance between the minimizer and any function from the corresponding energy space. Several examples show that for different minimization sequence the balance between different components of the overall error measure may be different and domination of nonlinear terms may indicate that coincidence sets are approximated incorrectly.

math.AP↗
arXiv2016

A posteriori error estimates for space-time IgA approximations to parabolic initial boundary value problems

This work is concerned with a posteriori error estimates of the functional type for approximations constructed by space-time IgA scheme presented in paper by Langer, Neumueller, and Moore (2016). We consider approxima- tions in the corresponding IgA spaces based on elliptic and bounded bilinear form (associated with the spatial part). It is proved that the approximations satisfy classic a priori error estimates. Also, we deduce a posteriori error estimates for a stabilized weak formulation of the considered parabolic initial boundary value problem (I-BVP). They are derived by a general functional method and do not contain mesh dependent constants. The estimates are valid for a wide class of approximations. In particular, they imply estimates for the discrete norm of IgA approximations. Moreover, we introduce different forms of a posteriori error estimates (error majorants) and establish equivalence of majorants and energy error norm. This property justifies efficiency and reliability of a posteriori error estimates. Another important property of the estimates is their flexibility with respect to a certain amount of free parameters. Using these parameters we can obtain estimates for different error norms and minimize the respective majorant in order to find the best possible bound of the error.

math.NA↗
arXiv2015

Functional a posteriori error estimates for time-periodic parabolic optimal control problems

This paper is devoted to the a posteriori error analysis of multiharmonic finite element approximations to distributed optimal control problems with time-periodic state equations of parabolic type. We derive a posteriori estimates of functional type, which are easily computable and provide guaranteed upper bounds for the state and co-state errors as well as for the cost functional. These theoretical results are confirmed by several numerical tests that show high efficiency of the a posteriori error bounds.

math.OC↗
arXiv2015

A new incremental method of computing the limit load in deformation plasticity models

The aim of this paper is to introduce a new incremental procedure that can be used for numerical evaluation of the limit load. Existing incremental type methods are based on parametrization of the energy by the loading parameter $\zeta\in[0,\zeta_{lim})$, where $\zeta_{lim}$ is generally unknown. In the new method, the incremental procedure is operated in terms of an inverse mapping and the respective parameter $\alpha$ is changing in the interval $(0,+\infty)$. Theoretically, in each step of this algorithm, we obtain a guaranteed lower bound of $\zeta_{lim}$. Reduction of the problem to a finite element subspace associated with a mesh $\mathcal T_h$ generates computable bound $\zeta_{lim,h}$. Under certain assumptions, we prove that $\zeta_{lim,h}$ tends to $\zeta_{lim}$ as $h\rightarrow0_+$. Numerical tests confirm practical efficiency of the suggested method.

math.NA↗
arXiv2015

Sharp bounds of constants in Poincare type inequalities for polygonal domains

The paper is concerned with sharp estimates of constants in Poincare type inequalities for functions having zero mean value on the boundary of a Lipschitz domain or on a measurable part of it. These estimates are useful for various numerical methods, in particular, for a posteriori error estimation methods for partial differential equations (PDEs). Therefore, we are mainly focused on domains typical for numerical analysis (simplexes in 2d and 3d) and suggest easily computable relations that provide sharp bounds of the respective constants. Also, we investigate numerically the behavior of the constants in the classical Poincare inequalities and compare these results with known analytical estimates. In the last section, the estimates are used in order to obtain new a posteriori estimates for an elliptic boundary value problem.

math.NA↗
arXiv2014

Functional a posteriori error estimates for parabolic time-periodic boundary value problems

The paper is concerned with parabolic time-periodic boundary value problems which are of theoretical interest and arise in different practical applications. The multiharmonic finite element method is well adapted to this class of parabolic problems. We study properties of multiharmonic approximations and derive guaranteed and fully computable bounds of approximation errors. For this purpose, we use the functional a posteriori error estimation techniques earlier introduced by S. Repin. Numerical tests confirm the efficiency of the a posteriori error bounds derived.

math.NA↗
arXiv2014

Estimates of the distance to the exact solution of evolutionary reaction-diffusion problems based on local Poincare type inequalities

The goal of the paper is to derive two-sided bounds of the distance between the exact solution of the evolutionary reaction-diffusion problem with mixed Dirichlet--Robin boundary conditions and any function in the admissible energy space. The derivation is based upon transformation of the integral identity, which defines the generalized solution, and exploits classical Poincare inequalities and Poincare type inequalities for functions with zero mean boundary traces. The corresponding constants are estimated due to Payne and Weinberger, 1960, and Nazarov and Repin, 2013. To handle problems with complex domains and mixed boundary conditions, domain decomposition is used. The corresponding bounds of the distance to the exact solution, contain only constants in local Poincare type inequalities associated with subdomains. Moreover, it is proved that the bounds are equivalent to the energy norm of the error.

math.NA↗