Axioms

8 pages, 235 KiB

Open AccessArticle

Convergence of Weak*-Scalarly Integrable Functions

by Noureddine Sabiri and Mohamed Guessous

Axioms 2020, 9(3), 112; https://doi.org/10.3390/axioms9030112 - 22 Sep 2020

Cited by 2 | Viewed by 2095

Let

(Ω, F, μ)

be a complete probability space, E a separable Banach space and

E^{'}

the topological dual vector space of E. We present some compactness results in

L_{E^{'}}^{1} [E]

, the Banach [...] Read more.

Let

(Ω, F, μ)

be a complete probability space, E a separable Banach space and

E^{'}

the topological dual vector space of E. We present some compactness results in

L_{E^{'}}^{1} [E]

, the Banach space of weak*-scalarly integrable

E^{'}

-valued functions. As well we extend the classical theorem of Komlós to the bounded sequences in

L_{E^{'}}^{1} [E]

. Full article

(This article belongs to the Collection Mathematical Analysis and Applications)

5 pages, 445 KiB

Open AccessArticle

Some Inequalities for Convex Sets

by George Tsintsifas

Axioms 2020, 9(3), 111; https://doi.org/10.3390/axioms9030111 - 17 Sep 2020

Viewed by 2153

Abstract

The paper concerns inequalities between fundamental quantities as area, perimeter, diameter and width for convex plane fugures. Full article

(This article belongs to the Special Issue Non-associative Structures, Yang–Baxter Equations and Related Topics)

► Show Figures

Figure 1

10 pages, 256 KiB

Open AccessArticle

Some New Results on a Three-Step Iteration Process

by Kifayat Ullah, Junaid Ahmad and Manuel de la Sen

Axioms 2020, 9(3), 110; https://doi.org/10.3390/axioms9030110 - 17 Sep 2020

Cited by 5 | Viewed by 2753

Abstract

The purpose of this research work is to prove some weak and strong convergence results for maps satisfying (E)-condition through three-step Thakur (J. Inequal. Appl.2014, 2014:328.) iterative process in Banach spaces. We also present a new example of [...] Read more.

The purpose of this research work is to prove some weak and strong convergence results for maps satisfying (E)-condition through three-step Thakur (J. Inequal. Appl.2014, 2014:328.) iterative process in Banach spaces. We also present a new example of maps satisfying (E)-condition, and prove that its three-step Thakur iterative process is more efficient than the other well-known three-step iterative processes. At the end of the paper, we apply our results for finding solutions of split feasibility problems. The presented research work updates some of the results of the current literature. Full article

(This article belongs to the Special Issue Iterative Processes for Nonlinear Problems with Applications)

28 pages, 351 KiB

Open AccessArticle

The Existence and Uniqueness of an Entropy Solution to Unilateral Orlicz Anisotropic Equations in an Unbounded Domain

by Omar Benslimane, Ahmed Aberqi and Jaouad Bennouna

Axioms 2020, 9(3), 109; https://doi.org/10.3390/axioms9030109 - 17 Sep 2020

Cited by 13 | Viewed by 2623

Abstract

The purpose of this work is to prove the existence and uniqueness of a class of nonlinear unilateral elliptic problem

(P)

in an arbitrary domain, managed by a low-order term and non-polynomial growth described by an N-uplet of N-function [...] Read more.

The purpose of this work is to prove the existence and uniqueness of a class of nonlinear unilateral elliptic problem

(P)

in an arbitrary domain, managed by a low-order term and non-polynomial growth described by an N-uplet of N-function satisfying the

Δ_{2}

-condition. The source term is merely integrable. Full article

(This article belongs to the Collection Mathematical Analysis and Applications)

4 pages, 150 KiB

Open AccessEditorial

Deductive Systems in Traditional and Modern Logic

by Alex Citkin and Urszula Wybraniec-Skardowska

Axioms 2020, 9(3), 108; https://doi.org/10.3390/axioms9030108 - 13 Sep 2020

Viewed by 2556

Abstract

Since its inception, logic has studied the acceptable rules of reasoning, the rules that allow us to pass from certain statements, serving as premises or assumptions, to a statement taken as a conclusion [...] Full article

(This article belongs to the Special Issue Deductive Systems in Traditional and Modern Logic)

8 pages, 253 KiB

Open AccessArticle

Star-Shapedness of \({\mathcal N}\)-Structures in Euclidean Spaces

by Kyoung Ja Lee, Seok-Zun Song and Young Bae Jun

Axioms 2020, 9(3), 107; https://doi.org/10.3390/axioms9030107 - 12 Sep 2020

Viewed by 2442

Abstract

The notions of (quasi, pseudo) star-shaped sets are introduced, and several related properties are investigated. Characterizations of (quasi) star-shaped sets are considered. The translation of (quasi, pseudo) star-shaped sets are discussed. Unions and intersections of quasi star-shaped sets are conceived. Conditions for a [...] Read more.

The notions of (quasi, pseudo) star-shaped sets are introduced, and several related properties are investigated. Characterizations of (quasi) star-shaped sets are considered. The translation of (quasi, pseudo) star-shaped sets are discussed. Unions and intersections of quasi star-shaped sets are conceived. Conditions for a quasi (or, pseudo) star-shaped set to be a star-shaped set are provided. Full article

(This article belongs to the Collection Mathematical Analysis and Applications)

9 pages, 251 KiB

Open AccessArticle

A Proof of Komlós Theorem for Super-Reflexive Valued Random Variables

by Abdessamad Dehaj and Mohamed Guessous

Axioms 2020, 9(3), 106; https://doi.org/10.3390/axioms9030106 - 11 Sep 2020

Cited by 3 | Viewed by 2412

Abstract

We give a geometrical proof of Komlós’ theorem for sequences of random variables with values in super-reflexive Banach space. Our approach is inspired by the elementary proof given by Guessous in 1996 for the Hilbert case and uses some geometric properties of smooth [...] Read more.

We give a geometrical proof of Komlós’ theorem for sequences of random variables with values in super-reflexive Banach space. Our approach is inspired by the elementary proof given by Guessous in 1996 for the Hilbert case and uses some geometric properties of smooth spaces. Full article

(This article belongs to the Collection Mathematical Analysis and Applications)

9 pages, 236 KiB

Open AccessArticle

A New Common Fixed Point Theorem for Three Commuting Mappings

by Meryeme El Harrak and Ahmed Hajji

Axioms 2020, 9(3), 105; https://doi.org/10.3390/axioms9030105 - 11 Sep 2020

Cited by 1 | Viewed by 2206

Abstract

In the present paper, we propose a common fixed point theorem for three commuting mappings via a new contractive condition which generalizes fixed point theorems of Darbo, Hajji and Aghajani et al. An application is also given to illustrate our main result. Moreover, [...] Read more.

In the present paper, we propose a common fixed point theorem for three commuting mappings via a new contractive condition which generalizes fixed point theorems of Darbo, Hajji and Aghajani et al. An application is also given to illustrate our main result. Moreover, several consequences are derived, which are generalizations of Darbo’s fixed point theorem and a Hajji’s result. Full article

(This article belongs to the Collection Mathematical Analysis and Applications)

18 pages, 744 KiB

Open AccessArticle

An Extended MABAC Method Based on Triangular Fuzzy Neutrosophic Numbers for Multiple-Criteria Group Decision Making Problems

by Irvanizam Irvanizam, Nawar Nabila Zi, Rahma Zuhra, Amrusi Amrusi and Hizir Sofyan

Axioms 2020, 9(3), 104; https://doi.org/10.3390/axioms9030104 - 10 Sep 2020

Cited by 41 | Viewed by 4486

Abstract

In this manuscript, we extend the traditional multi-attributive border approximation area comparison (MABAC) method for the multiple-criteria group decision-making (MCGDM) with triangular fuzzy neutrosophic numbers (TFNNs) to propose the TFNNs-MABAC method. In the proposed method, we utilize the TFNNs to express the values [...] Read more.

In this manuscript, we extend the traditional multi-attributive border approximation area comparison (MABAC) method for the multiple-criteria group decision-making (MCGDM) with triangular fuzzy neutrosophic numbers (TFNNs) to propose the TFNNs-MABAC method. In the proposed method, we utilize the TFNNs to express the values of criteria for each alternative in MCGDM problems. First, we briefly acquaint the basic concept of TFNNs and describe its corresponding some operation laws, the functions of score and accuracy, and the normalized hamming distance. We then review two aggregation operators of TFNNs. Afterward, we combine the traditional MABAC method with the triangular fuzzy neutrosophic evaluation and provide a sequence of calculation procedures of the TFNNs-MABAC method. After comparing it with some TFNNs aggregation operators and another method, the results showed that our extended MABAC method can not only effectively handle the conflicting attributes, but also practically deal with incomplete and indeterminate information in the MCGDM problem. Therefore, the extended MABAC method is more effective, conformable, and reasonable. Finally, an investment selection problem is demonstrated as a practice to verify the reasonability of our MABAC method. Full article

(This article belongs to the Special Issue Multiple-Criteria Decision Making)

► Show Figures

Figure 1

15 pages, 300 KiB

Open AccessArticle

The Split Various Variational Inequalities Problems for Three Hilbert Spaces

by Chinda Chaichuay and Atid Kangtunyakarn

Axioms 2020, 9(3), 103; https://doi.org/10.3390/axioms9030103 - 7 Sep 2020

Viewed by 2460

Abstract

There are many methods for finding a common solution of a system of variational inequalities, a split equilibrium problem, and a hierarchical fixed-point problem in the setting of real Hilbert spaces. They proved the strong convergence theorem. Many split feasibility problems are generated [...] Read more.

There are many methods for finding a common solution of a system of variational inequalities, a split equilibrium problem, and a hierarchical fixed-point problem in the setting of real Hilbert spaces. They proved the strong convergence theorem. Many split feasibility problems are generated in real Hillbert spaces. The open problem is proving a strong convergence theorem of three Hilbert spaces with different methods from the lasted method. In this research, a new split variational inequality in three Hilbert spaces is proposed. Important tools which are used to solve classical problems will be developed. The convergence theorem for finding a common element of the set of solution of such problems and the sets of fixed-points of discontinuous mappings has been proved. Full article

(This article belongs to the Special Issue Fixed Point Theory and Its Related Topics II)

8 pages, 228 KiB

Open AccessEditor’s ChoiceArticle

Global Optimization and Common Best Proximity Points for Some Multivalued Contractive Pairs of Mappings

by Pradip Debnath and Hari Mohan Srivastava

Axioms 2020, 9(3), 102; https://doi.org/10.3390/axioms9030102 - 7 Sep 2020

Cited by 21 | Viewed by 2754

Abstract

In this paper, we study a problem of global optimization using common best proximity point of a pair of multivalued mappings. First, we introduce a multivalued Banach-type contractive pair of mappings and establish criteria for the existence of their common best proximity point. [...] Read more.

In this paper, we study a problem of global optimization using common best proximity point of a pair of multivalued mappings. First, we introduce a multivalued Banach-type contractive pair of mappings and establish criteria for the existence of their common best proximity point. Next, we put forward the concept of multivalued Kannan-type contractive pair and also the concept of weak

Δ

-property to determine the existence of common best proximity point for such a pair of maps. Full article

(This article belongs to the Collection Mathematical Analysis and Applications)

24 pages, 1384 KiB

Open AccessArticle

A General Inertial Projection-Type Algorithm for Solving Equilibrium Problem in Hilbert Spaces with Applications in Fixed-Point Problems

by Nopparat Wairojjana, Habib ur Rehman, Manuel De la Sen and Nuttapol Pakkaranang

Axioms 2020, 9(3), 101; https://doi.org/10.3390/axioms9030101 - 31 Aug 2020

Cited by 10 | Viewed by 3120

Abstract

A plethora of applications from mathematical programming, such as minimax, and mathematical programming, penalization, fixed point to mention a few can be framed as equilibrium problems. Most of the techniques for solving such problems involve iterative methods that is why, in this paper, [...] Read more.

A plethora of applications from mathematical programming, such as minimax, and mathematical programming, penalization, fixed point to mention a few can be framed as equilibrium problems. Most of the techniques for solving such problems involve iterative methods that is why, in this paper, we introduced a new extragradient-like method to solve equilibrium problems in real Hilbert spaces with a Lipschitz-type condition on a bifunction. The advantage of a method is a variable stepsize formula that is updated on each iteration based on the previous iterations. The method also operates without the previous information of the Lipschitz-type constants. The weak convergence of the method is established by taking mild conditions on a bifunction. For application, fixed-point theorems that involve strict pseudocontraction and results for pseudomonotone variational inequalities are studied. We have reported various numerical results to show the numerical behaviour of the proposed method and correlate it with existing ones. Full article

(This article belongs to the Special Issue Fixed Point Theory and Its Related Topics II)

► Show Figures

Figure 1

16 pages, 342 KiB

Open AccessArticle

Kripke-Style Models for Logics of Evidence and Truth

by Henrique Antunes, Walter Carnielli, Andreas Kapsner and Abilio Rodrigues

Axioms 2020, 9(3), 100; https://doi.org/10.3390/axioms9030100 - 19 Aug 2020

Cited by 9 | Viewed by 2944

Abstract

In this paper, we propose Kripke-style models for the logics of evidence and truth

L E T_{J}

and

L E T_{F}

. These logics extend, respectively, Nelson’s logic

N 4

and the logic of first-degree entailment (

F D E

) [...] Read more.

In this paper, we propose Kripke-style models for the logics of evidence and truth

L E T_{J}

and

L E T_{F}

. These logics extend, respectively, Nelson’s logic

N 4

and the logic of first-degree entailment (

F D E

) with a classicality operator ∘ that recovers classical logic for formulas in its scope. According to the intended interpretation here proposed, these models represent a database that receives information as time passes, and such information can be positive, negative, non-reliable, or reliable, while a formula

\circ A

means that the information about A, either positive or negative, is reliable. This proposal is in line with the interpretation of

N 4

and

F D E

as information-based logics, but adds to the four scenarios expressed by them two new scenarios: reliable (or conclusive) information (i) for the truth and (ii) for the falsity of a given proposition. Full article

(This article belongs to the Special Issue Deductive Systems in Traditional and Modern Logic)

► Show Figures

Graphical abstract

18 pages, 345 KiB

Open AccessEditor’s ChoiceArticle

An Accelerated Extragradient Method for Solving Pseudomonotone Equilibrium Problems with Applications

by Nopparat Wairojjana, Habib ur Rehman, Ioannis K. Argyros and Nuttapol Pakkaranang

Axioms 2020, 9(3), 99; https://doi.org/10.3390/axioms9030099 - 17 Aug 2020

Cited by 8 | Viewed by 3436

Abstract

Several methods have been put forward to solve equilibrium problems, in which the two-step extragradient method is very useful and significant. In this article, we propose a new extragradient-like method to evaluate the numerical solution of the pseudomonotone equilibrium in real Hilbert space. [...] Read more.

Several methods have been put forward to solve equilibrium problems, in which the two-step extragradient method is very useful and significant. In this article, we propose a new extragradient-like method to evaluate the numerical solution of the pseudomonotone equilibrium in real Hilbert space. This method uses a non-monotonically stepsize technique based on local bifunction values and Lipschitz-type constants. Furthermore, we establish the weak convergence theorem for the suggested method and provide the applications of our results. Finally, several experimental results are reported to see the performance of the proposed method. Full article

(This article belongs to the Special Issue Iterative Processes for Nonlinear Problems with Applications)

► Show Figures

Figure 1

15 pages, 1352 KiB

Open AccessArticle

Value at Risk Based on Fuzzy Numbers

by Maria Letizia Guerra and Laerte Sorini

Axioms 2020, 9(3), 98; https://doi.org/10.3390/axioms9030098 - 12 Aug 2020

Cited by 4 | Viewed by 3153

Abstract

Value at Risk (VaR) has become a crucial measure for decision making in risk management over the last thirty years and many estimation methodologies address the finding of the best performing measure at taking into account unremovable uncertainty of real financial markets. One [...] Read more.

Value at Risk (VaR) has become a crucial measure for decision making in risk management over the last thirty years and many estimation methodologies address the finding of the best performing measure at taking into account unremovable uncertainty of real financial markets. One possible and promising way to include uncertainty is to refer to the mathematics of fuzzy numbers and to its rigorous methodologies which offer flexible ways to read and to interpret properties of real data which may arise in many areas. The paper aims to show the effectiveness of two distinguished models to account for uncertainty in VaR computation; initially, following a non parametric approach, we apply the Fuzzy-transform approximation function to smooth data by capturing fundamental patterns before computing VaR. As a second model, we apply the Average Cumulative Function (ACF) to deduce the quantile function at point p as the potential loss VaR

_{p}

for a fixed time horizon for the 100p% of the values. In both cases a comparison is conducted with respect to the identification of VaR through historical simulation: twelve years of daily S&P500 index returns are considered and a back testing procedure is applied to verify the number of bad VaR forecasting in each methodology. Despite the preliminary nature of the research, we point out that VaR estimation, when modelling uncertainty through fuzzy numbers, outperforms the traditional VaR in the sense that it is the closest to the right amount of capital to allocate in order to cover future losses in normal market conditions. Full article

(This article belongs to the Special Issue Soft Computing in Economics, Finance and Management)

► Show Figures

Figure 1

16 pages, 273 KiB

Open AccessArticle

On Fractional q-Extensions of Some q-Orthogonal Polynomials

by P. Njionou Sadjang and S. Mboutngam

Axioms 2020, 9(3), 97; https://doi.org/10.3390/axioms9030097 - 12 Aug 2020

Cited by 1 | Viewed by 2035

Abstract

In this paper, we introduce a fractional q-extension of the q-differential operator

D_{q^{- 1}}

and prove some of its main properties. Next, fractional q-extensions of some classical q-orthogonal polynomials are introduced and some of the main properties [...] Read more.

In this paper, we introduce a fractional q-extension of the q-differential operator

D_{q^{- 1}}

and prove some of its main properties. Next, fractional q-extensions of some classical q-orthogonal polynomials are introduced and some of the main properties of the newly-defined functions are given. Finally, a fractional q-difference equation of Gaussian type is introduced and solved by means of the power series method. Full article

(This article belongs to the Special Issue Special Functions Associated with Fractional Calculus)

11 pages, 743 KiB

Open AccessArticle

Asymptotic Properties of Neutral Differential Equations with Variable Coefficients

by Omar Bazighifan, Rami Ahmad El-Nabulsi and Osama Moaaz

Axioms 2020, 9(3), 96; https://doi.org/10.3390/axioms9030096 - 12 Aug 2020

Cited by 2 | Viewed by 2138

Abstract

The aim of this work is to study oscillatory behavior of solutions for even-order neutral nonlinear differential equations. By using the Riccati substitution, a new oscillation conditions is obtained which insures that all solutions to the studied equation are oscillatory. The obtained results [...] Read more.

The aim of this work is to study oscillatory behavior of solutions for even-order neutral nonlinear differential equations. By using the Riccati substitution, a new oscillation conditions is obtained which insures that all solutions to the studied equation are oscillatory. The obtained results complement the well-known oscillation results present in the literature. Some example are illustrated to show the applicability of the obtained results. Full article

(This article belongs to the Special Issue Nonlinear Differential Equations and Dynamical Systems: Theory and Applications)

18 pages, 305 KiB

Open AccessArticle

Fractional Singular Differential Systems of Lane–Emden Type: Existence and Uniqueness of Solutions

by Yazid Gouari, Zoubir Dahmani, Shan E. Farooq and Farooq Ahmad

Axioms 2020, 9(3), 95; https://doi.org/10.3390/axioms9030095 - 2 Aug 2020

Cited by 10 | Viewed by 2718

Abstract

A coupled system of singular fractional differential equations involving Riemann–Liouville integral and Caputo derivative is considered in this paper. The question of existence and uniqueness of solutions is studied using Banach contraction principle. Furthermore, the question of existence of at least one solution [...] Read more.

A coupled system of singular fractional differential equations involving Riemann–Liouville integral and Caputo derivative is considered in this paper. The question of existence and uniqueness of solutions is studied using Banach contraction principle. Furthermore, the question of existence of at least one solution is discussed. At the end, an illustrative example is given in details. Full article

(This article belongs to the Special Issue Iterative Processes for Nonlinear Problems with Applications)

13 pages, 269 KiB

Open AccessArticle

Reduction of Homogeneous Pseudo-Kähler Structures by One-Dimensional Fibers

by José Luis Carmona Jiménez and Marco Castrillón López

Axioms 2020, 9(3), 94; https://doi.org/10.3390/axioms9030094 - 1 Aug 2020

Viewed by 2146

Abstract

We study the reduction procedure applied to pseudo-Kähler manifolds by a one dimensional Lie group acting by isometries and preserving the complex tensor. We endow the quotient manifold with an almost contact metric structure. We use this fact to connect pseudo-Kähler homogeneous structures [...] Read more.

We study the reduction procedure applied to pseudo-Kähler manifolds by a one dimensional Lie group acting by isometries and preserving the complex tensor. We endow the quotient manifold with an almost contact metric structure. We use this fact to connect pseudo-Kähler homogeneous structures with almost contact metric homogeneous structures. This relation will have consequences in the class of the almost contact manifold. Indeed, if we choose a pseudo-Kähler homogeneous structure of linear type, then the reduced, almost contact homogeneous structure is of linear type and the reduced manifold is of type

C_{5} \oplus C_{6} \oplus C_{12}

of Chinea-González classification. Full article

(This article belongs to the Special Issue Pseudo-Riemannian Metrics and Applications)

15 pages, 648 KiB

Open AccessArticle

On the Triple Lauricella–Horn–Karlsson q-Hypergeometric Functions

by Thomas Ernst

Axioms 2020, 9(3), 93; https://doi.org/10.3390/axioms9030093 - 31 Jul 2020

Cited by 4 | Viewed by 2476

Abstract

The Horn–Karlsson approach to find convergence regions is applied to find convergence regions for triple q-hypergeometric functions. It turns out that the convergence regions are significantly increased in the q-case; just as for q-Appell and q-Lauricella functions, additions are [...] Read more.

The Horn–Karlsson approach to find convergence regions is applied to find convergence regions for triple q-hypergeometric functions. It turns out that the convergence regions are significantly increased in the q-case; just as for q-Appell and q-Lauricella functions, additions are replaced by Ward q-additions. Mostly referring to Krishna Srivastava 1956, we give q-integral representations for these functions. Full article

(This article belongs to the Special Issue Differential and Difference Equations: A Themed Issue Dedicated to Prof. Hari M. Srivastava on the Occasion of his 80th Birthday)

► Show Figures

Figure 1

25 pages, 2186 KiB

Open AccessArticle

A Non-Intrusive Stochastic Isogeometric Analysis of Functionally Graded Plates with Material Uncertainty

by Shaima M. Dsouza, Tittu Mathew Varghese, P. R. Budarapu and S. Natarajan

Axioms 2020, 9(3), 92; https://doi.org/10.3390/axioms9030092 - 30 Jul 2020

Cited by 12 | Viewed by 2869

Abstract

A non-intrusive approach coupled with non-uniform rational B-splines based isogeometric finite element method is proposed here. The developed methodology was employed to study the stochastic static bending and free vibration characteristics of functionally graded material plates with inhered material randomness. A first order [...] Read more.

A non-intrusive approach coupled with non-uniform rational B-splines based isogeometric finite element method is proposed here. The developed methodology was employed to study the stochastic static bending and free vibration characteristics of functionally graded material plates with inhered material randomness. A first order shear deformation theory with an artificial shear correction factor was used for spatial discretization. The output randomness is represented by polynomial chaos expansion. The robustness and accuracy of the framework were demonstrated by comparing the results with Monte Carlo simulations. A systematic parametric study was carried out to bring out the sensitivity of the input randomness on the stochastic output response using Sobol’ indices. Functionally graded plates made up of Aluminium (Al) and Zirconium Oxide (ZrO

_{2}

) were considered in all the numerical examples. Full article

(This article belongs to the Special Issue Isogeometric Analysis Theory and Applications)

► Show Figures

Figure 1

23 pages, 1040 KiB

Open AccessArticle

Feedback Diagram Application for the Generation and Solution of Linear Differential Equations Solvable by Quadrature

by Romeo Pascone and Cathryn Callahan

Axioms 2020, 9(3), 91; https://doi.org/10.3390/axioms9030091 - 29 Jul 2020

Viewed by 2232

Abstract

A novel method for generating and providing quadrature solutions to families of linear, second-order, ordinary differential equations is presented in this paper. It is based upon a comparison of control system feedback diagrams—one representing the system and equation under study and a second [...] Read more.

A novel method for generating and providing quadrature solutions to families of linear, second-order, ordinary differential equations is presented in this paper. It is based upon a comparison of control system feedback diagrams—one representing the system and equation under study and a second equalized to it and providing solutions. The resulting Riccati equation connection between them is utilized to generate and solve groups of equations parameterized by arbitrary functions and constants. This method also leads to a formal solution mechanism for all second-order linear differential equations involving an infinite series of integrals of each equation’s Schwarzian derivative. The practicality of this mechanism is strongly dependent on the series rates of and allowed regions for convergence. The feedback diagram method developed is shown to be equivalent to a comparable method based on the differential equation’s normal form and another relying upon the grouping of terms for a reduction of the equation order, but augmenting their results. Applications are also made to the Helmholtz equation. Full article

(This article belongs to the Collection Mathematical Analysis and Applications)

► Show Figures

Graphical abstract

9 pages, 232 KiB

Open AccessArticle

Stochastic Process Emerged from Lattice Fermion Systems by Repeated Measurements and Long-Time Limit

by Kazuki Yamaga

Axioms 2020, 9(3), 90; https://doi.org/10.3390/axioms9030090 - 29 Jul 2020

Viewed by 1949

Abstract

It is known that, in quantum theory, measurements may suppress Hamiltonian dynamics of a system. A famous example is the ‘Quantum Zeno Effect’. This is the phenomena that, if one performs the measurements M times asking whether the system is in the same [...] Read more.

It is known that, in quantum theory, measurements may suppress Hamiltonian dynamics of a system. A famous example is the ‘Quantum Zeno Effect’. This is the phenomena that, if one performs the measurements M times asking whether the system is in the same state as the one at the initial time until the fixed measurement time t, then survival probability tends to 1 by taking the limit

M \to \infty

. This is the case for fixed measurement time t. It is known that, if one takes measurement time infinite at appropriate scaling, the ‘Quantum Zeno Effect’ does not occur and the effect of Hamiltonian dynamics emerges. In the present paper, we consider the long time repeated measurements and the dynamics of quantum many body systems in the scaling where the effect of measurements and dynamics are balanced. We show that the stochastic process, called the symmetric simple exclusion process (SSEP), is obtained from the repeated and long time measurements of configuration of particles in finite lattice fermion systems. The emerging stochastic process is independent of potential and interaction of the underlying Hamiltonian of the system. Full article

(This article belongs to the Special Issue Quantum Information, Foundations and Measurement)

18 pages, 2600 KiB

Open AccessEditor’s ChoiceArticle

The Modified Helmholtz Equation on a Regular Hexagon—The Symmetric Dirichlet Problem

by Konstantinos Kalimeris and Athanassios S. Fokas

Axioms 2020, 9(3), 89; https://doi.org/10.3390/axioms9030089 - 28 Jul 2020

Cited by 2 | Viewed by 3290

Abstract

Using the unified transform, also known as the Fokas method, we analyse the modified Helmholtz equation in the regular hexagon with symmetric Dirichlet boundary conditions; namely, the boundary value problem where the trace of the solution is given by the same function on [...] Read more.

Using the unified transform, also known as the Fokas method, we analyse the modified Helmholtz equation in the regular hexagon with symmetric Dirichlet boundary conditions; namely, the boundary value problem where the trace of the solution is given by the same function on each side of the hexagon. We show that if this function is odd, then this problem can be solved in closed form; numerical verification is also provided. Full article

(This article belongs to the Special Issue Differential and Difference Equations: A Themed Issue Dedicated to Prof. Hari M. Srivastava on the Occasion of his 80th Birthday)

► Show Figures

Figure 1

20 pages, 1573 KiB

Open AccessArticle

Reconstruction of Piecewise Smooth Multivariate Functions from Fourier Data

by David Levin

Axioms 2020, 9(3), 88; https://doi.org/10.3390/axioms9030088 - 24 Jul 2020

Cited by 3 | Viewed by 2685

Abstract

In some applications, one is interested in reconstructing a function f from its Fourier series coefficients. The problem is that the Fourier series is slowly convergent if the function is non-periodic, or is non-smooth. In this paper, we suggest a method for deriving [...] Read more.

In some applications, one is interested in reconstructing a function f from its Fourier series coefficients. The problem is that the Fourier series is slowly convergent if the function is non-periodic, or is non-smooth. In this paper, we suggest a method for deriving high order approximation to f using a Padé-like method. Namely, we do this by fitting some Fourier coefficients of the approximant to the given Fourier coefficients of f. Given the Fourier series coefficients of a function on a rectangular domain in

R^{d}

, assuming the function is piecewise smooth, we approximate the function by piecewise high order spline functions. First, the singularity structure of the function is identified. For example in the 2D case, we find high accuracy approximation to the curves separating between smooth segments of f. Secondly, simultaneously we find the approximations of all the different segments of f. We start by developing and demonstrating a high accuracy algorithm for the 1D case, and we use this algorithm to step up to the multidimensional case. Full article

(This article belongs to the Special Issue Nonlinear Analysis and Optimization with Applications)

► Show Figures

Figure 1

9 pages, 226 KiB

Open AccessArticle

Commutative Topological Semigroups Embedded into Topological Abelian Groups

by Julio César Hernández Arzusa

Axioms 2020, 9(3), 87; https://doi.org/10.3390/axioms9030087 - 24 Jul 2020

Cited by 3 | Viewed by 2737

Abstract

In this paper, we give conditions under which a commutative topological semigroup can be embedded algebraically and topologically into a compact topological Abelian group. We prove that every feebly compact regular first countable cancellative commutative topological semigroup with open shifts is a topological [...] Read more.

In this paper, we give conditions under which a commutative topological semigroup can be embedded algebraically and topologically into a compact topological Abelian group. We prove that every feebly compact regular first countable cancellative commutative topological semigroup with open shifts is a topological group, as well as every connected locally compact Hausdorff cancellative commutative topological monoid with open shifts. Finally, we use these results to give sufficient conditions on a commutative topological semigroup that guarantee it to have countable cellularity. Full article

(This article belongs to the Special Issue Topological Algebra)

17 pages, 403 KiB

Open AccessArticle

On the Regularized Asymptotics of a Solution to the Cauchy Problem in the Presence of a Weak Turning Point of the Limit Operator

by Alexander Yeliseev

Axioms 2020, 9(3), 86; https://doi.org/10.3390/axioms9030086 - 23 Jul 2020

Cited by 8 | Viewed by 1836

Abstract

An asymptotic solution of the linear Cauchy problem in the presence of a “weak” turning point for the limit operator is constructed by the method of S. A. Lomov regularization. The main singularities of this problem are written out explicitly. Estimates are given [...] Read more.

An asymptotic solution of the linear Cauchy problem in the presence of a “weak” turning point for the limit operator is constructed by the method of S. A. Lomov regularization. The main singularities of this problem are written out explicitly. Estimates are given for

ε

that characterize the behavior of singularities for

ϵ \to 0

. The asymptotic convergence of a regularized series is proven. The results are illustrated by an example. Bibliography: six titles. Full article

(This article belongs to the Special Issue Differential and Difference Equations: A Themed Issue Dedicated to Prof. Hari M. Srivastava on the Occasion of his 80th Birthday)

11 pages, 282 KiB

Open AccessArticle

Hybrid Ideals of BCK/BCI-Algebras

by Kyung-Tae Kang, Seok-Zun Song, Eun Hwan Roh and Young Bae Jun

Axioms 2020, 9(3), 85; https://doi.org/10.3390/axioms9030085 - 23 Jul 2020

Cited by 5 | Viewed by 2464

Abstract

The notion of hybrid ideals in

B C K / B C I

-algebras is introduced, and related properties are investigated. Characterizations of hybrid ideals are discussed. Relations between hybrid ideals and hybrid subalgebras are considered. Characterizations of hybrid ideals are considered. Based [...] Read more.

The notion of hybrid ideals in

B C K / B C I

-algebras is introduced, and related properties are investigated. Characterizations of hybrid ideals are discussed. Relations between hybrid ideals and hybrid subalgebras are considered. Characterizations of hybrid ideals are considered. Based on a hybrid structure, properties of special sets are investigated, and conditions for the special sets to be ideals are displayed. Full article

(This article belongs to the Special Issue Fuzzy Set Theory and Applications)

29 pages, 424 KiB

Open AccessArticle

Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic

by Sopo Pkhakadze and Hans Tompits

Axioms 2020, 9(3), 84; https://doi.org/10.3390/axioms9030084 - 21 Jul 2020

Cited by 3 | Viewed by 2894

Abstract

Default logic is one of the basic formalisms for nonmonotonic reasoning, a well-established area from logic-based artificial intelligence dealing with the representation of rational conclusions, which are characterised by the feature that the inference process may require to retract prior conclusions given [...] Read more.

Default logic is one of the basic formalisms for nonmonotonic reasoning, a well-established area from logic-based artificial intelligence dealing with the representation of rational conclusions, which are characterised by the feature that the inference process may require to retract prior conclusions given additional premisses. This nonmonotonic aspect is in contrast to valid inference relations, which are monotonic. Although nonmonotonic reasoning has been extensively studied in the literature, only few works exist dealing with a proper proof theory for specific logics. In this paper, we introduce sequent-type calculi for two variants of default logic, viz., on the one hand, for three-valued default logic due to Radzikowska, and on the other hand, for disjunctive default logic, due to Gelfond, Lifschitz, Przymusinska, and Truszczyński. The first variant of default logic employs Łukasiewicz’s three-valued logic as the underlying base logic and the second variant generalises defaults by allowing a selection of consequents in defaults. Both versions have been introduced to address certain representational shortcomings of standard default logic. The calculi we introduce axiomatise brave reasoning for these versions of default logic, which is the task of determining whether a given formula is contained in some extension of a given default theory. Our approach follows the sequent method first introduced in the context of nonmonotonic reasoning by Bonatti, which employs a rejection calculus for axiomatising invalid formulas, taking care of expressing the consistency condition of defaults. Full article

(This article belongs to the Special Issue Deductive Systems in Traditional and Modern Logic)

► Show Figures

Figure 1

28 pages, 464 KiB

Open AccessArticle

Eigenfunction Families and Solution Bounds for Multiplicatively Advanced Differential Equations

by David W. Pravica, Njinasoa Randriampiry and Michael J. Spurr

Axioms 2020, 9(3), 83; https://doi.org/10.3390/axioms9030083 - 21 Jul 2020

Cited by 4 | Viewed by 2611

Abstract

A family of Schwartz functions

W (t)

are interpreted as eigensolutions of MADEs in the sense that

W^{(δ)} (t) = E W (q^{γ} t)

where the eigenvalue

E \in R

is independent of [...] Read more.

A family of Schwartz functions

W (t)

are interpreted as eigensolutions of MADEs in the sense that

W^{(δ)} (t) = E W (q^{γ} t)

where the eigenvalue

E \in R

is independent of the advancing parameter

q > 1

. The parameters

δ, γ \in N

are characteristics of the MADE. Some issues, which are related to corresponding q-advanced PDEs, are also explored. In the limit that

q \to 1^{+}

we show convergence of MADE eigenfunctions to solutions of ODEs, which involve only simple exponentials and trigonometric functions. The limit eigenfunctions (

q = 1^{+}

) are not Schwartz, thus convergence is only uniform in

t \in R

on compact sets. An asymptotic analysis is provided for MADEs which indicates how to extend solutions in a neighborhood of the origin

t = 0

. Finally, an expanded table of Fourier transforms is provided that includes Schwartz solutions to MADEs. Full article

(This article belongs to the Special Issue Differential and Difference Equations: A Themed Issue Dedicated to Prof. Hari M. Srivastava on the Occasion of his 80th Birthday)

► Show Figures

Figure 1

Journal Menu

Journal Browser

Axioms, Volume 9, Issue 3 (September 2020) – 41 articles

Further Information

Guidelines

MDPI Initiatives

Follow MDPI