arXiv ScienceSearch

arXiv subjects

Thomas Apel

Publications and source records attributed to Thomas Apel.

18 recordsLinked to original sources

Numerical analysis for the Stokes problem with non-homogeneous Dirichlet boundary condition

The Stokes problem with non-homogeneous Dirichlet boundary condition is solved numerically using conforming discretizations and an approximation of the boundary datum in the corresponding trace space. Optimal discretization error estimates in various norms are derived. In the case of a homogeneous differential equation, all estimates of the velocity error are uniformly valid in the viscosity parameter for all conforming inf-sup stable discretizations. The theory accounts for the influence of corner singularities in the case of a non-convex domain. Several variants of the boundary data approximation are discussed. Moreover, the case of boundary data with very low regularity is studied, where a weak solution does not exist. The well-posedness of the very weak solution is investigated, and optimal discretization error estimates are derived. Numerical tests confirm the theory. The compatibility condition for the boundary data is not necessary for well-posedness of the weak and very weak formulations but it ensures that the solution satisfies the continuity equation in the distributional sense. In the same spirit, the compatibility condition is not necessary for the approximating boundary data; a good approximation of the original boundary data is important.

math.NA

Dirichlet control problems with energy regularization governed by non-coercive elliptic equations

The present study investigates a linear-quadratic Dirichlet control problem governed by a non-coercive elliptic equation posed on a possibly non-convex polygonal domain. Tikhonov regularization is carried out in an energy seminorm. The regularity of the solutions is established in appropriate weighted Sobolev spaces, and the finite element discretization of the problem is analyzed. In order to recover the optimal rate of convergence in polygonal non-convex domains, graded meshes are required. In addressing this particular problem, it is also necessary to introduce a discrete projection in the sense of $H^{1/2}(\Gamma)$ to deal with the non-homogeneous boundary condition. A thorough examination of the approximation properties of the discrete controls reveals that the discrete problems are strongly convex uniformly with respect to the discretization parameter. All these ingredients lead to optimal error estimates. Practical computational considerations and numerical examples are discussed at the end of the paper.

math.OC

Error Estimates and Graded Mesh Refinement for Isogeometric Analysis on Polar Domains with Corners

Isogeometric analysis (IGA) enables exact representations of computational geometries and higher-order approximation of PDEs. In non-smooth domains, however, singularities near corners limit the effectiveness of IGA, since standard methods typically fail to achieve optimal convergence rates. These constraints can be addressed through local mesh refinement, but existing approaches require breaking the tensor-product structure of splines, which leads to increased implementation complexity. This work introduces a novel local refinement strategy based on a polar parameterization, in which one edge of the parametric square is collapsed into the corner. By grading the standard mesh toward the collapsing edge, the desired locality near the singularity is obtained while maintaining the tensor-product structure. A mathematical analysis and numerical tests show that the resulting isogeometric approximation achieves optimal convergence rates with suitable grading parameters. Polar parameterizations, however, suffer from a lack of regularity at the polar point, making existing standard isogeometric approximation theory inapplicable. To address this, a new framework is developed for deriving error estimates on polar domains with corners. This involves the construction of polar function spaces on the parametric domain and a modified projection operator onto the space of $C^0$-smooth polar splines. The theoretical results are verified by numerical experiments confirming both the accuracy and efficiency of the proposed approach.

math.NA

Non-coercive Neumann boundary control problems

The article examines a linear-quadratic Neumann control problem that is governed by a non-coercive elliptic equation. Due to the non-self-adjoint nature of the linear control-to-state operator, it is necessary to independently study both the state and adjoint state equations. The article establishes the existence and uniqueness of solutions for both equations, with minimal assumptions made about the problem's data. Next, the regularity of these solutions is studied in three frameworks: Hilbert-Sobolev spaces, Sobolev-Slobodecki\u\i{} spaces, and weighted Sobolev spaces. These regularity results enable a numerical analysis of the finite element approximation of both the state and adjoint state equations. The results cover both convex and non-convex domains and quasi-uniform and graded meshes. Finally, the optimal control problem is analyzed and discretized. Existence and uniqueness of the solution, first-order optimality conditions, and error estimates for the finite element approximation of the control are obtained. Numerical experiments confirming these results are included. A significant highlight is that the discretization error estimates known from the literature, are improved even for the coercive case.

math.OC

Isogeometric analysis of the Laplace eigenvalue problem on circular sectors: Regularity properties, graded meshes & variational crimes

The Laplace eigenvalue problem on circular sectors has eigenfunctions with corner singularities. Standard methods may produce suboptimal approximation results. To address this issue, a novel numerical algorithm that enhances standard isogeometric analysis is proposed in this paper by using a single-patch graded mesh refinement scheme. Numerical tests demonstrate optimal convergence rates for both the eigenvalues and eigenfunctions. Furthermore, the results show that smooth splines possess a superior approximation constant compared to their $C^0$-continuous counterparts for the lower part of the Laplace spectrum. This is an extension of previous findings about excellent spectral approximation properties of smooth splines on rectangular domains to circular sectors. In addition, graded meshes prove to be particularly advantageous for an accurate approximation of a limited number of eigenvalues. The novel algorithm applied here has a drawback in the singularity of the isogeometric parameterization. It results in some basis functions not belonging to the solution space of the corresponding weak problem, which is considered a variational crime. However, the approach proves to be robust. Finally, a hierarchical mesh structure is presented to avoid anisotropic elements, omit redundant degrees of freedom and keep the number of basis functions contributing to the variational crime constant, independent of the mesh size. Numerical results validate the effectiveness of hierarchical mesh grading for the simulation of eigenfunctions with and without corner singularities.

math.NA

Lipolysis on Lipid Droplets: Mathematical Modelling and Numerical Discretisations

Lipolysis is a life-essential metabolic process, which supplies fatty acids stored in lipid droplets to the body in order to match the demands of building new cells and providing cellular energy. In this paper, we present a first mathematical modelling approach for lipolysis, which takes into account that the involved enzymes act on the surface of lipid droplets. We postulate an active region near the surface where the substrates are within reach of the surface-bound enzymes and formulate a system of reaction-diffusion PDEs, which connect the active region to the inner core of lipid droplets via interface conditions. We establish two numerical discretisations based on finite element method and isogeometric analysis, and validate them to perform reliably. Since numerical tests are best performed on non-zero explicit stationary state solutions, we introduce and analyse a model, which describes besides lipolysis also a reverse process (yet in a physiologically much oversimplified way). The system is not coercive such that establishing well-posedness is a non-standard task. We prove the unique existence of global and equilibrium solutions. We establish exponential convergence to the equilibrium solutions using the entropy method. We then study the stationary state model and compute explicitly for radially symmetric solutions. Concerning the finite element methods, we show numerically the linear and quadratic convergence of the errors with respect to the $H^{1}$- and $L^{2}$-norms, respectively. Finally, we present numerical simulations of a prototypical PDE model of lipolysis and illustrate that ATGL clustering on lipid droplets can significantly slow down lipolysis.

math.AP

Pressure-robust error estimate of optimal order for the Stokes equations on domains with edges

The velocity solution of the incompressible Stokes equations is not affected by changes of the right hand side data in form of gradient fields. Most mixed methods do not replicate this property in the discrete formulation due to a relaxation of the divergence constraint which means that they are not pressure-robust. A recent reconstruction approach for classical methods recovers this invariance property for the discrete solution, by mapping discretely divergence-free test functions to exactly divergence-free functions in the sense of $\boldsymbol{H}(\operatorname{div})$. Moreover, the Stokes solution has locally singular behavior in three-dimensional domains near concave edges, which degrades the convergence rates on quasi-uniform meshes and makes anisotropic mesh grading reasonable in order to regain optimal convergence characteristics. Finite element error estimates of optimal order on meshes of tensor-product type with appropriate anisotropic grading are shown for the pressure-robust modified Crouzeix--Raviart method using the reconstruction approach. Numerical examples support the theoretical results.

math.NA

A nonconforming pressure-robust finite element method for the Stokes equations on anisotropic meshes

Most classical finite element schemes for the (Navier-)Stokes equations are neither pressure-robust, nor are they inf-sup stable on general anisotropic triangulations. A lack of pressure-robustness may lead to large velocity errors, whenever the Stokes momentum balance is dominated by a strong and complicated pressure gradient. It is a consequence of a method, which does not exactly satisfy the divergence constraint. However, inf-sup stable schemes can often be made pressure-robust just by a recent, modified discretization of the exterior forcing term, using $\mathbf{H}(\operatorname{div})$-conforming velocity reconstruction operators. This approach has so far only been analyzed on shape-regular triangulations. The novelty of the present contribution is that the reconstruction approach for the Crouzeix-Raviart method, which has a stable Fortin operator on arbitrary meshes, is combined with results on the interpolation error on anisotropic elements for reconstruction operators of Raviart-Thomas and Brezzi-Douglas-Marini type, generalizing the method to a large class of anisotropic triangulations. Numerical examples confirm the theoretical results in a 2D and a 3D test case.

math.NA

Brezzi-Douglas-Marini interpolation of any order on anisotropic triangles and tetrahedra

Recently, the $\vec{H}(\operatorname{div})$-conforming finite element families for second order elliptic problems have come more into focus, since due to hybridization and subsequent advances in computational efficiency their use is no longer mainly theoretical. Their property of yielding exactly divergence-free solutions for mixed problems makes them interesting for a variety of applications, including incompressible fluids. In this area, boundary and interior layers are present, which demand the use of anisotropic elements. While for the Raviart-Thomas interpolation of any order on anisotropic tetrahedra optimal error estimates are known, this contribution extends these results to the Brezzi-Douglas-Marini finite elements. Optimal interpolation error estimates are proved under two different regularity conditions on the elements, which both relax the standard minimal angle condition. Additionally a numerical application on the Stokes equations is presented to illustrate the findings.

math.NA

Regularity of the solution of the scalar Signorini problem in polygonal domains

The Signorini problem for the Laplace operator is considered in a general polygonal domain. It is proved that the coincidence set consists of a finite number of boundary parts plus isolated points. The regularity of the solution is described. In particular, we show that the leading singularity is in general $r_i^{\pi/(2\alpha_i)}$ at transition points of Signorini to Dirichlet or Neumann conditions but $r_i^{\pi/\alpha_i}$ at kinks of the Signorini boundary, with $\alpha_i$ being the internal angle of the domain at these critical points.

math.AP

$L^{\infty}$-error estimates for Neumann boundary value problems on graded meshes

This paper deals with a priori pointwise error estimates for the finite element solution of boundary value problems with Neumann boundary conditions in polygonal domains. Due to the corners of the domain, the convergence rate of the numerical solutions can be lower than in case of smooth domains. As a remedy the use of local mesh refinement near the corners is investigated. In order to prove quasi-optimal a priori error estimates regularity results in weighted Sobolev spaces are exploited. This is the first work on the Neumann boundary value problem where both the regularity of the data is exactly specified and the sharp convergence order $h^2 \lvert \ln h \rvert $ in the case of piecewise linear finite element approximations is obtained. As an extension we show the same rate for the approximate solution of a semilinear boundary value problem. The proof relies in this case on the supercloseness between the Ritz projection to the continuous solution and the finite element solution.

math.NA

Error estimates for Dirichlet control problems in polygonal domains

The paper deals with finite element approximations of elliptic Dirichlet boundary control problems posed on two-dimensional polygonal domains. Error estimates are derived for the approximation of the control and the state variables. Special features of unconstrained and control constrained problems as well as general quasi-uniform meshes and superconvergence meshes are carefully elaborated. Compared to existing results, the convergence rates for the control variable are not only improved but also fully explain the observed orders of convergence in the literature. Moreover, for the first time, results in non-convex domains are provided.

math.NA

Adapted numerical methods for the numerical solution of the Poisson equation with $L^2$ boundary data in non-convex domains

The very weak solution of the Poisson equation with $L^2$ boundary data is defined by the method of transposition. The finite element solution with regularized boundary data converges in the $L^2(\Omega)$-norm with order $1/2$ in convex domains but has a reduced convergence order in non-convex domains although the solution remains to be contained in $H^{1/2}(\Omega)$. The reason is a singularity in the dual problem. In this paper we propose and analyze, as a remedy, both a standard finite element method with mesh grading and a dual variant of the singular complement method. The error order 1/2 is retained in both cases also with non-convex domains. Numerical experiments confirm the theoretical results.

math.NA

Discretization of the Poisson equation with non-smooth data and emphasis on non-convex domains

Several approaches are discussed how to understand the solution of the Dirichlet problem for the Poisson equation when the Dirichlet data are non-smooth such as if they are in $L^2$ only. For the method of transposition (sometimes called very weak formulation) three spaces for the test functions are considered, and a regularity result is proved. An approach of Berggren is recovered as the method of transposition with the second variant of test functions. A further concept is the regularization of the boundary data combined with the weak solution of the regularized problem. The effect of the regularization error is studied. The regularization approach is the simplest to discretize. The discretization error is estimated for a sequence of quasi-uniform meshes. Since this approach turns out to be equivalent to Berggren's discretization his error estimates are rendered more precisely. Numerical tests show that the error estimates are sharp, in particular that the order becomes arbitrarily small when the maximal interior angle of the domain tends to $2\pi$.

math.NA

A dual singular complement method for the numerical solution of the Poisson equation with $L^2$ boundary data in non-convex domains

The very weak solution of the Poisson equation with $L^2$ boundary data is defined by the method of transposition. The finite element solution with regularized boundary data converges with order $1/2$ in convex domains but has a reduced convergence order in non-convex domains. As a remedy, a dual variant of the singular complement method is proposed. The error order of the convex case is retained. Numerical experiments confirm the theoretical results.

math.NA

Anisotropic mesh refinement in polyhedral domains: error estimates with data in L^2(\Omega)

The paper is concerned with the finite element solution of the Poisson equation with homogeneous Dirichlet boundary condition in a three-dimensional domain. Anisotropic, graded meshes from a former paper are reused for dealing with the singular behaviour of the solution in the vicinity of the non-smooth parts of the boundary. The discretization error is analyzed for the piecewise linear approximation in the H^1(\Omega)- and L^2(\Omega)-norms by using a new quasi-interpolation operator. This new interpolant is introduced in order to prove the estimates for L^2(\Omega)-data in the differential equation which is not possible for the standard nodal interpolant. These new estimates allow for the extension of certain error estimates for optimal control problems with elliptic partial differential equation and for a simpler proof of the discrete compactness property for edge elements of any order on this kind of finite element meshes.

math.NA