In order to address the output feedback issue for linear discrete-time systems, this work suggests a brand-new adaptive dynamic programming(ADP) technique based on the internal model principle(IMP). The proposed metho...In order to address the output feedback issue for linear discrete-time systems, this work suggests a brand-new adaptive dynamic programming(ADP) technique based on the internal model principle(IMP). The proposed method, termed as IMP-ADP, does not require complete state feedback-merely the measurement of input and output data. More specifically, based on the IMP, the output control problem can first be converted into a stabilization problem. We then design an observer to reproduce the full state of the system by measuring the inputs and outputs. Moreover, this technique includes both a policy iteration algorithm and a value iteration algorithm to determine the optimal feedback gain without using a dynamic system model. It is important that with this concept one does not need to solve the regulator equation. Finally, this control method was tested on an inverter system of grid-connected LCLs to demonstrate that the proposed method provides the desired performance in terms of both tracking and disturbance rejection.展开更多
An expression of the generalized principle of virtual work for the boundary value problem of the linear and anisotropic electromagnetic field is given. Using Chien's method, a pair of generalized variational principl...An expression of the generalized principle of virtual work for the boundary value problem of the linear and anisotropic electromagnetic field is given. Using Chien's method, a pair of generalized variational principles (GVPs) are established, which directly leads to all four Maxwell's equations, two intensity-potential equations, two constitutive equations, and eight boundary conditions. A family of constrained variational principles is derived sequentially. As additional verifications, two degenerated forms are obtained, equivalent to two known variational principles. Two modified GVPs are given to provide the hybrid finite element models for the present problem.展开更多
Extensions of Merton’s model(EMM)considering the firm’s payments and generating new types of firm value distribution are suggested.In the open log-value/time space,these distributions evolve from initially normal to...Extensions of Merton’s model(EMM)considering the firm’s payments and generating new types of firm value distribution are suggested.In the open log-value/time space,these distributions evolve from initially normal to negatively skewed ones,and their means are concave-down functions of time.When payments are set to zero or proportional to the firm value,EMM turns into the Geometric Brownian model(GBM).We show that risk-neutral probabilities(RNPs)and the no-arbitraging principle(NAP)follow from GBM.When firm’s payments are considered,RNPs and NAP hold for the entire market for short times only,but for long-term investments,RNPs and NAP just temporarily hold for individual stocks as far as mean year returns of the firms issuing those stocks remain constant,and fail when the mean year returns decline.The developed method is applied to firm valuation to derive continuous-time equations for the firm present value and project NPV.展开更多
The paper concerns the problem how to purchase the reinsurance in order to make the insurer and the reinsurance company's total risk to be least under the expected value principle. When the insurer and reinsurance co...The paper concerns the problem how to purchase the reinsurance in order to make the insurer and the reinsurance company's total risk to be least under the expected value principle. When the insurer and reinsurance company take arbitrary risk measures, sufficient con- ditions for optimality of reinsurance contract are given within the restricted class of admissible contracts. Further, the explicit forms of optimal reinsurance contract under several special risk measures are given, and the method to decide parameters as well.展开更多
In this paper, we introduce a concept of quasi C-lower semicontinuity for setvalued mapping and provide a vector version of Ekeland's theorem related to set-valued vector equilibrium problems. As applications, we der...In this paper, we introduce a concept of quasi C-lower semicontinuity for setvalued mapping and provide a vector version of Ekeland's theorem related to set-valued vector equilibrium problems. As applications, we derive an existence theorem of weakly efficient solution for set-valued vector equilibrium problems without the assumption of convexity of the constraint set and the assumptions of convexity and monotonicity of the set-valued mapping. We also obtain an existence theorem of ε-approximate solution for set-valued vector equilibrium problems without the assumptions of compactness and convexity of the constraint set.展开更多
An auxiliary principle technique to study a class of generalized set-valued strongly nonlinear mixed variational-like inequalities is extended. The existence and uniqueness of the solution of the auxiliary problem for...An auxiliary principle technique to study a class of generalized set-valued strongly nonlinear mixed variational-like inequalities is extended. The existence and uniqueness of the solution of the auxiliary problem for the generalized set-valued strongly nonlinear mixed variational-like inequalities are proved, a novel and innovative three-step iterative algorithm to compute approximate solution is constructed, and the existence of the solution of the generalized set-valued strongly nonlinear mixed variational-like inequality is shown using the auxiliary principle iterative sequences generated by the algorithm technique. The convergence of three-step is also proved.展开更多
Fuzzy Shapley values are developed based on classical Shapley values and used to allocate profit among partners in virtual enterprises (VE). Axioms of the classical Shapley value are extended to Shapley values with ...Fuzzy Shapley values are developed based on classical Shapley values and used to allocate profit among partners in virtual enterprises (VE). Axioms of the classical Shapley value are extended to Shapley values with fuzzy payoffs by using fuzzy sets theory. Fuzzy Shapley function is defined based on these extended axioms. From the viewpoint the allocation for each partner should be a crisp value rather a fuzzy membership function at the end of cooperation, a crisp allocation scheme based on fuzzy Shapley values is proposed.展开更多
In this peper, we reseach the following form of approximate reasoning.Ant 1: (If x1 is A1 and x2 is A2and… and xn is An then y is B) is t1.Ant 2: (x1 is A’1 and x2 is A’2 and… and xn is A’n) is t2.Cons: (y is。B...In this peper, we reseach the following form of approximate reasoning.Ant 1: (If x1 is A1 and x2 is A2and… and xn is An then y is B) is t1.Ant 2: (x1 is A’1 and x2 is A’2 and… and xn is A’n) is t2.Cons: (y is。B’) is ts.First we put forward two reasonable approximate reasoning principles, then, accordingg tO the two reasoning principles we construct a new kind of approximate reasoning methods. The bole idea which the new kind of approximate reasoning methods is that according to the strength p(A1(x1), …, An(xn) )→B (y) which A1(x1),…, An(xn) implicate B(y) and the degree of A’(x) approximates to A(x), we determine the upper limit and B’(y), then take a definite value B’(y) in between the upper limit and the lower limit, and make the reasoning method satisfied the two reasoning principles.展开更多
The analogy between eigenvalues and singular values has many faces. The current review brings together several examples of this analogy. One example regards the similarity between Symmetric Rayleigh Quotients and Rect...The analogy between eigenvalues and singular values has many faces. The current review brings together several examples of this analogy. One example regards the similarity between Symmetric Rayleigh Quotients and Rectangular Rayleigh Quotients. Many useful properties of eigenvalues stem are from the Courant-Fischer minimax theorem, from Weyl’s theorem, and their corollaries. Another aspect regards “rectangular” versions of these theorems. Comparing the properties of Rayleigh Quotient matrices with those of Orthogonal Quotient matrices illuminates the subject in a new light. The Orthogonal Quotients Equality is a recent result that converts Eckart-Young’s minimum norm problem into an equivalent maximum norm problem. This exposes a surprising link between the Eckart-Young theorem and Ky Fan’s maximum principle. We see that the two theorems reflect two sides of the same coin: there exists a more general maximum principle from which both theorems are easily derived. Ky Fan has used his extremum principle (on traces of matrices) to derive analog results on determinants of positive definite Rayleigh Quotients matrices. The new extremum principle extends these results to Rectangular Quotients matrices. Bringing all these topics under one roof provides new insight into the fascinating relations between eigenvalues and singular values.展开更多
According to the basic idea of classical yin-yang complementarity and modern dual-complementarity, in a simple and unified way proposed by Luo(1987), some uncon ventional Hamilton-type variational principles for dyn...According to the basic idea of classical yin-yang complementarity and modern dual-complementarity, in a simple and unified way proposed by Luo(1987), some uncon ventional Hamilton-type variational principles for dynamics of Reissner sandwich plate can be established systematically. The unconventional Hamilton-type variation principle can fully characterize the initial boundary value problem of this dynamics. In this paper, an important integral relation is given, which can be considered as the generalized principle of virtual work in mechanics. Based on this relation, it is possible not only to obtain the principle of virtual work in dynamics of Reissner sandwich plate, but also to derive systematically the complementary functionals for fivefield, two-field and one-field unconventional Hamilton-type variational principles by the generalized Legender transformations. Furthermore, with this approach, the intrinsic relationship among the various principles can be explained clearly.展开更多
This paper explores Batho Pele principles within the ambit of the South African legislative framework regularizing the public service. It informs that there are original principles apprising what is commonly referred ...This paper explores Batho Pele principles within the ambit of the South African legislative framework regularizing the public service. It informs that there are original principles apprising what is commonly referred to as Batho Pele principles. The original principles are principles about Batho Pele principles. Batho Pele principles are not Bantu principles due to the historical and derogatory orientation of the phrase "Bantu". They are people orientated principles. The analytical axis is premised on that Batho Pele principles are more about the people than about themselves. The people are not only first in relation with the principles but are the first to be first before the principles were documented. The principles are developed by the people in order to regularize the actions of the public functionaries. The Batho Pele principles and the original principles do not exist in isolation. They are deeply rooted in the societal value systems of the people that existed from one generation to the other to the subsequent, emphasizing the centrality of people in relation to principles. The people's centrality is accentuated with references to a reasonable number of specific people orientated instruments that have bearing in the global and international arena.展开更多
In this paper,the weak pre-orthogonal adaptive Fourier decomposition(W-POAFD)method is applied to solve fractional boundary value problems(FBVPs)in the reproducing kernel Hilbert spaces(RKHSs)W_(0)^(4)[0,1] and W^(1)[...In this paper,the weak pre-orthogonal adaptive Fourier decomposition(W-POAFD)method is applied to solve fractional boundary value problems(FBVPs)in the reproducing kernel Hilbert spaces(RKHSs)W_(0)^(4)[0,1] and W^(1)[0,1].The process of the W-POAFD is as follows:(i)choose a dictionary and implement the pre-orthogonalization to all the dictionary elements;(ii)select points in[0,1]by the weak maximal selection principle to determine the corresponding orthonormalized dictionary elements iteratively;(iii)express the analytical solution as a linear combination of these determined dictionary elements.Convergence properties of numerical solutions are also discussed.The numerical experiments are carried out to illustrate the accuracy and efficiency of W-POAFD for solving FBVPs.展开更多
According to the basic idea of classical yin-yang complementarity and modem dual-complementarity, in a simple and unified new way proposed by Luo, the unconventional Hamilton-type variational principles for geometrica...According to the basic idea of classical yin-yang complementarity and modem dual-complementarity, in a simple and unified new way proposed by Luo, the unconventional Hamilton-type variational principles for geometrically nonlinear elastodynamics of orthogonal cable-net structures are established systematically, which can fully characterize the initial-boundary-value problem of this kind of dynamics. An ifnportant integral relation is made, which can be considered as the generalized principle of virtual work for geometrically nonlinear dynamics of orthogonal cable-net structures in mechanics. Based on such relationship, it is possible not only to obtain the principle of virtual work for geometrically nonlinear dynamics of orthogonal cable-net structures, but also to derive systematically the complementary functionals for five-field, four-field, three-field and two-field unconventional Hamilton-type variational principles, and the functional for the unconventional Hamilton-type variational principle in phase space and the potential energy functional for one-field unconventional Hamilton-type variational principle for geometrically nonlinear elastodynamics of orthogonal cable-net structures by the generalized Legendre transformation given in this paper, Furthermore, the intrinsic relationship among various principles can be explained clearly with this approach.展开更多
The present paper submits a result of applying a hitherto unknown logically formalized axiomatic axiology-and-epistemology theory “Sigma+V” to the relativity principle formulated by Galileo Galilei. By this applicat...The present paper submits a result of applying a hitherto unknown logically formalized axiomatic axiology-and-epistemology theory “Sigma+V” to the relativity principle formulated by Galileo Galilei. By this application, the author has continued checking the remarkable (paradigm-breaking) hypothesis that formal-axiological interpreting strictly universal laws of classical theoretical mechanics could have a heuristic value for the theory proper. Along with systematical studying proper algebraic structure of formal axiology of nature, the axiomatic (hypothetic-deductive) method is used in this research as well. The investigation accomplishments are the followings. Galileo Galilei principle of relativity of motion has been represented in a two-valued algebraic system of formal axiology by a wonderful formal-axiological equation which could be called a “formal-axiological analog of Galileo relativity principle”. A precise definition of that algebraic system is given. The remarkable formal-axiological equation has been created (and checked) in that algebraic system by attentive computing relevant compositions of evaluation-functions. Precise definitions of the relevant evaluation-functions are accomplished by tables. The remarkable formula modeling Galileo Galilei principle of relativity of motion (given the appropriate interpretation of the formal theory) has been formally-logically inferred within Sigma+V from a couple of nontrivial assumptions, namely, 1) a precisely defined assumption of a-priori-ness of knowledge, 2) the above-mentioned formal-axiological analog of the relativity principle by Galileo Galilei. A not-manifest but quite exact axiomatic definition of “a-priori-ness of knowledge” is provided. The formal-logical inference is performed in perfect accordance with the mathematical rigor norms formulated within the formalism doctrine by D. Hilbert, therefore, examining the formal deductive inference submitted in the paper can be accomplished easily. Being a nontrivial scientific novelty for proper theoretical physics, hitherto the formal-logical derivation has not been published and discussed elsewhere.展开更多
基金supported by the National Science Fund for Distinguished Young Scholars (62225303)the Fundamental Research Funds for the Central Universities (buctrc202201)+1 种基金China Scholarship Council,and High Performance Computing PlatformCollege of Information Science and Technology,Beijing University of Chemical Technology。
文摘In order to address the output feedback issue for linear discrete-time systems, this work suggests a brand-new adaptive dynamic programming(ADP) technique based on the internal model principle(IMP). The proposed method, termed as IMP-ADP, does not require complete state feedback-merely the measurement of input and output data. More specifically, based on the IMP, the output control problem can first be converted into a stabilization problem. We then design an observer to reproduce the full state of the system by measuring the inputs and outputs. Moreover, this technique includes both a policy iteration algorithm and a value iteration algorithm to determine the optimal feedback gain without using a dynamic system model. It is important that with this concept one does not need to solve the regulator equation. Finally, this control method was tested on an inverter system of grid-connected LCLs to demonstrate that the proposed method provides the desired performance in terms of both tracking and disturbance rejection.
基金Project supported by the National Natural Science Foundation of China (No. 60304009) and the Natural Science Foundation of Hebei Province of China (No. F2005000385)
文摘An expression of the generalized principle of virtual work for the boundary value problem of the linear and anisotropic electromagnetic field is given. Using Chien's method, a pair of generalized variational principles (GVPs) are established, which directly leads to all four Maxwell's equations, two intensity-potential equations, two constitutive equations, and eight boundary conditions. A family of constrained variational principles is derived sequentially. As additional verifications, two degenerated forms are obtained, equivalent to two known variational principles. Two modified GVPs are given to provide the hybrid finite element models for the present problem.
基金The author is infinitely thankful to his friend and colleague M.Rubinstein for valuable discussions and an invariable interest to his work.The author is also thankful to C.Miller for his high estimation of the author’s efforts.Of course,all errors are author’s full responsibility.
文摘Extensions of Merton’s model(EMM)considering the firm’s payments and generating new types of firm value distribution are suggested.In the open log-value/time space,these distributions evolve from initially normal to negatively skewed ones,and their means are concave-down functions of time.When payments are set to zero or proportional to the firm value,EMM turns into the Geometric Brownian model(GBM).We show that risk-neutral probabilities(RNPs)and the no-arbitraging principle(NAP)follow from GBM.When firm’s payments are considered,RNPs and NAP hold for the entire market for short times only,but for long-term investments,RNPs and NAP just temporarily hold for individual stocks as far as mean year returns of the firms issuing those stocks remain constant,and fail when the mean year returns decline.The developed method is applied to firm valuation to derive continuous-time equations for the firm present value and project NPV.
文摘The paper concerns the problem how to purchase the reinsurance in order to make the insurer and the reinsurance company's total risk to be least under the expected value principle. When the insurer and reinsurance company take arbitrary risk measures, sufficient con- ditions for optimality of reinsurance contract are given within the restricted class of admissible contracts. Further, the explicit forms of optimal reinsurance contract under several special risk measures are given, and the method to decide parameters as well.
基金supported by the National Natural Science Foundation of China (11061023)
文摘In this paper, we introduce a concept of quasi C-lower semicontinuity for setvalued mapping and provide a vector version of Ekeland's theorem related to set-valued vector equilibrium problems. As applications, we derive an existence theorem of weakly efficient solution for set-valued vector equilibrium problems without the assumption of convexity of the constraint set and the assumptions of convexity and monotonicity of the set-valued mapping. We also obtain an existence theorem of ε-approximate solution for set-valued vector equilibrium problems without the assumptions of compactness and convexity of the constraint set.
基金Project supported by the National Natural Science Foundation of China (No.10472061)
文摘An auxiliary principle technique to study a class of generalized set-valued strongly nonlinear mixed variational-like inequalities is extended. The existence and uniqueness of the solution of the auxiliary problem for the generalized set-valued strongly nonlinear mixed variational-like inequalities are proved, a novel and innovative three-step iterative algorithm to compute approximate solution is constructed, and the existence of the solution of the generalized set-valued strongly nonlinear mixed variational-like inequality is shown using the auxiliary principle iterative sequences generated by the algorithm technique. The convergence of three-step is also proved.
基金the National Natural Science Foundation of China (70471063 , 70171036)the Second Phase of "985"Project of China(107008200400024) the Main/Subject Project of Beijing of China(XK100070534)
文摘Fuzzy Shapley values are developed based on classical Shapley values and used to allocate profit among partners in virtual enterprises (VE). Axioms of the classical Shapley value are extended to Shapley values with fuzzy payoffs by using fuzzy sets theory. Fuzzy Shapley function is defined based on these extended axioms. From the viewpoint the allocation for each partner should be a crisp value rather a fuzzy membership function at the end of cooperation, a crisp allocation scheme based on fuzzy Shapley values is proposed.
文摘In this peper, we reseach the following form of approximate reasoning.Ant 1: (If x1 is A1 and x2 is A2and… and xn is An then y is B) is t1.Ant 2: (x1 is A’1 and x2 is A’2 and… and xn is A’n) is t2.Cons: (y is。B’) is ts.First we put forward two reasonable approximate reasoning principles, then, accordingg tO the two reasoning principles we construct a new kind of approximate reasoning methods. The bole idea which the new kind of approximate reasoning methods is that according to the strength p(A1(x1), …, An(xn) )→B (y) which A1(x1),…, An(xn) implicate B(y) and the degree of A’(x) approximates to A(x), we determine the upper limit and B’(y), then take a definite value B’(y) in between the upper limit and the lower limit, and make the reasoning method satisfied the two reasoning principles.
文摘The analogy between eigenvalues and singular values has many faces. The current review brings together several examples of this analogy. One example regards the similarity between Symmetric Rayleigh Quotients and Rectangular Rayleigh Quotients. Many useful properties of eigenvalues stem are from the Courant-Fischer minimax theorem, from Weyl’s theorem, and their corollaries. Another aspect regards “rectangular” versions of these theorems. Comparing the properties of Rayleigh Quotient matrices with those of Orthogonal Quotient matrices illuminates the subject in a new light. The Orthogonal Quotients Equality is a recent result that converts Eckart-Young’s minimum norm problem into an equivalent maximum norm problem. This exposes a surprising link between the Eckart-Young theorem and Ky Fan’s maximum principle. We see that the two theorems reflect two sides of the same coin: there exists a more general maximum principle from which both theorems are easily derived. Ky Fan has used his extremum principle (on traces of matrices) to derive analog results on determinants of positive definite Rayleigh Quotients matrices. The new extremum principle extends these results to Rectangular Quotients matrices. Bringing all these topics under one roof provides new insight into the fascinating relations between eigenvalues and singular values.
基金Project supported by the National Natural Science Foundation of China(No.10172097)the Doctoral Foundation of Ministry of Education of China(No.20030558025)
文摘According to the basic idea of classical yin-yang complementarity and modern dual-complementarity, in a simple and unified way proposed by Luo(1987), some uncon ventional Hamilton-type variational principles for dynamics of Reissner sandwich plate can be established systematically. The unconventional Hamilton-type variation principle can fully characterize the initial boundary value problem of this dynamics. In this paper, an important integral relation is given, which can be considered as the generalized principle of virtual work in mechanics. Based on this relation, it is possible not only to obtain the principle of virtual work in dynamics of Reissner sandwich plate, but also to derive systematically the complementary functionals for fivefield, two-field and one-field unconventional Hamilton-type variational principles by the generalized Legender transformations. Furthermore, with this approach, the intrinsic relationship among the various principles can be explained clearly.
文摘This paper explores Batho Pele principles within the ambit of the South African legislative framework regularizing the public service. It informs that there are original principles apprising what is commonly referred to as Batho Pele principles. The original principles are principles about Batho Pele principles. Batho Pele principles are not Bantu principles due to the historical and derogatory orientation of the phrase "Bantu". They are people orientated principles. The analytical axis is premised on that Batho Pele principles are more about the people than about themselves. The people are not only first in relation with the principles but are the first to be first before the principles were documented. The principles are developed by the people in order to regularize the actions of the public functionaries. The Batho Pele principles and the original principles do not exist in isolation. They are deeply rooted in the societal value systems of the people that existed from one generation to the other to the subsequent, emphasizing the centrality of people in relation to principles. The people's centrality is accentuated with references to a reasonable number of specific people orientated instruments that have bearing in the global and international arena.
基金University of Macao Multi-Year Research Grant Ref.No MYRG2016-00053-FST and MYRG2018-00168-FSTthe Science and Technology Development Fund,Macao SAR FDCT/0123/2018/A3.
文摘In this paper,the weak pre-orthogonal adaptive Fourier decomposition(W-POAFD)method is applied to solve fractional boundary value problems(FBVPs)in the reproducing kernel Hilbert spaces(RKHSs)W_(0)^(4)[0,1] and W^(1)[0,1].The process of the W-POAFD is as follows:(i)choose a dictionary and implement the pre-orthogonalization to all the dictionary elements;(ii)select points in[0,1]by the weak maximal selection principle to determine the corresponding orthonormalized dictionary elements iteratively;(iii)express the analytical solution as a linear combination of these determined dictionary elements.Convergence properties of numerical solutions are also discussed.The numerical experiments are carried out to illustrate the accuracy and efficiency of W-POAFD for solving FBVPs.
基金Project supported by the National Natural Science Foundation of China(No.10172097)the Doctoral Foundation of Ministry of Education of China(No.20030558025)
文摘According to the basic idea of classical yin-yang complementarity and modem dual-complementarity, in a simple and unified new way proposed by Luo, the unconventional Hamilton-type variational principles for geometrically nonlinear elastodynamics of orthogonal cable-net structures are established systematically, which can fully characterize the initial-boundary-value problem of this kind of dynamics. An ifnportant integral relation is made, which can be considered as the generalized principle of virtual work for geometrically nonlinear dynamics of orthogonal cable-net structures in mechanics. Based on such relationship, it is possible not only to obtain the principle of virtual work for geometrically nonlinear dynamics of orthogonal cable-net structures, but also to derive systematically the complementary functionals for five-field, four-field, three-field and two-field unconventional Hamilton-type variational principles, and the functional for the unconventional Hamilton-type variational principle in phase space and the potential energy functional for one-field unconventional Hamilton-type variational principle for geometrically nonlinear elastodynamics of orthogonal cable-net structures by the generalized Legendre transformation given in this paper, Furthermore, the intrinsic relationship among various principles can be explained clearly with this approach.
文摘The present paper submits a result of applying a hitherto unknown logically formalized axiomatic axiology-and-epistemology theory “Sigma+V” to the relativity principle formulated by Galileo Galilei. By this application, the author has continued checking the remarkable (paradigm-breaking) hypothesis that formal-axiological interpreting strictly universal laws of classical theoretical mechanics could have a heuristic value for the theory proper. Along with systematical studying proper algebraic structure of formal axiology of nature, the axiomatic (hypothetic-deductive) method is used in this research as well. The investigation accomplishments are the followings. Galileo Galilei principle of relativity of motion has been represented in a two-valued algebraic system of formal axiology by a wonderful formal-axiological equation which could be called a “formal-axiological analog of Galileo relativity principle”. A precise definition of that algebraic system is given. The remarkable formal-axiological equation has been created (and checked) in that algebraic system by attentive computing relevant compositions of evaluation-functions. Precise definitions of the relevant evaluation-functions are accomplished by tables. The remarkable formula modeling Galileo Galilei principle of relativity of motion (given the appropriate interpretation of the formal theory) has been formally-logically inferred within Sigma+V from a couple of nontrivial assumptions, namely, 1) a precisely defined assumption of a-priori-ness of knowledge, 2) the above-mentioned formal-axiological analog of the relativity principle by Galileo Galilei. A not-manifest but quite exact axiomatic definition of “a-priori-ness of knowledge” is provided. The formal-logical inference is performed in perfect accordance with the mathematical rigor norms formulated within the formalism doctrine by D. Hilbert, therefore, examining the formal deductive inference submitted in the paper can be accomplished easily. Being a nontrivial scientific novelty for proper theoretical physics, hitherto the formal-logical derivation has not been published and discussed elsewhere.