Related papers: CZF and Second Order Arithmetic
This article deals with the second order linear differential equations with entire coefficients. We prove some results involving conditions on coefficients so that the order of growth of every non-trivial solution is infinite.
A new problem is studied, the concept of exactness of a second order nonlinear ordinary differential equations is established. A method is constructed to reduce this class into a first order equations. If the second order equation is not…
In this paper, we introduce a new method for calculating fractional integrals and differentials. The method involves an equation that we have obtained from infinite applied integration by parts. The equation works for special class of…
A simple recurrence relation for the even order moments of the Fabius function is proven. Also, a very similar formula for the odd order moments in terms of the even order moments is proved. The matrices corresponding to these formulas (and…
Possibilistic logic, an extension of first-order logic, deals with uncertainty that can be estimated in terms of possibility and necessity measures. Syntactically, this means that a first-order formula is equipped with a possibility degree…
We provide linearizability criteria for a class of systems of third-order ordinary differential equations (ODEs) that is cubically semi-linear in the first derivative, by differentiating a system of second-order quadratically semi-linear…
A class of high-order numerical algorithms for Riesz derivatives are established through constructing new generating functions. Such new high-order formulas can be regarded as the modification of the classical (or shifted) Lubich's…
The aim of this work is to determine the quasi-filiform Lie algebras that are completable. We further prove that for any positive integer $m$ there exists a complete Lie algebra, the second cohomology group of which has dimension greater or…
The high-order numerical analysis for fractional Laplacian via the Riesz fractional derivative, under the low regularity solution, has presented significant challenges in the past decades. To fill in this gap, we design a grid mapping…
Reverse mathematics studies which subsystems of second order arithmetic are equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main philosophical application of reverse mathematics proposed thus far is foundational…
We describe a simple method that produces automatically closed forms for the coefficients of continued fractions expansions of a large number of special functions. The function is specified by a non-linear differential equation and initial…
In this work at first the relation the Mittag-Lefler function to the exponential is given. The results are applied to the construction of the solution of Cauchy problem for ordinary linear operator differential equations with constant…
Cirquent calculus is a novel proof theory permitting component-sharing between logical expressions. Using it, the predecessor article "Elementary-base cirquent calculus I: Parallel and choice connectives" built the sound and complete…
The Arithmetic Fourier Transform is a numerical formulation for computing Fourier series and Taylor series coefficients. It competes with the Fast Fourier Transform in terms of speed and efficiency, requiring only addition operations and…
Parafermions of order two and three are shown to be the fundamental tool to construct superspaces related to cubic and quartic extensions of the Poincar\'e algebra. The corresponding superfields are constructed, and some of their main…
Using the theorem of residues Chiarella and Reichel derived a series that can be represented in terms of the complex error function (CEF). Here we show a simple derivation of this CEF series by Fourier expansion of the exponential function…
It is proven that second-order vectorial nonlinear differential systems y''=f(y) , possess a continuum of symmetric solutions. They are shown to possess a continuum of even solutions. If f(y) is an odd function of y , then y''=f(y) is shown…
We formulate a well-posedness and approximation theory for a class of generalised saddle point problems. In this way we develop an approach to a class of fourth order elliptic partial differential equations using the idea of splitting into…
A generalization of exterior calculus is considered by allowing the partial derivatives in the exterior derivative to assume fractional orders. That is, a fractional exterior derivative is defined. This is found to generate new vector…
We give a formula for $f(\eta)$, where $f :\mathbb C \to \mathbb C$ is a continuously differentiable function satisfying $f(\bar z) = \overline{f(z)}$, and $\eta$ is a dual quaternion. Note this formula is straightforward or well known if…