Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.17392

A Method for Exact Enforcement of Boundary Conditions on General Curved Triangular Domains: Algorithm and Application to Scientific Machine Learning

Suchuan Dong·Yuchuan Zhang
View original source ↗Read source document ↗Export metadata ↓

Abstract

We present a method for enforcing exactly Dirichlet, Neumann, and Robin conditions on general triangular domains with arbitrarily curved boundaries. The algorithmic constructions developed here complements those in a previous work for general quadrilateral domains. Our method combines (i) the exact mapping between a general curved triangular domain and the standard triangle, (ii) TFC constrained expressions, and (iii) Barnhill transfinite interpolations, to provide explicit closed-form trial ansatze that mathematically satisfy the imposed boundary conditions exactly. Corner compatibility induced by the boundary conditions is pivotal, and enforcing exactly the imposed boundary conditions hinges on the exact enforcement of the induced compatibility constraints. The corner compatibility associated with the acute vertices of the standard triangle and the coupling between gradient components when the hypotenuse corresponds to a Neumann/Robin boundary pose particular challenges. Two strategies are critical to resolving these issues, by reformulating conditional corner constraints into equivalent unconditional forms and by introducing a separate TFC-style auxiliary edge construction together with an associated linear solve on the hypotenuse. We analyze the corner compatibility constraints and present formulations for the general form of functions that exactly satisfy the imposed Dirichlet, Neumann, or Robin conditions on curved triangular domains. The proposed method has been implemented using extreme learning machine type randomized neural networks for solving PDE problems. We present ample numerical experiments with linear/nonlinear PDE problems on a variety of domains with complex boundary geometries. Numerical results show that the current method has enforced the Dirichlet, Neumann, and Robin conditions on curved domain boundaries to the machine precision.

Explore related subjects

math.NAcs.LGcs.NAphysics.comp-ph

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Suchuan Dong, Yuchuan Zhang. 2026-10-12. A Method for Exact Enforcement of Boundary Conditions on General Curved Triangular Domains: Algorithm and Application to Scientific Machine Learning. https://arxiv.org/abs/2610.17392

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↗