Power Product Theory in Fundamental Science of General Problem Estimation
by
© Ph. D. & Dr. Sc. Lev Gelimson
Academic Institute for Creating Fundamental Sciences (Munich, Germany)
Mathematical Journal
of the "Collegium" All World Academy of Sciences
Munich (Germany)
11 (2011), 37
In classical mathematics [1], there is no sufficiently general concept of a quantitative mathematical problem. There is the concept of a finite or countable set of equations only with completely ignoring their quantities like any Cantor set [1]. They are very important by contradictory (e.g. overdetermined) problems without precise solutions. Besides that, without equations quantities, by subjoining an equation coinciding with one of the already given equations of such a set, this subjoined equation is simply ignored whereas any (even infinitely small) changing this subjoined equation alone at once makes this subjoining essential and changes the given set of equations. Therefore, the concept of a finite or countable set of equations is ill-defined [1]. Uncountable sets of equations (also with completely ignoring their quantities) are not considered in classical mathematics [1] at all.
The least square method (LSM) [1] by Legendre and Gauss is the only known method applicable to finite overdetermined sets of equations. This method minimizes the sum of the squares of the differences of the both parts of all the equations, or, equivalently, the sum of the squares of the absolute errors [1] of all the equations. Overmathematics [2-4] and the system of fundamental sciences on general problems [5] have discovered many principal shortcomings [2-5] of this method with no objective sense of its result.
Power theory [5] in fundamental science of general problem estimation corrects and generalizes the least square method (LSM) [1].
But numeric tests show that we usually have to take relatively high (e.g., 64th, 100th, etc.) powers (exponents) in order to provide adequately solving general problems. Hence it is reasonable to also use other suitable functions of power nature.
As compared to power theory, power product theory in fundamental science of general problem estimation replaces the weighted sum of the powers of the general subproblems estimations with the difference between the same power of the weighted sum of the general subproblems estimations and the weighted sum of the powers of the general subproblems estimations to exclude all the pure highest powers of the separate general subproblems estimations and to take into account namely the (at least pairwise) products of the separate general subproblems estimations and possibly their powers.
Suppose that a general problem P consists of separate general subproblems (e.g., relations) Pβ with their own positive quantities q(β)
P = {β∈Β q(β)Pβ}
(where index β belongs to index set Β)
and there are nonnegative estimators Eβ [2-5]
Eβ(Pβ) ≥ 0 (β∈Β)
(e.g., absolute errors [1], relative errors [1], distances (which are invariant by coordinate system rotations), unierrors [2-5], etc.) possibly individual for all these general subproblems. In particular, there can be a nonnegative estimator E [2-5]
E(Pβ) ≥ 0 (β∈Β)
common for all these general subproblems (naturally, with its possibly individual values as the general subproblems estimations), which is typical.
Our present task is to explicitly give some suitable nonnegative subproblems estimations unification functions F of all
Eβ(Pβ) ≥ 0 (β∈Β)
with the same own quantities q(β). Each of such functions has to provide applying nonnegative estimator E to the whole general problem P with building its nonnegative total estimation
E(P) = F[β∈Β q(β)Eβ(Pβ)] ≥ 0.
Power product theory in fundamental science of general problem estimation gives the following suitable nonnegative subproblems estimations unification function:
The weighted power product mean of the (componentwise) subproblems estimations
tE(P) = {[(Σβ∈Β q(β)Eβ(Pβ))t - Σβ∈Β q(β)Eβt(Pβ) / [(Σβ∈Β q(β))t - Σβ∈Β q(β)]}1/t
where t > 1.
Naturally, it is admissible to directly minimize this weighted power product mean of the (componentwise) subproblems estimations. But it is simpler and much more suitable to directly minimize the difference between the same power of the weighted sum of the general subproblems estimations and the weighted sum of the powers of the general subproblems estimations
tS(P) = [Σβ∈Β q(β)Eβ(Pβ)]t - Σβ∈Β q(β)Eβt(Pβ).
Example. Consider a general pure equations problem as a quantiset [2-5] (former hyperset) of equations over indexed functions (dependent variables) fφ of indexed independent variables zω , all of them belonging to their possibly individual vector spaces. We may gather (in the left-hand sides of the equations) all the functions available in the initial forms without any further transformations. The unique natural exception is changing the signs of the functions by moving them to the other sides of the same equations. The quantiset can be brought to the form
q(λ)(Lλ[φ∈Φ fφ[ω∈Ω zω]] = 0) (λ∈Λ)
where
Lλ is an operator with index λ from an index set Λ ;
fφ is a function (dependent variable) with index φ from an index set Φ ;
zω is an independent variable with index ω from an index set Ω ;
[ω∈Ω zω]
is a set of indexed elements zω ;
q(λ) is the own, or individual, positive quantity (former hyperquantity) [2-5] as a weight of the equation with index λ .
When replacing all the unknowns (unknown functions) with their possible ”values” (some known functions), the above quantiset of equations is transformed into the corresponding quantiset of formal functional equalities. To conserve the quantiset form, let us use for these known functions the same designations fφ .
If we simply take the absolute error [1] as a common estimator of all the given equations, then power product theory minimizes the weighted sum of the tth powers of the moduli (norms or simply absolute values) of the differences of the both parts of every equation with its own quantity as a weight:
tS{q(λ)(Lλ[φ∈Φ fφ[ω∈Ω zω]] = 0) (λ∈Λ)} = [Σλ∈Λ q(λ)||Lλ[φ∈Φ fφ[ω∈Ω zω]]||]t - Σλ∈Λ q(λ)||Lλ[φ∈Φ fφ[ω∈Ω zω]]||t.
Power product theory in fundamental science of general problem estimation is very efficient by solving many urgent (including contradictory) problems.
Acknowledgements to Anatolij Gelimson for our constructive discussions on coordinate system transformation invariances and his very useful remarks.
References
[1] Encyclopaedia of Mathematics. Ed. M. Hazewinkel. Volumes 1 to 10. Kluwer Academic Publ., Dordrecht, 1988-1994
[2] Lev Gelimson. Elastic Mathematics. General Strength Theory. The ”Collegium” International Academy of Sciences Publishers, Munich, 2004
[3] Lev Gelimson. Providing Helicopter Fatigue Strength: Flight Conditions. In: Structural Integrity of Advanced Aircraft and Life Extension for Current Fleets – Lessons Learned in 50 Years After the Comet Accidents, Proceedings of the 23rd ICAF Symposium, Dalle Donne, C. (Ed.), 2005, Hamburg, Vol. II, 405-416
[4] Lev Gelimson. Overmathematics: Fundamental Principles, Theories, Methods, and Laws of Science. The ”Collegium” All World Academy of Sciences Publishers, Munich, 2010
[5] Lev Gelimson. General Problem Fundamental Sciences System. The ”Collegium” All World Academy of Sciences Publishers, Munich, 2011