Stumped on mathematical proof

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
13 replies · 1K views · last reply
laser1
Messages
170
Reaction score
23
Homework Statement
desc
Relevant Equations
desc
Equation (20.32): S = (U - F)/T = k_B ( beta omega / (e^(beta omega) - 1) - ln(1 - e^(-beta omega)) ).

Typeset equation (20.51): S = k_B [ (ω/2) coth(βω/2) − ln(2 sinh(βω/2)) ], preceded by the line 'and eqn 20.32 can be rewritten as'.

From Blundell and Blundell Chapter 20 Problem 20.3.

I have proved that $$1-e^{-\beta \omega}=2\sinh\left(\frac{\beta \omega}{2}\right)$$ with no problem, but I am stuck on the ##\coth## term. I have tried to solve this but it gets messy and I'd rather not include them here. Thanks!
 
Physics news on Phys.org
PeroK said:
If that ##\coth## identity holds, then:
$$e^{\beta \omega} + 1 = 2\beta$$
Okay, assuming that is true, surely that equation can't be true for all ##\beta## and ##\omega##?
 
laser1 said:
Okay, assuming that is true, surely that equation can't be true for all ##\beta## and ##\omega##?
That is clearly not an identity. Why do you think the textbook is infallible?
 
PeroK said:
That is clearly not an identity. Why do you think the textbook is infallible?
Alr fair enough. As a mere undergrad, I always assume I am wrong first rather than the textbook! Of course, if I can't reason with the textbook I will ask here/my lecturer.
 
laser1 said:
Alr fair enough. As a mere undergrad, I always assume I am wrong first rather than the textbook! Of course, if I can't reason with the textbook I will ask here/my lecturer.
It's not a question of assumptions. Are ##\beta## and ##\omega## related in that way?
 
PeroK said:
It's not a question of assumptions. Are ##\beta## and ##\omega## related in that way?
I don't think so.
 
laser1 said:
I have proved that $$1-e^{-\beta \omega}=2\sinh\left(\frac{\beta \omega}{2}\right)$$ with no problem,
That's the mistake!
 
PeroK said:
That's the mistake!
Handwritten derivation on grid paper: 1 - e^(-βω) = 1 - 1/e^(βω) = (e^(βω) - 1)/e^(βω); next, multiply by e^(-βω/2) on numerator and denominator, giving (e^(βω/2) - e^(-βω/2))/1 = 2·((e^(βω/2) - e^(-βω/2))/2) = 2 sinh(βω/2).



Edit: oh yeah I see the denominator now yikes
 
PeroK said:
It's not a question of assumptions. Are ##\beta## and ##\omega## related in that way?
The expression just looked wrong to me. There is a factor of ##\beta## missing in (20.51). It should be:
$$\frac{\beta \omega}{2}\coth\big (\frac{\beta \omega}{2}\big )$$
 
PeroK said:
The expression just looked wrong to me. There is a factor of ##\beta## missing in (20.51). It should be:
$$\frac{\beta \omega}{2}\coth\big (\frac{\beta \omega}{2}\big )$$
yeah I'm getting the same as you now. As in, I have the book answer, but the book is missing a factor of ##\beta## on the first term
 
I have not done the explicit computation (just visualized how the terms would combine), but apart from the missing ##\beta## the overall identity looks quite reasonable to me.