In contrast to the solutions of applied mathematics to Zeno’s paradoxes, I focus on the concept of motion and show that, by distinguishing two different forms of motion, Zeno’s apparent paradoxes are not paradoxical...In contrast to the solutions of applied mathematics to Zeno’s paradoxes, I focus on the concept of motion and show that, by distinguishing two different forms of motion, Zeno’s apparent paradoxes are not paradoxical at all. Zeno’s paradoxes indirectly prove that distances are not composed of extensionless points and, in general, that a higher dimension cannot be completely composed of lower ones. Conversely, lower dimensions can be understood as special cases of higher dimensions. To illustrate this approach, I consider Cantor’s only apparent proof that the real numbers are uncountable. However, his widely accepted indirect proof has the disadvantage that it depends on whether there is another way to make the real numbers countable. Cantor rightly assumes that there can be no smallest number between 0 and 1, and therefore no beginning of counting. For this reason he arbitrarily lists the real numbers in order to show with his diagonal method that this list can never be complete. The situation is different if we start with the largest number between 0 and 1 (0.999…) and use the method of an inverted triangle, which can be understood as a special fractal form. Here we can construct a vertical and a horizontal stratification with which it is actually possible to construct all real numbers between 0 and 1 without exception. Each column is infinite, and each number in that column is the starting point of a new triangle, while each row is finite. Even in a simple sine curve, we experience finiteness with respect to the y-axis and infinity with respect to the x-axis. The first parts of this article show that Zeno’s assumptions contradict the concept of motion as such, so it is not surprising that this misconstruction leads to contradictions. In the last part, I discuss Cantor’s diagonal method and explain the method of an inverted triangle that is internally structured like a fractal by repeating this inverted triangle at each column. The consequence is that we encounter two very different methods of counting. Vertically it is continuous, horizontally it is discrete. While Frege, Tarski, Cantor, Gödel and the Vienna Circle tried to derive the higher dimension from the lower, a procedure that always leads to new contradictions and antinomies (Tarski, Russell), I take the opposite approach here, in which I derive the lower dimension from the higher. This perspective seems to fail because Tarski, Russell, Wittgenstein, and especially the Vienna Circle have shown that the completeness of the absolute itself is logically contradictory. For this reason, we agree with Hegel in assuming that we can never fully comprehend the Absolute, but only its particular manifestations—otherwise we would be putting ourselves in the place of the Absolute, or even God. Nevertheless, we can understand the Absolute in its particular expressions, as I will show with the modest example of the triangle proof of the combined horizontal and vertical countability of the real numbers, which I developed in rejection of Cantor’s diagonal proof. .展开更多
This paper discusses how the infinite set of real numbers between 0 and 1 could be represented by a countably infinite tree structure which would avoid Cantor’s diagonalization argument that the set of real numbers i...This paper discusses how the infinite set of real numbers between 0 and 1 could be represented by a countably infinite tree structure which would avoid Cantor’s diagonalization argument that the set of real numbers is not countably infinite. Likewise, countably infinite tree structures could represent all real numbers, and all points in any number of dimensions in multi-dimensional spaces. The objective of this paper is not to overturn previous research based on Cantor’s argument, but to suggest that this situation may be treated as a definitional or axiomatic choice. This paper proposes a “non-Cantorian” branch of cardinality theory, representing all these infinities with countably infinite tree structures. This approach would be consistent with the Continuum Hypothesis.展开更多
In this paper, we study the Dirichlet boundary value problem involving the highly degenerate and h-homogeneous quasilinear operator associated with the infinity Laplacian, where the right hand side term is and the bou...In this paper, we study the Dirichlet boundary value problem involving the highly degenerate and h-homogeneous quasilinear operator associated with the infinity Laplacian, where the right hand side term is and the boundary value is . First, we establish the comparison principle by the double variables method based on the viscosity solutions theory for the general equation in. We propose two different conditions for the right hand side and get the comparison principle results under different conditions by making different perturbations. Then, we obtain the uniqueness of the viscosity solution to the Dirichlet boundary value problem by the comparison principle. Moreover, we establish the local Lipschitz continuity of the viscosity solution.展开更多
In this paper, we study the viscosity solutions of the Neumann problem in a bounded C<sup>2</sup> domain Ω, where Δ<sup>N</sup>∞</sub> is called the normalized infinity Laplacian. The ...In this paper, we study the viscosity solutions of the Neumann problem in a bounded C<sup>2</sup> domain Ω, where Δ<sup>N</sup>∞</sub> is called the normalized infinity Laplacian. The normalized infinity Laplacian was first studied by Peres, Shramm, Sheffield and Wilson from the point of randomized theory named tug-of-war, which has wide applications in optimal mass transportation, financial option price problems, digital image processing, physical engineering, etc. We give the Lipschitz regularity of the viscosity solutions of the Neumann problem. The method we adopt is to choose suitable auxiliary functions as barrier functions and combine the perturbation method and viscosity solutions theory. .展开更多
In the 19th century, Cantor created the infinite cardinal number theory based on the “1-1 correspondence” principle. The continuum hypothesis is proposed under this theoretical framework. In 1900, Hilbert made it th...In the 19th century, Cantor created the infinite cardinal number theory based on the “1-1 correspondence” principle. The continuum hypothesis is proposed under this theoretical framework. In 1900, Hilbert made it the first problem in his famous speech on mathematical problems, which shows the importance of this question. We know that the infinitesimal problem triggered the second mathematical crisis in the 17-18th centuries. The Infinity problem is no less important than the infinitesimal problem. In the 21st century, Sergeyev introduced the Grossone method from the principle of “whole is greater than part”, and created another ruler for measuring infinite sets. The discussion in this paper shows that, compared with the cardinal number method, the Grossone method enables infinity calculation to achieve a leap from qualitative calculation to quantitative calculation. According to Grossone theory, there is neither the largest infinity and infinitesimal, nor the smallest infinity and infinitesimal. Hilbert’s first problem was caused by the immaturity of the infinity theory.展开更多
Refs 1 and 2 provide the definition of the concepts of‘potential infinity’(poi)and actual infinity(aci);Ref 3 discusses and verifies that poi and aci are a pair of contradictory opposites without intermediate(p,-p)....Refs 1 and 2 provide the definition of the concepts of‘potential infinity’(poi)and actual infinity(aci);Ref 3 discusses and verifies that poi and aci are a pair of contradictory opposites without intermediate(p,-p).The second part of this paper,i.e.,§2,further discusses the manners in which a variable x approaches infinitely to its limit x0 using the poi and aci methods and concludes that,in any system compatible with both poi and aci, the two approaching manners are also a pair of contradictory opposites without intermediate (A,-A).Finally,on the basis of this conclusion,we reexamine the fundamental question of Leibniz’s Secant and Tangent Lines in calculus and the limit theory and offer our analysis and raise new questions.展开更多
From the perspective of potential infinity (poi) and actual infinity, Ref [4] has confirmed that poi and aci are in 'unmediated opposition' (P,﹁P ) whether in ZFC or not; it has further been proved that the m...From the perspective of potential infinity (poi) and actual infinity, Ref [4] has confirmed that poi and aci are in 'unmediated opposition' (P,﹁P ) whether in ZFC or not; it has further been proved that the manners in which a variable infinitely approaches its limit also satisfy the law of intermediate exclusion. With these results as theoretical bases, this paper attempts to provide an accurate and strict logical-mathematical interpretation of the incompatibility of Leibniz's secant and tangent lines in the medium logic system from the perspective of logical mathematics.展开更多
An H infinity(H∞)controller for a sandwiched maglev positioning stage is proposed.The maglev positioning stage has a special structure:a sandwiched maglev stage,consisting of repulsive linear motors and attractive li...An H infinity(H∞)controller for a sandwiched maglev positioning stage is proposed.The maglev positioning stage has a special structure:a sandwiched maglev stage,consisting of repulsive linear motors and attractive linear motors,which have better levitation performance.Forces on the sandwiched maglev stage are analyzed and modeled.The positioning controller is designed based on the feedback linearized model with a dynamic damping system.The design of the H infinity controller for stage positioning is derived as a series of linear matrix inequalities(LMIs)which are efficiently solved in Matlab.The proposed controller and its effectiveness is demonstrated compared to PID method.展开更多
The problem of robust H-infinity fault-tolerant control against sensor failures for a class of uncertain descriptor systems via dynamical compensators is considered. Based on H-infinity theory in descriptor systems, a...The problem of robust H-infinity fault-tolerant control against sensor failures for a class of uncertain descriptor systems via dynamical compensators is considered. Based on H-infinity theory in descriptor systems, a sufficient condition for the existence of dynamical compensators with H-infinity fault-tolerant function is derived and expressions for the gain matrices in the compensators are presented. The dynamical compensator guarantees that the resultant colsed-loop system is admissible; furthermore, it maintains certain H-infinity norm performance in the normal condition as well as in the event of sensor failures and parameter uncertainties. A numerical example shows the effect of the proposed method.展开更多
文摘In contrast to the solutions of applied mathematics to Zeno’s paradoxes, I focus on the concept of motion and show that, by distinguishing two different forms of motion, Zeno’s apparent paradoxes are not paradoxical at all. Zeno’s paradoxes indirectly prove that distances are not composed of extensionless points and, in general, that a higher dimension cannot be completely composed of lower ones. Conversely, lower dimensions can be understood as special cases of higher dimensions. To illustrate this approach, I consider Cantor’s only apparent proof that the real numbers are uncountable. However, his widely accepted indirect proof has the disadvantage that it depends on whether there is another way to make the real numbers countable. Cantor rightly assumes that there can be no smallest number between 0 and 1, and therefore no beginning of counting. For this reason he arbitrarily lists the real numbers in order to show with his diagonal method that this list can never be complete. The situation is different if we start with the largest number between 0 and 1 (0.999…) and use the method of an inverted triangle, which can be understood as a special fractal form. Here we can construct a vertical and a horizontal stratification with which it is actually possible to construct all real numbers between 0 and 1 without exception. Each column is infinite, and each number in that column is the starting point of a new triangle, while each row is finite. Even in a simple sine curve, we experience finiteness with respect to the y-axis and infinity with respect to the x-axis. The first parts of this article show that Zeno’s assumptions contradict the concept of motion as such, so it is not surprising that this misconstruction leads to contradictions. In the last part, I discuss Cantor’s diagonal method and explain the method of an inverted triangle that is internally structured like a fractal by repeating this inverted triangle at each column. The consequence is that we encounter two very different methods of counting. Vertically it is continuous, horizontally it is discrete. While Frege, Tarski, Cantor, Gödel and the Vienna Circle tried to derive the higher dimension from the lower, a procedure that always leads to new contradictions and antinomies (Tarski, Russell), I take the opposite approach here, in which I derive the lower dimension from the higher. This perspective seems to fail because Tarski, Russell, Wittgenstein, and especially the Vienna Circle have shown that the completeness of the absolute itself is logically contradictory. For this reason, we agree with Hegel in assuming that we can never fully comprehend the Absolute, but only its particular manifestations—otherwise we would be putting ourselves in the place of the Absolute, or even God. Nevertheless, we can understand the Absolute in its particular expressions, as I will show with the modest example of the triangle proof of the combined horizontal and vertical countability of the real numbers, which I developed in rejection of Cantor’s diagonal proof. .
文摘This paper discusses how the infinite set of real numbers between 0 and 1 could be represented by a countably infinite tree structure which would avoid Cantor’s diagonalization argument that the set of real numbers is not countably infinite. Likewise, countably infinite tree structures could represent all real numbers, and all points in any number of dimensions in multi-dimensional spaces. The objective of this paper is not to overturn previous research based on Cantor’s argument, but to suggest that this situation may be treated as a definitional or axiomatic choice. This paper proposes a “non-Cantorian” branch of cardinality theory, representing all these infinities with countably infinite tree structures. This approach would be consistent with the Continuum Hypothesis.
文摘In this paper, we study the Dirichlet boundary value problem involving the highly degenerate and h-homogeneous quasilinear operator associated with the infinity Laplacian, where the right hand side term is and the boundary value is . First, we establish the comparison principle by the double variables method based on the viscosity solutions theory for the general equation in. We propose two different conditions for the right hand side and get the comparison principle results under different conditions by making different perturbations. Then, we obtain the uniqueness of the viscosity solution to the Dirichlet boundary value problem by the comparison principle. Moreover, we establish the local Lipschitz continuity of the viscosity solution.
文摘In this paper, we study the viscosity solutions of the Neumann problem in a bounded C<sup>2</sup> domain Ω, where Δ<sup>N</sup>∞</sub> is called the normalized infinity Laplacian. The normalized infinity Laplacian was first studied by Peres, Shramm, Sheffield and Wilson from the point of randomized theory named tug-of-war, which has wide applications in optimal mass transportation, financial option price problems, digital image processing, physical engineering, etc. We give the Lipschitz regularity of the viscosity solutions of the Neumann problem. The method we adopt is to choose suitable auxiliary functions as barrier functions and combine the perturbation method and viscosity solutions theory. .
文摘In the 19th century, Cantor created the infinite cardinal number theory based on the “1-1 correspondence” principle. The continuum hypothesis is proposed under this theoretical framework. In 1900, Hilbert made it the first problem in his famous speech on mathematical problems, which shows the importance of this question. We know that the infinitesimal problem triggered the second mathematical crisis in the 17-18th centuries. The Infinity problem is no less important than the infinitesimal problem. In the 21st century, Sergeyev introduced the Grossone method from the principle of “whole is greater than part”, and created another ruler for measuring infinite sets. The discussion in this paper shows that, compared with the cardinal number method, the Grossone method enables infinity calculation to achieve a leap from qualitative calculation to quantitative calculation. According to Grossone theory, there is neither the largest infinity and infinitesimal, nor the smallest infinity and infinitesimal. Hilbert’s first problem was caused by the immaturity of the infinity theory.
基金Supported by the Open Fund of the State Key Laboratory of Software Development Environment(SKLSDE-2011KF-04)Supported by the Beihang University and by the National High Technology Research and Development Program of China(863 Program)(2009AA043303)
文摘Refs 1 and 2 provide the definition of the concepts of‘potential infinity’(poi)and actual infinity(aci);Ref 3 discusses and verifies that poi and aci are a pair of contradictory opposites without intermediate(p,-p).The second part of this paper,i.e.,§2,further discusses the manners in which a variable x approaches infinitely to its limit x0 using the poi and aci methods and concludes that,in any system compatible with both poi and aci, the two approaching manners are also a pair of contradictory opposites without intermediate (A,-A).Finally,on the basis of this conclusion,we reexamine the fundamental question of Leibniz’s Secant and Tangent Lines in calculus and the limit theory and offer our analysis and raise new questions.
基金Supported by the Open Fund of the State Key Laboratory of Software Development Environment(SKLSDE-2011KF-04)Supported by the National High Technology Research and Development Program of China (863 Program)(2009AA043303)
文摘From the perspective of potential infinity (poi) and actual infinity, Ref [4] has confirmed that poi and aci are in 'unmediated opposition' (P,﹁P ) whether in ZFC or not; it has further been proved that the manners in which a variable infinitely approaches its limit also satisfy the law of intermediate exclusion. With these results as theoretical bases, this paper attempts to provide an accurate and strict logical-mathematical interpretation of the incompatibility of Leibniz's secant and tangent lines in the medium logic system from the perspective of logical mathematics.
基金Supported by the National Natural Science Foundation of China(51375052)
文摘An H infinity(H∞)controller for a sandwiched maglev positioning stage is proposed.The maglev positioning stage has a special structure:a sandwiched maglev stage,consisting of repulsive linear motors and attractive linear motors,which have better levitation performance.Forces on the sandwiched maglev stage are analyzed and modeled.The positioning controller is designed based on the feedback linearized model with a dynamic damping system.The design of the H infinity controller for stage positioning is derived as a series of linear matrix inequalities(LMIs)which are efficiently solved in Matlab.The proposed controller and its effectiveness is demonstrated compared to PID method.
基金This work was supported by the Chinese National Outstanding Youth Science Foundation (No.69925308).
文摘The problem of robust H-infinity fault-tolerant control against sensor failures for a class of uncertain descriptor systems via dynamical compensators is considered. Based on H-infinity theory in descriptor systems, a sufficient condition for the existence of dynamical compensators with H-infinity fault-tolerant function is derived and expressions for the gain matrices in the compensators are presented. The dynamical compensator guarantees that the resultant colsed-loop system is admissible; furthermore, it maintains certain H-infinity norm performance in the normal condition as well as in the event of sensor failures and parameter uncertainties. A numerical example shows the effect of the proposed method.