Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.20403

Generalization of Strang-Fix remark for discrete maximum principles on tetrahedral meshes

Safdar Ali·Maksat Ashyraliyev·Sergey Korotov·Sergei Silvestrov
View original source ↗Read source document ↗Export metadata ↓

Abstract

Most of qualitative properties of finite element (FE) approximations for various PDE models, in particular the validity of the discrete maximum principles (DMPs), are usually guaranteed by certain geometric properties (e.g. acuteness/nonobtuseness) of FE meshes used. In this work, we revisit the linear FE discretization of the Poisson equation and discuss, in the context of DMPs, the representation of the stiffness matrix entries in terms of the edge lengths and cotangents of the dihedral angles of the tetrahedral meshes, thus avoiding the common use of face areas and element volumes. Using this type of entry representation, certain structural properties of meshes, and simple trigonometric relations, as proposed in the two-dimensional case by Strang and Fix, we show that DMPs still hold (as the stiffness matrices remain $M$-matrices) for many tetrahedral configurations with obtuse dihedral angles. Such a relaxation of the standard acuteness/nonobtuseness conditions can be vital in practical calculations, as these angle properties are difficult to preserve in global and local mesh refinements. Several representative examples are presented.

Explore related subjects

math.NAcs.NA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Safdar Ali, Maksat Ashyraliyev, Sergey Korotov, Sergei Silvestrov. 2026-10-14. Generalization of Strang-Fix remark for discrete maximum principles on tetrahedral meshes. https://arxiv.org/abs/2610.20403

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

An unconditionally convergent discontinuous Galerkin neural network method activated by plane waves for Helmholtz equation and Maxwell's equations

In this paper we propose a discontinuous Galerkin plane wave neural network (DGPWNN) method for approximately solving Helmholtz equation and Maxwell's equations. In this method, we define an elliptic-type variational problem as in the plane wave least square method with $h-$refinement and introduce the adaptive construction of recursively augmented discontinuous Galerkin subspaces whose basis functions are realizations of element-wise neural network functions with hp-refinement, where the activation function is chosen as a complex-valued exponential function like the plane wave function. A sequence of basis functions approaching the unit residuals are recursively generated by iteratively solving quasi-maximization problems associated with the underlying residual functionals and the intersection of the closed unit ball and discontinuous plane wave neural network spaces. The convergence results of the DGPWNN method are unconditional only if nonlinear initial parameters for the quasi-maximizers are selected by suitably distributed propagation directions, and established without the assumption on the boundedness of the neural network parameters. Numerical experiments confirm the effectiveness of the proposed method.

math.NA↗
arXiv2026

On the optimization of discrepancy measures

Numerical optimizations can find point sets with lower discrepancies than prior methods based on algebra, and $L_2$ discrepancies are computationally attractive for this. The $L_2$ star discrepancy unreasonably emphasizes the origin and Matoušek pointed to a serious drawback. He showed that the $L_2$ star discrepancy of $n$ points at $(1,\dots,1)\in[0,1]^d$ is less than the root mean squared $L_2$ star discrepancy of $n$ random points until $n>(3/2)^d-1$. We introduce the \emph{average squared discrepancy} (ASD) which averages $2^d$ versions of the squared $L_2$ star discrepancy, one for each vertex of $[0,1]^d$. We show that it can be computed in $O(dn^2)$ work and that it does not suffer from Matoušek's repeated-point pathology. We inspect several $L_2$ discrepancies that do not favor the origin over other vertices. Only two of them avoid the repeated-point pathology: a symmetric discrepancy and a periodic discrepancy. The symmetric discrepancy has a twin-point pathology where point sets with only $2$ distinct points can be better than random points until $n\ge 3^d$. We also study weighted $L_2$ discrepancies introduced by Hickernell that use some product weights. Weighting lower dimensional projections reduces but does not eliminate the repeated-point pathologies. A range of numerical experiments showcase recent progress in the construction of sets with low $L_2$ discrepancies for many different measures. In our examples, optimizing the ASD also gives good results for \emph{the other} discrepancies we consider, especially in lower dimensions. This version corrects some of the threshold sample sizes n at which random points become better than n repeated points for some discrepancy measures. In particular, the periodic L_2 discrepancy has no repeated point pathology.

math.NA↗
arXiv2026

Accelerated decomposition of bistochastic kernel matrices by low rank approximation

We develop an accelerated algorithm for the approximate eigenvalue decomposition of symmetrically normalized kernel matrices, focusing on a bistochastic normalization. Our approach constructs a low rank approximation of the original kernel matrix by the pivoted partial Cholesky algorithm, and uses it to compute an approximate decomposition of its normalization without requiring the formation of the full kernel matrix. The cost of the proposed algorithm depends linearly on the size of the employed training dataset and quadratically on the rank of the low rank approximation, offering a significant cost reduction compared to the naive approach. We derive trace norm error bounds for the approximation of two classes of normalized kernel matrices. We apply the proposed algorithm to the kernel based extraction of spatiotemporal patterns from chaotic Kuramoto-Sivashinsky dynamics, using a distributed GPU implementation that can scale to large datasets.

math.NA↗