Applying the resolution–scale relativity principle to develop a mechanics of non-differentiable dynamical paths, we find that, in one dimension, stationary motion corresponds to an Itô process driven by the solutions of a Riccati equation. We verify that the corresponding Fokker–Planck equation is solved for a probability density corresponding to the squared modulus of the solution of the Schrödinger equation for the same problem. Inspired by the treatment of the one-dimensional case, we identify a generalization to time (...) dependent problems in any number of dimensions. The Itô process is then driven by a function which is identified as establishing the link between non-differentiable dynamics and standard quantum mechanics. This is the basis for the scale relativistic interpretation of standard quantum mechanics and, in the case of applications to chaotic systems, it leads us to identify quantum-like states as characterizing the entire system rather than the motion of its individual constituents. (shrink)

This book provides a unique survey displaying the power of Riccati equations to describe reversible and irreversible processes in physics and, in particular, quantum physics. Quantum mechanics is supposedly linear, invariant under time-reversal, conserving energy and, in contrast to classical theories, essentially based on the use of complex quantities. However, on a macroscopic level, processes apparently obey nonlinear irreversible evolution equations and dissipate energy. The Riccati equation, a nonlinear equation that can be linearized, has the potential (...) to link these two worlds when applied to complex quantities. The nonlinearity can provide information about the phase-amplitude correlations of the complex quantities that cannot be obtained from the linearized form. As revealed in this wide ranging treatment, Riccati equations can also be found in many diverse fields of physics from Bose-Einstein-condensates to cosmology. The book will appeal to graduate students and theoretical physicists interested in a consistent mathematical description of physical laws. (shrink)

It has been known for long time that most of the existing cosmology models have singularity problem. Cosmological singularity has been a consequence of excessive symmetry of flow, such as “Hubble’s law”. More realistic one is suggested, based on Newtonian cosmology model but here we include the vertical-rotational effect of the whole Universe. We review a Riccati-type equation obtained by Nurgaliev, and solve the equation numerically with Mathematica. It is our hope that the new proposed method can (...) be verified with observation data. (shrink)

Traveling-wave solutions of the standard and compound form of Korteweg–de Vries–Burgers equations are found using factorizations of the corresponding reduced ordinary differential equations. The procedure leads to solutions of Bernoulli equations of non-linearity 3/2 and 2 (Riccati), respectively. Introducing the initial conditions through an imaginary phase in the traveling coordinate, we obtain all the solutions previously reported, some of them being corrected here, and showing, at the same time, the presence of interesting details of these solitary waves that have (...) been overlooked before this investigation. (shrink)

In a recent paper in Astrophysics and Space Science Vol. 364 no. 11 (2019), S. Ershkov & D. Leschenko presented a new solving procedure for Euler-Poisson equations for solving momentum equations of the CR3BP near libration points for uniformly rotating planets having inclined orbits in the solar system with respect to the orbit of the Earth. The system of equations of the CR3BP has been explored with regard to the existence of an analytic way of presentation of the approximated solution (...) in the vicinity of libration points. A new and elegant ansatz has been suggested in their publication whereby, in solving, the momentum equation is reduced to a system two coupled Riccati ODEs. In this paper, we presented a numerical solution of such coupled Riccati ODEs using Mathematica software package. (shrink)

This paper is concerned with the optimal output feedback control problem for networked control systems with Markovian packet losses. In this paper, the packet losses occur both between the sensor and controller and between the controller and actuator. Moreover, the packet loss channels are described with two-state Markov chains. Since the precise state information cannot be obtained, thus an optimal recursive estimator is designed. Furthermore, by adopting the dynamic programming approach, we derive the optimal output feedback control, which is based (...) on the solution to a given modified Riccati equation. The obtained results can be seen as an important implementation of the control theory for NCSs with unreliable communication channels. (shrink)

This paper investigates robust formation-containment control of discrete-time multiagent systems with exogenous disturbances. Based on the discrete-time disturbance observer method, both state feedback and output feedback control protocols are proposed. Formation-containment conditions are obtained and convergency analysis is given according to Lyapunov stability theory. And, the corresponding control gains are obtained by solving some discrete-time algebraic Riccati equations. Numerical simulations are presented to illustrate the theoretical findings.

Wireless sensor networks have been spawning many new applications where cooperative state estimation is essential. In this paper, the problem of performing cooperative state estimation for a discrete linear stochastic dynamical system over wireless sensor networks with a limitation on the sampling and communication rate is considered, where distributed sensors cooperatively sense a linear dynamical process and transmit observations each other via a common wireless channel. Firstly, a novel dynamic variance-based triggering scheme is designed to schedule the sampling of each (...) sensor and the transmission of its local measurement. In contrast to the existing static variance-based triggering scheme, the newly proposed DVTS can lead to the larger average intertrigger time interval and thus fewer total triggering number with almost approximate estimation accuracy. Second, a new Riccati equation of the prediction variance iteration for each estimator is obtained, which switches dynamically among the modes related to the variance of the previous step and the recently received measurements from other sensors. Furthermore, the stability issue is also mainly investigated. Finally, simulation results show the effectiveness and advantage of the proposed strategy. (shrink)

Starting from the quantization of the action variable as a basic principle, I show that this leads one to the probabilistic description of physical quantities as random variables, which satisfy the uncertainty relation. Using such variables I show that the ensemble-averaged action variable in the quantum domain can be presented as a contour integral of a “quantum momentum function,” pq(z), which is assumed to be analytic. The condition that all bound states pq(z) must yield the quantized values of the action (...) variable requires the equation for pq(z) to be the Riccati differential equation, which can be converted to the Schrödinger equation for the wave function. The rule for probabilities in quantum mechanics follows from the physical meaning of pq(z) and its connection with the probability density. The discussion involves the correspondence principle and the assumption that the spacetime symmetries known in classical physics are valid in the quantum domain. (shrink)

This paper provides a philosophical analysis of the Price equation and its role in evolutionary theory. Traditional models in population genetics postulate simplifying assumptions in order to make the models mathematically tractable. On the contrary, the Price equation implies a very specific way of theorizing, starting with assumptions that we think are true and then deriving from them the mathematical rules of the system. I argue that the Price equation is a generalization-sketch, whose main purpose is to (...) provide a unifying framework for researchers, helping them to develop specific models. The Price equation plays this role because, like other scientific principles, shows features as abstractness, unification and invariance. By underwriting this special role for the Price equation some recent disputes about it could be diverted. (shrink)

To find exact traveling wave solutions to nonlinear evolution equations, we propose a method combining symmetry properties with trial polynomial solution to nonlinear ordinary differential equations. By the method, we obtain some exact traveling wave solutions to the Burgers-KdV equations and a kind of reaction-diffusion equations with high order nonlinear terms. As a result, we prove that the Burgers-KdV equation does not have the real solution in the form a 0+a 1tan ξ+a 2tan 2 ξ, which indicates that some (...) types of the solutions to the Burgers-KdV equation are very limited, that is, there exists no new solution to the Burgers-KdV equation if the degree of the corresponding polynomial increases. For the second equation, we obtain some new solutions. In particular, some interesting structures in those solutions maybe imply some physical meanings. Finally, we discuss some classifications of the reaction-diffusion equations which can be solved by trial equation method. (shrink)

Hall [(2007), Philosophical Studies, 132, 109–136] offers a critique of structural equations accounts of actual causation, and then offers a new theory of his own. In this paper, I respond to Hall’s critique, and present some counterexamples to his new theory. These counterexamples are then diagnosed.

We consider the Dirac equation in 3+1 dimensions with spherical symmetry and coupling to 1/r singular vector potential. An approximate analytic solution for all angular momenta is obtained. The approximation is made for the 1/r orbital term in the Dirac equation itself not for the traditional and more singular 1/r 2 term in the resulting second order differential equation. Consequently, the validity of the solution is for a wider energy spectrum. As examples, we consider the Hulthén and (...) Eckart potentials. (shrink)

We introduce and study (weakly) semi-equational theories, generalizing equationality in stable theories (in the sense of Srour) to the NIP context. In particular, we establish a connection to distality via one-sided strong honest definitions; demonstrate that certain trees are semi-equational, while algebraically closed valued fields are not weakly semi-equational; and obtain a general criterion for weak semi-equationality of an expansion of a distal structure by a new predicate.

Structural equations have become increasingly popular in recent years as tools for understanding causation. But standard structural equations approaches to causation face deep problems. The most philosophically interesting of these consists in their failure to incorporate a distinction between default states of an object or system, and deviations therefrom. Exploring this problem, and how to fix it, helps to illuminate the central role this distinction plays in our causal thinking.

This paper provides equational semantics for Dung's argumentation networks. The network nodes get numerical values in [0,1], and are supposed to satisfy certain equations. The solutions to these equations correspond to the ?extensions? of the network. This approach is very general and includes the Caminada labelling as a special case, as well as many other so-called network extensions, support systems, higher level attacks, Boolean networks, dependence on time, and much more. The equational approach has its conceptual roots in the nineteenth (...) century following the algebraic equational approach to logic by George Boole, Louis Couturat, and Ernst Schroeder. (shrink)

In classifications of vocabulary knowledge, vocabulary size and depth have often been separately conceptualized (Schmitt, 2014). Although size and depth are known to be substantially correlated, it is not clear whether they are a single construct or two separate components of vocabulary knowledge (Yanagisawa & Webb, 2020). This issue has not been addressed extensively in the literature and can be better examined using structural equation modeling (SEM), with measurement error modeled separately from the construct of interest. The current study (...) reports on conventional and Bayesian SEM approaches (e.g., Muthén & Asparouhov, 2012) to examine the factor structure of the size and depth of second language vocabulary knowledge of Japanese adult learners of English. A total of 255 participants took five vocabulary tests. One test was designed to measure vocabulary size in terms of the number of words known, while the remaining four were designed to measure vocabulary depth in terms of word association, polysemy, and collocation. All tests used a multiple-choice format. The size test was divided into three subtests according to word frequency. Results from conventional and Bayesian SEM show that a correlated two-factor model of size and depth with three and four indicators, respectively, fit better than a single-factor model of size and depth. In the two-factor model, vocabulary size and depth were strongly correlated (r =.945 for conventional SEM and.943 for Bayesian SEM with cross loadings), but they were distinct. The implications of these findings are discussed. (shrink)

Equational Boolean Relation Theory concerns the Boolean equations between sets and their forward images under multivariate functions. We study a particular instance of equational BRT involving two multivariate functions on the natural numbers and three infinite sets of natural numbers. We prove this instance from certain large cardinal axioms going far beyond the usual axioms of mathematics as formalized by ZFC. We show that this particular instance cannot be proved in ZFC, even with the addition of slightly weaker large cardinal (...) axioms, assuming the latter are consistent. (shrink)

The Einstein equations can be written as Fierz-Pauli equations with self-interaction, $W\gamma _{ik} = - G_{ik} + \tfrac{1}{2}g_{ik} g^{mn} G_{mn} - k(T_{ik} - \tfrac{1}{2}g_{ik} g^{mn} T_{mn} )$ together with the covariant Hilbert-gauge condition, $(\gamma _i^h - \tfrac{1}{2}\delta _i^k g^{mn} \gamma _{mn} )_{;k} = 0$ where W denotes the covariant wave operator and G ik the Einstein tensor of the metric g ik collecting all nonlinear terms of Einstein's equations. As is known, there do not, however, exist plane-wave solutions γ ik(z)with (...) g ik Z,i Z,k=0of these equations such that what is essential to the introduction of gravitons is not satisfied in general relativity. This nonexistence corresponds with the uncertainty relation,Δp(Δg*)2(Δx)3≥h hG/ c 3 concerning the total nonlinear gravitational field g *ik =g k +γ k. (shrink)

In this paper we show that the subvarieties of BL, the variety of BL-algebras, generated by single BL-chains on [0, 1], determined by continous t-norms, are finitely axiomatizable. An algorithm to check the subsethood relation between these subvarieties is provided, as well as another procedure to effectively find the equations of each subvariety. From a logical point of view, the latter corresponds to find the axiomatization of every residuated many-valued calculus defined by a continuous t-norm and its residuum. Actually, the (...) paper proves the results for a more general class than t-norm BL-chains, the so-called regular BL-chains. (shrink)

Given a positive universal formula in the language of residuated lattices, we construct a recursive basis of equations for a variety, such that a subdirectly irreducible residuated lattice is in the variety exactly when it satisfies the positive universal formula. We use this correspondence to prove, among other things, that the join of two finitely based varieties of commutative residuated lattices is also finitely based. This implies that the intersection of two finitely axiomatized substructural logics over FL + is also (...) finitely axiomatized. Finally, we give examples of cases where the join of two varieties is their Cartesian product. (shrink)

A logic is said to admit an equational completeness theorem when it can be interpreted into the equational consequence relative to some class of algebras. We characterize logics admitting an equational completeness theorem that are either locally tabular or have some tautology. In particular, it is shown that a protoalgebraic logic admits an equational completeness theorem precisely when it has two distinct logically equivalent formulas. While the problem of determining whether a logic admits an equational completeness theorem is shown to (...) be decidable both for logics presented by a finite set of finite matrices and for locally tabular logics presented by a finite Hilbert calculus, it becomes undecidable for arbitrary logics presented by finite Hilbert calculi. (shrink)

Barut showed us how it is possible to get a Poincaré invariant n-body equation with a single time. Starting from the Barut equation for n-free particles, we show how to generalize it when they interact through Dirac oscillators with different frequencies. We then particularize the problem to n=2 and consider the particle-antiparticle system whose frequencies are respectively ω and −ω. We indicate how the resulting equation can be solved by perturbation theory, though the spectrum and its comparison (...) with that of the mesons will be given in another publication. (shrink)

A nonlocal equation of motion with damping is derived by means of a Mori-Zwanzig renormalization process. The treatment is analogous to that of Mori in deriving the Langevin equation. For the case of electrodynamics, a local approximation yields the Lorentz equation; a relativistic generalization gives the Lorentz-Dirac equation. No self-acceleration or self-mass difficulties occur in the classical treatment, although runaway solutions are not eliminated. The nonrelativistic quantum case does not exhibit runaways, however, provided one remains within (...) a weak damping approximation. The correspondence limit shows that a classical limit may be taken, again within the same approximation. (shrink)

We study the relative strength of the two axioms Every Pell equation has a nontrivial solution Exponentiation is total over weak fragments, and we show they are equivalent over IE1. We then define the graph of the exponential function using only existentially bounded quantifiers in the language of arithmetic expanded with the symbol #, where # = x[log2y]. We prove the recursion laws of exponentiation in the corresponding fragment.

We show that the equational theory of representable lower semilattice-ordered residuated semigroups is finitely based. We survey related results.

It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic . In the special case of quasivarieties a direct translation of the implicational syntax into the essentially equational one is known . Here we present a similar translation for the general case, showing at the same time that many relationally presented Horn classes are in fact quasivarieties.

Recent accounts of actual causation are stated in terms of extended causal models. These extended causal models contain two elements representing two seemingly distinct modalities. The first element are structural equations which represent the or mechanisms of the model, just as ordinary causal models do. The second element are ranking functions which represent normality or typicality. The aim of this paper is to show that these two modalities can be unified. I do so by formulating two constraints under which extended (...) causal models with their two modalities can be subsumed under so called which contain just one modality. These two constraints will be formally precise versions of Lewissystem of weights or priorities” governing overall similarity between possible worlds. (shrink)

In this paper, it is presented a historical account of the formulation of the quantum relativistic wave equation of an electron – the Dirac equation, issues regarding its interpretation that arose from the very beginning, and the later formulation of this equation in relation to a quantized electron-positron field, which implies a new interpretation. The way in which solutions obtained under each interpretation of the equation relate to one another is also considered for the simple case (...) of hydrogen-like problems. (shrink)

This paper concerns modal logics of provability — Gödel-Löb systemGL and Solovay logicS — the smallest and the greatest representation of arithmetical theories in propositional logic respectively. We prove that the decision problem for admissibility of rules (with or without parameters) inGL andS is decidable. Then we get a positive solution to Friedman''s problem forGL andS. We also show that A. V. Kuznetsov''s problem of the existence of finite basis for admissible rules forGL andS has a negative solution. Afterwards we (...) give an algorithm deciding the solvability of logical equations inGL andS and constructing some solutions. (shrink)

Equational logic for total functions is a remarkable fragment of first-order logic. Rich enough to lend itself to many uses, it is also quite austere. The only predicate symbol is one for a notion of equality, and there are no logical connectives. Proof theory for equational logic therefore is different from proof theory for other logics and, in some respects, more transparent. The question therefore arises to what extent a logic with a similar proof theory can be constructed when expressive (...) power is increased.The increase mainly studied here allows one both to consider arbitrary partial functions and to express the condition that a function be total. A further increase taken into account is equivalent to a change to universal Horn sentences for partial and for total functions.Two ways of increasing expressive power will be considered. In both cases, the notion of equality is modified and nonlogical function symbols are interpreted as ranging over partial functions, instead of ranging only over total functions. In one case, the only further change is the addition of symbols that denote logical functions, such as the binary projection functionAethat maps each pair ‹a0,a1› of elements of a setAinto the elementa0. An addition of this kind results in a language, and also in a system of logic based on this language, which we callequationalIn the other case, instead of adding a symbol forAe, one admits those special universal Horn sentences in which the conditions expressed by the antecedent are, in a sense, pure conditions of existence. Languages and systems of logic that result from a change of this kind will be callednear-equational. According to whether the number of existence conditions that one may express in antecedents is finite or arbitrary, the resulting language and logic shall befiniteorinfinitary, respectively. Each of our finite near-equational languages turns out to be equivalent to one of our equational languages, and vice versa. (shrink)

The remainder equations were introduced by S. O. Hansson. In this paper, we will give an exhaustive characterization of the set of solutions for remainder equations. Moreover, solutions to some unsolved problems proposed by Hansson are reported.

The Price Equation is a powerful, and unusual, tool within evolutionary theory. Because it is completely general in application, and also very nearly free of distorting idealisations, the Price Equation is widely regarded as having exceptional power for understanding evolutionary change. It is no surprise, then, that it has been applied to many different contexts outside of traditional ‘organic’ evolution, including the domain of cultural evolution. In this essay I argue for various ways in which the Price (...) class='Hi'>Equation can mislead about cultural evolutionary theory. They all derive from difficulties that processes of cultural reproduction pose for attempts to distinguish ‘selection’ from ‘transmission’. This does not mean the cultural Price Equation is of no use: its value remains as an analytical tool in those circumstances where a distinction between selection and transmission can be drawn without too much distortion. (shrink)

A first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition. Equationality is a strengthening of stability. We show the equationality of the theory of proper extensions of algebraically closed fields and of the theory of separably closed fields of arbitrary imperfection degree.

The issue of whether formal reasoning or a computing-intensive approach is the most efficient manner to address scientific questions is the subject of some considerable debate and pertains not only to the nature of the phenomena and processes investigated by scientists, but also the nature of the equation and algorithm objects they use. Although algorithms and equations both rely on a common background of mathematical language and logic, they nevertheless possess some critical differences. They do not refer to the (...) same level of symbolization, as equations are based on integrated concepts in a denotational manner, while algorithms specifically break down a complex problem into more elementary operations, in an operational manner. They may therefore be considered as suited to the representation of different phenomena. Specifically, algorithms are by nature sufficient to represent weak emergent phenomena, but not strong emergent patterns, while equations can do both. Finally, the choice between equations and algorithms are by nature sufficient to represent weak emergent phenomena, but not strong emergent patterns, while equations behave conversely. We propose a simplified classification of scientific issues for which both equation- and/or algorithm-based approaches can be envisaged, and discuss their respective pros and cons. We further discuss the complementary and sometimes conflicting uses of equations and algorithms in a context of ecological theory of metapopulation dynamics. We finally propose both conceptual and practical guidelines for choosing between the alternative approaches. (shrink)

Evaluating the current locus equation under ideal conditions identifies important and unexpected parameter dependencies. Locus equation (LE) utility, either as a valid laboratory tool or possible invariant cue, depends on stringent specification of critical parameters and rigorous empirical testing.

Presented is a completeness theorem for fuzzy equational logic with truth values in a complete residuated lattice: Given a fuzzy set Σ of identities and an identity p≈q, the degree to which p≈q syntactically follows (is provable) from Σ equals the degree to which p≈q semantically follows from Σ. Pavelka style generalization of well-known Birkhoff's theorem is therefore established.

Teacher self-efficacy is one of the most critical factors influencing Students’ learning outcomes. Studies have shown that teacher-perceived principal leadership, teacher collaboration, and teaching experience are the critical factor that affects teacher self-efficacy. However, little is known about the mechanisms behind this relationship. This study examined whether teacher collaboration would mediate the relationship between teacher-perceived principal leadership and teacher self-efficacy, and the moderating role of teaching experience in the mediating process. With an analysis of a dataset from 14,121 middle school (...) teachers in China, this study first testified to the positive role that teacher-perceived principal leadership played in teacher self-efficacy. Furthermore, it revealed that teacher collaboration mediates this relationship and the mediated path was moderated by teaching experience. Finally, it also indicated that the threshold of teaching experience linking the teacher-perceived leadership with teacher self-efficacy was approximately in the third year, and their relationship was stronger when teaching experience was below the threshold. This study highlighted the mediating and moderating mechanisms linking the teacher-perceived principal leadership and teacher self-efficacy, which has important theoretical and practical implications for intervention and enhancement of teacher self-efficacy. (shrink)

Some writers have urged that evolutionary theory produces generalizations that hold only ceteris paribus, that is, provided “everything else is equal.” Others have claimed that all laws in the special sciences, or even all laws in science generally, hold only ceteris paribus. However, if we lack a way to determine when everything else really is equal, hedging generalizations with the phrase ceteris paribus renders those generalizations vacuous. I propose a solution to this problem for the case of causal equations from (...) classical population genetics. When coupled with the right proviso, equations in classical population genetics function as strict laws. (shrink)

I give concise derivations of Price's equation and the criteria for kin and group selection, prove that kin and group selection are equivalent, and discuss the controversies about altruism.

In their important work on locus equations, Sussman and his colleagues have helped to simplify the theoretical problem of how human listeners identify place of articulation contrasts among consonants, but much work remains before this problem is solved.