ILC for Non-Linear Hyperbolic Partial Difference Systems

This paper discusses the iterative learning control problem for a class of non-linear partial difference system hyperbolic types. The proposed algorithm is the PD-type iterative learning control algorithm with initial state learning. Initially, we introduced the hyperbolic system and the control law used. Subsequently, we presented some dilemmas. Then, sufficient conditions for monotone convergence of the tracking error are established under the convenient assumption. Furthermore, we give a detailed convergence analysis based on previously given lemmas and the discrete Gronwall’s inequality for the system. Finally, we illustrate the effectiveness of the method using a numerical example.

Integration

The concept of an integral on a general measure space is developed from first principles. Riemann–Stieltjes and Lebesgue–Stieltjes integrals are defined. The monotone convergence theorem, fundamental properties of integrals, and related inequalities are covered. Other topics include product measure and multiple integrals, Fubini’s theorem, signed measures, and the Radon–Nikodym theorem.

On Fuzzy Henstock-Kurzweil-Stieltjes-♦-Double Integral on Time scales

We introduce and study some properties of fuzzy Henstock-Kurzweil-Stietljes-$ \Diamond $-double integral on time scales. Also, we state and prove the uniform convergence theorem, monotone convergence theorem and dominated convergence theorem for the fuzzy Henstock-Kurzweil Stieltjes-$\Diamond$-double integrable functions on time scales.

Formalization of the Equivalence among Completeness Theorems of Real Number in Coq

The formalization of mathematics based on theorem prover becomes increasingly important in mathematics and computer science, and, particularly, formalizing fundamental mathematical theories becomes especially essential. In this paper, we describe the formalization in Coq of eight very representative completeness theorems of real numbers. These theorems include the Dedekind fundamental theorem, Supremum theorem, Monotone convergence theorem, Nested interval theorem, Finite cover theorem, Accumulation point theorem, Sequential compactness theorem, and Cauchy completeness theorem. We formalize the real number theory strictly following Landau’s Foundations of Analysis where the Dedekind fundamental theorem can be proved. We extend this system and complete the related notions and properties for finiteness and sequence. We prove these theorems in turn from Dedekind fundamental theorem, and finally prove the Dedekind fundamental theorem by the Cauchy completeness theorem. The full details of formal proof are checked by the proof assistant Coq, which embodies the characteristics of reliability and interactivity. This work can lay the foundation for many applications, especially in calculus and topology.

Integration with respect to deficient topological measures on locally compact spaces

Topological measures and deficient topological measures generalize Borel measures and correspond to certain non-linear functionals. We study integration with respect to deficient topological measures on locally compact spaces. Such an integration over sets yields a new deficient topological measure if we integrate a nonnegative continuous vanishing at infinity function; and it produces a signed deficient topological measure if we integrate a continuous function on a compact space. We present many properties of these resulting deficient topological measures and of signed deficient topological measures. In particular, they are absolutely continuous with respect to the original deficient topological measure, and their corresponding non-linear functionals are Lipschitz continuous. Deficient topological measures obtained by integration over sets can also be obtained from non-linear functionals. We show that for a deficient topological measure μ that assumes finitely many values, there is a function f such that $\begin{array}{} \int\limits_X \end{array}$f dμ = 0, but $\begin{array}{} \int\limits_X \end{array}$ (–f) dμ ≠ 0. We present different criteria for $\begin{array}{} \int\limits_X \end{array}$f dμ = 0. We also prove some convergence results, including a Monotone convergence theorem.