2026-09-16 | | Total: 8
This paper introduces a novel class of non-linear multiorder fractional differential operators. First, we provide intuitive and formal justifications for the existence of multiorder differential operators through differential analysis and Omega-derivative formulations. We then define the conformable multiorder derivative as a functional quotient of fractional derivatives and establish its analytical properties rigorously. Furthermore, leveraging fundamental principles of mathematical analysis, we construct its inverse operator, termed the conformable multiorder integral. Detailed step-by-step proofs of all theoretical properties are presented. Illustrative examples and applications to solving elementary multiorder differential equations are thoroughly examined. Finally, comprehensive conclusions and strategic outlooks for prospective research directions are discussed.
Let \(g_n(x)\) be the Mittag--Leffler polynomials defined by $$ \sum_{n\ge0}g_n(x)t^n=\frac12\left(\frac{1+t}{1-t}\right)^x. $$ We derive the coefficient formula $$ g_n(x)=\frac1n\sum_{j=0}^{\lfloor (n-1)/2\rfloor} (-1)^j\frac{2^{n-2j-1}}{(n-2j-1)!} [u^{2j}](u\cot u)^n\,x^{n-2j}, $$ equivalently $$ [u^{n-r}](u\cot u)^n =(-1)^{(n-r)/2}\frac{n(r-1)!}{2^{r-1}}[x^r]g_n(x). $$ The identity is suggested by comparing an umbral representation of the hyperbolic tangent integral $$ K(a,b)=\int_0^\infty \frac{\tanh^a x}{x^b}\,dx $$ with a compact cotangent-coefficient formula, but is proved independently from the generating function by formal Lagrange--Bürmann inversion. Substitution of the proved bridge back into the integral formula then yields a rigorous derivation of the umbral Mittag--Leffler representation. We also develop a Dirichlet--beta analogue for $$ I_{m,n}^β=\int_0^\infty\frac{\tanh^m x}{x^n\cosh x}\,dx. $$ Defining \(q_m(x)\) by $$ \sum_{m\ge0}q_m(x)t^m=(1-t^2)^{-1/2}\exp(2x\operatorname{artanh}t), $$ we prove $$ [u^{m-r}]\frac{u}{\sin u}(u\cot u)^m =(-1)^{(m-r)/2}\frac{r!}{2^r}[x^r]q_m(x). $$ This gives a parallel umbral representation for the beta integrals. The family \(q_m\) is a shifted \(c=-1,β=1\) specialization of the classical Meixner family, yielding a beta/Meixner counterpart to the zeta/Mittag--Leffler correspondence.
In a previous article doi.org/10.3390/geometry2030012, the author investigated a class of elementary plane geometry problems closely related to the theme of this work. Here, we prove a weaker version of a previous conjecture by demonstrating that there are infinitely many maximally circlable (MAC) numbers -- positive integers $n$ for which there exists a largest circle enclosing exactly $n$ interior lattice points. Furthermore, by extending numerical computations to $n \le 2700$, we identify two counterexamples to a conjecture in loc cit. regarding the symmetry of the largest circle enclosing a strong MAC number (a MAC number $n$ where $n+1$ is non-MAC). We also propose a potential infinite family of strong MAC numbers derived from Pythagorean triples; the existence of this family would imply the infinity of non-MAC numbers, as conjectured by Zhao. Throughout this paper, we provide extensive data characterizing both MAC and strong MAC numbers alongside their corresponding largest enclosing circles.
This paper investigates the completeness properties of the fuzzy order on the fuzzy number space $\mathbb{E}^1$ within the framework of $[0,1]$-enriched categories. \(S\)-convergence under the three fundamental continuous t-norms is characterized, and inclusion relations among the induced open ball topologies are established. It is shown that $(\mathbb{E}^1,P)$ is Cauchy complete if and only if the t-norm is not isomorphic to the Łukasiewicz t-norm, whereas $(\mathbb{E}^1,P)$ fails to be Smyth complete for every continuous t-norm. Consequently, the symmetrization $(\mathbb{E}^1,S)$ is Smyth complete if and only if the underlying continuous t-norm is not isomorphic to the Łukasiewicz t-norm.
We study the algebra of integro-differential operators with smooth coefficients and kernels on a subspace of $C^\infty[a,b]$. We find a normal form for elements of this algebra and determine its unit group. The formulation of inverses gives explicit solutions of inhomogeneous linear Volterra integro-differential equations and Volterra integral equations of first kind with smooth kernels.
Let $p\ge5$ be prime, let $R\subset\mathbb F_p$ satisfy $1\le |R|\le p-1$, and set \[ F(a,b)=\sum_{x\in R}c_xω^{ax^2+bx}, \qquad (a,b)\in\mathbb F_p^2, \qquad c_x\ne0, \] where $ω=e^{2πi/p}$. We prove a parity-sensitive uncertainty principle for complex Fourier spectra supported on the finite parabola. If $|R|=2r$, then \[ |Z(F)|\le p+2r-2, \] and the bound is sharp for every even support size $2\le |R|\le p-1$, including the endpoint $|R|=p-1$. If $|R|=2r+1$, then \[ |Z(F)|\le \min\{p+2r-2,\,r(r+1)\}. \] Thus fixed odd spectral sparsity forces a number of zeros bounded independently of $p$, whereas sufficiently large even zero sets are rigid: for even support $|R|=2r$, if $|Z(F)|>r(r+1)$, then $F$ vanishes identically on a nonvertical affine line and has at most $r(r-1)$ further zeros. The proof reduces arbitrary complex coefficients to cyclotomic data and uses a truncated $(1-ω)$-adic expansion. The first nonzero finite-field jets satisfy \[ \partial_b^2Q_j=\partial_aQ_{j-1}, \] turning the two-dimensional zero problem into a multiplicity and component-persistence problem for algebraic curves. As an application, we solve the total-support uncertainty problem for the standard complete set of $p+1$ mutually unbiased bases in $\mathbb C^p$: \[ \min_{0\neψ\in\mathbb C^p} \sum_j |\operatorname{supp}_{\mathcal B_j}(ψ)| =p^2-p+2. \] We also classify all extremizing projective states and give an exact enumeration formula.
In this paper, we investigate the qualitative properties, long-term dynamic behavior, and stability of a longitudinal mathematical model describing the progression of Type 2 Diabetes Mellitus (T2DM). We significantly extend and refine the mathematical analysis of the model recently proposed by De Gaetano et al. (Journal of Theoretical Biology, 2024). Specifically, we analyze both the autonomous system with a fixed age parameter and the non-autonomous system incorporating explicit time-dependent aging dynamics under generalized conditions, providing rigorous proofs for global existence, uniqueness, positivity, asymptotic bounds, and stability properties.
We introduce a phase-angle framework for constructing and classifying n-tuple-periodic solutions of the incompressible Navier-Stokes equations, and use it to determine, dimension by dimension, when such solutions exist and why they fail. The velocity field is a difference of two n-fold cyclic trigonometric products, made divergence-free for every phase and every n >= 3 by a telescoping identity. The problem then reduces to two explicit conditions on the n phase angles: a reduction condition, necessary and algebraic, and a pressure-integrability condition, sufficient and differential. Separating them allows a failed construction to be located rather than merely recorded. Unlike the stream-function route on which earlier tri-periodic solutions rest, the framework is not confined to three dimensions, and does not presuppose the Beltrami property. For 3 <= n <= 8 we prove that unforced solutions exist at n=3 and n=4 and nowhere else. In three dimensions the admissible phases form exactly two families, mirror images distinguished by the sign of the helicity; these families are known, and we establish that the construction admits no others, settling a completeness question left open when they were found. In four dimensions integrability reduces a one-parameter curve to a single family, so the quarter-period offset is forced, not assumed. The obstructions divide by parity: arithmetic at n=5,7, where every admissible phase vector annihilates the field; differential at n=6,8, where the field survives but its convective term is not a gradient. Every obstructed dimension nevertheless carries an exact forced solution in closed form. These are not mere self-balancing: the phases are those at which strain and rotation are in exact pointwise balance, so that no pressure is generated at all. What obstructs the unforced problem becomes, in the forced problem, an exactly prescribable input.