I am currently trying to do a lab report for a coupled pendulums experiment in which we find the following linear system of second order differential equations (describing the position as a function of time of the two masses): $$\dfrac{\text{d}^2}{\text{d}t^2}\begin{pmatrix}x_1\\x_2\\\end{pmatrix} = \begin{pmatrix}-\omega_0^2-k & & k\\k & & -\omega_0^2-k\\\end{pmatrix}\begin{pmatrix}x_1\\x_2\\\end{pmatrix}$$

And the lab notes states that all solutions are linear combinations of the following two solutions $$\begin{pmatrix}x_1\\x_2\\\end{pmatrix} = A_{sym}\begin{pmatrix}1\\1\\\end{pmatrix}\cos{(\omega_{sym}t+\phi_{sym})}$$

$$\begin{pmatrix}x_1\\x_2\\\end{pmatrix} = A_{asym}\begin{pmatrix}1\\-1\\\end{pmatrix}\cos{(\omega_{asym}t+\phi_{asym})}$$

where $\omega_{sym} = \omega_0$ and $\omega_{asym} = \sqrt{\omega_0^2+2k}\\$

I can understand intuitively why the two solutions span all solutions but I can't really make sense of it mathematically. I think my confusion comes from the fact that they are spanning a space of functions rather than finite vectors. Can somebody please explain fully in a simple way why the two solutions span all solutions?

  • $\begingroup$ You might find that this paper on normal modes which describes normal coordinates as well as normal modes will help? $\endgroup$
    – Farcher
    May 9 '19 at 9:39
  • $\begingroup$ Loosely speaking, that is because you can look at the matrix corresponding to the system of equations as a linear application (just like in linear Algebra). Since you have two linear independent solutions and the dimension of the space (of functions which are solutions) is two, you have a basis $\vec{X_1},\vec{X_2}$ of the space, and thus can span all solutions from those. $\endgroup$
    – xihiro
    May 9 '19 at 10:12
  • $\begingroup$ How do you know exactly that the dimension of the space of solution functions is two. For example, how do I know some arbitrary continuous function such as a gaussian curve or a decaying exponential can not be a solution? (of course I understand why these two examples can not work physically but I want to prove that no other solutions can work). $\endgroup$
    – user208480
    May 9 '19 at 12:07

Recall from linear algebra that given an operator $A$ acting on vectors $\vec{v}$ of $\mathbb{R}^n$, the equation $$A\vec{v}=0$$ defines the kernel or null-space of the operator $A$. This is the subspace of all vectors that are mapped to 0 by such operator and its dimension correspond to $n-\textrm{Rank}(A)$. This is the case for finite dimensional spaces but is generalized to vector spaces of functions and almost the same things apply.

So here you have a differential operator $$A = \begin{pmatrix} \frac{d}{dt^2} + \omega_0^2 + k^2 & k \\ k & \frac{d}{dt^2} + \omega_0^2 + k^2 \end{pmatrix}$$ which is acting on some space space of functions $V$ (I will not go down in detail into which space is this but, assume "nice" functions). As you can see the the operator is actually acting on the direct product of two such spaces, $V^2=V\times V$, that is it is acting on two copies of some space of functions, so vectors look like $\vec{v} = (f_1(t),f_2(t))$ and we are solving for \begin{equation}A\vec{v}=0 \tag{1} \label{eq:nullspace} \end{equation} as before. Now under the same philosophy of the usual linear algebra case, the most that can happen is that the operator sends everything to zero, in which case the null-space will have dimension $2n$ where $n$ would be now the dimension of $V$ and could be infinite. However, from differential equations theory we now that second order ODE's will need to be supplied with two boundary conditions, and this is exactly what is related to the freedom of "directions" you have in this null space. So if you think about the solutions as directions in a vector space, this is telling you that there is at most two directions in which you can "move" or change the conditions while still satisfying $\eqref{eq:nullspace}$. This would happen to each copy separately if there were no off-diagonal terms, but since here they are not zero, what they do is couple the equations and thus force a particular relation between the components, given by the eigenvalues. At the end of the day the important thing is to realize that all boils down to the dimension of a null-space of an operator in a space of functions and this is limited by the order of the ODE's involved and the size of the system.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.