Pompeiu's theorem: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Thestraycat57
m obvious mistake
en>Rocchini
images added
 
Line 1: Line 1:
In the [[complex analysis|analytic theory]] of [[generalized continued fraction|continued fractions]], the '''convergence problem''' is the determination of conditions on the '''partial numerators''' ''a''<sub>''i''</sub> and '''partial denominators''' ''b''<sub>''i''</sub> that are [[necessary and sufficient conditions#Sufficient conditions|sufficient]] to guarantee the convergence of the continued fraction
It's easy to make money online.


:<math>
There is truth to the fact that you can start making money on the Internet as soon as you're done with this article. After all, so many others are  [http://ganhedinheiro.comoganhardinheiro101.com como conseguir dinheiro] making money online, why not you? Keep your mind open and you can make a lot of money. As you [http://www.comoganhardinheiro101.com/caracteristicas/ ganhando dinheiro na internet] can see, there are many ways to approach the world of online income. With various streams of income available, you are sure to find one, or two, that can help you with your income needs. Take this information to heart, put it to use and build your own online success story. <br><br><br>Getting paid money to work online isn't the easiest thing to do in the world, but it is possible. If this is something you wish to work with, then the tips presented above should have helped you. Take some time, do things the right way and then you can succeed.  Here's more information on [http://comoconseguirdinheiro.comoganhardinheiro101.com ganhando dinheiro na internet] check out [http://Comoficarrico.comoganhardinheiro101.com comoconseguirdinheiro].comoganhardinheiro101.com Start your online [http://www.comoganhardinheiro101.com/2013/11/ ganhar dinheiro na internet] earning today by following the great advice discussed in this article. Earning money is not as hard as it may seem, you just need to know how to get started. By choosing to put your right foot forward, you are heading off to a great start earning money to make ends meet. <br><br><br>Make money online by selling your talents. Good music is always in demand and with today's technological advances, anyone with musical talent can make music and offer it for sale [http://www.comoganhardinheiro101.com/perguntas-frequentes/ ganhe dinheiro na internet] to a broad audience. By setting up your own website and using social media for promotion, you can share your music with others and sell downloads with a free PayPal account.<br><br>fee to watch your webinar at their convenience.
x = b_0 + \cfrac{a_1}{b_1 + \cfrac{a_2}{b_2 + \cfrac{a_3}{b_3 + \cfrac{a_4}{b_4 + \ddots}}}}.\,
</math>


This convergence problem for continued fractions is inherently more difficult than the corresponding convergence problem for [[infinite series]].
  Once it is in place, [http://www.comoganhardinheiro101.com/?p=12 como ficar rico] promotion and possibly answering questions will be your only tasks.
 
== Elementary results ==
When the elements of an infinite continued fraction consist entirely of positive [[real number]]s, the [[fundamental recurrence formulas|determinant formula]] can easily be applied to demonstrate when the continued fraction converges. Since the denominators ''B''<sub>''n''</sub> cannot be zero in this simple case, the problem boils down to showing that the product of successive denominators ''B''<sub>''n''</sub>''B''<sub>''n''+1</sub> grows more quickly than the product of the partial numerators ''a''<sub>1</sub>''a''<sub>2</sub>''a''<sub>3</sub>...''a''<sub>''n''+1</sub>. The convergence problem is much more difficult when the elements of the continued fraction are [[complex number]]s.
 
=== Periodic continued fractions ===
An infinite [[periodic continued fraction]] is a continued fraction of the form
 
:<math>
x = \cfrac{a_1}{b_1 + \cfrac{a_2}{b_2 + \cfrac{\ddots}{\quad\ddots\quad b_{k-1} + \cfrac{a_k}{b_k + \cfrac{a_1}{b_1 + \cfrac{a_2}{b_2 + \ddots}}}}}}\,
</math>
 
where ''k'' &ge; 1, the sequence of partial numerators {''a''<sub>1</sub>, ''a''<sub>2</sub>, ''a''<sub>3</sub>, ..., ''a''<sub>''k''</sub>} contains no values equal to zero, and the partial numerators {''a''<sub>1</sub>, ''a''<sub>2</sub>, ''a''<sub>3</sub>, ..., ''a''<sub>''k''</sub>} and partial denominators {''b''<sub>1</sub>, ''b''<sub>2</sub>, ''b''<sub>3</sub>, ..., ''b''<sub>''k''</sub>} repeat over and over again, ''ad infinitum''.
 
By applying the theory of [[generalized continued fraction#Linear fractional transformations|linear fractional transformations]] to
 
:<math>
s(w) = \frac{A_{k-1}w + A_k}{B_{k-1}w + B_k}\,
</math>
 
where ''A''<sub>''k''-1</sub>, ''B''<sub>''k''-1</sub>, ''A''<sub>''k''</sub>, and ''B''<sub>''k''</sub> are the numerators and denominators of the ''k''-1st and ''k''th convergents of the infinite periodic continued fraction ''x'', it can be shown that ''x'' converges to one of the fixed points of ''s''(''w'') if it converges at all. Specifically, let ''r''<sub>1</sub> and ''r''<sub>2</sub> be the roots of the quadratic equation
 
:<math>
B_{k-1}w^2 + (B_k - A_{k-1})w - A_k = 0.\,
</math>
 
These roots are the [[fixed point (mathematics)|fixed points]] of ''s''(''w''). If ''r''<sub>1</sub> and ''r''<sub>2</sub> are finite then the infinite periodic continued fraction ''x'' converges if and only if
# the two roots are equal; or
# the ''k''-1st convergent is closer to ''r''<sub>1</sub> than it is to ''r''<sub>2</sub>, and none of the first ''k'' convergents equal ''r''<sub>2</sub>.
 
If the denominator ''B''<sub>''k''-1</sub> is equal to zero then an infinite number of the denominators ''B''<sub>''nk''-1</sub> also vanish, and the continued fraction does not converge to a finite value. And when the two roots ''r''<sub>1</sub> and ''r''<sub>2</sub> are equidistant from the ''k''-1st convergent &ndash; or when ''r''<sub>1</sub> is closer to the ''k''-1st convergent than ''r''<sub>2</sub> is, but one of the first ''k'' convergents equals ''r''<sub>2</sub> &ndash; the continued fraction ''x'' diverges by oscillation.<ref>1886  [[Otto Stolz]], ''Verlesungen über allgemeine Arithmetik'', pp. 299-304</ref><ref>1900 [[Alfred Pringsheim]], ''Sb. München'', vol. 30, "Über die Konvergenz unendlicher Kettenbrüche"</ref><ref>1905 [[Oskar Perron]], ''Sb. München'', vol. 35, "Über die Konvergenz periodischer Kettenbrüche"</ref>
 
=== The special case when period ''k'' = 1 ===
If the period of a continued fraction is 1; that is, if
 
:<math>
x = \underset{1}{\overset{\infty}{\mathrm K}} \frac{a}{b},\,
</math>
 
where ''b'' &ne; 0, we can obtain a very strong result. First, by applying an [[generalized continued fraction#The equivalence transformation|equivalence transformation]] we see that ''x'' converges if and only if
 
:<math>
y = 1 + \underset{1}{\overset{\infty}{\mathrm K}} \frac{z}{1}\qquad \left(z = \frac{a}{b^2}\right)\,
</math>
 
converges. Then, by applying the more general result obtained above it can be shown that
 
:<math>
y = 1 + \cfrac{z}{1 + \cfrac{z}{1 + \cfrac{z}{1 + \ddots}}}\,
</math>
 
converges for every complex number ''z'' except when ''z'' is a negative real number and ''z'' &lt; &minus;¼. Moreover, this continued fraction ''y'' converges to the particular value of
 
:<math>
y = \frac{1}{2}\left(1 \pm \sqrt{4z + 1}\right)\,
</math>
 
that has the larger absolute value (except when ''z'' is real and ''z'' &lt; &minus;¼, in which case the two fixed points of the [[generalized continued fraction#Linear fractional transformations|LFT]] generating ''y'' have equal moduli and ''y'' diverges by oscillation).
 
By applying another equivalence transformation the condition that guarantees convergence of
 
:<math>
x = \underset{1}{\overset{\infty}{\mathrm K}} \frac{1}{z} = \cfrac{1}{z + \cfrac{1}{z + \cfrac{1}{z + \ddots}}}\,
</math>
 
can also be determined. Since a simple equivalence transformation shows that
 
:<math>
x = \cfrac{z^{-1}}{1 + \cfrac{z^{-2}}{1 + \cfrac{z^{-2}}{1 + \ddots}}}\,
</math>
 
whenever ''z'' &ne; 0, the preceding result for the continued fraction ''y'' can be restated for ''x''. The infinite periodic continued fraction
 
:<math>
x = \underset{1}{\overset{\infty}{\mathrm K}} \frac{1}{z}
</math>
 
converges if and only if ''z''<sup>2</sup> is not a real number lying in the interval &minus;4 &lt; ''z''<sup>2</sup> &le; 0 &ndash; or, equivalently, ''x'' converges if and only if ''z'' &ne; 0 and ''z'' is not a pure imaginary number lying in the interval &minus;2''i'' &lt; ''z'' &lt; 2''i''.
 
=== Worpitzky's theorem ===
By applying the [[fundamental inequalities]] to the continued fraction
 
:<math>
x = \cfrac{1}{1 + \cfrac{a_2}{1 + \cfrac{a_3}{1 + \cfrac{a_4}{1 + \ddots}}}}\,
</math>
 
it can be shown that the following statements hold if |''a''<sub>''i''</sub>| &le; ¼ for the partial numerators ''a''<sub>''i''</sub>, ''i'' = 2, 3, 4, ...
*The continued fraction ''x'' converges to a finite value, and converges uniformly if the partial numerators ''a''<sub>''i''</sub> are complex variables.<ref>1865 Julius Worpitzky, ''Jahresbericht Friedrichs-Gymnasium und Realschule'', "Untersuchungen über die Entwickelung der monodromen und monogenen Functionen durch Kettenbrüche"</ref>
*The value of ''x'' and of each of its convergents ''x''<sub>''i''</sub> lies in the circular domain of radius 2/3 centered on the point ''z'' = 4/3; that is, in the region defined by
 
::<math>\Omega = \lbrace z: |z - 4/3| \leq 2/3 \rbrace.\,</math><ref name="PaydonandWall">1942 J. F. Paydon and H. S. Wall, ''Duke Math. Journal'', vol. 9, "The continued fraction as a sequence of linear transformations"</ref>
*The radius ¼ is the largest radius over which ''x'' can be shown to converge without exception, and the region &Omega; is the smallest image space that contains all possible values of the continued fraction ''x''.<ref name="PaydonandWall"/>
 
The proof of the first statement, by Julius Worpitzky in 1865, is apparently the oldest published proof that a continued fraction with complex elements actually converges.<ref>1905 [[Edward Burr Van Vleck]], ''The Boston Colloquium'', "Selected topics in the theory of divergent series and of continued fractions"</ref>
 
Because the proof of Worpitzky's theorem employs Euler's continued fraction formula to construct an infinite series that is equivalent to the continued fraction ''x'', and the series so constructed is absolutely convergent, the [[Weierstrass M-test]] can be applied to a modified version of ''x''. If
 
:<math>
f(z) = \cfrac{1}{1 + \cfrac{c_2z}{1 + \cfrac{c_3z}{1 + \cfrac{c_4z}{1 + \ddots}}}}\,
</math>
 
and a positive real number ''M'' exists such that |''c''<sub>''i''</sub>| &le; ''M'' (''i'' = 2, 3, 4, ...), then the sequence of convergents {''f''<sub>''i''</sub>(''z'')} converges uniformly when
 
:<math>
|z| < \frac{1}{4M}\,
</math>
 
and ''f''(''z'') is analytic on that open disk.
 
==Śleszyński–Pringsheim criterion==
{{main|Śleszyński–Pringsheim theorem}}
In the late 19-th century, [[Ivan Śleszyński|Śleszyński]] and later [[Alfred Pringsheim | Pringsheim]] showed that a continued fraction, in which the ''a''s and ''b''s may be complex numbers, will converge to a finite value if <math>|b_n | \geq |a_n| + 1 </math> for <math> n \geq 1.  </math><ref> See for example Theorem 4.35 on page 92 of Jones and Thron (1980).
</ref>
 
==Van Vleck's theorem==
Jones and Thron attribute the following result to [[Edward Burr Van Vleck|Van Vleck]].  Suppose that all the ''a<sub>i</sub>'' are equal to 1, and all the ''b<sub>i</sub>'' have [[Arg (mathematics)| arguments]] with:
 
:<math>
- \pi /2 + \epsilon < \arg ( b_i)  < \pi / 2 - \epsilon, i \geq 1,
</math>
 
with epsilon being any positive number less than <math>\pi/2 </math>. In other words, all the ''b<sub>i</sub>'' are inside a wedge which has its vertex at the origin, has an opening angle of <math> \pi - 2 \epsilon </math>, and is symmetric around the positive real axis.  Then ''f<sub>i</sub>'', the ith convergent to the continued fraction, is finite and has an argument:
:<math>
- \pi /2 + \epsilon  <  \arg ( f_i ) <  \pi / 2 - \epsilon,  i \geq 1. 
</math>
 
Also, the sequence of even convergents will converge, as will the sequence of odd convergents.  The continued fraction itself will converge if and only if the sum of all the |''b<sub>i</sub>''| diverges.<ref> See theorem 4.29, on page 88, of Jones and Thron (1980). </ref>
 
==Notes==
<references/>
 
==References==
*{{Citation | last = Jones | first = William B. | last2 = Thron | first2 = W. J.
| title = Continued Fractions: Analytic Theory and Applications.  Encyclopedia of Mathematics and its Applications.
| place= | publisher = Addison-Wesley Publishing Company | year = 1980
| location = Reading. Massachusetts | volume = 11 | edition =
| isbn = 0-201-13510-8}}
* [[Oskar Perron]], ''Die Lehre von den Kettenbrüchen'', Chelsea Publishing Company, New York, NY 1950.
*H. S. Wall, ''Analytic Theory of Continued Fractions'', D. Van Nostrand Company, Inc., 1948 ISBN 0-8284-0207-8
 
[[Category:Continued fractions]]
[[Category:Convergence (mathematics)]]

Latest revision as of 15:50, 23 May 2014

It's easy to make money online.

There is truth to the fact that you can start making money on the Internet as soon as you're done with this article. After all, so many others are  como conseguir dinheiro making money online, why not you? Keep your mind open and you can make a lot of money. As you ganhando dinheiro na internet can see, there are many ways to approach the world of online income. With various streams of income available, you are sure to find one, or two, that can help you with your income needs. Take this information to heart, put it to use and build your own online success story. 


Getting paid money to work online isn't the easiest thing to do in the world, but it is possible. If this is something you wish to work with, then the tips presented above should have helped you. Take some time, do things the right way and then you can succeed. Here's more information on ganhando dinheiro na internet check out comoconseguirdinheiro.comoganhardinheiro101.com Start your online ganhar dinheiro na internet earning today by following the great advice discussed in this article. Earning money is not as hard as it may seem, you just need to know how to get started. By choosing to put your right foot forward, you are heading off to a great start earning money to make ends meet.


Make money online by selling your talents. Good music is always in demand and with today's technological advances, anyone with musical talent can make music and offer it for sale ganhe dinheiro na internet to a broad audience. By setting up your own website and using social media for promotion, you can share your music with others and sell downloads with a free PayPal account.

fee to watch your webinar at their convenience.
Once it is in place, como ficar rico promotion and possibly answering questions will be your only tasks.