Search arXivSearch

arXiv · 2503.07612

Fuzzy Variational Calculus in Linearly Correlated Space: Part I

Abstract

This article is the first part of series of articles that aim to present the foundations for fuzzy variational calculus for functions taking values in the space of linearly correlated fuzzy numbers $\mathbb{R}_{\mathcal{F}(A)}$. Recall that the space $\mathbb{R}_{\mathcal{F}(A)}$ is composed by all sums of a real number $r$ and a fuzzy number $qA$, where $A$ is a given asymmetric fuzzy number. Two advantages of this space are that it can be equipped with a Banach space structure and, similar to additive models in Statistics, its elements can be interpreted as the sum of a deterministic expected/predictable value with an uncertain/noise component. The foundation of variational calculus theory requires the definition and establishement of many concepts and results. This aritcle presents a total order relation on $\mathbb{R}_{\mathcal{F}(A)}$ for wihch the notions of local minimal and maximal of a $\mathbb{R}_{\mathcal{F}(A)}$-valued function $f$ can be derived. We present a fuzzy version of the first and second optimality conditions in terms of derivatives of $f$. Finally, we present a generalized fuzzy version of du Bois-Reymond lemma which is essential in variational calculus theory.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Gastão S. F. Frederico, Estevão Esmi, Laécio C. Barros. 2025-02-13. Fuzzy Variational Calculus in Linearly Correlated Space: Part I. https://doi.org/10.1016/j.fss.2025.109431

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