Pompeiu's theorem: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Sodin
 
en>Thestraycat57
m obvious mistake
Line 1: Line 1:
21 yrs old Corporate Common Manager Tod from Sackville, has interests for instance bonsai trees, como ganhar dinheiro na internet and fish keeping. Of late has made a trip to Agra Fort.<br><br>Here is my page [http://comoconseguirdinheiro.comoganhardinheiro101.com ganhando dinheiro na internet]
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
 
:<math>
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]].
 
== 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)]]

Revision as of 17:29, 31 March 2013

In the analytic theory of continued fractions, the convergence problem is the determination of conditions on the partial numerators ai and partial denominators bi that are sufficient to guarantee the convergence of the continued fraction

This convergence problem for continued fractions is inherently more difficult than the corresponding convergence problem for infinite series.

Elementary results

When the elements of an infinite continued fraction consist entirely of positive real numbers, the determinant formula can easily be applied to demonstrate when the continued fraction converges. Since the denominators Bn cannot be zero in this simple case, the problem boils down to showing that the product of successive denominators BnBn+1 grows more quickly than the product of the partial numerators a1a2a3...an+1. The convergence problem is much more difficult when the elements of the continued fraction are complex numbers.

Periodic continued fractions

An infinite periodic continued fraction is a continued fraction of the form

where k ≥ 1, the sequence of partial numerators {a1, a2, a3, ..., ak} contains no values equal to zero, and the partial numerators {a1, a2, a3, ..., ak} and partial denominators {b1, b2, b3, ..., bk} repeat over and over again, ad infinitum.

By applying the theory of linear fractional transformations to

where Ak-1, Bk-1, Ak, and Bk are the numerators and denominators of the k-1st and kth 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 r1 and r2 be the roots of the quadratic equation

These roots are the fixed points of s(w). If r1 and r2 are finite then the infinite periodic continued fraction x converges if and only if

  1. the two roots are equal; or
  2. the k-1st convergent is closer to r1 than it is to r2, and none of the first k convergents equal r2.

If the denominator Bk-1 is equal to zero then an infinite number of the denominators Bnk-1 also vanish, and the continued fraction does not converge to a finite value. And when the two roots r1 and r2 are equidistant from the k-1st convergent – or when r1 is closer to the k-1st convergent than r2 is, but one of the first k convergents equals r2 – the continued fraction x diverges by oscillation.[1][2][3]

The special case when period k = 1

If the period of a continued fraction is 1; that is, if

where b ≠ 0, we can obtain a very strong result. First, by applying an equivalence transformation we see that x converges if and only if

converges. Then, by applying the more general result obtained above it can be shown that

converges for every complex number z except when z is a negative real number and z < −¼. Moreover, this continued fraction y converges to the particular value of

that has the larger absolute value (except when z is real and z < −¼, in which case the two fixed points of the LFT generating y have equal moduli and y diverges by oscillation).

By applying another equivalence transformation the condition that guarantees convergence of

can also be determined. Since a simple equivalence transformation shows that

whenever z ≠ 0, the preceding result for the continued fraction y can be restated for x. The infinite periodic continued fraction

converges if and only if z2 is not a real number lying in the interval −4 < z2 ≤ 0 – or, equivalently, x converges if and only if z ≠ 0 and z is not a pure imaginary number lying in the interval −2i < z < 2i.

Worpitzky's theorem

By applying the fundamental inequalities to the continued fraction

it can be shown that the following statements hold if |ai| ≤ ¼ for the partial numerators ai, i = 2, 3, 4, ...

  • The continued fraction x converges to a finite value, and converges uniformly if the partial numerators ai are complex variables.[4]
  • The value of x and of each of its convergents xi lies in the circular domain of radius 2/3 centered on the point z = 4/3; that is, in the region defined by
[5]
  • The radius ¼ is the largest radius over which x can be shown to converge without exception, and the region Ω is the smallest image space that contains all possible values of the continued fraction x.[5]

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.[6]

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

and a positive real number M exists such that |ci| ≤ M (i = 2, 3, 4, ...), then the sequence of convergents {fi(z)} converges uniformly when

and f(z) is analytic on that open disk.

Śleszyński–Pringsheim criterion

Mining Engineer (Excluding Oil ) Truman from Alma, loves to spend time knotting, largest property developers in singapore developers in singapore and stamp collecting. Recently had a family visit to Urnes Stave Church. In the late 19-th century, Śleszyński and later Pringsheim showed that a continued fraction, in which the as and bs may be complex numbers, will converge to a finite value if for [7]

Van Vleck's theorem

Jones and Thron attribute the following result to Van Vleck. Suppose that all the ai are equal to 1, and all the bi have arguments with:

with epsilon being any positive number less than . In other words, all the bi are inside a wedge which has its vertex at the origin, has an opening angle of , and is symmetric around the positive real axis. Then fi, the ith convergent to the continued fraction, is finite and has an argument:

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 |bi| diverges.[8]

Notes

  1. 1886 Otto Stolz, Verlesungen über allgemeine Arithmetik, pp. 299-304
  2. 1900 Alfred Pringsheim, Sb. München, vol. 30, "Über die Konvergenz unendlicher Kettenbrüche"
  3. 1905 Oskar Perron, Sb. München, vol. 35, "Über die Konvergenz periodischer Kettenbrüche"
  4. 1865 Julius Worpitzky, Jahresbericht Friedrichs-Gymnasium und Realschule, "Untersuchungen über die Entwickelung der monodromen und monogenen Functionen durch Kettenbrüche"
  5. 5.0 5.1 1942 J. F. Paydon and H. S. Wall, Duke Math. Journal, vol. 9, "The continued fraction as a sequence of linear transformations"
  6. 1905 Edward Burr Van Vleck, The Boston Colloquium, "Selected topics in the theory of divergent series and of continued fractions"
  7. See for example Theorem 4.35 on page 92 of Jones and Thron (1980).
  8. See theorem 4.29, on page 88, of Jones and Thron (1980).

References

  • Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.

    Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.

    In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.

    Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region

    Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.

    15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.

    To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010
  • 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