Related papers: Peano's Existence Theorem revisited

After reviewing Bertini's life story, a fascinating drama, we make a critical examination of the old statements and proofs of Bertini's two fundamental theorems, the theorem on variable singular points and the theorem on reducible linear…

The solution of equations from the title is well known since the Euler's time. However, its proof in the case of multiple roots of the characteristic polynomial is rather long and technical and even appearance of the factors $x^m$ looks…

We provide the first two examples of sets of generalized Riemann derivatives of orders up to $n$, $n\geq 2$, whose simultaneous existence for all functions~$f$ at~$x$ is equivalent to the existence of the $n$-th Peano derivative…

We prove a stronger version of a termination theorem appeared in the paper "On existence of log minimal models II". We essentially just get rid of the redundant assumptions so the proof is almost the same as in there. However, we give a…

The basic notions of logic-predicate logic, Peano arithmetic, incompleteness theorems, etc.-have for long been an advanced topic. In the last decades, they became more widely taught, inphilosophy, mathematics, and computer science…

In this paper, we prove several generalizations and applications of a fixed point theorem. This theorem is used to prove the existence and uniqueness of solutions of the linear sparse matrix problem considered.

Two new applications of a technique for spaceability are given in this paper. For the first time this technique is used in the investigation of the algebraic genericity property of the weak form of Peano's theorem on the existence of…

Consider the differential equation $y'=F(x,y)$. We determine the weakest possible upper bound on $|F(x,y)-F(x,z)|$ which guarantees that this equation has for all initial values a unique solution, which exists globally.

In this paper we give simple extension and uniqueness theorems for restricted additive and logarithmic functional equations.

In this paper, we present a new argument (see Lemma 3.4) that allows us to simplify the proof of stability of peakons established in Lin and Liu (2009) (Theorem 1.1).

We discuss two variations of Edwards' duality theorem. More precisely, we prove one version of the theorem for cones not necessarily containing all constant functions. In particular, we allow the functions in the cone to have a non-empty…

We give a new proof of the existence of designs, which is much shorter and gives better bounds.

An error analysis for some Newton-Cotes quadrature formulae is presented. Peano-like error bounds are obtained. They are generally, but not always, better than the usual Peano bounds.

The paper discusses Peano's argument for preserving familiar notations. The argument reinforces the principle of permanence, articulated in the early 19th century by Peacock, then adjusted by Hankel and adopted by many others. Typically…

In this work, we present a result on the local existence and uniqueness of solutions to nonlinear Partial Differential-Algebraic Equations (PDAEs). By applying established theoretical results, we identify the conditions that guarantee the…

Classes of polynomial differential equations of degree n are considered. An explicit upper bound on the size of the coefficients are given which implies that each equation in the class has exactly n complex periodic solutions. In most of…

This work is devoted to the study of first order linear problems with involution and periodic boundary value conditions. We first prove a correspondence between a large set of such problems with different involutions to later focus our…

The goal of this review article is to provide a survey about the foundations of semilinear stochastic partial differential equations. In particular, we provide a detailed study of the concepts of strong, weak and mild solutions, establish…

Based on the MRDP theorem, we introduce the ideas of the proof equation of a formula and universal proof equation of Peano Arithmetic (PA); and then, combining universal proof equation and G\"odel's Second Incompleteness Theorem, it is…

Under a mild Lipschitz condition we prove a theorem on the existence and uniqueness of global solutions to delay fractional differential equations. Then, we establish a result on the exponential boundedness for these solutions.