# Solving a differential to show the homogeneity of space.

1. Feb 2, 2016

### stephen cripps

1. The problem statement, all variables and given/known data
The final part of the problem I am trying to solve requires the proof of the following equation:
$$\frac{d}{dr}(\frac{rf'(r)-f(r)+f^2(r)}{r^2 f^2(r)})=0$$

2. Relevant equations
I've been given the ansatz:
$$f(r)=(1-kr^2)^{-1}$$
$$f'(r)=2krf^2(r)$$
$$f''(r)=2kf^2(r)+8(kr)^2f^3(r)$$
3. The attempt at a solution
Using the quotient rule on the first equation and cancelling some terms and the denominator gets me to:
$$(rf)^2(rf''+2ff')-(rf'-f+f^2)(2rf^2+2r^2ff')=0$$
Expanding, cancelling and subbing in for f' & f'' leads me to:
$$2kr^3f^4+8k^2r^5f^5+2rf^3-2rf^4-4kr^4f^3=0$$

I have tried subbing in the ansatz value for f, but I still can't get the terms to cancel out. Would anybody be able to point out where I've made a mistake/ what I've missed?

2. Feb 2, 2016

### RUber

$\frac{d}{dr}\left( \frac{ r(2kr)f^2 - f + f^2}{r^2 f^2 }\right) =0$
Which could just as well be written as:
$\left( \frac{ r(2kr)f^2 - f + f^2}{r^2 f^2 }\right) =C$
Separate the fractions and you have: *edited to correct sign error*
$\left( \frac{ r(2kr)f^2 }{r^2 f^2 } + \frac{ -f + f^2}{r^2 f^2 }\right) =C$
That first fraction is clearly a constant...do some algebra on the second...and I think you might find your solution.

Last edited: Feb 2, 2016
3. Feb 2, 2016

### stephen cripps

Ah thanks! I've got there now. On the solution sheet they seem to suggest a different method using f''(r) but don't show it explicitly but this definitely seems valid. (Though I think the + should be a - in your third equation after splitting the fraction.)

4. Feb 2, 2016

### RUber

I agree on both points. I was hasty in splitting the fractions and it did sound like the problem was enticing you to take the complicated derivative.