1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Instruction needed

  1. Jan 17, 2008 #1


    User Avatar
    Gold Member

    This is not homework, these equations are constraints I've encountered in some GR work.

    But I'm hopeless with differential equations and I have two I need to solve. Even after reading some instructive texts, I still can't do it.

    [tex]\frac{dB(x)}{dx} = \frac{B(x)}{x} - \frac{1}{x}[/tex]

    [tex]\frac{dB(x)}{dx} = \frac{B(x)}{x} - \frac{1}{x} + \frac{K}{B(x)}[/tex]

    K is a constant. I know the first one has a solution but the second one might not.

  2. jcsd
  3. Jan 17, 2008 #2
    For the 1st one

    [tex]B'(x) = \frac{B(x)}{x} - \frac{1}{x}\Rightarrow \frac{B'(x)}{x}-\frac{B(x)}{x^2}=-\frac{1}{x^2}\Rightarrow (\frac{B(x)}{x})'=(\frac{1}{x})'\Rightarrow \frac{B(x)}{x}=\frac{1}{x}+c\Rightarrow B(x)=c\,x+1[/tex]

    For the 2nd one, let [tex]B(x)=K\,x\,f(x)[/tex], then

    [tex]f'(x)=\frac{-f(x)+1}{K\,x^2\,f(x)}\Rightarrow\frac{f(x)\,d\,f(x)}{-f(x)+1}=\frac{d\,x}{K\,x^2}\Rightarrow f(x)+\log(f(x)-1)=\frac{1}{K\,x}+c\Rightarrow \frac{B(x)}{K\,x}+\log(\frac{B(x)}{K\,x}-1)=\frac{1}{K\,x}+c[/tex]

    which is the general implicit solution and can be written with in terms of the product log function.
  4. Jan 18, 2008 #3


    User Avatar
    Gold Member

    Hi Rainbow,

    thanks for the help, much appreciated. It looks like witchcraft to me. Unfortunately I transposed the signs and your solution depends crucially on the sign. So I'm back to square one.

    Which serves me right for being a pratt.
    Last edited: Jan 18, 2008
  5. Jan 19, 2008 #4
    I get a slightly different solution:


    There seems to be something with the absolute value.
    Mmm, I use ln, sorry for that, it makes it easier for me to see what is meant.

    @Rainbow Child: What do you exactly mean by "product log function"
  6. Jan 19, 2008 #5
    I was working on the complex plane, that's why I didn't put the absolute value.

    The product log function is the multivalued function [tex]w(z)[/tex] defined by


    Thus for the solution at hand


    we have

    [tex](\frac{B(x)}{K\,x}-1)\,\exp(\frac{B(x)}{K\,x})=\exp(\frac{1}{K\,x}+c)\Rightarrow (\frac{B(x)}{K\,x}-1)\,\exp(\frac{B(x)}{K\,x}-1)=\exp(\frac{1}{K\,x}+c-1)\Rightarrow \frac{B(x)}{K\,x}-1=w\left(\exp(\frac{1}{K\,x}+c-1)\right)[/tex]

    yielding to

    [tex]B(x)=K\,x\,\left(1+w(C\,e^{\frac{1}{K\,x}})\right), \quad C=\exp(c-1)[/tex]
  7. Jan 19, 2008 #6
    I was under the assumption that the differential equation of the original post was to have a real valued function as solution. Therefore the use of ln instead of log. In case I assume that it is to be real, then I think that the solution I gave was correct. That leaves us with a minus sign difficulty or am I making a mistake?

    I never used the product log function (or Lambert W function, google). Always good to learn something new. I looked in the books of Erdelyi, Magnus, Oberhettinger, Tricomi and the one of Abramowitz, Stegun, but couldn't find it. It seems to be a rarely used one. Very nice.
  8. Jan 19, 2008 #7
    I wrote [tex]\log[/tex] because I am used with this notation for the natural logarithm. :smile: For the real domain your solution is the correct one.

    The product log function [tex]w(z)[/tex] often appears when you are dealing with GR, i.e. in maximally symmetric two-dimensional surfaces. But in GR we are always allowed to make a coordinate transformation, and get rid of the product log function. :cool:
  9. Jan 21, 2008 #8


    User Avatar
    Gold Member

    Thanks to both of you. I may have learnt enough to solve the correct equations.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: Instruction needed