Questions related to real and complex logarithms.

learn more… | top users | synonyms

12
votes
0answers
165 views

Relations connecting values of the polylogarithm $\operatorname{Li}_n$ at rational points

The polylogarithm is defined by the series $$\operatorname{Li}_n(x)=\sum_{k=1}^\infty\frac{x^k}{k^n}.$$ There are relations connecting values of the polylogarithm at certain rational points in the ...
9
votes
0answers
482 views

Understanding Ramanujan's approach in his proof of Bertrand's Postulate

I've been reading through Ramanujan's proof of Betrand's Postulate and I'm not clear why he didn't state his proof in terms of $\varphi(2x) - \varphi(x)$ What would be wrong with this approach for ...
8
votes
0answers
324 views

Two (strictly related) proofs by induction of inequalities.

This is a question I originally asked on MSE, receiving no answer, even with a bounty (which expired) on it. Therefore I am crosslinking in order to prevent duplication of effort: see here for the ...
7
votes
0answers
243 views

${\mathfrak{I}} \int_{0}^{\pi/2} \frac{x^2}{x^2+\log ^2(-2\cos x)} \:\mathrm{d}x$ and $\int_{0}^{\pi/2} \frac{\log \cos x}{x^2}\:\mathrm{d}x$

I have found the following new result connecting two rational log-cosine integrals. Proposition. \begin{align} \displaystyle & {\mathfrak{I}} \int_{0}^{\pi/2} \frac{x^2}{x^2+\log ^2(-2\cos ...
5
votes
0answers
904 views

Choosing the branch of a logarithm

The problem: I am integrating complex logarithms over an angle $\phi$ over $[0,2\pi]$. It is quite complex (pun not intended) and I called Mathematica in to aid me. I am calculating an energy of a ...
4
votes
0answers
73 views

Trying to show that $\ln(x!) - \ln(\lfloor\frac{x}{2}\rfloor!) - \ln(\lfloor\frac{x}{3}\rfloor!) - \ln(\lfloor\frac{x}{6}\rfloor!) \ge \psi(x)$

I've been told that the approach below will not work. I would be interested if someone could help me to understand what will go wrong. Let: $$\psi(x) = \sum\limits_{p^k \le x} \ln p$$ So that (see ...
4
votes
0answers
104 views

Generalizing Jitsuro Nagura's result: my resulting upper bound for the second chebyshev function is too low. What am I doing wrong?

I've been reading through Jitsuro Nagura's classic proof that there is a prime between $x$ and $\frac{6x}{5}$ and it seems to me that it should be possible to improve on his upper bound for the second ...
4
votes
0answers
477 views

Logarithm of a complex number as intersections of two logarithmic spirals

In Penrose's book "The Road to Reality" page 97 figure 5.9 he shows the values of the complex logarithm in a diagram as the intersection of two logarithmic spirals. Can you please explain how these ...
3
votes
0answers
42 views

Existence and uniqueness of a function generalizing a finite sum of powers of logarithms

I hope to find a proof of the following conjecture: $(1)$ For every $a>0$ there is a convex analytic function $f_a:\mathbb R^+\to\mathbb R$ such that: $f(1)=0$ and $\forall x>1,\ ...
3
votes
0answers
86 views

Solving an exponential equation without the quadratic formula

High school math student here. In my homework I was asked to solve $16^x +4^{x+1} - 3= 0$ and I used substitution to get $x=\log_4{(-2+\sqrt7)}$. However, this was in the chapter on ...
3
votes
0answers
70 views

Inverse of $x^2+\log^2\cos x$

I'm looking for the inverse of $$f(x)=x^2+(\log\cos x)^2$$ Where $f$ is defined from $[0,\pi/2)$ It dosen't have to be closed form, a sum, an integral or some special functions would be of interest ...
3
votes
0answers
45 views

Exercise concerning logarithms…

I have such a problem: find all the values of real parameter "a", for which the following inequality is true for any "x" that belongs to R. I will show you my solution, and please can you verify ...
3
votes
0answers
98 views

Fourier transform of a logarithm

How can one go about computing the 2d (or 1d, in either variable) Fourier transform of the function $$\ln(w^2-k^2)?$$
3
votes
0answers
89 views

Phrase and symbol for “geometric absolute value”$ e^{|\ln(x)|}?$

I'm calculate the median fractional difference between two vectors (to characterise the error in a quantity with a high dynamic range). If $a/b = 0.1$, the fractional difference is $10$, and if $a/b ...
3
votes
0answers
38 views

How to solve the equation $ (x-2)^{\log_{100}(x-2)}+\log_{10}(x-2)^5-12 = 10^{2\log_{10}(x-2)}$?

If $\displaystyle (x-2)^{\log_{10^2}(x-2)}+\log_{10}(x-2)^5-12 = 10^{2.\log_{10}(x-2)}$, then value of $x$ is ... My try:: Let $\log_{10}(x-2) = y\Leftrightarrow (x-2)=10^y$. Then ...
3
votes
0answers
256 views

Can the Baker-Campbell-Hausdorff formula for $\ln(AB)$ be simplified for similar, diagonizable matrices?

Given two similar, diagonizable square matrices $A$ and $B$ that do not commute, can the Baker-Campbell-Hausdorff formula be simplified exploiting the similarity to obtain a nice expression for ...
2
votes
0answers
107 views

Is this equal ? (I found it on this website)

I found this equation on this website! I would like to know it its true or not? And how can proof or disprove it?! Euler-Mascheroni constant expression, further simplification ...
2
votes
0answers
25 views

Asymptotic solution to $m \leqslant e^{\lambda t} (c t^q - \varepsilon)$

What is the smallest $t$ statisfying the inequality: $m \leqslant e^{\lambda t} (c t^q - \varepsilon)$, where $\varepsilon$ is arbitrary small positive number? I believe $t$ must be of the from: $$t = ...
2
votes
0answers
40 views

Proof of an inequality about primes

I'm very new to number theory and looking for a proof of the following inequality: $$c' \log^{\text{#} \mathbb{P}}{R} \leq \sum \limits_{\substack{n \leq R\\p|n \implies p \in \Bbb P}} 1 \leq c ...
2
votes
0answers
29 views

Finding how many solutions does $f(x)=\ln x-kx$ has for $k>\frac 1 e$ and logarithmic inequality question

Find how many solutions does $f(x)=\ln x-kx$ has for $k>\frac 1 e$. $f<0$ at $x\to \infty$ and $x\to 0$. The derivative has a solution only at $x=\frac 1 k$. So place that point in $f$ and ...
2
votes
0answers
26 views

Taking logs multiple times

Is there a formule to calculate (log (log ( log ... log n))) assume all the base to be the same (b)? I was not able to find one on wikipedia.
2
votes
0answers
45 views

Is the product rule for logarithms an if-and-only-if statement?

If a function $f(x)$ is proportional to $\ln x$, then we know $$ f(xy) = f(x) + f(y). $$ My question is, Is the converse true? If we know that, for an unknown function f, $$ f(xy) = f(x) + f(y), $$ ...
2
votes
0answers
74 views

Solve for $x: \ln(x+4)+\ln(x-2)=5$

Solve for x: $\ln(x+4)+\ln(x-2)=5$ Where do I go from here? If there weren't four terms in the equation I would use the quadratic formula. How can I solve for x? EDIT 1: Is this correct? ...
2
votes
0answers
44 views

Name of Logarithmic Curve

I was playing with the Desmos graphing calculator and "discovered" the following curve $(\ln x)^2 + (\ln y)^2 = 1$ (I originally found it in the parametric form $(e^{\cos t}, e^{\sin t})$). It would ...
2
votes
0answers
64 views

Is it possible to solve $k = \frac{x}{\ln(x)}$ for $x$?

Is it possible to solve $k = \frac{x}{\ln(x)}$ for $x$? My suspicion after a fruitless hour of manipulation is that it is not.
2
votes
0answers
31 views

What does Heron's Algorithm have to do with the construction of logarithmic tables

i need a little help answering this question, what does Heron's Algorithm have to do with the construction of logarithmic tables. I know that Heron's algorithm is used for finding square roots, but ...
2
votes
0answers
56 views

Comparing asymptotic growth of logarithmic functions by reasoning

As an exercise, we're sorting functions according to their asymptotical growth. When comparing these two functions, I'm getting stuck: $n^2/(\log_2 n)^3$ versus $n \log_2 n$. Using limits I am ...
2
votes
0answers
30 views

Equivalence of criteria using logarithmic transformation

Is the following criterion: $$ \frac{\partial^2 f}{\partial x\partial y} = \frac{\partial^2 f}{\partial y\partial x} $$ Equivalent to: $$ \frac{\partial^2 \ln f}{\partial x\partial y} = ...
2
votes
0answers
39 views

Interpolation of iterated logarithms

$$\text{Let }\log^2(x)=\log(\log(x)),\\ \text{ then }f(y,x)=\log^{\lfloor1+y\rfloor}\left(\log(x)/\log((1-x^{1/x}(y-\lfloor y\rfloor))+(y-\lfloor y\rfloor))\right)$$ gives an interpolation between ...
2
votes
0answers
37 views

Yacov Perelman Nepero game

This is my first question, so sorry if I'll make any mistake in using the site formatting. I found this game on a book by Yacov Perelman and I thought it could be nice to introduce Nepero number to ...
2
votes
0answers
57 views

Moving the branch cut of the complex logarithm

The complex logarithm is defined as $\log z:=\operatorname{Log} |z|+i\arg z$ , with the branch cut on the non-negative real axis. Determine a branch of $f(z)=\log(z^3-2)$ that is analytic at $z=0$ ...
2
votes
0answers
57 views

Integral of Difference of Logs

I get the expansion of $h$ to be $$ h(z) = {1 \over z } \sum_{r=1}^{\infty}{1 \over r}{(-{\alpha \over z}})^r $$ $$ \Rightarrow h(z) = \sum_{r=-2}^{-\infty}{{(-\alpha)^{r+1} \over -(r+1)} z^{r}} $$ ...
2
votes
0answers
40 views

When this inequality true?

If $a$ and $b$ are non-negative integers and $c$ and $d$ are non-negative real numbers, for what values is the following inequality true? $\log((a+b)!) - \log(a!b!) \ge(a+b) \log(c+d) - (a \log(c) ...
2
votes
0answers
94 views

Showing that a logarithmic inequality holds

Given $0 < x_1 < x_2 < x_3 < x_4 < 1$, how can I show that the following inequality holds: $$ \frac{1}{R(x_1, x_3)}+\frac{1}{R(x_2, x_4)}<\frac{1}{R(x_1, x_2)}+\frac{1}{R(x_3, x_4)} ...
2
votes
0answers
50 views

show that $(x^b+y^b)^{1/b} < (x^a+y^a)^{1/a}$ if $x>0$, $y>0$, and $0<a<b$

Show that $(x^b+y^b)^{1/b} < (x^a+y^a)^{1/a}$ if $x>0$, $y>0$,and $0<a<b$ by examining the sign of the derivative of an appropriate function. This is an exercise in middle part of ...
2
votes
0answers
56 views

Can we define root extraction using Peano Arithmetic?

I've been playing with Peano Arithmetic and I've got multiplication, division, exponentiation, and logarithms. I can't figure out root extraction but I have a stab at it. Exponentiation: $a^0 = 1, ...
2
votes
0answers
67 views

Trying to generalize an inequality from Jitsuro Nagura: Does this work?

I am investigating the generality of Lemma 1 in Nagura's proof that there is always a prime between $x$ and $\frac{6x}{5}$. In Lemma 1, Nagura establishes when $n > 1$, $x \ge 1$: ...
2
votes
0answers
759 views

Log-concave functions whose sums are still log-concave: possible to find a subset?

Rationale: I am puzzled by a problem of log-concavity, which arises in population dynamics where the curvature of the logarithm of sums is a quantity of interest. It is well-known that sums of ...
2
votes
0answers
191 views

Logarithmic simplification of a sum of power terms

It is entirely possible that there is no solution to this problem, but here goes... I have a number of equation of states for fluids that have terms that are of the form ${\phi _r} = ...
2
votes
0answers
38 views

Compute $ \operatorname{Li}_{3}\left(\frac{1}{2} \right) $

Where could I find a proof of the identity $$ \operatorname{Li}_{3}\left(\frac{1}{2} \right) = \sum_{n=1}^{\infty}\frac{1}{2^n n^3}= \frac{1}{24} \left( 21\zeta(3)+4\ln^3 (2)-2\pi^2 \ln2\right)$$ ?
2
votes
0answers
91 views

Is there a (hopefully free) graphing utility BESIDES mathematica that can graph log polar coordinates?

This is my first post to the forum. I have had a good experience with other stackexchange fora, so I have high hopes for this one. I have looked online and can not seem to find the software described ...
2
votes
0answers
231 views

Exponential average of logs

I'm working on a sound recognition algorithm where an "exponential moving average" is used for "adapting" to sound levels. It turns out that taking an average of logs works better than simple sums ...
1
vote
0answers
33 views

Is this chain of inequalities correct?

Is this chain of inequalities correct? If not how to make it works? $$\frac{\ln \left( 1+x^3+y^3 \right)}{\sqrt{x^2+y^2}} \le \frac{\left( x^3+y^3 \right)}{\sqrt{x^2+y^2}} \le \frac{ \left( ...
1
vote
0answers
23 views

1st order ODE separable

everyone! :-) I've a ODE question with I can't solve. It's here: ${dy\over dx} = {{xy + 2y-x-2}\over {xy-3y+x-3}} $ I tried the following: ${dy\over dx} = {{xy + 2y-x-2}\over ...
1
vote
0answers
30 views

Why are logrithms of trigonometric functions useful

I have noticed that in many trigonometric tables the logarithm of the trigonometric values are given. Why this is given and not the actual values of the trigonometric functions? For example, instead ...
1
vote
0answers
34 views

Generator of group, Computation of discrete logarithm

The prime number $p=67$ is given. Show that $g=2$ is a generator of the group $\mathbb{Z}_p^{\star}$. Compute the discrete logarithm of $y=3$ as for the base $g$ with Shanks-algorithm. Compute the ...
1
vote
0answers
23 views

Why does this equality hold

let $P0,P1 \leq0$ $s.t$ $P0+P1=1$ (I am not sure if this assumption is required to prove the following equality. But for my application this holds). How does following hold true \begin{equation} ...
1
vote
0answers
41 views

Analytically solving complicated integral involving logarithms.

I already asked a similar question a week ago and the comment I got helped me a lot with my progress, so that I now have new question to ask. I am stuck with solving a complicated integral and would ...
1
vote
0answers
22 views

Taking integral of the complex logarithm using fundamental theorem?

Is it valid to do this? I have $f(z)= z^i$,and $F(z)=\frac{z^{i+1}}{i+1}$ and assuming we're using principle values of $f$ and $F$ would it be correct to say that: $\int_{-1}^{1} f(z) dz = ...
1
vote
0answers
13 views

Calculating gain ratio from a dB value

In a practice problem I have: power gain = $\log_{10}(\frac{db}{20})$ The final answer for the ratio is 1. The dB value is $-3$. When I do $\log_{10}(\frac{3}{20})$ I get $-0.823$. Just wondering ...