In mathematics, more specifically in mathematical analysis, the Cauchy product is the discrete convolution of two infinite series. It is named after the French mathematician Augustin-Louis Cauchy.
The Cauchy product may apply to infinite series or power series. When people apply it to finite sequences or finite series, that can be seen merely as a particular case of a product of series with a finite number of non-zero coefficients (see discrete convolution).
Convergence issues are discussed in the next section.
Let and be two infinite series with complex terms. The Cauchy product of these two infinite series is defined by a discrete convolution as follows:
where .
Consider the following two power series
and
with complex coefficients and . The Cauchy product of these two power series is defined by a discrete convolution as follows:
where .
Let (an)n≥0 and (bn)n≥0 be real or complex sequences. It was proved by Franz Mertens that, if the series converges to A and converges to B, and at least one of them converges absolutely, then their Cauchy product converges to AB. The theorem is still valid in a Banach algebra (see first line of the following proof).
It is not sufficient for both series to be convergent; if both sequences are conditionally convergent, the Cauchy product does not have to converge towards the product of the two series, as the following example shows:
Consider the two alternating series with
which are only conditionally convergent (the divergence of the series of the absolute values follows from the direct comparison test and the divergence of the harmonic series). The terms of their Cauchy product are given by
for every integer n ≥ 0. Since for every k ∈ we have the inequalities k + 1 ≤ n + 1 and n – k + 1 ≤ n + 1, it follows for the square root in the denominator that ≤ n +1, hence, because there are n + 1 summands,
for every integer n ≥ 0. Therefore, cn does not converge to zero as n → ∞, hence the series of the (cn)n≥0 diverges by the term test.
For simplicity, we will prove it for complex numbers.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
This course is an introduction to the theory of complex analysis, Fourier series and Fourier transforms (including for tempered distributions), the Laplace transform, and their uses to solve ordinary
In mathematics, a series is the sum of the terms of an infinite sequence of numbers. More precisely, an infinite sequence defines a series S that is denoted The nth partial sum Sn is the sum of the first n terms of the sequence; that is, A series is convergent (or converges) if the sequence of its partial sums tends to a limit; that means that, when adding one after the other in the order given by the indices, one gets partial sums that become closer and closer to a given number.
In mathematics, the infinite series 1 − 1 + 1 − 1 + ⋯, also written is sometimes called Grandi's series, after Italian mathematician, philosopher, and priest Guido Grandi, who gave a memorable treatment of the series in 1703. It is a divergent series, meaning that it does not have a sum. However, it can be manipulated to yield a number of mathematically interesting results. For example, many summation methods are used in mathematics to assign numerical values even to a divergent series.
The Basel problem is a problem in mathematical analysis with relevance to number theory, concerning an infinite sum of inverse squares. It was first posed by Pietro Mengoli in 1650 and solved by Leonhard Euler in 1734, and read on 5 December 1735 in The Saint Petersburg Academy of Sciences. Since the problem had withstood the attacks of the leading mathematicians of the day, Euler's solution brought him immediate fame when he was twenty-eight.
We prove a Szemeredi-Trotter type theorem and a sum product estimate in the setting of finite quasifields. These estimates generalize results of the fourth author, of Garaev, and of Vu. We generalize results of Gyarmati and Sarkozy on the solvability of th ...
A polarized variety is K-stable if, for any test configuration, the Donaldson-Futaki invariant is positive. In this paper, inspired by classical geometric invariant theory, we describe the space of test configurations as a limit of a direct system of Tits ...