How would we go about solving the equation
f'(x)=f(-x)?
My thinking:
I think the problem is that while d2
y/dx2 = -y is implied by dy/dx = -y, the converse is
not true. This just means that you need to further qualify your
answer.
So, from f''(x) = -f(x), you arrive at the solution f(x) = e
ix = A cos x + B sin x.
So f'(x) = - A sin x + B cos x.
Now f(-x) = A cos -x + B sin -x = A cos x - B sin x.
So if f'(x) = f(-x) then -A sin x + B cos x = A cos x - B sin x
and therefore A = B.
So the solution to the equation f'(x) = f(-x) is f(x) = A (cos x
+ sin x).
Tom.
Thanks. I'd never encountered an equation before that wouldn't
give one specific solution if you dropped a constant, but
I guess you have to keep the constants in for this example and
then further solve.
Thanks again,
Brad
I should have said, the general solution to f''(x) = -f(x) is
f(x) = Ceix + De-ix .
Tom.
Tom, I was gonna ask you about that actually.
Originally, you wrote
"you arrive at the solution f(x) = eix = Acosx +
Bsinx"
That's not true is it?
You then said gen soln should have been f(x) = Ceix
+De-ix
Does that explain the mistake? This confused me because I've
never seen the general solution to such a differential eqn
written in that form (i.e. the exponential form)
thanks
The general solution to f''(x) = -f(x) is
f(x) = Ceix + De-ix = A cos x + B sin x .
If you want, I can go into details on how you arive at this
solution, but you should be able to check it yourself by finding
the second derivative of f(x).
The general solution to differential equations of the form g(x) =
af(x) + bf'(x) + cf''(x) + ... will involve the exponential
form.
The reason I can then write f(x) = Ceix +
De-ix = A cos x + B sin x is because
Ceix = C cos x + C.i sin x
De-ix = D cos -x + D.i sin -x = D cos x + -D.i sin
x
The general solution can then be written as
f(x) = (C+D) cos x + (C-D)i sin x
Because we are only interested in real solutions, we then make
two definitions, that
C+D = A
(C-D)i = B
where A and B are real. We can do this because C and D can take
any value, so for any A, B, we can find some C, D such that this
is true. I hope that helps see how I arrived at that
solution.
f(x) = eix is a specific solution, but not the general
solution.
Tom.