Proving Natural Log Proof: ln|1+σx|

[Nusc]

Homework Statement

Prove the following statement:
ln|1+\sigma x | = \frac{1}{2} ln|1-x^2| + \frac{\sigma}{2} ln| \frac{ |1+x|}{|1-x|}<br />

Homework Equations

The Attempt at a Solution

Starting from right to left would be easier:
<br /> = \frac{1}{2} ln|(1+x)(1-x)| + \frac{\sigma}{2} ln| 1+x| - \frac{\sigma}{2} ln(1-x) \\<br /> = \frac{1}{2} [ ln(1+x) + ln(1-x) + \sigma ln(1+x) - \sigma ln(1-x)] \\<br /> =\frac{1}{2} [ln|(1+x)(1+\sigma)| + ln|(1-x)(1-\sigma)|] \\<br /> = \frac{1}{2} [ ln |(1+x)^{1+\sigma} (1-x)^{1-\sigma} |]\\<br /> = \frac{1}{2} ln |( 1+x ) (1+x)^\sigma \frac{1+x}{(1-x)^\sigma}|]<br />
Then I get stuck. Does anyone know what I'm missing?

 

[haruspex]

The statement to be proved is clearly not true in general. Try σ=0. Are you sure you have stated the whole question, word for word?

 

[Nusc]

Do you know of any identities that would give me the left hand side? Any references? I cannot find anything online. Calculus textbooks just give integrals and not identities for logs.

I need to take the natural log of the following expression.
\frac{1}{2}( C + D ) + \frac{1}{2}( C - D ) \sigma<br />

The idea was to use that identity, then rearranging above
\frac{1}{2}( C + D ) [ 1 + \frac{(C-D)}{(C+D)} \sigma ]<br />

The answer is

<br /> ln2 + \frac{1}{2}ln|4CD|+\frac{\sigma }{2} ln|\frac{C}{D} |<br />

Without that identity, It's pretty hard to achieve that result. Do you know of anything I can use?

What's really important is that I at least get this form: \frac{\sigma }{2} ln|\frac{C}{D} |

 

[SammyS]

Homework Statement

Prove the following statement:
ln|1+\sigma x | = \frac{1}{2} ln|1-x^2| + \frac{\sigma}{2} ln| \frac{ |1+x|}{|1-x|}<br />

Homework Equations

The Attempt at a Solution

Starting from right to left would be easier:
<br /> = \frac{1}{2} ln|(1+x)(1-x)| + \frac{\sigma}{2} ln| 1+x| - \frac{\sigma}{2} ln(1-x) \\<br /> = \frac{1}{2} [ ln(1+x) + ln(1-x) + \sigma ln(1+x) - \sigma ln(1-x)] \\<br /> =\frac{1}{2} [ln|(1+x)(1+\sigma)| + ln|(1-x)(1-\sigma)|] \\<br /> = \frac{1}{2} [ ln |(1+x)^{1+\sigma} (1-x)^{1-\sigma} |]\\<br /> = \frac{1}{2} ln |( 1+x ) (1+x)^\sigma \frac{1+x}{(1-x)^\sigma}|]<br />
Then I get stuck. Does anyone know what I'm missing?

You appear to be a step or two away.

Added in Edit:
Never mind! I was looking at the wrong side of the equation.

 

[Nusc]

You appear to be a step or two away,

Are you sure? Read the second post.

I tried entering the expressions with no luck:

https://www.symbolab.com/solver/logarithmic-equation-calculator/ln\left[\left(1+\frac{C-D}{C+D}\pi\right)\right]
Is this just the Taylor Expansion of ln(1-sigma x) ?
Please help.

 

[Ray Vickson]

Homework Statement

Prove the following statement:
ln|1+\sigma x | = \frac{1}{2} ln|1-x^2| + \frac{\sigma}{2} ln| \frac{ |1+x|}{|1-x|}<br />

Homework Equations

The Attempt at a Solution

Starting from right to left would be easier:
<br /> = \frac{1}{2} ln|(1+x)(1-x)| + \frac{\sigma}{2} ln| 1+x| - \frac{\sigma}{2} ln(1-x) \\<br /> = \frac{1}{2} [ ln(1+x) + ln(1-x) + \sigma ln(1+x) - \sigma ln(1-x)] \\<br /> =\frac{1}{2} [ln|(1+x)(1+\sigma)| + ln|(1-x)(1-\sigma)|] \\<br /> = \frac{1}{2} [ ln |(1+x)^{1+\sigma} (1-x)^{1-\sigma} |]\\<br /> = \frac{1}{2} ln |( 1+x ) (1+x)^\sigma \frac{1+x}{(1-x)^\sigma}|]<br />
Then I get stuck. Does anyone know what I'm missing?

Your desired result is false. For small $|x|$ we can expand both sides in a series in $x$. For ease of writing, I will use the symbol $a$ instead of $\sigma$. Let
$$L(x) = \ln (1+ ax) , \;\; R(x) = \frac{1}{2} \ln(1-x^2) + \frac{a}{2} \ln \left(\frac{1+x}{1-x}\right).$$
We have
$$L(x) = ax - \frac{1}{2} a^2 x^2 + \frac{1}{3} a^3 x^3 - \frac{1}{4} a^4 x^4 + O(x^5),$$
but
$$R(x) = ax - \frac{1}{2} x^2 + \frac{1}{3} a^3 x^3 - \frac{1}{4} x^4 + O(x^5).$$
Note that in $L(x), R(x)$ I have omitted the absolute-value signs; those signs are redundant when $|x| < 1$, which is true for small $|x|$.

 

[Nusc]

Was there a typo? Is there a way to determine if there is one?

Or is there an easier way to simplify the natural log of the expression?

\frac{1}{2}( C + D ) + \frac{1}{2}( C - D ) \sigma<br />

with obtaining
\frac{\sigma }{2} ln|\frac{C}{D} | at least in the final answer?<br /> ln [ \frac{1}{2} D ( \frac{C}{D} +1 ) + \frac{\sigma}{2} D ( \frac{C}{D} -1) ]<br />

 

[haruspex]

Was there a typo?

For it even to be approximately true you need to change the 1/2 factor in the first expression on the right to σ/2. That makes it more symmetric, so a lot more reasonable.
It still is not going to be generally true. The roles of the σ on the left and the σ's on the right are too different. I would guess you are only supposed to show this as asymptotic behaviour for small x. (It is equivalent to (1+x)ⁿ approximating e^nx.)

 

[haruspex]

$$R(x) = ax - \frac{1}{2} x^2 + \frac{1}{3} a^3 x^3 - \frac{1}{4} x^4 + O(x^5).$$

a³?

 

[Nusc]

Is there a table of asymptotic expansions or reference I can refer to to get the desired result? I'm kind of stumped.

 

[haruspex]

Is there a table of asymptotic expansions or reference I can refer to to get the desired result? I'm kind of stumped.

First step is to correct the RHS of the statement to be proved. See the first para of post #8.
Next, as Ray points out, on the assumption that |x|<1 and |σx|<1, all those modulus signs can be thrown away.
Then you can exponentiate both sides to get rid of the logarithms. Post what you get.