Questions related to real and complex logarithms.

learn more… | top users | synonyms

12
votes
0answers
200 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 ...
11
votes
0answers
120 views

A conjectured identity for tetralogarithms $\operatorname{Li}_4$

I experimentally discovered (using PSLQ) the following conjectured tetralogarithm identity: $$\begin{align}&\phantom{+\;}19\!\;\pi^4-570\ln^42-90\ln^43\\ ...
9
votes
0answers
548 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
342 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
343 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
951 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
81 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
110 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
487 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
28 views

Comparing Large Exponents with different bases.

How to compare large exponents with different bases? Is there any way to roughly approximate their values? For example, sort the elements of list below based on their magnitude. ...
3
votes
0answers
64 views

How does $\ln(x)$ blow up at $0$ and $\infty$.

In general: How do I figure out how fast a function blows up at a certain point or infinity? How fast does $\ln x$ blow up at $0$? Does it blow up as fast as $1/x$, $1/x^2$, or maybe faster than any ...
3
votes
0answers
132 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
72 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
47 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
100 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
46 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
265 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
35 views

Tweaking Reddit's Ranking Algorithm

This image explains how Reddit's Ranking algorithm works. As you know, Reddit is a very high traffic site. Therefore, the post rank decreases quite fast. This algorithm puts emphasis on bringing ...
2
votes
0answers
119 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
27 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
42 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
44 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
29 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
50 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
79 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
49 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
39 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
68 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
48 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
40 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
63 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
52 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
59 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
71 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
843 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
212 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
94 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
244 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
39 views

solve $a\cdot e^{b\cdot x}+c\cdot ln(x)=0$

Is it possible to find the analytical solution of $a\cdot e^{b\cdot x}+c\cdot ln(x)=0$? Is that a transcendental equation?
1
vote
0answers
31 views

(Numerical) Integration in log space

I have some function $f(x)$, which I'd like to integrate to find, $F(r) = \int_r^\infty f(x) dx $. Is there a way to do this using the values parametrized in log-space? I.e. some function $G(r, ...
1
vote
0answers
52 views

Linear to logarithm scale

I need to convert a linear range [0.1 ... 4 ... 10] to logarithmic one [0.5 ... 1 ... 5], so that 0.1 -> 0.5, 4 -> 1, 10 -> 5 I've found the similar problem here From half to double, linear to ...
1
vote
0answers
60 views

Are logarithms of prime numbers algebraically independent?

From Baker's theorem it follows that a linear combination of natural logarithms of prime numbers with non-zero algebraic coefficients can never be zero. Has it been proved that the set of all natural ...
1
vote
0answers
34 views

Create log-normal on y axis?

I currently have a graph with log numbers on the x-axis and the y-axis goes from 0-100. How can I get it to I guess log normal y-axis as shown in the picture below? Thank you for your help!