This article or the following section is not adequately provided with
supporting documents (
e.g. individual evidence ). Information without sufficient evidence could be removed soon. Please help Wikipedia by researching the information and
including good evidence.
Upper estimate and lower estimate are mathematical terms for auxiliary quantities in connection with inequalities .
An upper estimate for size is a different size , if it can be shown that: .
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![B.](https://wikimedia.org/api/rest_v1/media/math/render/svg/47136aad860d145f75f3eed3022df827cee94d7a)
![B \ geq A](https://wikimedia.org/api/rest_v1/media/math/render/svg/ccfba23ef8e7e0ddb0fc0282dbf2cbc38148f9cf)
Accordingly, it is called a lower estimate for when it can be shown that: .
![B.](https://wikimedia.org/api/rest_v1/media/math/render/svg/47136aad860d145f75f3eed3022df827cee94d7a)
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![B \ leq A](https://wikimedia.org/api/rest_v1/media/math/render/svg/033323c07e60550aabbbf3916212019aecf50428)
This is (often also ) usually an expression that depends on other variables. It can then also be the assessment; the condition must apply independently of the other quantities in the entire domain of definition. If necessary, considerations of the type used in interval arithmetic - for example in error calculation - are used here.
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![B.](https://wikimedia.org/api/rest_v1/media/math/render/svg/47136aad860d145f75f3eed3022df827cee94d7a)
In this context, the term “estimate” does not mean a loss of reliability. It only has to do with the current concept of estimating insofar as the estimation can deviate from the "estimated" value - in some cases even very far, as long as it is only in the right direction.
use
Estimation is used as a tool to prove inequalities. One makes use of the transitivity of the greater / less than relation.
If one knows for an upper estimate , one can reduce the proof of to the proof of ; one can also reduce the proof of to the proof of . Correspondingly, one can show or if a lower estimate for is and or can be shown.
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![B.](https://wikimedia.org/api/rest_v1/media/math/render/svg/47136aad860d145f75f3eed3022df827cee94d7a)
![A \ leq C](https://wikimedia.org/api/rest_v1/media/math/render/svg/be9ef3a7cad9dfd94fdf74df64ca969a14adbd59)
![B \ leq C](https://wikimedia.org/api/rest_v1/media/math/render/svg/27d690b90312df2ce719c5b8dc6b4037afb75d00)
![A <C](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f2ec2d2434b130330ba59e417dfaf5f69ad83ac)
![B <C](https://wikimedia.org/api/rest_v1/media/math/render/svg/67c5a045f1aa8bfda566f8507d1c08b3c1a7bcd5)
![A> C](https://wikimedia.org/api/rest_v1/media/math/render/svg/5808a00855196914f0db0d5d476451b3ed2f93bb)
![A \ geq C](https://wikimedia.org/api/rest_v1/media/math/render/svg/d244a14cf8c7812c76a6ae12eeb3c3c72ef802f5)
![B.](https://wikimedia.org/api/rest_v1/media/math/render/svg/47136aad860d145f75f3eed3022df827cee94d7a)
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![B> C](https://wikimedia.org/api/rest_v1/media/math/render/svg/ebfd7f12012dfb950b3a7835bd298c21eaae58d9)
![B \ geq C](https://wikimedia.org/api/rest_v1/media/math/render/svg/4bb39b66686b7bd143fbb4153c6a1d5b9c8b4624)
If this approach fails with a particular one, the inequality to be proven is not refuted; maybe you just need a stricter estimate because the one used deviates too far from .
![B.](https://wikimedia.org/api/rest_v1/media/math/render/svg/47136aad860d145f75f3eed3022df827cee94d7a)
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
Examples
General sample group. In principle, every numerical “ worst-case ” figure, as it occurs in everyday life, is a kind of lower or upper estimate.
Example 1. Estimates are, for example, the basis for proofs of divergence with the minorant criterion such as that for using the minorant . Clearly presented, you consider the following:
![\ sum _ {{i = 2}} ^ {{\ infty}} {\ frac {1} {i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9de9668da7d462d8f0b96e6d999a167d5cce1df4)
![\ sum _ {{i = 2}} ^ {{\ infty}} {\ frac {1} {2 ^ {{{\ lceil log_ {2} (i) \ rceil}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7478f98a5debfb30f4e6cadd601139bfe04a8073)
It should be shown that with a sum of consecutive fractions one can surpass any arbitrarily large natural number by choosing a suitable one.
![A = {\ frac {1} {2}} + {\ frac {1} {3}} + {\ frac {1} {4}} + {\ frac {1} {5}} + \ cdots + { \ frac {1} {k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/821a0b8fae977273b55f367707e2bfb6b84d49dd)
![N](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5e3890c981ae85503089652feb48b191b57aae3)
![k](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
To do this, one forms another sum of parent fractions, in which every summand in with the denominator corresponds to a summand with the next not smaller power of two. Since the denominator in the new sum is equal to or greater than the corresponding denominator in the original, the fraction is equal to or less, and thus the total sum (equal to or) less. It is a lower estimate of .
![B.](https://wikimedia.org/api/rest_v1/media/math/render/svg/47136aad860d145f75f3eed3022df827cee94d7a)
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![i](https://wikimedia.org/api/rest_v1/media/math/render/svg/add78d8608ad86e54951b8c8bd6c8d8416533d20)
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
The estimate is now chosen so that one can always summarize finite parts of the series to ½:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Summary of summands
|
|
|
|
|
etc.
|
If you choose , you have such parts; So it adds up . Thus it is even greater than .
![k = 2 ^ {{2N + 1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1dd4287c61af5c31e888b739ae3c1144f16592f8)
![2N + 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d862395d02c6c80fb2ec2ebd027e13279c2c8ea)
![B.](https://wikimedia.org/api/rest_v1/media/math/render/svg/47136aad860d145f75f3eed3022df827cee94d7a)
![N + {\ frac {1} {2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9694fe56f106257dc3825f8ba519ef56b9eaacc)
![A.](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![N](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5e3890c981ae85503089652feb48b191b57aae3)
Example 2. For arbitrary bounded and real-valued functions f and g with the same domain holds
![D.](https://wikimedia.org/api/rest_v1/media/math/render/svg/f34a0c600395e5d4345287e21fb26efd386990e6)
-
,
ie the distance between the maxima of two functions can always be estimated upwards by the maximum distance between the function values. Although this estimate does not have to be immediately obvious, the proof is very simple. It is noteworthy that at f and g except for the limitations (so that the peaks are adopted) and the common domain nothing further is provided: therefore applies z. B. for continuous functions on a compact (which are always restricted), but also for discontinuous functions, such as discrete functions, as long as they are restricted.
![A \ leq B](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b9a5b16c80e28e48322cb621b6c445cb68fcaf2)
Proof . Put and ; furthermore o. B. d. A. (can be achieved by renaming).
![x_ {1}: = \ arg \ max _ {{x \ in D}} f (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c18a978a7b6d7b654ebe82fa177f9a433a91fcc)
![x_ {2}: = \ arg \ max _ {{x \ in D}} g (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/c63659d79becb21dc9a657e1e61034afbb525068)
![f (x) \ geq g (x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3686eceede316fd569eda1d2743cdfb7a1bd41e)
Is sure . So follows
![g (x_ {1}) \ leq g (x_ {2})](https://wikimedia.org/api/rest_v1/media/math/render/svg/8092eb2e236c8b7026f4e4ae7036628ec3463913)
-
.
This estimate is sharp (ie equality occurs in certain cases), like the example
![g (x) = f (x) + \ varepsilon](https://wikimedia.org/api/rest_v1/media/math/render/svg/7be69c1924966fca149f32acbdfe5166fdf2ebe8)
shows: Here is (Caution: The fact that an estimate is sharp does not mean that the estimate is as fine as possible; consider the example and : both estimates are sharp, but of different fineness).
![A = \ varepsilon = B](https://wikimedia.org/api/rest_v1/media/math/render/svg/de4d2d9229dd8eaa42f5a896af635185ba9dd970)
![0 \ leq x ^ {2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4b27edce83c34a5715afaac3b07bdd3bb6654a)
![0 \ leq x ^ {2} + x ^ {4}](https://wikimedia.org/api/rest_v1/media/math/render/svg/154c05324cc3f756833014e3da6082d9888c7e99)