Cartesian closed category: Difference between revisions
No edit summary |
en>Yobot m →Equational theory: Reference before punctuation and other fixes using AWB (9510) |
||
Line 1: | Line 1: | ||
{{about|Abel's theorem on [[power series]]|Abel's theorem on [[algebraic curve]]s|Abel–Jacobi map|Abel's theorem on the insolubility of the quintic equation|Abel–Ruffini theorem|Abel's theorem on linear differential equations|Abel's identity|Abel's theorem on irreducible polynomials|Abel's irreducibility theorem}} | |||
{{no footnotes|date=February 2013}} | |||
In [[mathematics]], '''Abel's theorem''' for [[power series]] relates a [[limit (mathematics)|limit]] of a power series to the sum of its [[coefficient]]s. It is named after Norwegian mathematician [[Niels Henrik Abel]]. | |||
==Theorem== | |||
Let ''a'' = {''a''<sub>''k''</sub>: ''k'' ≥ 0} be any sequence of real or [[complex number]]s and let | |||
:<math>G_a(z) = \sum_{k=0}^{\infty} a_k z^k\!</math> | |||
be the power series with coefficients ''a''. Suppose that the series | |||
<math>\sum_{k=0}^\infty a_k\!</math> converges. Then | |||
:<math>\lim_{z\rightarrow 1^-} G_a(z) = \sum_{k=0}^{\infty} a_k,\qquad (*)\!</math> | |||
where the variable ''z'' is supposed to be real, or, more generally, to lie within any ''Stolz angle'', that is, a region of the open unit disk where | |||
: <math> |1-z|\leq M(1-|z|) \, </math> | |||
for some ''M''. Without this restriction, the limit may fail to exist. | |||
Note that <math>G_a(z)</math> is continuous on the real closed interval [0, ''t''] for ''t'' < 1, by virtue of the uniform convergence of the series on compact subsets of the disk of convergence. Abel's theorem allows us to say more, namely that <math>G_a(z)</math> is continuous on [0, 1]. | |||
==Remarks== | |||
As an immediate consequence of this theorem, if ''z'' is any nonzero complex number for which the series <math> | |||
\sum_{k=0}^\infty a_k z^k\!</math> converges, then it follows that | |||
:<math>\lim_{t\to 1^{-}} G_a(tz) = \sum_{k=0}^{\infty} a_kz^k\!</math> | |||
in which the limit is taken [[one-sided limit|from below]]. | |||
The theorem can also be generalized to account for infinite sums. If | |||
:<math>\sum_{k=0}^\infty a_k = \infty\!</math> | |||
then the limit from below <math>\lim_{z\to 1^{-}} G_a(z) </math> will tend to infinity as well. However, if the series is only known to | |||
be divergent, the theorem fails; take for example, the power series for <math>\frac{1}{1+z}</math>. The series is equal to <math>1 - 1 + 1 - 1 + \cdots </math> at <math>z=1</math>, but <math>1/(1+1)=1/2</math>. | |||
==Applications== | |||
The utility of Abel's theorem is that it allows us to find the limit of a power series as its argument (i.e. ''z'') approaches 1 from below, even in cases where the [[radius of convergence]], ''R'', of the power series is equal to 1 and we cannot be sure whether the limit should be finite or not. See e.g. the [[binomial series]]. Abel's theorem allows us to evaluate many series in closed form. For example, when <math> a_k = (-1)^k/(k+1)</math>, we obtain <math>G_a(z) = \ln(1+z)/z </math> for <math> 0 < z < 1 </math>, by integrating the uniformly convergent geometric power series term by term on [''-z'', 0]; thus the series <math>\sum_{k=0}^\infty (-1)^k/(k+1)\!</math> converges to ln(2) by Abel's theorem. Similarly, <math>\sum_{k=0}^\infty (-1)^k/(2k+1)\!</math> converges to arctan(1) = <math> \pi/4 </math>. | |||
''G''<sub>''a''</sub>(''z'') is called the [[generating function]] of the sequence ''a''. Abel's theorem is frequently useful in dealing with generating functions of real-valued and non-negative [[sequence]]s, such as [[probability-generating function]]s. In particular, it is useful in the theory of [[Galton–Watson process]]es. | |||
==Outline of proof== | |||
After subtracting a constant from <math> a_0 \!</math>, we may assume that <math>\sum_{k=0}^\infty a_k=0\!</math>. Let <math>s_n=\sum_{k=0}^n a_k\!</math>. Then substituting <math>a_k=s_k-s_{k-1}\!</math> and performing a simple manipulation of the series results in | |||
:<math>G_a(z) = (1-z)\sum_{k=0}^{\infty} s_k z^k.\!</math> | |||
Given <math>\epsilon > 0\!</math>, pick ''n'' large enough so that <math>|s_k| < \epsilon\!</math> for all <math>k\ge n\!</math> and note that | |||
:<math>\left|(1-z)\sum_{k=n}^\infty s_kz^k \right| \le \epsilon |1-z|\sum_{k=n}^\infty |z|^k = \epsilon|1-z|\frac{|z|^n}{1-|z|} < \epsilon M \!</math> | |||
when ''z'' lies within the given Stoltz angle. Whenever ''z'' is sufficiently close to 1 we have | |||
:<math>\left|(1-z)\sum_{k=0}^{n-1} s_kz^k \right| < \epsilon, </math> | |||
so that <math>|G_a(z)| < (M+1)\epsilon \!</math> when ''z'' is both sufficiently close to 1 and within the Stoltz angle. | |||
==Related concepts== | |||
Converses to a theorem like Abel's are called [[Tauberian theorem]]s: There is no exact converse, but results conditional on some hypothesis. The field of [[divergent series]], and their summation methods, contains many theorems ''of abelian type'' and ''of tauberian type''. | |||
==See also== | |||
* [[Summation by parts]] | |||
* [[Abel's summation formula]] | |||
* [[Nachbin resummation]] | |||
==Further reading== | |||
*{{Cite book|last=Valerian Ahlfors|first=Lars|date=September 1, 1980|title=Complex Analysis|edition=Third|publisher=McGraw Hill Higher Education|pages=41–42|isbn=0-07-085008-9}} - Ahlfors called it ''Abel's limit theorem''. | |||
==External links== | |||
* {{PlanetMath | urlname=AbelianTheorem | title=Abel summability | id=3549}} ''(a more general look at Abelian theorems of this type)'' | |||
* {{SpringerEOM | urlname=A/a010170 | title=Abel summation method | author=A.A. Zakharov}} | |||
* {{MathWorld | title=Abel's Convergence Theorem | urlname=AbelsConvergenceTheorem}} | |||
[[Category:Theorems in real analysis]] | |||
[[Category:Theorems in complex analysis]] | |||
[[Category:Mathematical series]] | |||
[[Category:Niels Henrik Abel]] | |||
[[Category:Summability methods]] |
Revision as of 13:30, 4 October 2013
29 yr old Orthopaedic Surgeon Grippo from Saint-Paul, spends time with interests including model railways, top property developers in singapore developers in singapore and dolls. Finished a cruise ship experience that included passing by Runic Stones and Church.
Template:No footnotes In mathematics, Abel's theorem for power series relates a limit of a power series to the sum of its coefficients. It is named after Norwegian mathematician Niels Henrik Abel.
Theorem
Let a = {ak: k ≥ 0} be any sequence of real or complex numbers and let
be the power series with coefficients a. Suppose that the series converges. Then
where the variable z is supposed to be real, or, more generally, to lie within any Stolz angle, that is, a region of the open unit disk where
for some M. Without this restriction, the limit may fail to exist.
Note that is continuous on the real closed interval [0, t] for t < 1, by virtue of the uniform convergence of the series on compact subsets of the disk of convergence. Abel's theorem allows us to say more, namely that is continuous on [0, 1].
Remarks
As an immediate consequence of this theorem, if z is any nonzero complex number for which the series converges, then it follows that
in which the limit is taken from below.
The theorem can also be generalized to account for infinite sums. If
then the limit from below will tend to infinity as well. However, if the series is only known to be divergent, the theorem fails; take for example, the power series for . The series is equal to at , but .
Applications
The utility of Abel's theorem is that it allows us to find the limit of a power series as its argument (i.e. z) approaches 1 from below, even in cases where the radius of convergence, R, of the power series is equal to 1 and we cannot be sure whether the limit should be finite or not. See e.g. the binomial series. Abel's theorem allows us to evaluate many series in closed form. For example, when , we obtain for , by integrating the uniformly convergent geometric power series term by term on [-z, 0]; thus the series converges to ln(2) by Abel's theorem. Similarly, converges to arctan(1) = .
Ga(z) is called the generating function of the sequence a. Abel's theorem is frequently useful in dealing with generating functions of real-valued and non-negative sequences, such as probability-generating functions. In particular, it is useful in the theory of Galton–Watson processes.
Outline of proof
After subtracting a constant from , we may assume that . Let . Then substituting and performing a simple manipulation of the series results in
Given , pick n large enough so that for all and note that
when z lies within the given Stoltz angle. Whenever z is sufficiently close to 1 we have
so that when z is both sufficiently close to 1 and within the Stoltz angle.
Related concepts
Converses to a theorem like Abel's are called Tauberian theorems: There is no exact converse, but results conditional on some hypothesis. The field of divergent series, and their summation methods, contains many theorems of abelian type and of tauberian type.
See also
Further reading
- 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 - Ahlfors called it Abel's limit theorem.
External links
- Template:PlanetMath (a more general look at Abelian theorems of this type)
- 53 yrs old Fitter (Common ) Batterton from Carp, likes to spend some time kid advocate, property developers in singapore and handball. Completed a cruise liner experience that was comprised of passing by Gusuku Sites and Related Properties of the Kingdom of Ryukyu.
Here is my web page www.mtfgaming.com
I had like 17 domains hosted on single account, and never had any special troubles. If you are not happy with the service you will get your money back with in 45 days, that's guaranteed. But the Search Engine utility inside the Hostgator account furnished an instant score for my launched website. Fantastico is unable to install WordPress in a directory which already have any file i.e to install WordPress using Fantastico the destination directory must be empty and it should not have any previous installation files. When you share great information, others will take note. Once your hosting is purchased, you will need to setup your domain name to point to your hosting. Money Back: All accounts of Hostgator come with a 45 day money back guarantee. If you have any queries relating to where by and how to use Hostgator Discount Coupon, you can make contact with us at our site. If you are starting up a website or don't have too much website traffic coming your way, a shared plan is more than enough. Condition you want to take advantage of the worldwide web you prerequisite a HostGator web page, -1 of the most trusted and unfailing web suppliers on the world wide web today. Since, single server is shared by 700 to 800 websites, you cannot expect much speed.
Hostgator tutorials on how to install Wordpress need not be complicated, especially when you will be dealing with a web hosting service that is friendly for novice webmasters and a blogging platform that is as intuitive as riding a bike. After that you can get Hostgator to host your domain and use the wordpress to do the blogging. Once you start site flipping, trust me you will not be able to stop. I cut my webmaster teeth on Control Panel many years ago, but since had left for other hosting companies with more commercial (cough, cough) interfaces. If you don't like it, you can chalk it up to experience and go on. First, find a good starter template design. When I signed up, I did a search for current "HostGator codes" on the web, which enabled me to receive a one-word entry for a discount. Your posts, comments, and pictures will all be imported into your new WordPress blog.