Open AccessFeature PaperArticle
Proposal for the Formalization of Dialectical Logic
Mathematics 2016, 4(4), 69; doi:10.3390/math4040069 (registering DOI) -
Abstract
Classical logic is typically concerned with abstract analysis. The problem for a synthetic logic is to transcend and unify available data to reconstruct the object as a totality. Three rules are proposed to pass from classic logic to synthetic logic. We present the
[...] Read more.
Classical logic is typically concerned with abstract analysis. The problem for a synthetic logic is to transcend and unify available data to reconstruct the object as a totality. Three rules are proposed to pass from classic logic to synthetic logic. We present the category logic of qualitative opposition using examples from various sciences. This logic has been defined to include the neuter as part of qualitative opposition. The application of these rules to qualitative opposition, and, in particular, its neuter, demonstrated that a synthetic logic allows the truth of some contradictions. This synthetic logic is dialectical with a multi-valued logic, which gives every proposition a truth value in the interval [0,1] that is the square of the modulus of a complex number. In this dialectical logic, contradictions of the neuter of an opposition may be true. Full article
Open AccessArticle
Results on Coincidence and Common Fixed Points for (ψ,φ)g-Generalized Weakly Contractive Mappings in Ordered Metric Spaces
Mathematics 2016, 4(4), 68; doi:10.3390/math4040068 (registering DOI) -
Abstract
Inspired by a metrical-fixed point theorem from Choudhury et al. (Nonlinear Anal. 2011, 74, 2116–2126), we prove some order-theoretic results which generalize several core results of the existing literature, especially the two main results of Harjani and Sadarangani (
[...] Read more.
Inspired by a metrical-fixed point theorem from Choudhury et al. (Nonlinear Anal. 2011, 74, 2116–2126), we prove some order-theoretic results which generalize several core results of the existing literature, especially the two main results of Harjani and Sadarangani (Nonlinear Anal. 2009, 71, 3403–3410 and 2010, 72, 1188–1197). We demonstrate the realized improvement obtained in our results by using a suitable example. As an application, we also prove a result for mappings satisfying integral type (ψ,φ)g-generalized weakly contractive conditions. Full article
Open AccessFeature PaperArticle
Continued-Fraction Expansion of Transport Coefficients with Fractional Calculus
Mathematics 2016, 4(4), 67; doi:10.3390/math4040067 (registering DOI) -
Abstract
The main objective of this paper is to generalize the Extended Irreversible Thermodynamics in order to include the anomalous transport in systems in non-equilibrium conditions. Considering the generalized entropy, the corresponding flux and entropy production, and using the time fractional derivative, we have
[...] Read more.
The main objective of this paper is to generalize the Extended Irreversible Thermodynamics in order to include the anomalous transport in systems in non-equilibrium conditions. Considering the generalized entropy, the corresponding flux and entropy production, and using the time fractional derivative, we have derived a space-time generalized telegrapher’s equation with a fractional nested hierarchy which can be used in separate developments for the mass transport, for the heat conduction and for the flux of ions. We have obtained a new formalism which includes the contribution of fast of higher-order fluxes in the mesoscopic and inhomogeneous media. The results take the form of continued fraction expansions. The balance equations are used in a scheme of continued fractions, and they appear as a closure condition. In this way the transport equation and its corresponding wave number-frequency relation are obtained, both of them in the mathematical structure of the continued fraction scheme. Numerical examples are included to show the dispersive nature of the solutions, and the generalized fractional transport equation in the same mathematical form, which can be applied to the mass transport, the heat conduction and the flux of ions. Full article
Figures

Figure 1

Open AccessArticle
Best Proximity Point Theorems in Partially Ordered b-Quasi Metric Spaces
Mathematics 2016, 4(4), 66; doi:10.3390/math4040066 -
Abstract In this paper, we introduce the notion of an ordered rational proximal contraction in partially ordered b-quasi metric spaces. We shall then prove some best proximity point theorems in partially ordered b-quasi metric spaces. Full article
Open AccessArticle
Some Determinantal Expressions and Recurrence Relations of the Bernoulli Polynomials
Mathematics 2016, 4(4), 65; doi:10.3390/math4040065 -
Abstract
In the paper, the authors recall some known determinantal expressions in terms of the Hessenberg determinants for the Bernoulli numbers and polynomials, find alternative determinantal expressions in terms of the Hessenberg determinants for the Bernoulli numbers and polynomials, and present several new recurrence
[...] Read more.
In the paper, the authors recall some known determinantal expressions in terms of the Hessenberg determinants for the Bernoulli numbers and polynomials, find alternative determinantal expressions in terms of the Hessenberg determinants for the Bernoulli numbers and polynomials, and present several new recurrence relations for the Bernoulli numbers and polynomials. Full article
Figures

Open AccessArticle
Viability for Semilinear Differential Equations with Infinite Delay
Mathematics 2016, 4(4), 64; doi:10.3390/math4040064 -
Abstract
Let X be a Banach space, A:D(A)XX the generator of a compact C0-semigroup S(t):XX,t0, D(·):(
[...] Read more.
Let X be a Banach space, A:D(A)XX the generator of a compact C0-semigroup S(t):XX,t0, D(·):(a,b)2X a tube in X, and f:(a,b)×BX a function of Carathéodory type. The main result of this paper is that a necessary and sufficient condition in order that D(·) be viable of the semilinear differential equation with infinite delay u(t)=Au(t)+f(t,ut),t[t0,t0+T],ut0=ϕB is the tangency condition lim infh0h1d(S(h)v(0)+hf(t,v);D(t+h))=0 for almost every t(a,b) and every vB with v(0)D(t). Full article
Open AccessArticle
Positive Solutions for Nonlinear Caputo Type Fractional q-Difference Equations with Integral Boundary Conditions
Mathematics 2016, 4(4), 63; doi:10.3390/math4040063 -
Abstract In this paper, by applying some well-known fixed point theorems, we investigate the existence of positive solutions for a class of nonlinear Caputo type fractional q-difference equations with integral boundary conditions. Finally, some interesting examples are presented to illustrate the main results. Full article
Open AccessArticle
A Study of Controllability of Impulsive Neutral Evolution Integro-Differential Equations with State-Dependent Delay in Banach Spaces
Mathematics 2016, 4(4), 60; doi:10.3390/math4040060 -
Abstract
In this paper, we study the problem of controllability of impulsive neutral evolution integro-differential equations with state-dependent delay in Banach spaces. The main results are completely new and are obtained by using Sadovskii’s fixed point theorem, theory of resolvent operators, and an abstract
[...] Read more.
In this paper, we study the problem of controllability of impulsive neutral evolution integro-differential equations with state-dependent delay in Banach spaces. The main results are completely new and are obtained by using Sadovskii’s fixed point theorem, theory of resolvent operators, and an abstract phase space. An example is given to illustrate the theory. Full article
Open AccessArticle
Nuclear Space Facts, Strange and Plain
Mathematics 2016, 4(4), 61; doi:10.3390/math4040061 -
Abstract We present a scenic but practical guide through nuclear spaces and their dual spaces, examining useful, unexpected, and often unfamiliar results both for nuclear spaces and their strong and weak duals. Full article
Open AccessArticle
Interval Type 2 Fuzzy Set in Fuzzy Shortest Path Problem
Mathematics 2016, 4(4), 62; doi:10.3390/math4040062 -
Abstract
The shortest path problem (SPP) is one of the most important combinatorial optimization problems in graph theory due to its various applications. The uncertainty existing in the real world problems makes it difficult to determine the arc lengths exactly. The fuzzy set is
[...] Read more.
The shortest path problem (SPP) is one of the most important combinatorial optimization problems in graph theory due to its various applications. The uncertainty existing in the real world problems makes it difficult to determine the arc lengths exactly. The fuzzy set is one of the popular tools to represent and handle uncertainty in information due to incompleteness or inexactness. In most cases, the SPP in fuzzy graph, called the fuzzy shortest path problem (FSPP) uses type-1 fuzzy set (T1FS) as arc length. Uncertainty in the evaluation of membership degrees due to inexactness of human perception is not considered in T1FS. An interval type-2 fuzzy set (IT2FS) is able to tackle this uncertainty. In this paper, we use IT2FSs to represent the arc lengths of a fuzzy graph for FSPP. We call this problem an interval type-2 fuzzy shortest path problem (IT2FSPP). We describe the utility of IT2FSs as arc lengths and its application in different real world shortest path problems. Here, we propose an algorithm for IT2FSPP. In the proposed algorithm, we incorporate the uncertainty in Dijkstra’s algorithm for SPP using IT2FS as arc length. The path algebra corresponding to the proposed algorithm and the generalized algorithm based on the path algebra are also presented here. Numerical examples are used to illustrate the effectiveness of the proposed approach. Full article
Figures

Figure 1

Open AccessArticle
Effective Potential from the Generalized Time-Dependent Schrödinger Equation
Mathematics 2016, 4(4), 59; doi:10.3390/math4040059 -
Abstract
We analyze the generalized time-dependent Schrödinger equation for the force free case, as a generalization, for example, of the standard time-dependent Schrödinger equation, time fractional Schrödinger equation, distributed order time fractional Schrödinger equation, and tempered in time Schrödinger equation. We relate it to
[...] Read more.
We analyze the generalized time-dependent Schrödinger equation for the force free case, as a generalization, for example, of the standard time-dependent Schrödinger equation, time fractional Schrödinger equation, distributed order time fractional Schrödinger equation, and tempered in time Schrödinger equation. We relate it to the corresponding standard Schrödinger equation with effective potential. The general form of the effective potential that leads to a standard time-dependent Schrodinger equation with the same solution as the generalized one is derived explicitly. Further, effective potentials for several special cases, such as Dirac delta, power-law, Mittag-Leffler and truncated power-law memory kernels, are expressed in terms of the Mittag-Leffler functions. Such complex potentials have been used in the transport simulations in quantum dots, and in simulation of resonant tunneling diode. Full article
Figures

Figure 1

Open AccessFeature PaperArticle
Finite-Time Stabilization of Homogeneous Non-Lipschitz Systems
Mathematics 2016, 4(4), 58; doi:10.3390/math4040058 -
Abstract
This paper focuses on the problem of finite-time stabilization of homogeneous, non-Lipschitz systems with dilations. A key contribution of this paper is the design of a virtual recursive Hölder, non-Lipschitz state feedback, which renders the non-Lipschitz systems in the special case dominated
[...] Read more.
This paper focuses on the problem of finite-time stabilization of homogeneous, non-Lipschitz systems with dilations. A key contribution of this paper is the design of a virtual recursive Hölder, non-Lipschitz state feedback, which renders the non-Lipschitz systems in the special case dominated by a lower-triangular nonlinear system finite-time stable. The proof is based on a recursive design algorithm developed recently to construct the virtual Hölder continuous, finite-time stabilizer as well as a C1 positive definite and proper Lyapunov function that guarantees finite-time stability of the non-Lipschitz nonlinear systems. Full article
Figures

Open AccessArticle
Analysis of Dynamics in Multiphysics Modelling of Active Faults
Mathematics 2016, 4(4), 57; doi:10.3390/math4040057 -
Abstract
Instabilities in Geomechanics appear on multiple scales involving multiple physical processes. They appear often as planar features of localised deformation (faults), which can be relatively stable creep or display rich dynamics, sometimes culminating in earthquakes. To study those features, we propose a fundamental
[...] Read more.
Instabilities in Geomechanics appear on multiple scales involving multiple physical processes. They appear often as planar features of localised deformation (faults), which can be relatively stable creep or display rich dynamics, sometimes culminating in earthquakes. To study those features, we propose a fundamental physics-based approach that overcomes the current limitations of statistical rule-based methods and allows a physical understanding of the nucleation and temporal evolution of such faults. In particular, we formulate the coupling between temperature and pressure evolution in the faults through their multiphysics energetic process(es). We analyse their multiple steady states using numerical continuation methods and characterise their transient dynamics by studying the time-dependent problem near the critical Hopf points. We find that the global system can be characterised by a homoclinic bifurcation that depends on the two main dimensionless groups of the underlying physical system. The Gruntfest number determines the onset of the localisation phenomenon, while the dynamics are mainly controlled by the Lewis number, which is the ratio of energy diffusion over mass diffusion. Here, we show that the Lewis number is the critical parameter for dynamics of the system as it controls the time evolution of the system for a given energy supply (Gruntfest number). Full article
Figures

Figure 1

Open AccessArticle
Quantum Measurements, Stochastic Networks, the Uncertainty Principle, and the Not So Strange “Weak Values”
Mathematics 2016, 4(3), 56; doi:10.3390/math4030056 -
Abstract
Suppose we make a series of measurements on a chosen quantum system. The outcomes of the measurements form a sequence of random events, which occur in a particular order. The system, together with a meter or meters, can be seen as following the
[...] Read more.
Suppose we make a series of measurements on a chosen quantum system. The outcomes of the measurements form a sequence of random events, which occur in a particular order. The system, together with a meter or meters, can be seen as following the paths of a stochastic network connecting all possible outcomes. The paths are shaped from the virtual paths of the system, and the corresponding probabilities are determined by the measuring devices employed. If the measurements are highly accurate, the virtual paths become “real”, and the mean values of a quantity (a functional) are directly related to the frequencies with which the paths are traveled. If the measurements are highly inaccurate, the mean (weak) values are expressed in terms of the relative probabilities’ amplitudes. For pre- and post-selected systems they are bound to take arbitrary values, depending on the chosen transition. This is a direct consequence of the uncertainty principle, which forbids one from distinguishing between interfering alternatives, while leaving the interference between them intact. Full article
Figures

Open AccessArticle
Amenability Modulo an Ideal of Second Duals of Semigroup Algebras
Mathematics 2016, 4(3), 55; doi:10.3390/math4030055 -
Abstract
The aim of this paper is to investigate the amenability modulo, an ideal of Banach algebras with emphasis on applications to homological algebras. In doing so, we show that amenability modulo, an ideal of A** implies amenability modulo, an ideal of
[...] Read more.
The aim of this paper is to investigate the amenability modulo, an ideal of Banach algebras with emphasis on applications to homological algebras. In doing so, we show that amenability modulo, an ideal of A** implies amenability modulo, an ideal of A. Finally, for a large class of semigroups, we prove that l1(S)** is amenable modulo Iσ** if and only if an appropriate group homomorphic image of S is finite, where Iσ is the closed ideal induced by the least group congruence σ. Full article
Open AccessArticle
Quantum Incompatibility in Collective Measurements
Mathematics 2016, 4(3), 54; doi:10.3390/math4030054 -
Abstract
We study the compatibility (or joint measurability) of quantum observables in a setting where the experimenter has access to multiple copies of a given quantum system, rather than performing the experiments on each individual copy separately. We introduce the index of incompatibility as
[...] Read more.
We study the compatibility (or joint measurability) of quantum observables in a setting where the experimenter has access to multiple copies of a given quantum system, rather than performing the experiments on each individual copy separately. We introduce the index of incompatibility as a quantifier of incompatibility in this multi-copy setting, as well as the notion of the compatibility stack representing various compatibility relations present in a given set of observables. We then prove a general structure theorem for multi-copy joint observables and use it to prove that all abstract compatibility stacks with three vertices have realizations in terms of quantum observables. Full article
Figures

Open AccessArticle
Solution for Rational Systems of Difference Equations of Order Three
Mathematics 2016, 4(3), 53; doi:10.3390/math4030053 -
Abstract
In this paper, we consider the solution and periodicity of the following systems of difference equations: xn+1=yn21+yn2xn1yn, yn+1
[...] Read more.
In this paper, we consider the solution and periodicity of the following systems of difference equations: xn+1=yn21+yn2xn1yn, yn+1=xn2±1±xn2yn1xn, with initial conditions x2,x1,x0,y2,y1,andy0are nonzero real numbers. Full article
Figures

Figure 1

Open AccessArticle
Role of Measurement Incompatibility and Uncertainty in Determining Nonlocality
Mathematics 2016, 4(3), 52; doi:10.3390/math4030052 -
Abstract
It has been recently shown that measurement incompatibility and fine grained uncertainty—a particular form of preparation uncertainty relation—are deeply related to the nonlocal feature of quantum mechanics. In particular, the degree of measurement incompatibility in a no-signaling theory determines the bound on the
[...] Read more.
It has been recently shown that measurement incompatibility and fine grained uncertainty—a particular form of preparation uncertainty relation—are deeply related to the nonlocal feature of quantum mechanics. In particular, the degree of measurement incompatibility in a no-signaling theory determines the bound on the violation of Bell-CHSH inequality, and a similar role is also played by (fine-grained) uncertainty along with steering, a subtle non-local phenomenon. We review these connections, along with comments on the difference in the roles played by measurement incompatibility and uncertainty. We also discuss why the toy model of Spekkens (Phys. Rev. A 75, 032110 (2007)) shows no nonlocal feature even though steering is present in this theory. Full article
Open AccessArticle
A New Approach to Study Fixed Point of Multivalued Mappings in Modular Metric Spaces and Applications
Mathematics 2016, 4(3), 51; doi:10.3390/math4030051 -
Abstract
The purpose of this paper is to present a new approach to study the existence of fixed points for multivalued F-contraction in the setting of modular metric spaces. In establishing this connection, we introduce the notion of multivalued F-contraction and prove
[...] Read more.
The purpose of this paper is to present a new approach to study the existence of fixed points for multivalued F-contraction in the setting of modular metric spaces. In establishing this connection, we introduce the notion of multivalued F-contraction and prove corresponding fixed point theorems in complete modular metric space with some specific assumption on the modular. Then we apply our results to establish the existence of solutions for a certain type of non-linear integral equations. Full article
Open AccessArticle
Complete Classification of Cylindrically Symmetric Static Spacetimes and the Corresponding Conservation Laws
Mathematics 2016, 4(3), 50; doi:10.3390/math4030050 -
Abstract
In this paper we find the Noether symmetries of the Lagrangian of cylindrically symmetric static spacetimes. Using this approach we recover all cylindrically symmetric static spacetimes appeared in the classification by isometries and homotheties. We give different classes of cylindrically symmetric static spacetimes
[...] Read more.
In this paper we find the Noether symmetries of the Lagrangian of cylindrically symmetric static spacetimes. Using this approach we recover all cylindrically symmetric static spacetimes appeared in the classification by isometries and homotheties. We give different classes of cylindrically symmetric static spacetimes along with the Noether symmetries of the corresponding Lagrangians and conservation laws. Full article