Xianlong Pan | arXiv Science

arXiv2026

Symmetry Inheritance and Symmetry-Reduced Finite Element Analysis for Second-Order Linear Elliptic Problems with Robin Boundary Conditions

A symmetry framework is developed for second-order linear elliptic equations subject to Robin boundary conditions on bounded domains. Orthogonal transformations of the domain are represented through left group actions on scalar, vector, and second-order tensor fields. The corresponding transformation rules for the gradient, divergence, diffusion flux, and conormal boundary term are derived in detail. Based on these relations, symmetry groups are introduced for the principal coefficient tensor, the first-order and zeroth-order coefficients, the differential operator, the Robin coefficient, and the boundary operator. The symmetry properties of the volume and boundary source terms are then incorporated into a common symmetry group for the complete boundary value problem. Under the assumption of unique solvability, it is proved that every element of this common group is also a symmetry of the solution. For reflection symmetries, homogeneous generalized Neumann conditions are obtained on artificial symmetry boundaries, leading to an exact reduction of the computational domain. A corresponding finite element formulation is presented, and numerical results are provided to verify the theoretical symmetry properties and the validity of the resulting domain-reduction strategy. Three examples illustrate radial reduction from multiple dimensions to one dimension, reflection-based domain reduction, and a variable-coefficient problem in which all coefficients and source terms are nonzero.

math.NA↗

arXiv2026

Symmetry of Solutions and Domain-Reduction Finite Element Method for Second-Order Linear Elliptic Dirichlet Boundary Value Problems on Bounded Domains

Combining classical group theory and partial differential equation theory, this paper investigates the symmetry group $\operatorname{Sym}(u)$ of the unique solution $u$ to the second-order linear elliptic boundary value problem on an $n$-dimensional bounded domain $\Omega$ $-\sum_{i,j=1}^{n} a_{ij}(x)u_{x_ix_j} + \sum_{i=1}^{n} b_i(x)u_{x_i} + c(x)u = f(x), x\in \Omega$, $u(x) = h(x), x\in \partial \Omega$, The following symmetry groups are defined and characterized respectively: the symmetry group $\operatorname{Sym}(A)$ of the second-order coefficient matrix function $A(x)=(a_{ij}(x))_{n\times n}$; the symmetry group $\operatorname{Sym}(b)$ of the first-order coefficient column vector function $b(x)=(b_{1}(x),b_{2}(x),\cdots,b_{n}(x))^{T}$; the symmetry group $\operatorname{Sym}(c)$ of the zero-order coefficient function $c(x)$; the symmetry group $\operatorname{Sym}(f)$ of the internal source function $f(x)$; and the symmetry group $\operatorname{Sym}(h)$ of the boundary source function $h(x)$. This paper rigorously proves that the common symmetry group $\operatorname{Sym}(A)\cap\operatorname{Sym}(b) \cap\operatorname{Sym}(c) \cap\operatorname{Sym}(f) \cap\operatorname{Sym}(h)$ is a subgroup of $\operatorname{Sym}(u)$. In addition, if the common symmetry group contains several mirror symmetry elements, the original second-order linear elliptic boundary value problem on the entire domain $\Omega$ can be reduced to the corresponding boundary value problem on a certain subdomain. It is strictly proven in this paper that the new boundary condition imposed on the boundary of the subdomain is the homogeneous generalized Neumann boundary condition. The linear finite element method is used to numerically solve the second-order linear elliptic boundary value problem on the subdomain, thereby achieving domain reduction and significantly reducing the computational cost.

math.NA↗