A weird convolution (recurrence relation)

Click For Summary
SUMMARY

The discussion centers on the growth behavior of the sequence defined by the recurrence relation A_n = ∑_{m=0}^n B_m B_{n-m}, where B_0 = 1 and B_n = n^2. Participants conclude that A_n grows asymptotically as O(n^5), contrary to the initial expectation of O(n^2). This discrepancy is explained through the use of integrals to approximate the summation, revealing that if B_n ∼ O(n^a), then A_n ∼ O(n^{2a+1}). The integral approach clarifies the underlying growth dynamics, particularly for large n.

PREREQUISITES
  • Understanding of recurrence relations
  • Familiarity with asymptotic notation (Big O notation)
  • Knowledge of integral calculus, particularly in approximating sums
  • Proficiency in applying the Binomial theorem
NEXT STEPS
  • Study the properties of recurrence relations in combinatorial contexts
  • Learn about asymptotic analysis and its applications in algorithm complexity
  • Explore integral approximations for discrete sums in mathematical analysis
  • Investigate the Binomial theorem and its implications in series expansions
USEFUL FOR

Mathematicians, computer scientists, and students engaged in combinatorial analysis or algorithm design will benefit from this discussion, particularly those interested in understanding the growth rates of sequences defined by recurrence relations.

rsq_a
Messages
103
Reaction score
1
The answer doesn't seem obvious to me:

If I set up

[tex]B_0 = 1[/tex] and [tex]B_n = n^2[/tex]

Then let

[tex]A_n = \sum_{m=0}^n B_m B_{n-m} = 2B_0 B_{n} + 2B_1 B_{n-1} + \ldots[/tex]

Then I almost expected [tex]A_n[/tex] to grow like [tex]n^2[/tex]. Instead, I'm getting (numerically) that [tex]A_n \sim O(n^5)[/tex]! Why is that?

In general, it seems that if [tex]B_n \sim O(n^a)[/tex] then [tex]A_n \sim O(n^{2a+1})[/tex]
 
Last edited:
Physics news on Phys.org
for big m replace the sum by an integral

[tex]\sum_{m=0}^{n}B_{m}B_{n-m}\sym \int_{0}^{x}dtB(t)B(x-t)[/tex]

the integral [tex]\int_{0}^{x}dt(x-t)^{2}t^{2}[/tex] using the Binomial theorem includes the integral of terms [tex]t^{4}[/tex] which is itself proportinal to [tex]x^{5}[/tex] this is the solution to your paradox
 
zetafunction said:
for big m replace the sum by an integral

[tex]\sum_{m=0}^{n}B_{m}B_{n-m}\sym \int_{0}^{x}dtB(t)B(x-t)[/tex]

the integral [tex]\int_{0}^{x}dt(x-t)^{2}t^{2}[/tex] using the Binomial theorem includes the integral of terms [tex]t^{4}[/tex] which is itself proportinal to [tex]x^{5}[/tex] this is the solution to your paradox

Hmm...I sort of follow it. For large n, we can compare the growth of the sum to the growth of the integral, which is indeed [tex]O(n^5)[/tex].

It's difficult to see how this arises from the direct sum itself, though.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
8
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
7
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K