|
|
| Line 1: |
Line 1: |
| In [[complex analysis]], an '''elliptic function''' is a [[meromorphic]] [[function (mathematics)|function]] that is [[periodic function|periodic]] in two directions. Just as a periodic function of a real variable is defined by its values on an interval, an elliptic function is determined by its values on a [[fundamental parallelogram]], which then repeat in a lattice. Such a [[doubly periodic function]] cannot be [[holomorphic]], as it would then be a [[bounded function|bounded]] [[entire function]], and by [[Liouville's theorem (complex analysis)|Liouville's theorem]] every such function must be constant. In fact, an elliptic function must have at least two [[pole (complex analysis)|poles]] (counting multiplicity) in a fundamental parallelogram, as it is easy to show using the periodicity that a [[contour integral]] around its boundary must vanish, implying that the [[residue theorem|residues]] of any simple poles must cancel.
| | The writer is called Irwin Wunder but it's not the most masucline name out there. I utilized to be unemployed but now I am a librarian healthy food delivery meal delivery service and the wage has been truly satisfying. The factor she adores most is physique building and now she is trying to earn meal delivery service money with it. His [http://www.livestrong.com/article/361451-the-best-meal-delivery-plans/ family lives] in [http://www.ratingdietplans.com/diets/the-best-diet-food-delivery-services-indepth-comparisons South Dakota] but his spouse desires them to transfer.<br><br>Also visit my webpage - [http://Www.Myprgenie.com/view-publication/how-to-be-successful-with-your-weight-loss-goals healthy meals delivered] |
| | |
| Historically, elliptic functions were first discovered by [[Niels Henrik Abel]] as [[inverse function]]s of [[elliptic integral]]s, and their theory improved by [[Carl Gustav Jacobi]]; these in turn were studied in connection with the problem of the [[arc length]] of an [[ellipse]], whence the name derives. [[Jacobi's elliptic functions]] have found numerous applications in physics, and were used by Jacobi to prove some results in elementary number theory. A more complete study of elliptic functions was later undertaken by [[Karl Weierstrass]], who found a simple elliptic function in terms of which all the others could be expressed. Besides their practical use in the evaluation of integrals and the explicit solution of certain differential equations, they have deep connections with [[elliptic curve]]s and [[modular form]]s.
| |
| | |
| ==Definition==
| |
| Formally, an elliptic function is a function <math>f</math> meromorphic on <math>\mathbb{C}</math> for which there exist two non-zero complex numbers <math>\omega_1</math> and <math>\omega_2</math> with <math>\frac{\omega_1}{\omega_2}\notin\mathbb{R}</math> (in other words, not parallel), such that <math>f(z)=f(z+\omega_1)</math> and <math>f(z)=f(z+\omega_2)</math> for all <math>z\in\mathbb{C}</math>.
| |
| | |
| Denoting the "lattice of periods" by <math>\Lambda=\left\{ m\omega_1+n\omega_{2}\mid m,n\in\mathbb{Z}\right\} </math>, it follows that <math>f(z)=f(z+\omega)</math> for all <math>\omega\in\Lambda</math>.
| |
| | |
| There are two families of 'canonical' elliptic functions: those of Jacobi and those of Weierstrass. Although Jacobi's elliptic functions are older and more directly relevant to applications, modern authors mostly follow Karl Weierstrass when presenting the elementary theory, because his [[Weierstrass's elliptic functions|functions]] are simpler, and any elliptic function can be expressed in terms of them.
| |
| | |
| ==Weierstrass's elliptic functions==
| |
| {{Main|Weierstrass elliptic function}}
| |
| | |
| With the definition of elliptic functions given above (which is due to Weierstrass) the Weierstrass elliptic function <math>\wp\left(z\right)</math> is constructed in the most obvious way: given a lattice <math>\Lambda</math> as above, put
| |
| | |
| : <math>\wp\left(z\right)=\frac{1}{z^{2}}+\sum_{\omega\in\Lambda\smallsetminus\left\{ 0\right\} }\left(\frac{1}{\left(z-\omega\right)^{2}}-\frac{1}{\omega^{2}}\right)</math> | |
| | |
| This function is clearly invariant with respect to the transformation <math>z\mapsto z+\omega</math> for any <math>\omega\in\Lambda</math> and only has poles at <math>z = 0</math> and <math> z = \omega</math>. The addition of the <math>-\frac{1}{\omega^{2}}</math> terms is necessary to make the sum converge. The technical condition to ensure that an infinite sum such as this converges to a meromorphic function is that on any compact set, after omitting the finitely many terms having poles in that set, the remaining series converges [[normal convergence|normally]]. On any compact disk <math>\mathbb{D}</math> defined by <math>\left|z\right|\leq R</math>, any <math>\omega\notin\mathbb{D}</math> satisfies
| |
| | |
| : <math>\left|\frac{1}{\left(z-\omega\right)^{2}}-\frac{1}{\omega^{2}}\right|=\left|\frac{2\omega z-z^{2}}{\omega^{2}\left(\omega-z\right)^{2}}\right|=\left|\frac{z\left(2-\frac{z}{\omega}\right)}{\omega^{3}\left(1-\frac{z}{\omega}\right)^{2}}\right|\leq\frac{10R}{\left|\omega\right|^{3}}</math>
| |
| | |
| and it can be shown that the sum
| |
| | |
| : <math>\sum_{\omega\neq0}\frac{1}{\left|\omega\right|^{3}}</math>
| |
| | |
| converges regardless of <math>\Lambda</math>.<ref name="Cartan">{{cite book | title=Elementary Theory of Analytic Functions of One or Several Complex Variables | publisher=Dover Publications| author=Cartan, Henri | authorlink=Henri Cartan | year=1995 | pages=154 | isbn=9780486685434}}</ref>
| |
| | |
| By writing <math>\wp</math> as a [[Laurent series]] and explicitly comparing terms, one may verify that it satisfies the relation
| |
| | |
| : <math>\left(\wp'\left(z\right)\right)^2=4\left(\wp\left(z\right)\right)^3-g_2 \wp\left(z\right)-g_3</math>
| |
| | |
| where
| |
| | |
| : <math>g_2=60\sum_{\omega\in\Lambda\smallsetminus\left\{ 0\right\} }\frac{1}{\omega^4}</math>
| |
| | |
| and
| |
| | |
| : <math>g_3=140\sum_{\omega\in\Lambda\smallsetminus\left\{ 0\right\} }\frac{1}{\omega^6}.</math> | |
| | |
| This means that the pair <math>\left(\wp,\wp'\right)</math> parametrize an elliptic curve.
| |
| | |
| The functions <math>\wp</math> take different forms depending on <math>\Lambda</math>, and a rich theory is developed when one allows <math>\Lambda</math> to vary. To this effect, put <math>\omega_1=1</math> and <math>\omega_2=\tau</math>, with <math>\operatorname{Im}\left(\tau\right)>0</math>. (After a rotation and a scaling factor, any lattice may be put in this form.)
| |
| | |
| A holomorphic function in the upper half plane <math>H=\left\{ z\in\mathbb{C}|Im\left(z\right)>0\right\} </math> which is invariant under [[linear fractional transformation]]s with integer coefficients and determinant 1 is called a [[modular function]]. That is, a holomorphic function <math>h:H\rightarrow\mathbb{C}</math> is a modular function if
| |
| | |
| : <math>h\left(\tau\right)=h\left(\frac{a\tau+b}{c\tau+d}\right)</math> for all <math>\left(\begin{matrix}a & c\\
| |
| b & d
| |
| \end{matrix}\right)\in SL_{2}\left(\mathbb{Z}\right)</math>.
| |
| | |
| One such function is [[j-invariant|Klein's j-invariant]], defined by
| |
| | |
| : <math>j\left(\tau\right)=\frac{1728g_{2}^{3}}{g_{2}^{3}-27g_{3}^{2}}</math> where <math>g_{2}</math> and <math>g_{3}</math> are as above.
| |
| | |
| ==Jacobi's elliptic functions==
| |
| {{Main|Jacobi elliptic functions}}
| |
| {{Main|Theta function}}
| |
| | |
| [[Image:JacobiFunctionAbstract.png|width322px|thumb|Auxiliary rectangle construction]]
| |
| There are twelve Jacobian elliptic functions. Each of the twelve corresponds to an arrow drawn from one corner of a rectangle to another. The corners of the rectangle are labeled, by convention, s, c, d and n. The rectangle is understood to be lying on the [[complex plane]], so that s is at the origin, c is at the point ''K'' on the real axis, d is at the point ''K'' + ''iK<nowiki>'</nowiki>'' and n is at point ''iK<nowiki>'</nowiki>'' on the imaginary axis. The numbers ''K'' and ''K' '' are called the [[quarter period]]s. The twelve Jacobian elliptic functions are then pq, where each of p and q is one of the letters s, c, d, n.
| |
| | |
| The Jacobian elliptic functions are then the unique doubly periodic, [[meromorphic]] functions satisfying the following three properties:
| |
| * There is a simple zero at the corner p, and a simple pole at the corner q.
| |
| * The step from p to q is equal to half the period of the function pq ''u''; that is, the function pq ''u'' is periodic in the direction pq, with the period being twice the distance from p to q. The function pq ''u'' is also periodic in the other two directions, with a period such that the distance from p to one of the other corners is a quarter period.
| |
| * If the function pq ''u'' is expanded in terms of ''u'' at one of the corners, the leading term in the expansion has a coefficient of 1. In other words, the leading term of the expansion of pq ''u'' at the corner p is ''u''; the leading term of the expansion at the corner q is 1/''u'', and the leading term of an expansion at the other two corners is 1.
| |
| | |
| More generally, there is no need to impose a rectangle; a parallelogram will do. However, if ''K'' and ''iK' '' are kept on the real and imaginary axis, respectively, then the Jacobi elliptic functions pq ''u'' will be real functions when ''u'' is real.
| |
| | |
| ==Properties==
| |
| | |
| *The set of all elliptic functions which share some two periods form a [[field (mathematics)|field]].
| |
| | |
| *The [[derivative]] of an elliptic function is again an elliptic function, with the same periods.
| |
| | |
| *The field of elliptic functions with respect to a given lattice is generated by ℘ and its derivative ℘′.
| |
| | |
| == See also ==
| |
| * [[Elliptic integral]]
| |
| * [[Modular group]]
| |
| * [[Ramanujan theta function]]
| |
| | |
| == References ==
| |
| | |
| {{reflist}}
| |
| {{refbegin|30em}}
| |
| * {{Cartan}} Cartan, Henri, ''Elementary Theory of Analytic Functions of one or Several Complex Variables'", Dover Publications, 1995.
| |
| * {{Abramowitz_Stegun_ref2|16|567|18|627}} (only considers the case of real invariants).
| |
| * [[Naum Akhiezer|N. I. Akhiezer]], ''Elements of the Theory of Elliptic Functions'', (1970) Moscow, translated into English as ''AMS Translations of Mathematical Monographs Volume 79'' (1990) AMS, Rhode Island ISBN 0-8218-4532-2
| |
| * [[Tom M. Apostol]], ''Modular Functions and Dirichlet Series in Number Theory'', Springer-Verlag, New York, 1976. ISBN 0-387-97127-0 ''(See Chapter 1.)''
| |
| * [[E. T. Whittaker]] and [[G. N. Watson]]. ''[[Whittaker and Watson|A course of modern analysis]]'', Cambridge University Press, 1952
| |
| {{refend}}
| |
| | |
| ==External links==
| |
| {{commonscat|Elliptic functions}}
| |
| | |
| * {{springer|title=Elliptic function|id=p/e035470}}
| |
| * [http://mathdl.maa.org/convergence/1/?pa=content&sa=viewDocument&nodeId=1557 Translation of Niels Abel's Research on Elliptic Functions] at [http://mathdl.maa.org/convergence/1/ Convergence]
| |
| | |
| [[Category:Elliptic functions]]
| |
The writer is called Irwin Wunder but it's not the most masucline name out there. I utilized to be unemployed but now I am a librarian healthy food delivery meal delivery service and the wage has been truly satisfying. The factor she adores most is physique building and now she is trying to earn meal delivery service money with it. His family lives in South Dakota but his spouse desires them to transfer.
Also visit my webpage - healthy meals delivered