Arbitrary Constants in Differential Equations

calculusconstantsderivativesordinary differential equations

Question:

Trouble understanding which constants are arbitrary and need to be eliminated while forming Differential Equation (DE) from its general solution (In contrast to constants which are fine to be left un-eliminated).

Example:
Given general solution** and we need to find it's DE$$y=A sin(\omega t + \phi)$$

We then differentiate it twice $$y'=-A\omega cos(\omega t + \phi)$$ $$y''=-A \omega^2sin(\omega t + \phi)$$

and get the final DE as
$$y''=-y\omega^2 \qquad….(1)$$

Problems with Final DE [i.e (1)]

  • It contains $\omega$ which i considered to be an arbitary constant. This goes against my understanding (see below)
  • what is the difference in $\omega$, $A$ and $\phi$ as constants? Why $A$ and $\phi$ were eliminated but not $\omega$?
  • According to my understanding, Final DE should have been of order 3 but that turns out to be wrong. Why?

My Understanding:

If we have a general solution with say, 2 arbitrary constants then we need to differentiate the general solution 2 times and eliminate ALL of the arbitrary constants to get the DE free of arbitrary Constants.
Is this correct?

P.S

  1. ** It is taken from equation of SHM (y being the displacement).
  2. But forgetting our knowledge of physics, how can we mathematically justify $\omega$ in (1).

Best Answer

To some extent, determining which symbols represent "parameters", "arbitrary constants" and "variables" is a combination of convention and relation to real-world systems. Technically, there's nothing inherent to $y = A \sin (\omega t + \phi)$ that says that $y$ is the dependent variable, $t$ the dependent, $\omega$ the parameter and $A$ and $\phi$ the arbitrary constants. We could just as easy declare that this is an implicit definition of $\omega$ as a function of $\phi$, with $y, t, A$ as parameters.

Even following the convention that this is describing $y$ as a function of $t$, we can write the most general possible DE for this system, which will look something like $y y''' = y' y''$.

From a physical perspective, the distinction between $A$, $\omega$ and $\phi$ has more to do with the system itself. For example, if we have simple harmonic motion coming from a mass on a spring, then $\omega$ will be the natural frequency of the system which depends on the physical properties of the mass and the spring, whereas $A$ and $\phi$ are related to the initial conditions - you can set the spring in motion in different ways to vary $A$ and $\phi$, but you can't change $\omega$ without changing the system itself, and from a measurement perspective you're probably more interested in understanding $\omega$ than the other variables.

There's also a small argument towards $y'' = -\omega^2 y$ being the "natural" DE that describes the system from the fact that it's a linear differential equation, where $y y''' = y' y''$ is not, and in most commonly encountered DE theory you'll see linear and mostly linear equations much more often than non-linear ones.

Related Question