Search for Articles:

Open Journal of Mathematical Sciences (OMS)

The Open Journal of Mathematical Sciences (OMS) ISSN: 2523-0212 (Online) | 2616-4906 (Print) is partially supported by the National Mathematical Society of Pakistan, is a single-blind peer-reviewed and open-access journal dedicated to publishing original research articles, review papers, and survey articles in all areas of mathematics.

  • Diamond Open Access: OMS follows the Diamond Open Access model—completely free for both authors and readers, with no article processing charges (APCs).
  • Rapid Publication: Accepted papers are published online as soon as they are ready, ensuring timely dissemination of research findings.
  • Scope: The journal welcomes high-quality contributions across all branches of mathematics, offering a broad platform for scholarly exchange.
  • Publication Frequency: While articles are available online throughout the year, OMS publishes one annual print volume in December for readers who prefer physical copies
  • Indexing: Scopus, ROAD, J-Gate Portal, AcademicKeys, Crossref (DOI prefix: 10.30538), Scilit, Directory of Research Journals Indexing.
  • Publisher: Ptolemy Scientific Research Press (PSR Press), part of the Ptolemy Institute of Scientific Research and Technology.

Latest Published Articles

Oleg Barabash1, Andriy Makarchuk1, Oleh Kopiika2, Oleh Vorobiov3, Serhii Bazilo3, Yaroslav Yaroshenko3
1National Technical University of Ukraine “Igor Sikorsky Kyiv Polytechnic Institute”, Beresteyskyi Avenue, 37, Kyiv, 03056, Ukraine
2Institute of applied control systems of the National Academy of Sciences of Ukraine, Academician Hlushkov Avenue, 42, Kyiv, 03187, Ukraine
3The National Defence University of Ukraine, Air Force Avenue, 28, Kyiv, 03049, Ukraine
Abstract:

Summability methods for trigonometric Fourier series play a fundamental role in approximation theory and signal processing. Among them, Fejér means provide a classical regularization tool ensuring uniform convergence for continuous functions. In this paper, we investigate an operator constructed as the arithmetic mean of the first $n$ Fejér means. This approach leads to an additional averaging procedure and naturally strengthens the smoothing effect compared to a single Fejér mean of the same order. The operator is studied both in the time and frequency domains. In the time domain, it is represented as a convolution operator with a positive summability kernel. Its normalization and structural properties are established, including preservation of constants and removability of the singularity at the origin. In the frequency domain, the operator is described via its Fourier multipliers, obtained as averages of the corresponding Fejér multipliers. Their monotonic decay with respect to the harmonic index is analyzed, which provides insight into the enhanced attenuation of high-frequency components. A discrete (interpolation-type) analogue defined on a uniform grid is also introduced and interpreted as a quadrature approximation of the continuous convolution representation. Explicit representations of the operator and its kernel are derived. The smoothing character of the method is justified theoretically and confirmed numerically for periodic signals with additive noise. The experiments demonstrate improved suppression of high harmonics compared to classical Fejér summation of the same order. The proposed operator can be regarded as a strengthened low-pass Fourier multiplier method and may be effectively applied to smoothing and filtering of one-dimensional periodic signals.

Haris Alam Zuberi1, Roslinda Nazar2, Nurul Amira Zainal3
1School of Computational Sciences, Faculty of Science and Technology, JSPM University, Pune, 412207, Maharashtra, India
2Fakulti Sains dan Teknologi, Universiti Kebangsaan Malaysia, 43600 UKM Bangi, Selangor, Malaysia
3Fakulti Teknologi dan Kejuruteraan Mekanikal, Universiti Teknikal Malaysia Melaka, 76100 Durian Tunggal, Melaka, Malaysia
Abstract:

The increasing relevance of nanofluids in biomedical heat and mass transfer applications has driven the need for more biologically realistic models that can accurately represent the micro-scale dynamics of blood flow. Motivated by this need, this research introduces a novel bio-convective formulation by coupling the effects of nanoparticle-enhanced conductivity with microorganism-induced convection, providing a comprehensive theoretical framework for bioconvective transport of non-Newtonian bio-nanofluids over a nonlinear stretching surface. The model is intended as an idealized representation of shear-driven transport mechanisms relevant to microfluidic and bio-inspired thermal systems. The governing boundary-layer equations for momentum, energy, and microorganism concentration are transformed via similarity variables and solved numerically using the Runge–Kutta–Fehlberg (RKF45) method with the shooting technique. The results reveal that the inclusion of motile microorganisms significantly modifies the flow structure, reducing their accumulation near the surface with increasing nanoparticle concentration, radiation, and magnetic effects. Comparisons between gold and silver-based nanofluids reveal that gold-based suspensions maintain higher thermal energy levels, accompanied by increased viscous resistance and diminished microorganism transport. Parametric analyses indicate that higher nanoparticle concentrations and magnetic field strength lead to reduced velocity and microorganism density, while enhancing the fluid’s temperature due to augmented viscous and Joule heating. Furthermore, increasing the nonlinear stretching parameter and Prandtl number improves convective cooling but restricts microorganism transport. While biomedical applications are discussed for motivation, the present configuration does not represent a patient-specific arterial geometry.

Teffera M. Asfaw1
1Department of Mathematics, Wollo University, Dessie, P.o.Box 1145, Ethiopia
Abstract:

In this paper, we shall prove an existence of solution for the constrained evolution variational inequality problem of finding \(\xi\in \mathcal{K}\subseteq Y= L^{p}(0, T; W_{0}^{1,p}(\Omega))\) (where \(\mathcal{K}\) is a nonempty, closed, convex and symmetric subset of \(Y\)) with \(p\geq 2\), \(T>0\), \(\xi^{\prime}\in Y^*\) and \(\xi(0)=\xi(T)\), such that \[\langle \mathcal{A}\xi-\Delta_{p}\xi, v-\xi\rangle + \langle Q\xi, v-\xi\rangle +\Phi(v)-\Phi(\xi) \geq \langle f^*, v-\xi\rangle,\tag{*}\] for all \(v\in \mathcal{K}\), where \(f^*\in Y^*\), \[\begin{align}\langle Q\xi, w\rangle =&\sum\limits_{i=1}^{N}{\int_{\Gamma}{q_{i}(x, t, \xi(x,t), \nabla \xi(x,t))\frac{\partial w(x,t)}{\partial x_i}dxdt}}\\&+\int_{\Gamma}{q_{0}(x,t, \xi(x,t), \nabla \xi(x,t)) w(x,t)dxdt},~w\in Y,~\xi\in Y,\end{align}\tag{**}\] \(\Gamma =[0, T]\times\Omega\), \(\Omega\) is a nonempty, bounded and open subset of \(\mathbf{R}^{N}\) with \(N\in Z_{+}\), \(\Delta_{p}\) is the \(p\)-Laplacian operator, \(q_i: \overline{\Omega}\times [0, T]\times \mathbf{R}\times \mathbf{R}^{N}\to \mathbf{R}\) satisfies mild conditions, \(\mathcal{A}\xi =\xi^{\prime}\) (where \(\xi^{\prime}\) is the derivative of \(\xi\) in the sense of distributions) and \(\Phi: Y\supseteq D(\Phi)\to \mathbf{R}\cup\{\infty\}\) is a proper, convex and lower-semi-continuous function. In order to address problems like (\(\ast\)), we shall establish new maximal monotonicity results for the sum of two maximal monotone operators \(\mathcal{N}\) and \(\mathcal{M}\) defined from reflexive Banach space into its dual, provided that \(\text{int}(D(\psi_{\mathcal{M}})- D(\psi_{\mathcal{N}}))\neq\emptyset\), where \(\psi_{N}\) and \(\psi_{M}\) are corresponding convex functions introduced by Simons. The question of maximal monotonicity of two maximal monotone operators is one of the outstanding problems in monotone operator theory. The significant contribution of Rockafellar gave a foundation in the study of nonlinear problems. In this paper, we give new maximality results, which present generalizations of the existing criteria, and provide a positive solution for Simons problem . With the help of these results, existence of solution for (\(\ast\)) is proved possibly allowing \(D(\mathcal{A}) \cap \text{int}{\mathcal{K}}=\emptyset\).

Zafar Duman Abbasov1, Youssri Hassan Youssri2,3
1Department of Mathematical Analysis, Ganja State University, Ganja AZ2000, Azerbaijan
2Department of Mathematics, Faculty of Science, Cairo University, Giza 12613, Egypt
3Faculty of Engineering, Egypt University of Informatics, Knowledge City, New Administrative Capital 19519, Egypt
Abstract:

This paper investigates the coupled thermoelastic interactions within an \(n\)-dimensional rectangular parallelepiped domain under time-dependent boundary conditions, formulating a hyperbolic system based on the Cattaneo-Vernotte principle to account for finite-speed thermal wave propagation. The mixed boundary value problem, incorporating non-homogeneous Dirichlet conditions and Cauchy initial data for displacement and temperature fields, is solved analytically via the Generalized Fourier Principle, yielding a unified solution expressed as an \(n\)-dimensional eigenfunction expansion. To validate the analytical findings and address complex configurations, a Fibonacci Collocation Spectral Method (FCSM) evaluated at Chebyshev–Gauss–Lobatto nodes is developed. Rigorous error analysis in \(L^2\) and \(L^\infty\) norms confirms spectral convergence under appropriate regularity assumptions. Numerical experiments in one, two, and three dimensions demonstrate exponential error decay from \(\mathcal{O}(10^{-3})\) to \(\mathcal{O}(10^{-14})\) with moderate polynomial degrees, establishing a robust theoretical and computational framework for analyzing wave-like thermoelastic behavior in high-precision engineering and advanced materials applications.

Vladimir Pletser1
1European Space Agency (ret.)
Abstract:

We study the Diophantine problem of determining for which positive integers \(M\) the sum of \(M\) consecutive squares beginning at \(a^{2}\) can itself be a square, namely \[\sum\limits_{i=0}^{M-1}(a+i)^{2}=s^{2}.\] Using the necessary conditions established by Beeckmans, we derive sharper congruence restrictions on the parameter \(M\). In particular, we prove that no solution exists when \(M\equiv5,6,7,8\) or \(10\left(\text{mod}\,12\right)\). For the remaining congruence classes \(M\equiv0,1,2,4,9\) or \(11\left(\text{mod}\,12\right)\), we obtain refined necessary conditions, namely \(M\equiv0\) or \(24\left(\text{mod}\,72\right)\); \(M\equiv1,2\) or \(16\left(\text{mod}\,24\right)\); \(M\equiv9\) or \(33\left(\text{mod}\,72\right)\); or \(M\equiv11\left(\text{mod}\,12\right)\), together with the corresponding congruence restrictions on \(a\) and \(s\). These classes should be interpreted only as necessary compatibility conditions; they do not, on their own, establish the existence of solutions. The remaining residue class \(M\equiv3\left(\text{mod}\,12\right)\) is examined separately by means of a recursive residue-class sieve that yields computational evidence against solvability, although no complete symbolic exclusion is claimed. Finally, when \(M\) is itself a square and a solution exists, we show that necessarily \(M\equiv1\left(\text{mod}\,24\right)\) and \(\left(M-1\right)/24\) is a generalized pentagonal number.

Sergey E. Stepanov1
1Department of Mathematics, Finance University, 125468 Moscow, Leningradsky Prospect, 49-55, Russian Federation
Abstract:

We establish a localized Bochner-type rigidity theorem for harmonic maps between Riemannian manifolds. Let f : (M, g) → (, ) be a harmonic map from a compact manifold. Instead of assuming global nonpositivity of the sectional curvature of the target manifold, we impose a curvature bound localized along the image f(M), expressed in terms of the maximal sectional curvature encountered along this image. We prove that if the minimal Ricci curvature of the domain dominates this image–dependent curvature bound through a quantitative curvature pinching inequality involving the maximal energy density of f, then the map must be constant. In the critical case of equality, we obtain a homothetic classification: the differential of f is parallel and the image f(M) is totally geodesic. Thus, the theorem replaces global curvature sign assumptions by an image–dependent curvature domination principle and provides a localized analogue of classical Yano–Ishihara–type rigidity results.

Baver Okutmustur1, Cornelis Vuik2, Kadir Yigit1
1Department of Mathematics, Middle East Technical University, Ankara, Turkiye
2Delft Institute of Applied Mathematics, Delft University of Technology, Delft, The Netherlands
Abstract:

This work presents a novel investigation of the recently derived relativistic Burgers-FLRW model, a scalar hyperbolic balance law with nontrivial source terms, using the Moving Mesh Method (MMM). Building on an MMM framework originally developed for hyperbolic conservation laws, we examine a range of monitor and smoothing functions to identify effective combinations for accurately resolving key solution features while reducing computational error. Numerical experiments compare the MMM with Adaptive Mesh Refinement (AMR) and uniform mesh discretizations. An L1-error analysis is used to study the effect of different monitor functions, explore the role of various β parameters, and directly compare the performance of the MMM and AMR strategies. The results show that both adaptive approaches provide higher accuracy and better efficiency than uniform meshes, while also offering a clear comparison between MMM and AMR and practical insight into mesh adaptation for scalar balance laws.

Chun-Ying He1, Feng Qi2
1School of Mathematics and Physics, Hulunbuir University, Hulunbuir, Inner Mongolia, 021008, China
217709 Sabal Court, University Village, Dallas, TX 75252-8024, USA
Abstract:

In the work, by establishing integral representations for a class of specific Maclaurin power series, the authors restate recently-published results related to the normalized remainder of the Maclaurin power series of the exponential function, alternatively prove some of these results, and pose some new problems in terms of the majorizing relations.

Fabio Silva Botelho1
1Department of Mathematics, Federal University of Santa Catarina, UFSC, Florianopolis, SC – Brazil
Abstract:

This article develops a formal proof of Castilgiano Theorem in an elasticity theory context. The results are based on standard tools of applied functional analysis and calculus of variations. It is worth mentioning such results here presented may be easily extended to a non-linear elasticity context. Finally, in the last section we present a numerical example in order to illustrate the results applicability.

Elif N. Yıldırım1, Fatih Nuray2
1Department of Mathematics, Istanbul Commerce University, Istanbul, Türkiye
2Department of Mathematics, Afyon Kocatepe University, 03200, Afyonkarahisar, Türkiye
Abstract:

In this paper, we introduce and investigate the concept of statistically bornological convergence for sequences of subsets in metric spaces. This notion combines the localization principle of bornological convergence with the asymptotic flexibility of statistical convergence. A sequence of sets is said to be statistically bornologically convergent if the bornological inclusion conditions hold for a set of indices with natural density one. We provide examples distinguishing this concept from classical bornological and Hausdorff convergence. Under appropriate boundedness assumptions, we establish a functional characterization using excess functionals. We prove stability under bi-Lipschitz embeddings using a direct inclusion-based approach with properly defined pushforward ideals, and establish a subsequence theorem via the diagonal density lemma. The relationship with Wijsman statistical convergence is clarified.

Special Issues

The PSR Press Office warmly invites scholars, researchers, and experts to propose and guest edit Special Issues on topics of significance to the scientific community.

Read more