Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
A little bit of a page at infinite product, mainly just a definition, which leads me to ask a question: how do we define convergence of an infinite product in constructive mathematics? The definition seems to depend on decidability of .
Is there any reason you’d not want to use the definition using sums of logarithms, as Wikipedia does? Though I suppose that only makes sense for real numbers as it stands. To make it work for complex numbers, you’d have to pick a branch cut avoiding all terms of the sequence. Then I suppose the constructive domain of the logarithm makes itself felt. Certainly if all the terms are apart from 0 (or have absolute value apart from 0) it’s ok.
Yes, using logarithms makes perfect sense for complex numbers, although you do want to be sure that the branch you choose agrees with the principal branch along the positive real line (otherwise and your series is never going to converge). But for products that involve some terms that might be zero, the classical thing to do is to ignore those terms when considering convergence but allow the value of the product to then be zero; but constructively, how can we decide which terms to ignore?
What sort of real do you want it to converge to? Perhaps if we don’t have a proof that all the terms are apart from zero, we cannot prove it converges (or converges to something apart from zero).
Here’s a more concrete situation. Suppose I know that are all apart from 0 and that converges (in the obvious sense of a limit of partial products) to some limit that is also apart from 0. I would like to be able to prove that converges to the product . With the classical definition, I have to divide into cases: if , then converges to by ignoring , and then converges to 0; whereas if , then converges to directly (as a limit of partial products). Is there a constructive definition of infinite products that would allow me to prove this fact? It sure seems like shouldn’t depend on knowing that is either 0 or apart from 0!
Like David, I don’t understand what’s wrong with taking the infinite product to simply be the limit of partial products, calling it “convergent” if you like when this result is nonzero, and considering a result of zero to be a form of “divergence”. This is precisely what you would get by thinking about infinite summation in the ordinary way in logarithm world, considering zero to have infinite (and thus divergent) logarithm.
[I’ll also note that, if one does want to explicitly phrase things in terms of logarithms, we needn’t worry about branch cuts at all; simply take logarithms of nonzero complex numbers to be elements of the quotient group of the complex numbers by the subgroup generated by , with obvious corresponding notion of infinite summation. There’s no reason to choose representatives from this quotient.]
The point is that the product should converge to 0, while the product should diverge (“to 0”), but in both cases the partial products have a limit of 0. The reason we want the first one to converge is because we want to define analytic functions by infinite products and allow those functions to have zeros (that being the point of the Weierstrass product theorem). How do you distinguish those cases constructively?
I see. In that case, you could say a sequence converges if, for sufficiently large n, tossing out its first n factors yields a nonzero limiting product. The value converged to will, of course, be the limiting product when tossing out no factors. This is equivalent to the definition given in the article, but makes it easy to constructively prove what was desired: convergence is now manifestly a tail-property, so that converges just in case converges. And, for convergent sequences, the value converged to is given by the usual limit, so that we furthermore have that .
Thanks! Biking home today I came to more or less the same conclusion: my idea was to say that the product converges if (1) there is a cofinite subset of on which is apart from 0, and (2) the series of logarithms converges when restricted to that subset. I guess that’s probably about the same – I assume the logarithm is only defined constructively on numbers apart from 0.
(I feel like if I were a real constructive analyst, I would have thought of this immediately… (-: )
Is there a name for the operation
,
akin to the definition of the infinite product, but where one extends the definition as such that the terms being multiplied may be functions of the upper bound ? For example, in the calculation of some path integrals one may use
Probably there is no special terminology for this case, but of course it’s hard to exclude that somebody somewhere proposed something. But I think it’s a good point that infinite products of this more general kind should be mentioned in the entry, as they are important.
While it’s certainly an important notion, I’m dubious about calling it an “infinite product” of any sort.
@Mike: I now found a reference for a large class of similar constructions of the form . They denote it by a stylized for sum, however I’m dubious about calling it an “infinite sum” of any sort. :)
edit: Okay, I now found a reference to the idea, the above is akin to a Type II Volterra product integral. Oh, it has its own calculus with fundamental theorem and all.
I don’t think that not mentioning something that people will tend to expect just because on strict erudite grounds they may be wrong to expect it is a good idea for a wiki like the Lab.
A little googling demostrates that path integral textbooks will easily speak of “infinite products” for the thing in #10, and I don’t find it surprising.
I’m thinking about the topic because by a telescoping argument I “discovered” the formula of how to truncate a product additively at any mid point , actually turning them to sums with finitely computable summands. Namely
I surprised some people on MathOverflow/StackExchange with idenitities like
,
.
This implies accurate approximations that are easy to reason about, such as .
and I’m wondering who knew it before. My derivation uses an infinite upper bound, but that might not be necessary. I also want to find the dependent version of that tool.
@Nicolai #13: is that supposed to be a snarky argument that because integrals are related to sums, this is related to products? I don’t dispute that it’s related to products, but I think you’ve actually made my case, because integrals are not called “infinite products”; they have their own name “integral” and their own symbol which is, as you say, a stylized sort of “S” for sum. It appears from your reference that the same is true here; these things are called “product integrals”? I’m not against mentioning this thing on the page infinite product, I just don’t think it should be called an “infinite product”.
@Myke: I didn’t want to sound snarky, sorry if it came across that way. In fact I never even proposed to call them infinite product, I was just pointing out that it’s not so far fetched.
Ok, sorry if I misinterpreted. (-: Feel free to create a page about product integrals and add a link to it from infinite product!
Yeah I might do that once I’m done with my quest of uniting the tool. Not sure about nPOV here, though.
The theorems on that Wikipedia page tell you how product integral translate to sums, e.g.
,
(where we know how to expand the exponential as a sum)
and the formula in #15 I deviced above also translates an actual product to a sum. In fact the “infinite product is really an infinite sum of terms involving finite products” is akin to the Dyson series
It makes me question if there are limits of products at all, or if they all have some additive normal form. (Might relate to expansion and infinite factorizaiton of holomorphic objects.)
I played with the product integral in Mathematica and it has a hard time evaluating stuff. Product integrating takes alomst a second (=long) and gives or something (as the formula claims). What’s notable is that many of the product integrals evaluate to terms involving Pochhammer symbols. Now there are some notable product->sum translations involving those. One is lead to looking up classical formulas such as Eulers
I tried to see how my truncation process relates e.g. to the Jacobi triple product formula, but it doesn’t at all, the terms are sorted completely different.
1 to 19 of 19