Related papers: A Classification of First Order Differential Equat…
We introduce the notion of differential largeness for fields equipped with several commuting derivations (as an analogue to largeness of fields). We lay out the foundations of this new class of "tame" differential fields. We state several…
The systematic method for the conversion of first class constraints to the equivalent set of Abelian one based on the Dirac equivalence transformation is developed. The representation for the corresponding matrix performing this…
We introduce a discrete-time fractional calculus of variations. First and second order necessary optimality conditions are established. Examples illustrating the use of the new Euler-Lagrange and Legendre type conditions are given. They…
Inspired by the works in [1] and [8] we introduce what we call $k$-th-order fluctuation fields and study their scaling limits. This construction is done in the context of particle systems with the property of orthogonal self-duality. This…
By using the theory of first-order differential subordination for functions with fixed initial coefficient, several well-known results for subclasses of univalent functions are improved by restricting the functions to have fixed second…
We show that any second order linear ordinary diffrential equation with constant coefficients (including the damped and undumped harmonic oscillator equation) admits an exact discretization, i.e., there exists a difference equation whose…
System of semilinear ordinary differential equation and fractional differential equation of distributed order is investigated and solved in a mild and classical sense. Such a system arises as a distributed derivative model of…
This paper provides a summary of the fractal calculus framework. It presents higher-order homogeneous and nonhomogeneous linear fractal differential equations with $\alpha$-order. Solutions for these equations with constant coefficients are…
This paper discusses the formalization of proofs "by diagram chasing", a standard technique for proving properties in abelian categories. We discuss how the essence of diagram chases can be captured by a simple many-sorted first-order…
In this article we present logarithmic methods for solving first order and second order ordinary differential equations. The essence of the method is that we apply the basic properties derivatives and logarithms to reduce the number of…
By means of classical fixed point index, we prove new results on the existence, non-existence, localization and multiplicity of nontrivial solutions for systems of Hammerstein integral equations where the nonlinearities are allowed to…
We provide Sobolev estimates for solutions of first order Hamilton-Jacobi equations with Hamiltonians which are superlinear in the gradient variable. We also show that the solutions are differentiable almost everywhere. The proof relies on…
We begin a systematic development of structure theory for a first order theory, which is stable over a monadic predicate. We show that stability over a predicate implies quantifier free definability of types over stable sets, introduce an…
We use the method of synthetic differential geometry to revisit the geometric reasoning employed by Lie, Klein and others in their study of partial differential equations.
It is classical that univariate algebraic functions satisfy linear differential equations with polynomial coefficients. Linear recurrences follow for the coefficients of their power series expansions. We show that the linear differential…
In the book, I considered differential equations of order $1$ over Banach $D$\Hyph algebra: differential equation solved with respect to the derivative; exact differential equation; linear homogeneous equation. I considered examples of…
We introduce and study a natural class of fields in which certain first-order definable sets are existentially definable, and characterise this class by a number of equivalent conditions. We show that global fields belong to this class, and…
A theorem providing necessary conditions enabling one to map a nonlinear system of first order partial differential equations to an equivalent first order autonomous and homogeneous quasilinear system is given. The reduction to quasilinear…
Given a linear ordinary differential equation (ODE) on $\RE$ and a set of interface conditions at a finite set of points $I \subset \RE$, we consider the problem of determining another differential equation whose {\it global} solutions…
In the present paper by the Fourier transform we show that every linear differential equations of $n$-th order has a solution in $L^1(\Bbb{R})$ which is infinitely differentiable in $\Bbb{R} \setminus \{0\}$. Moreover the Hyers-Ulam…