How can I test if a sequence is converging?

AI Thread Summary
To test if a sequence is converging, one can utilize the formal definition of convergence, which states that a sequence converges to a limit A if, for any small positive number ε, there exists a natural number N such that for all n greater than or equal to N, the absolute difference between the sequence element and A is less than ε. Cauchy sequences are also relevant, as they converge if the terms become arbitrarily close to each other as the sequence progresses. A practical approach mentioned is calculating the moving average and checking if it stabilizes below a certain threshold. Additionally, bounded and monotone sequences are guaranteed to converge. Understanding these concepts can provide a solid foundation for analyzing the convergence of sequences.
FrogPad
Messages
801
Reaction score
0
This is related to my senior design project.

I was wondering what would be a good way to check if a sequence is converging. As an example, imagine I have the following:

for n = 1:10,000
x(n) = f(n,n-1)
end

What I'm trying to say is that the sequence is updated in each iteration, and that the value of each sequence element is a function of present and past inputs. I know that the sequence is converging. Let's say that it is converging to zero. However, the sequence may oscillate like crazy, and cross zero many times, but eventually it will settle.

My question:
How can I check if a sequence is converging to zero? What are some standard tests that I can look into?

As of now, I have some hack code that basically computes the moving average. If the moving average gets to some threshold (i.e. not changing much), then I keep checking to see if it drops below some other threshold.
 
Mathematics news on Phys.org
It would be worthwhile to pick up a book on analysis and read the chapter on sequences. You would be interested in the formal definition of convergence--

(a_n) \rightarrow A if for any \epsilon > 0 there exists a natural number N such that n\geq N \Rightarrow |a_n - A| < \epsilon.

Another important thing you should know-- bounded, monotone sequences converge.

Many times you can just straight up use the definition to confirm that a sequence converges. The trick is that many times you will set up a triangle inequality to get the job done. Which I even think is how Cauchy sequences (mentioned in the previous post) can be shown to converge.

Let me rephrase that definition-- a sequence is convergent if for any interval around the proposed limit the sequence eventually enters the interval and never leaves. That means for any interval surrounding the proposed limit, there should be an infinite number of terms in the sequence contained within that interval.
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...
Thread 'Imaginary Pythagoras'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...
Back
Top