Search arXivSearch

arXiv · 2508.04709

Solving fuzzy linear systems in Gaussian PDMF space

Abstract

We solve the fuzzy linear systems in a fuzzy number space $\mathcal{X}$, namely the Gaussian probability density membership function (Gaussian-PDMF) space. The fuzzy linear systems include two types: the semi-fuzzy linear system (SFLS) and the fully-fuzzy linear system (FFLS). First, we solve the SFLS $A \bm{\tilde{x}}= \bm{\tilde{b}}$, where $A\in \mathbb{R}^{m\times n}$ is a real-valued matrix, $\bm{\tilde{b}}$ is a fuzzy number vector, and $\bm{\tilde{x}}$ is the unknown fuzzy number vector. The elements of both $\bm{\tilde{b}}$ and $\bm{\tilde{x}}$ belong to $\mathcal{X}$. We present the Cramer's rule to calculate the solution with square matrix $A$ and find out that its solution set is a $5(n-R(A))$ dimensional affine space with $A\in \mathbb{R}^{m\times n}$ and $R(A)$ being the rank of $A$. The explicit form of the solution for RREF matrix $A$ is stated to ensure usability for modeling. Secondly, we solve the FFLS $\bm{\tilde{A}}\bm{\tilde{x}}=\bm{\tilde{b}}$, where $\bm{\tilde{A}}$ is a fuzzy matrix with all components in $\mathcal{X}$. We analyze its solution set and present the parametric form of solutions under the fuzzy RREF matrix. We then adapt Gaussian elimination method to fuzzy matrices and systems by restricting it to the unit group of ring $\mathcal{X}$, proving the equivalence of solution sets after elementary row operations. We also establish the connection between FFLS and SFLS by confining elements of $\bm{\tilde{A}}$ to a subset of $\mathcal{X}$ that forms a field. Two numerical examples are given to illustrated our method. All results in this paper are explicit since the Gaussian-PDMF space $\mathcal{X}$, to which the membership function of the fuzzy number belongs, possesses a complete algebraic structure. The proposed framework offers a systematical tool for solving the mathematical models using fuzzy linear systems with uncertainty and fuzziness.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Chuang Zheng. 2025-12-11. Solving fuzzy linear systems in Gaussian PDMF space. https://arxiv.org/abs/2508.04709

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

KEEP EXPLORING

Related papers

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. Liu proposed the conjecture \[ \sum_{\text{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \ge 2+\left(\frac{2r}{R}\right)^k,\qquad k>1, \] with the reverse inequality for $k<1$. We prove this conjecture by reducing it to an algebraic inequality for three positive variables with prescribed sum and product. We also determine the equality cases.

math.GM

A quadratic critical-value conjecture for the fifth Bessel moment

We conjecture an explicit evaluation of the pure fifth Bessel moment $\int_0^\infty K_0(t)^5\,dt$ as a quadratic expression in the critical value $L(f,2)$ of the weight-three, level-60 newform $f$ (LMFDB orbit 60.3.b.a) identified in the twisted fifth-moment modularity theorem of Lim, Tu and Yu, with coefficients in $\mathbb{Q}(\sqrt{5})$ and the square taken before the real and imaginary parts. Directed interval computations, using no stored Bessel or $L$-values, bound the absolute discrepancy by $10^{-358}$. We prove three exact modular identities for $f$: the Petersson-norm formula $\langle f,f\rangle_{60} = \frac{3(5-\sqrt{5})}{2π^4}|L(f,2)|^2$, the coefficient-conjugation relation $L(f^σ,2) = κL(f,2)$ with explicit $κ\in \mathbb{Q}(\sqrt{5},i)$, and the twisted symmetric-square evaluation $L(χ_{-4}\mathrm{Sym}^2 f,2) = \sqrt{15}\,π^2 \langle f,f\rangle_{60}$, together with $L(χ_{-4}\mathrm{Sym}^2 f,3) = π^4\langle f,f\rangle_{60}/8$, in the full Euler-factor normalization of Lim, Tu and Yu. The last identity shows that the companion norm conjecture $D_{5,\mathrm{odd}} = \frac{3\sqrt{15}(5-\sqrt{5})}{2}|L(f,2)|^2$ is equivalent to the symmetric-square conjecture $D_{5,\mathrm{odd}} = π^2 L(χ_{-4}\mathrm{Sym}^2 f,2)$ of Lim, Tu and Yu, while the exact relation $D_{5,\mathrm{even}} = π^2 D_{5,\mathrm{odd}}/(2\sqrt{15})$ follows from Chuang's period formulas. Every Bessel-to-modular equality, including the individual-period formula, remains conjectural. Complete proofs, exact rational certificates and verification programs are included as ancillary files.

math.GM