Solving a system of recursive functions

  • Thread starter Thread starter Chef Hoovisan
  • Start date Start date
  • Tags Tags
    Functions System
Chef Hoovisan
Messages
2
Reaction score
0
I've run across a system of recursive functions (call them f and g). The system looks like this:

f(x) = a f(x-1) + b g(x-1)
g(x) = a g(x-1) + c f(x-1)

I also know that f(0) = 0 and g(0)>0. Finally, I know for other reasons that are too complicated to go into here that the system is somehow related to the trig functions. This is well outside my area of expertise, so I'm hopeful one of you can point me in the right direction so that I can perhaps simplify the system. Thanks in advance.
 
Mathematics news on Phys.org
Chef Hoovisan said:
I've run across a system of recursive functions (call them f and g). The system looks like this:

f(x) = a f(x-1) + b g(x-1)
g(x) = a g(x-1) + c f(x-1)

I also know that f(0) = 0 and g(0)>0. Finally, I know for other reasons that are too complicated to go into here that the system is somehow related to the trig functions. This is well outside my area of expertise, so I'm hopeful one of you can point me in the right direction so that I can perhaps simplify the system. Thanks in advance.

If it's possible can you say what are you trying to do here. Why is f(0) = 0 and g(0)>0? Is it some kind of conditions?
In what way are you trying to simplify the system.Please do explain
 
I'll give you the context, but as I said it's a bit involved. It's a math puzzle to which I know the answer, but do not understand the intuition behind the answer. Here's the puzzle:

A “small” ball with unit mass is resting on a pool table. A “big” ball with mass 16x100n (n a non-negative integer) is also resting on the pool table. That is, the higher mass ball will have a mass of m∈{ 16, 1600, 160000, …}. A man then strikes the big ball causing it to move toward and then strike the small ball. This collision sends the small off toward the bumper. The direction of all movement is perpendicular to the bumper, so the small ball rebounds from the bumper and returns until it strikes the big ball. Another collision results, sending the small ball back toward the bumper and repeating the process (albeit with different velocities for the balls). The pool table is frictionless and its bumpers are perfectly elastic, so there is no loss of velocity as the balls move along the table or when they rebound after hitting a bumper. Eventually, the collisions slow the big ball enough so that it reverses course and moves away from the small ball rather than toward it, thus ending the process. How many collisions, as a function of n, will there be between the big and small balls? Note that because of the frictionless system, you can ignore any spin in the balls and focus only on conservation of momentum and conservation of energy.

The governing formulas for this situation are shown here: http://en.wikipedia.org/wiki/Elastic_collision . Let m1 and m2 be the masses of the two balls and let v1(n) and v2(n) be the velocities of the two balls. We then have

v1(x) = (v1(x-1)*(m1-m2) + 2m2v2(x-1)) / (m1+m2)

and

v2(x) = (v2(x-1)*(m2-m1) + 2m1v1(x-1)) / (m2+m1)

Using a little algebra from there, you get the form I mentioned in the original post. Note that you do need to be careful to reverse the sign of the small ball's velocity to account for its rebound off the wall.

This is one of the most interesting math puzzles I've ever run across (and I've seen many, many of them), so I won't spoil the solution in case you want to work on it. I've seen a few somewhat unsatisfying "solutions," which is what has led me to ponder the recursive nature of the problem and how that might be used to produce a solution that provides good intuition.
 
Would you say the problem is discrete-time? If so, a Z-transform might help.
 
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...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
Thread 'Imaginary pythagorus'
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