Why y=e^mx is taken as trial soln ?

[ironcross77]

why y=e^mx is alwayas taken as trial soln in solving 2nd order diff equations. please explain in details.

 

[LeonhardEuler]

You would not always take ce^{mx} as a trial solution to any second order differential equation, only homogenius linear ones with constant coefficients. In fact you should take ce^{mx} as a trial solution to any homogeneous linear ordinary differential equation with constant coefficients. Here is why: The fundamental theorem of algebra says that any nth degree polynomial has exactly n complex roots (including multilicity). When you assume a trial solution of ce^{mx} to one of these equations what happens? The equation is of the form:
a_0y +a_1y' +...+ a_ny^{(n)}=0
Assuming the trial solution:
a_0ce^{mx} + a_1mce^{mx} +...+ a_nm^{n}ce^{mx}=0
Canceling ce^{mx} gives:
a_0+ a_1m + a_2m^2 +...+a_nm^n=0
Which is an nth degree polynomial. We are guaranteed n solutions to this polynomial, and we know that an nth degree linear differential equation has n linearly independent solutions. So, as long as all the roots are distinct, we have solved the problem since e^{mx} and e^{lx} are linearly independent when m \neq l. Otherwise we need to try other solutions as well. The other solutions that work in this case are of the form x^{\alpha}e^{mx}.

 

[matt grime]

You don't do that for *all* DE's, only linear ones, and only to get the homogeneous solutions. It will not work in general. But we can prove that in this particular case that these are the only solutions, though this proof is somewhat difficult and of no interest here.

Some clever person noted that this method always gives (when done properly) in this case the two things that we know exist.

So the simple answer is: because it works.

 

[Tide]

In addition to what Leonhard and Matt said, you can always do a power series solution (Frobenius). That can be rather tedious but for the types of equations noted the power series method always gives the equivalent of exponential (possibly complex) functions.

 

[marlon]

why y=e^mx is alwayas taken as trial soln in solving 2nd order diff equations. please explain in details.

Just as an addendum. Exponentials are very easy to work with. I mean, they are easy to integrate, derivate, multiply, devide, ...

For example, in computational physics, one will always try to express the wavefunction of a many body problem in terms of the product of many single body wave functions. Such wavefunctions are expressed in terms of Gaussians (ie exponentials), like the SZ and DZP basis sets, for the above calculatory advantages. So exponentials not only rule math, they also rule QM, QFT, ...err, in short : PHYSICS

regards
marlon

 

[HallsofIvy]

You don't do that for *all* DE's, only linear ones, and only to get the homogeneous solutions.

Actually only for linear equations with constant coefficients.

The point is that if we are to cancel different derivatives, multiplying only by constants, the derivatives must be the same "kind" of function. Since the derivative of e^kx is ke^kx, that works nicely. Of course, the derivative of sin(x) is cos(x) and the derivative of cos(x) is -sin(x) so sine and cosine would also work nicely. The derivative of any polynomial is also a polynomial so polynomials would work. It happens that e^kx is simpler to use than those.

 

[ironcross77]

The fundamental theorem of algebra says that any nth degree polynomial has exactly n complex roots (including multilicity).

What do u exactly mean by the above? Say a third degree polynomial does not have exactly 3 complex roots. Complex roots always occur in conjugate pairs ie. in any polynomial complex roots must occur in even nos.

 

[d_leet]

The fundamental theorem of algebra says that any nth degree polynomial has exactly n complex roots (including multilicity).

What do u exactly mean by the above? Say a third degree polynomial does not have exactly 3 complex roots. Complex roots always occur in conjugate pairs ie. in any polynomial complex roots must occur in even nos.

What do YOU mean? It's a statement of the fundamental theorem of algebra. It's not his statement. And remember that the real numbers are a subset of the complex numbers, all real numbers are complex numbers of the form a + bi, only that b = 0.

 

[LeonhardEuler]

The fundamental theorem of algebra says that any nth degree polynomial has exactly n complex roots (including multilicity).

What do u exactly mean by the above? Say a third degree polynomial does not have exactly 3 complex roots. Complex roots always occur in conjugate pairs ie. in any polynomial complex roots must occur in even nos.

What d_leet said pretty much answers the question, but I also just wanted to point out that complex roots do not always come in conjugate pairs. This is the case for polynomials with real coefficients, but not true when complex coefficients are allowed. For example the polynomial you get by expanding (x-(1+i))(x-1)² would clearly have 1+i as a root but not 1-i. That said, I agree with you that my wording was somewhat misleading. A better way to phrase it would be "has exactly n roots in the field of complex numbers".

 

[arildno]

L. Euler:
Perhaps using a polynomial like x-i gets the message across better than the one you chose..
Not that there was anything wrong in your answer, though..