<figure><img src="image_1.png" /></figure>

# On the Mahler measure of hyperelliptic families

Marie José Bertin<fnref n="1" /> · Wadim Zudilin<fnref n="2" />,<fnref n="3" />

Received: 23 February 2016 / Accepted: 4 July 2016 / Published online: 14 July 2016
© The Author(s) 2016. This article is published with open access at Springerlink.com

**Abstract** We prove Boyd’s “unexpected coincidence” of the Mahler measures for two families of two-variate polynomials defining curves of genus 2. We further equate the same measures to the Mahler measures of polynomials $y^3 - y + x^3 - x + kxy$ whose zero loci define elliptic curves for $k \neq 0, \pm 3$.

**Keywords** Mahler measure · $L$-value · Elliptic curve · Hyperelliptic curve · Elliptic integral

**Resumé** Nous démontrons “coïncidence inattendue” de Boyd des mesures de Mahler pour deux familles de polynômes à deux variables qui définissent les courbes de genre 2. En outre, nous assimilons les mêmes mesures pour les mesures de Mahler de polynômes $y^3 - y + x^3 - x + kxy$ dont zéro loci définir des courbes elliptiques pour $k \neq 0, \pm 3$.

**Mathematics Subject Classification** Primary 11F67; Secondary 11F11 · 11F20 · 11G16 · 11G55 · 11R06 · 14H52 · 19F27

## Introduction

In his pioneering systematic study [2] of the Mahler measures of two-variate polynomials Boyd has distinguished several special families, for which the measures are related to the

<figure><img src="image_2.png" /></figure>

Wadim Zudilin
wzudilin@mpim-bonn.mpg.de

Marie José Bertin
marie-jose.bertin@imj-prg.fr

<footnote n="1">1 Institut de Mathématiques, Université Pierre et Marie Curie (Paris 6), 4 Place Jussieu, 75252 Paris, France</footnote>

<footnote n="2">2 Max-Planck-Institut für Mathematik, Vivatsgasse 7, 53111 Bonn, Germany</footnote>

<footnote n="3">3 School of Mathematical and Physical Sciences, The University of Newcastle, Callaghan, NSW 2308, Australia</footnote>
L-values of the curves defined by the zero loci of the polynomials. The two particular families

$$P_k(x, y) = (x^2 + x + 1)y^2 + kx(x + 1)y + x(x^2 + x + 1)$$

and

$$Q_k(x, y) = (x^2 + x + 1)y^2 + (x^4 + kx^3 + (2k-4)x^2 + kx + 1)y + x^2(x^2 + x + 1)$$

are nicknamed in [2] as Family 3.2 and Family 3.5B, respectively. Generically, both $P_k(x, y) = 0$ and $Q_k(x, y) = 0$ define curves of genus 2 whose jacobians are isogenous to the product of two elliptic curves. Computing the Mahler measures of $P_k(x, y)$ and $Q_k(x, y)$ numerically and identifying them as rational multiples of the L-values $L'(E_k, 0)$, where

$$E_k : y^2 = x^3 + (k^2 - 24)x^2 - 16(k^2 - 9)x \quad (1)$$

is isomorphic to one of the elliptic curves in the product for each of the two families, Boyd observes the “unexpected coincidence” $m(P_k) = m(Q_{k+2})$ for integer $k$ in the range $4 \le k \le 33$ (but not for $k \le 3$). The primary goal of this note is to confirm Boyd’s observation.

**Theorem 1** For real $k \ge 4$, we have $m(P_k) = m(Q_{k+2})$.

Note that for $k \ne 0, \pm 3$ the curve $E_k$ is elliptic and it is isomorphic to the elliptic curve $R_k(x, y) = 0$, where the polynomial

$$R_k(x, y) = y^3 - y + x^3 - x + kxy$$

is tempered—all the faces of its Newton polygon are represented by cyclotomic polynomials. The elliptic origin of the family $R_k(x, y)$ and Beilinson’s conjectures predict [2,5] that, apart from a finite set of $k$, the measure $m(R_k)$ is $\mathbb{Q}$-proportional to the L-value $L'(E_k, 0)$ for $k \in \mathbb{Z}$ (in fact, even for $k$ such that $k^2 \in \mathbb{Z}$ as in any such case the curve $R_k(x, y) = 0$ possesses the model defined over $\mathbb{Z}$). Our next result unites the predictions with the findings of Boyd in [2].

**Theorem 2** For real $k$ satisfying $|k| \ge 16/(3\sqrt{3}) = 3.0792\dots$, we have $m(P_k) = m(R_k)$.

Noticing that $P_{-k}(x, y) = P_k(x, -y)$ and $R_{-k}(x, y) = R_k(-x, -y)$ we conclude that $m(P_{|k|}) = m(P_k)$ and $m(R_{|k|}) = m(R_k)$, hence it is sufficient to establish the identity in Theorem 2 and analyse the two polynomial families for positive real $k$ only.

Our analysis of the three polynomial families is performed in Sects. 1–3, each section devoted to one family. We compute the derivatives of the corresponding Mahler measures with respect to the parameter $k$ and make use of the easily seen asymptotics

$$m(P_k) = \log |k| + o(1), \quad m(Q_k) = \log |k| + o(1) \quad \text{and} \quad m(R_k) = \log |k| + o(1) \quad (2)$$

as $|k| \to \infty$, to conclude about the equality of the Mahler measures themselves. This is a strategy we have successfully employed before in [1]. Our findings provide one with the reasons of why the ranges for $k$ in Theorems 1 and 2 cannot be refined, and in Sect. 4 we discuss some further aspects of this “expected noncoincidence.”

One of our reasons for linking the Mahler measures of hyperelliptic families $P_k(x, y)$ and $Q_k(x, y)$ to that of elliptic family $R_k(x, y)$, not previously displayed, is a hope to actually prove $m(R_k) = c_k L'(E_k, 0)$ with $c_k \in \mathbb{Q}^\times$ for some values of $k$. Armed with the recent formula for the regulator of modular units [7] and its far-going generalisation for the regulator of Siegel units [4] established by Brunault, such identities are expected to be automated in the near future. The main obstacle to produce a single example for $m(R_k)$ is of purely
computational nature: the smallest conductor of the elliptic curve $E_k$ one gets for $k > 3$, $k^2 \in \mathbb{Z}$, is 224 = $2^5 \times 7$ when $k = 4$. We further comment on this circumstance and on a related conjecture of Boyd for $m(Q_{-1})$ in the final section.

# 1 The first family

We use the equality $m(P_{|k|}) = m(P_k)$ to reduce our analysis in this section to that for $k \ge 0$. Write $P_k(x^2, y) = x^4 P_k(x, y/x)$, where

$$ 
\begin{aligned}
\tilde{P}_k(x, y) &= (x^2 + x^{-2} + 1)y^2 + k(x + x^{-1})y + (x^2 + x^{-2} + 1) \\
&= (x + x^{-1} + 1)(x + x^{-1} - 1)y^2 + k(x + x^{-1})y + (x + x^{-1} + 1)(x + x^{-1} - 1) \\
&= (x + x^{-1} + 1)(x + x^{-1} - 1)(y - y_1(x))(y - y_2(x))
\end{aligned}
$$

and

$$ 
\begin{aligned}
\{y_1(x), y_2(x)\} &= \frac{-k(x + x^{-1}) \pm \sqrt{\Delta_k(x)}}{2(x + x^{-1} + 1)(x + x^{-1} - 1)} \\
\Delta_k(x) &= k^2(x + x^{-1})^2 - 4((x + x^{-1})^2 - 1)^2.
\end{aligned}
$$

By Viète's theorem $y_1(x)y_2(x) = 1$ implying that $|y_1(x)| = |y_2(x)| = 1$ if $\Delta_k(x) \le 0$ and $|y_2(x)| < 1 < |y_1(x)|$ if $\Delta_k(x) > 0$, when we order the zeroes $y_1(x), y_2(x)$ appropriately. In the latter case

$$ |y_1(x)| = \max\{|y_1(x)|, |y_2(x)|\} = \frac{k|x + x^{-1}| + \sqrt{\Delta_k(x)}}{2|(x + x^{-1})^2 - 1|} > 1 $$

and

$$ |y_2(x)| = \min\{|y_1(x)|, |y_2(x)|\} < 1. $$

In notation $x = e^{i\theta}$, $-\pi < \theta < \pi$, we let $c = \cos^2\theta$, so that $c$ ranges in $[0, 1]$. Since $x + x^{-1} = 2 \cos\theta$, we get

$$ 
\begin{aligned}
\Delta_k &= 4k^2c - 4(4c - 1)^2 = -4(16c^2 - (8 + k^2)c + 1) \\
&= -64(c - c_-(k))(c - c_+(k)),
\end{aligned}
$$

where

$$ c_{\pm}(k) = \frac{8 + k^2 \pm k\sqrt{16 + k^2}}{32}. $$

Because $0 < c_-(k) < c_+(k) < 1$ for $0 < k < 3$ and $0 < c_-(k) < 1 < c_+(k)$ if $k > 3$, we have $\Delta_k \ge 0$ iff $c_-(k) \le c \le \min\{1, c_+(k)\}$. Note that

$$ |y_1(x)| = \frac{k\sqrt{c} + 4\sqrt{-(c - c_-(k))(c - c_+(k))}}{|4c - 1|}. $$
Using Jensen's formula and the symmetry $y_1(x) = y_1(x^{-1})$, we obtain

$$
\begin{align*}
p(k) &= m(P_k(x, y)) = m(\tilde{P}_k(x, y)) \\
&= \frac{1}{(2\pi i)^2} \iint_{|x|=|y|=1} \log |\tilde{P}_k(x, y)| \frac{dx}{x} \frac{dy}{y} \\
&= \frac{1}{2\pi i} \int_{|x|=1} \log |y_1(x)| \frac{dx}{x} \\
&= \frac{1}{\pi i} \int_{\substack{|x|=1 \\ \operatorname{Im} x > 0}} \operatorname{Re} \log y_1(x) \frac{dx}{x} \\
&= \frac{1}{\pi i} \int_{\substack{|x|=1 \\ \operatorname{Im} x > 0}} \operatorname{Re} \log \frac{k|x+x^{-1}| + \sqrt{\Delta_k(x)}}{2(x+x^{-1}+1)(x+x^{-1}-1)} \frac{dx}{x} \\
&= \frac{1}{\pi i} \int_{\substack{|x|=1 \\ \operatorname{Im} x > 0}} \operatorname{Re} \log \frac{k|x+x^{-1}| + \sqrt{\Delta_k(x)}}{2} \frac{dx}{x} \\
&= \frac{1}{\pi} \operatorname{Re} \int_0^\pi \log \left(k|\cos \theta| + \sqrt{-(16 \cos^4 \theta - (8+k^2)\cos^2 \theta + 1)}\right) d\theta, \quad k > 0.
\end{align*}
$$

The derivative of the result with respect to $k$ is

$$
\begin{align*}
\frac{dp(k)}{dk} &= \frac{1}{\pi} \operatorname{Re} \int_{0}^{\pi} \frac{|\cos \theta|}{\sqrt{-(16 \cos^4 \theta - (8+k^2)\cos^2 \theta + 1)}} d\theta \\
&= \frac{1}{\pi} \operatorname{Re} \int_{-1}^{1} \frac{|t|}{\sqrt{-(16t^4 - (8+k^2)t^2 + 1)}} \frac{dt}{\sqrt{1-t^2}} \\
&= \frac{2}{\pi} \operatorname{Re} \int_{0}^{1} \frac{t}{\sqrt{-(16t^4 - (8+k^2)t^2 + 1)}} \frac{dt}{\sqrt{1-t^2}} \\
&= \frac{1}{\pi} \operatorname{Re} \int_{0}^{1} \frac{1}{\sqrt{-(16c^2 - (8+k^2)c + 1)}} \frac{dc}{\sqrt{1-c}} \\
&= \frac{1}{4\pi} \int_{c_-(k)}^{\min\{1, c_+(k)\}} \frac{dc}{\sqrt{(c-c_-(k))(c-c_+(k))(c-1)}},
\end{align*}
$$

which is a complete elliptic integral.

Performing additionally the change $c = (4 - v)/16$ we obtain

$$
\begin{align*}
\frac{dp(k)}{dk} &= \frac{1}{\pi} \operatorname{Re} \int_{-12}^{4} \frac{dv}{\sqrt{-(v+12)(v^2+k^2v-4k^2)}} \\
&= \frac{1}{\pi} \int_{\max\{-12,-k(k+\sqrt{k^2+16})/2\}}^{-k(k-\sqrt{k^2+16})/2} \frac{dv}{\sqrt{-(v+12)(v^2+k^2v-4k^2)}};
\end{align*}
$$

in particular, we have the following.

**Proposition 1** For $k \ge 3$,

$$
\frac{dp(k)}{dk} = \frac{1}{\pi} \int_{-12}^{-k(k-\sqrt{k^2+16})/2} \frac{dv}{\sqrt{-(v+12)(v^2+k^2v-4k^2)}}. \quad (3)
$$
## 2 The second family

The analysis here is very similar to the one we had in the paper [1]. First introduce $Q_{k+2}(x, y) = x^3 \tilde{Q}_{k+2}(x, y/x)$, where

$$ 
\begin{aligned}
\tilde{Q}_{k+2}(x, y) &= (x + x^{-1} + 1)y^2 + (x^2 + x^{-2} + (k+2)(x + x^{-1}) + 2k)y + (x + x^{-1} + 1) \\
&= (x + x^{-1} + 1)y^2 + ((x + x^{-1})^2 + (k+2)(x + x^{-1}) + 2(k-1))y \\
&\quad + (x + x^{-1} + 1).
\end{aligned}
$$

Write

$$ \tilde{Q}_{k+2}(x, y) = (x + x^{-1} + 1)(y - y_1(x))(y - y_2(x)) $$

where

$$ \{y_1(x), y_2(x)\} = \frac{-B_k(x) \pm \sqrt{\Delta_k(x)}}{2(x + x^{-1} + 1)} $$

$$ \text{and } B_k(x) = (x + x^{-1})^2 + (k + 2)(x + x^{-1}) + 2(k - 1), $$

$$ 
\begin{aligned}
\Delta_k(x) &= B_k(x)^2 - 4(x + x^{-1} + 1)^2 \\
&= (x + x^{-1} + 2)(x + x^{-1} + k - 2)((x + x^{-1})^2 + (k + 4)(x + x^{-1}) + 2k).
\end{aligned}
$$

By Viète's theorem $y_1(x)y_2(x) = 1$ implying that $|y_1(x)| = |y_2(x)| = 1$ if $\Delta_k(x) \le 0$ and $|y_2(x)| < 1 < |y_1(x)|$ if $\Delta_k(x) > 0$, when we order the zeroes $y_1(x), y_2(x)$ appropriately. In the latter case

$$ y_1(x) = \frac{-B_k(x) - \operatorname{sign}(B_k(x))\sqrt{\Delta_k(x)}}{2(x + x^{-1} + 1)}. $$

Note that

$$ 
\begin{aligned}
\frac{d}{dk} \log y_1(x) &= \frac{d}{dk} \log(B_k(x) + \operatorname{sign}(B_k(x))\sqrt{B_k(x)^2 - 4(x + x^{-1} + 1)^2}) \\
&= \frac{d}{dB} \log(B + \operatorname{sign}(B)\sqrt{B^2 - 4(x + x^{-1} + 1)^2}) \Big|_{B=B_k(x)} \cdot \frac{dB_k}{dk} \\
&= -\frac{\operatorname{sign}(B_k(x))}{\sqrt{B_k(x)^2 - 4(x + x^{-1} + 1)^2}} \cdot (x + x^{-1} + 2).
\end{aligned}
$$

With the help of Jensen's formula we obtain

$$ 
\begin{aligned}
q(k+2) &= m(Q_{k+2}(x, y)) = m(\tilde{Q}_{k+2}(x, y)) \\
&= \frac{1}{(2\pi i)^2} \iint_{|x|=|y|=1} \log |\tilde{Q}_{k+2}(x, y)| \frac{dx}{x} \frac{dy}{y} \\
&= \frac{1}{2\pi i} \int_{|x|=1} \log |y_1(x)| \frac{dx}{x} \\
&= \frac{1}{\pi i} \int_{\substack{|x|=1 \\ \operatorname{Im} x > 0}} \operatorname{Re} \log y_1(x) \frac{dx}{x} \\
&= \frac{1}{\pi} \operatorname{Re} \int_0^\pi \log y_1(e^{i\theta}) \, d\theta,
\end{aligned}
$$
leading to

$$
\begin{align*}
\frac{dq(k+2)}{dk} &= -\frac{1}{\pi} \operatorname{Re} \int_0^\pi \frac{\operatorname{sign}(B_k(e^{i\theta}))}{\sqrt{\Delta_k(e^{i\theta})}} (2\cos\theta + 2) \, d\theta \\
&= -\frac{1}{\pi} \operatorname{Re} \int_{-1}^1 \frac{\operatorname{sign}(2t^2 + (k+2)t + k-1)}{\sqrt{4(t+1)(2t+k-2)(2t^2+(k+4)t+k)}} \frac{(2t+2) \, dt}{\sqrt{1-t^2}} \\
&= -\frac{1}{\pi} \operatorname{Re} \int_{-1}^1 \frac{\operatorname{sign}((t+1)(2t+k)-1)}{\sqrt{(1-t)(2t+k-2)(2t^2+(k+4)t+k)}} \, dt.
\end{align*}
$$

Note that for $k > 0$ we have

$$
\begin{align*}
2 \operatorname{Re} \int_{-1}^{1} \operatorname{sign}(2t^2 + (k+2)t + k - 1) \, dt &= - \int_{-1}^{(-k-4+\sqrt{16+k^2})/4} + \int_{1-k/2}^{1} && \text{if } 0 < k \le 3, \\
&= - \int_{-1}^{1-k/2} + \int_{(-k-4+\sqrt{16+k^2})/4}^{1} && \text{if } 3 < k < 4, \\
&= \int_{(-k-4+\sqrt{16+k^2})/4}^{1} && \text{if } k \ge 4.
\end{align*}
$$

Performing the change of variable $t = (v + 2k(k + 1))/(v - 4k)$ we then obtain

$$
\frac{dq(k + 2)}{dk} = \frac{1}{\pi} \left( \int_{-\infty}^{-12} - \int_{-k(k+\sqrt{16+k^2})/2}^{k(1-k)} \frac{dv}{\sqrt{-(v+12)(v^2+k^2v-4k^2)}} \right)
$$

if $0 < k \le 3$,

$$
\frac{dq(k + 2)}{dk} = \frac{1}{\pi} \left( \int_{-\infty}^{-k(k+\sqrt{16+k^2})/2} - \int_{-12}^{k(1-k)} \frac{dv}{\sqrt{-(v+12)(v^2+k^2v-4k^2)}} \right)
$$

if $3 < k < 4$, and

$$
\frac{dq(k + 2)}{dk} = \frac{1}{\pi} \int_{-\infty}^{-k(k + \sqrt{16+k^2})/2} \frac{dv}{\sqrt{-(v+12)(v^2 + k^2v - 4k^2)}} \quad (4)
$$

if $k \ge 4$.

Remark 1 The appearance of incomplete elliptic integrals

$$
\int_{-k(k+\sqrt{16+k^2})/2}^{k(1-k)} \frac{dv}{\sqrt{-(v+12)(v^2+k^2v-4k^2)}}
$$

and

$$
\int_{-12}^{k(1-k)} \frac{dv}{\sqrt{-(v+12)(v^2+k^2v-4k^2)}}
$$

for $k < 4$ hints on why the Mahler measures $q(k+2)$ are possibly not related to the corresponding $L$-values (see the question marks and the “half-Mahler” measures $m'$ in [2, Table 9]). Our next statement refers to the situation when incomplete elliptic integrals do not occur.

**Proposition 2** For $k \ge 4$,

$$
\frac{dp(k)}{dk} = \frac{dq(k+2)}{dk}.
$$
Proof We will show that

$$ \int_{-12}^{-k(k-\sqrt{16+k^2})/2} \frac{dv}{\sqrt{-(v+12)(v^2+k^2v-4k^2)}} = \int_{-\infty}^{-k(k+\sqrt{16+k^2})/2} \frac{dv}{\sqrt{-(v+12)(v^2+k^2v-4k^2)}} \quad (5) $$

for $k > 3$. On comparing the integrals in (3) and (4) this implies the required coincidence. The involution

$$ v \mapsto -\frac{4(3v + 4k^2)}{v + 12} $$

interchanges $\infty$ with $-12$ and $-k(k + \sqrt{k^2 + 16})/2$ with $-k(k - \sqrt{k^2 + 16})/2$. Applying the change to one of the integrals in (5) we arrive at the other. $\square$

Proof of Theorem 1 Proposition 2 implies that $p(k) = q(k + 2) + C$ for $k \ge 4$, with some constant $C$ independent of $k$. On using the asymptotics (2) we conclude that $C = 0$, and the theorem follows. $\square$

### 3 The third family

Since $m(R_{|k|}) = m(R_k)$, we assume that $k \ge 0$ throughout the section.

For the elliptic family we write

$$ -y^3 R_k(x/y, 1/(xy)) = \tilde{R}_k(x, y) = (x + x^{-1})y^2 - ky - (x^3 + x^{-3}). $$

This time the zeroes $y_1(x)$ and $y_2(x)$ of the quadratic polynomial $\tilde{R}_k(x, y)$ satisfy

$$ y_1(x)y_2(x) = -\frac{x^3 + x^{-3}}{x + x^{-1}} = -(x^2 - 1 + x^{-2}) = 3 - 4 \cos^2 \theta. $$

We have

$$ y_1(x) = \frac{k + \sqrt{k^2 - 16 \cos^2 \theta (3 - 4 \cos^2 \theta)}}{4 \cos \theta}, $$

$$ y_2(x) = \frac{k - \sqrt{k^2 - 16 \cos^2 \theta (3 - 4 \cos^2 \theta)}}{4 \cos \theta}, $$

so that $|y_1(x)| \ge |y_2(x)|$.

**Lemma 1** If $k \ge 3$ then $\Delta_k(x) \ge 0$, so that both $y_1(x)$ and $y_2(x)$ are real.

If $0 \le k < 3$ then $y_1(x)$ and $y_2(x)$ are complex conjugate to each other for

$$ \frac{3 - \sqrt{9 - k^2}}{8} < \cos^2 \theta < \frac{3 + \sqrt{9 - k^2}}{8}, $$

so that $|y_1(x)| = |y_2(x)| = |3 - 4 \cos^2 \theta|^{1/2}$ in this case. Furthermore, $|y_1(x)| = |y_2(x)| > 1$ if and only if

$$ \frac{3 - \sqrt{9 - k^2}}{8} < \cos^2 \theta < \frac{1}{2} \quad \text{for } 0 \le k < 2\sqrt{2}, $$

$$ \frac{3 - \sqrt{9 - k^2}}{8} < \cos^2 \theta < \frac{3 + \sqrt{9 - k^2}}{8} \quad \text{for } 2\sqrt{2} \le k < 3. $$
**Proof** Note that $16 \cos^2 \theta (3 - 4 \cos^2 \theta) \le \max_{0 \le c \le 1} 16c(3 - 4c) = 9$, hence

$$ \Delta_k(x) = k^2 - 16 \cos^2 \theta (3 - 4 \cos^2 \theta) \ge 0 \quad \text{if} \quad k \ge 3. $$

The second part of the statement is a mere computation. □

**Lemma 2** If $k \ge 2\sqrt{2}$ then $|y_1(x)| \ge 1$ for all $x \in \mathbb{C} : |x| = 1$.

**Proof** Denote $c = \cos^2 \theta$ for $x = \exp(i\theta)$, so that our task is to show that

$$ |k + \sqrt{k^2 - 48c + 64c^2}| \ge 4\sqrt{c} \quad (6) $$

for $0 \le c \le 1$. If $k^2 - 48c + 64c^2 \ge 0$, meaning that either $k \ge 3$ and $c \in [0, 1]$ or $2\sqrt{2} \le k < 3$ and $c \in [0, (3 - \sqrt{9 - k^2})/8] \cup [(3 + \sqrt{9 - k^2})/8, 1]$, the inequality (6) is equivalent to

$$ \sqrt{k^2 - 48c + 64c^2} \ge 4\sqrt{c} - k. $$

The latter inequality holds automatically when the right-hand side is nonpositive, that is, when $c \le k^2/16$. If $c > k^2/16 \ge 1/2$ then

$$ \sqrt{c}(1-c) \le \frac{k}{4}\left(1-\frac{k^2}{16}\right) < \frac{k}{4} \cdot \frac{1}{2} = \frac{k}{8} $$

implying that $k^2 - 48c + 64c^2 < (4\sqrt{c} - k)^2 = k^2 - 8k\sqrt{c} + 16c$, and the required inequality follows.

If $k^2 - 48c + 64c^2 < 0$ then $|y_1(x)| = |y_2(x)| = |y_1(x)y_2(x)|^{1/2}$ and

$$ |k + \sqrt{k^2 - 48c + 64c^2}| = |3 - 4c|^{1/2}. $$

The latter expression is $\ge 1$ whenever $0 \le c \le 1/2$; this indeed holds true for $(3 - \sqrt{9 - k^2})/8 < c < (3 + \sqrt{9 - k^2})/8$ since $2\sqrt{2} \le k \le 3$ in this case.

The required inequality (6) is thus established. □

**Lemma 3** If $k \ge 16/(3\sqrt{3}) = 3.0792...$ then $|y_2(x)| \le 1$ for all $x \in \mathbb{C} : |x| = 1$.

**Proof** To verify that $k - \sqrt{k^2 - 48c + 64c^2} \le 4\sqrt{c}$, equivalently

$$ \sqrt{k^2 - 48c + 64c^2} \ge k - 4\sqrt{c} \quad (7) $$

for $0 \le c \le 1$, we first notice that the inequality is trivially true for $c \ge k^2/16$ since the right-hand side is then nonpositive. If $c < k^2/16$, the inequality (7) after squaring becomes equivalent to $8\sqrt{c}(1-c) \le k$. The latter inequality holds true because the maximum of $\sqrt{c}(1-c)$ is attained at $c = 1/3$ and is equal to $2/(3\sqrt{3})$. □

**Proposition 3** If $k \ge 16/(3\sqrt{3})$ then

$$ \frac{\mathrm{d}r(k)}{\mathrm{d}k} = \frac{1}{\pi} \int_{0}^{1} \frac{\mathrm{d}c}{\sqrt{c(1-c)(k^2 - 48c + 64c^2)}}. \quad (8) $$
**Proof** Using the two lemmas above we conclude that for values of $k \ge 16/(3\sqrt{3})$ Jensen's formula gives us

$$ 
\begin{aligned}
r(k) &= m(R_k(x, y)) = m(\tilde{R}_k(x, y)) = \frac{1}{2\pi i} \int_{|x|=1} \log|y_1(x)| \frac{dx}{x} \\
&= \operatorname{Re}\left(\frac{1}{2\pi i} \int_{|x|=1} \log \frac{k + \sqrt{k^2 + 4(x + x^{-1})(x^3 + x^{-3})}}{2} \frac{dx}{x}\right) - m(x + x^{-1}) \\
&= \frac{1}{2\pi} \operatorname{Re} \int_{-\pi}^{\pi} \log \frac{k + \sqrt{k^2 - 16\cos^2\theta(3 - 4\cos^2\theta)}}{2} d\theta \\
&= \frac{2}{\pi} \operatorname{Re} \int_{0}^{\pi/2} \log \frac{k + \sqrt{k^2 - 16\cos^2\theta(3 - 4\cos^2\theta)}}{2} d\theta \\
&= \frac{2}{\pi} \operatorname{Re} \int_{0}^{1} \log \frac{k + \sqrt{k^2 - 16t^2(3 - 4t^2)}}{2} \frac{dt}{\sqrt{1-t^2}}
\end{aligned}
$$

which in turn implies that

$$ 
\begin{aligned}
\frac{dr(k)}{dk} &= \frac{2}{\pi} \operatorname{Re} \int_{0}^{1} \frac{1}{\sqrt{k^2 - 16t^2(3 - 4t^2)}} \frac{dt}{\sqrt{1 - t^2}} \\
&= \frac{2}{\pi} \int_{0}^{1} \frac{1}{\sqrt{k^2 - 16t^2(3 - 4t^2)}} \frac{dt}{\sqrt{1 - t^2}}.
\end{aligned}
$$

It remains to perform the change $c = t^2$. $\square$

If $0 < k < 16/(3\sqrt{3})$ then the cubic polynomial $f(t) = 8t^3 - 8t + k$ has two real zeroes on the interval $0 < t < 1$, since $f(0) = f(1) = k > 0$ and $f(1/\sqrt{3}) = k - 16/(3\sqrt{3}) < 0$. Denote them $t_1(k) < t_2(k)$.

**Lemma 4** If $|\cos\theta| = |x + x^{-1}|/2 = t_1(k)$ then $|y_2(x)| = 1$ for $k \le 16/(3\sqrt{3})$. If $|\cos\theta| = |x + x^{-1}|/2 = t_2(k)$ then

$$ |y_1(x)| = 1 \quad \text{for } 0 < k \le 2\sqrt{2} \quad \text{and} \quad |y_2(x)| = 1 \quad \text{for } 2\sqrt{2} \le k \le 16/(3\sqrt{3}). $$

**Proof** Note that for the values of $x$ corresponding to $t_1(k)$ and $t_2(k)$ we always have $\Delta_k(x) \ge 0$, so that both $y_1(x)$ and $y_2(x)$ are real. The solutions of $|y_1(x)| = 1$ and $|y_2(x)| = 1$ correspond to solving

$$ k \pm \sqrt{k^2 - 16t^2(3 - 4t^2)} = 4t, $$

where $t = |\cos\theta| = |x + x^{-1}|/2$. By elementary manipulations the latter equation reduces to $8t^3 - 8t + k = 0$, and the remaining task is to distinguish whether we get $|y_1(x)| = 1$ or $|y_2(x)| = 1$. We do not reproduce this technical but elementary analysis here. $\square$

**Proposition 4** If $0 < k < 16/(3\sqrt{3})$ then

$$ \frac{dr(k)}{dk} = \frac{1}{\pi} \left( \int_{0}^{t_1(k)^2} + \int_{t_2(k)^2}^{1} \right) \frac{dc}{\sqrt{c(1-c)(k^2 - 48c + 64c^2)}}, \quad (9) $$

where $t_1(k)$ and $t_2(k)$, $0 < t_1(k) < 1/\sqrt{3} < t_2(k) < 1$, are the real zeroes of the polynomial $8t^3 - 8t + k$.
Proof To each $x$ on the unit circle we assign the real parameter $\theta$ such that $x = e^{i\theta}$ and real parameter $t = |x + x^{-1}|/2 = |\cos \theta| \in [0, 1]$. The analysis of Lemmas 1–4 shows that the ranges of $t$ that correspond to $|y_1(x)| \ge 1$ and $|y_2(x)| \ge 1$ are as follows: if $0 < k < 2\sqrt{2}$ then

$|y_1(x)| \ge 1$ for $t \in [0, 1/\sqrt{2}] \cup [t_2(k), 1]$ and $|y_2(x)| \ge 1$ for $t \in [t_1(k), 1/\sqrt{2}]$; and if $2\sqrt{2} \le k < 16/(3\sqrt{3})$ then

$|y_1(x)| \ge 1$ for $t \in [0, 1]$ and $|y_2(x)| \ge 1$ for $t \in [t_1(k), t_2(k)]$.

Therefore,

$$ 
\begin{aligned}
r(k) &= \frac{1}{2\pi i} \int_{|x|=1} \log \max\{|y_1(x)|, 1\} \frac{dx}{x} + \frac{1}{2\pi i} \int_{|x|=1} \log \max\{|y_2(x)|, 1\} \frac{dx}{x} \\
&= \frac{2}{\pi} \operatorname{Re} \left( \int_0^{1/\sqrt{2}} + \int_{t_2(k)}^1 \right) \log \frac{k + \sqrt{k^2 - 16t^2(3 - 4t^2)}}{4t} \frac{dt}{\sqrt{1 - t^2}} \\
&\quad + \frac{2}{\pi} \operatorname{Re} \int_{t_1(k)}^{1/\sqrt{2}} \log \frac{k - \sqrt{k^2 - 16t^2(3 - 4t^2)}}{4t} \frac{dt}{\sqrt{1 - t^2}}
\end{aligned}
$$

if $0 < k < 2\sqrt{2}$ and

$$ 
\begin{aligned}
&= \frac{2}{\pi} \operatorname{Re} \int_0^1 \log \frac{k + \sqrt{k^2 - 16t^2(3 - 4t^2)}}{4t} \frac{dt}{\sqrt{1 - t^2}} \\
&\quad + \frac{2}{\pi} \operatorname{Re} \int_{t_1(k)}^{t_2(k)} \log \frac{k - \sqrt{k^2 - 16t^2(3 - 4t^2)}}{4t} \frac{dt}{\sqrt{1 - t^2}}
\end{aligned}
$$

if $2\sqrt{2} \le k < 16/(3\sqrt{3})$. Differentiating $r(k)$ we obtain

$$ \frac{dr(k)}{dk} = \frac{2}{\pi} \operatorname{Re} \left( \int_{0}^{1/\sqrt{2}} + \int_{t_2(k)}^{1} - \int_{t_1(k)}^{1/\sqrt{2}} \right) \frac{1}{\sqrt{k^2 - 16t^2(3 - 4t^2)}} \frac{dt}{\sqrt{1 - t^2}} $$

if $0 < k < 2\sqrt{2}$ and

$$ = \frac{2}{\pi} \operatorname{Re} \left( \int_{0}^{1} - \int_{t_1(k)}^{t_2(k)} \right) \frac{1}{\sqrt{k^2 - 16t^2(3 - 4t^2)}} \frac{dt}{\sqrt{1 - t^2}} $$

if $2\sqrt{2} \le k < 16/(3\sqrt{3})$; here we have observed that the additionally occurring integrals in the process of differentiating vanish because $\operatorname{Re} \log y_j(x) = \log |y_j(x)| = 0$ by Lemma 4 in the corresponding cases.

Note that for both $0 < k < 2\sqrt{2}$ and $2\sqrt{2} \le k < 16/(3\sqrt{3})$ the result is the same:

$$ \frac{dr(k)}{dk} = \frac{2}{\pi} \operatorname{Re} \left( \int_{0}^{t_1(k)} + \int_{t_2(k)}^{1} \right) \frac{1}{\sqrt{k^2 - 16t^2(3 - 4t^2)}} \frac{dt}{\sqrt{1 - t^2}} $$

To complete the proof we apply the substitution $t^2 = c$. $\square$

<figure><img src="image_3.png" /></figure>

Remark 2 The integral in (8) is elliptic, while the integrals in (9) are incomplete elliptic: the “completion” of the integrals will require integrating along $c \in (0, (3 - \sqrt{9 - k^2})/8) \cup ((3 + \sqrt{9 - k^2})/8, 1)$ if $0 < k < 3$ or $c \in (0, 1)$ if $3 \le k < 16/(3\sqrt{3})$ rather than along $c \in (0, t_1(k)^2) \cup (t_2(k)^2, 1)$. The incompleteness serves as a reason for the Mahler measure $r(k)$ not to be rationally related to $L'(E_k, 0)$ for $|k| < 16/(3\sqrt{3})$.
**Proposition 5** For $k$ positive real, $k \neq 3$,

$$ \int_0^1 \frac{dc}{\sqrt{c(1-c)(64c^2 - 48c + k^2)}} = \int_{-12}^{-k(k-\sqrt{16+k^2})/2} \frac{dv}{\sqrt{-(v+12)(v^2+k^2v-4k^2)}} \quad (10) $$

*Proof* Applying the substitution

$$ c = \frac{k(1+t)}{k + \sqrt{k^2 + 16} + (k - \sqrt{k^2 + 16})t} $$

to the integral on the left-hand side we obtain

$$ \begin{aligned} & \int_0^1 \frac{dc}{\sqrt{c(1-c)(64c^2 - 48c + k^2)}} \\ &= \sqrt{2} \int_{-1}^1 \frac{dt}{\sqrt{(1-t^2)(k^2 - 24 + k\sqrt{k^2+16} + (-k^2 + 24 + k\sqrt{k^2+16})t^2)}} \\ &= 2\sqrt{2} \int_0^1 \frac{dt}{\sqrt{(1-t^2)(k^2 - 24 + k\sqrt{k^2+16} + (-k^2 + 24 + k\sqrt{k^2+16})t^2)}} \end{aligned} $$

(after the change $u = t^2$)

$$ = \sqrt{2} \int_0^1 \frac{du}{\sqrt{u(1-u)(k^2 - 24 + k\sqrt{k^2+16} + (-k^2 + 24 + k\sqrt{k^2+16})u)}} $$

Now the substitution

$$ u = \frac{2(v+12)}{-k^2 + 24 + k\sqrt{k^2+16}} $$

into the latter integral results in the the right-hand side in (10). □

*Remark 3* For $k > 0$, $k \neq 3$, the identity in Proposition 5 relates the periods of the elliptic curves $E_k$ in (1) (which is isomorphic to $u^2 = (v+12)(v^2+k^2v-4k^2)$) and

$$ \hat{E}_k : d^2 = c(1-c)(64c^2 - 48c + k^2). $$

The curves $E_k$ and $\hat{E}_k$ are not isomorphic but the latter one happens to be a quadratic twist of the former.

*Proof of Theorem 2* The equality of elliptic integrals in (10) means that the derivatives of $p(k)$ and $r(k)$ coincide for $k \ge 16/(3\sqrt{3})$. Thus $p(k) = r(k) + C$ for the range of $k$, and the asymptotics (2) implies that $C = 0$ and finishes the proof of the theorem. □

# 4 Accurateness of Theorem 2 and related comments

Though our Remarks 1 and 2 are aimed at explaining the choice of ranges for $k$ in Theorems 1 and 2, in conclusion we would like to specifically address the difference between $m(P_3)$ and $m(R_3)$. The choice $k = 3$ corresponds to a simultaneous degeneration in the families of curves $P_k(x, y) = 0$ and $R_k(x, y) = 0$.
The curve

$$P_3(x, y) = (x^2 + x + 1)y^2 + 3x(x + 1)y + x(x^2 + x + 1) = 0$$

has genus 1; it is isomorphic to the conductor 15 elliptic curve $y^2 + xy + y = x^3 + x^2$ which has Cremona label 15a8 [6, Curve15.a7]. The proof of the evaluation

$$m(P_3) = \frac{1}{6} L'(\chi_{-15}, -1) = 0.99905183 \dots \quad (11)$$

was given in [3, Example 3] (by two different methods!).

On the other hand,

$$R_3(x, y) = (x + y - 1)(x^2 - xy + y^2 + x + y)$$

so that

$$\begin{aligned} m(R_3) &= m(x + y - 1) + m(x^2 - xy + y^2 + x + y) \\ &= L'(\chi_{-3}, -1) + m(x^2 - xy + y^2 + x + y). \end{aligned}$$

Following the technology and notation in [3] to compute the Mahler measure of $A(x, y) = x^2 - xy + y^2 + x + y$, we first fix the rational parametrisation

$$x = \frac{t - 2}{t^2 - t + 1}, \quad y = \frac{-t - 1}{t^2 - t + 1},$$

and compute the resultant of $A(x, y)$ and $A^*(x, y) = x^2y^2A(1/x, 1/y)$:

$$\mathrm{Res}_y(A, A^*) = 3x^2(x^4 + x^3 - x^2 + x + 1).$$

The quartic polynomial has exactly two complex conjugate zeroes

$$x_1 = \frac{3 + i\sqrt{5 + 2\sqrt{13}}}{1 + \sqrt{13}}$$

and $x_1^{-1}$ of absolute value 1. The corresponding values of $y$ satisfying $|y| = 1$ and $A(x, y) = 0$ are $y = y_1 = x_1^{-1}$ for $x = x_1$ and $y = x_1$ for $x = x_1^{-1}$. The pair $(x_1, y_1)$ is generated by

$$t_1 = \frac{1 - i\sqrt{5 + 2\sqrt{13}}}{2}.$$

Note that in this case

$$\eta(x, y) = \eta\left(\frac{t-2}{t^2-t+1}, \frac{-t-1}{t^2-t+1}\right) = dD\left(-\left[\frac{t+1}{3}\right] + 2\left[\frac{t+1}{\zeta_6+1}\right] + 2\left[\frac{t+1}{\zeta_6^{-1}+1}\right]\right),$$

where the 1-form $\eta(g, h) = \log|g| \mathrm{d} \arg h - \log|h| \mathrm{d} \arg g$ is attached to rational nonconstant functions $g$ and $h$ and

$$D(z) = \mathrm{Im} \sum_{n=1}^{\infty} \frac{z^n}{n^2} + \arg(1-z) \log|z|$$
denotes the Bloch–Wigner dilogarithm. Then by results in [3] the Mahler measure of A(x, y) is equal to

$$m(A) = \frac{1}{\pi} \left( D\left(\frac{t_1+1}{3}\right) - 2D\left(\frac{t_1+1}{\zeta_6+1}\right) - 2D\left(\frac{t_1+1}{\zeta_6^{-1}+1}\right) \right) = 0.68844794...$$

The resulting measure $m(R_3) = 1.01151388...$ visually appears to be different from (11) confirming that $m(P_k) \neq m(R_k)$ at least for $k = 3$. Furthermore, $m(R_3)$ does not seem to be a $Q$-linear combination of $L'(\chi_{-3}, -1)$ and $L'(\chi_{-15}, -1)$.

It would be interesting to establish the expected evaluation $m(R_4) = -\frac{1}{3}L'(E_{224a}, 0)$, hence also for $m(P_4)$ and $m(Q_6)$, by using the recent formula of Brunault [4] for the regulator of Siegel units. Note that the elliptic curve $R_4(x, y) = 0$ does not possess a modular-unit parametrisation (so that the formula from [7] is not applicable) and it is isomorphic to the curve $y^2 = x^3 + x^2 - 8x - 8$ which has Cremona label 224a2 [6, Curve224.a1].

Another related conjecture of Boyd [2, Eq. (3–12)] states that

$$m(Q_{-1}) = \frac{1}{3}L'(\chi_{-7}, -1) + \frac{1}{6}L'(\chi_{-15}, -1) = \frac{7\sqrt{7}}{12\pi}L(\chi_{-7}, 2) + \frac{5\sqrt{15}}{8\pi}L(\chi_{-15}, 2).$$

Here $Q_{-1}(x, y) = 0$ is an elliptic curve of conductor $210 = 2 \times 3 \times 5 \times 7$, which is isomorphic to $y^2 + xy = x^3 + x^2 - 3x - 3$ with Cremona label 210d1 [6, Curve210.a3]. Numerics indicates the lack of a modular-unit parametrisation in this case, though a suitable parametrisation by Siegel units and the principal result from [4] are expected to confirm Boyd's observation for $m(Q_{-1})$.

**Acknowledgements** Open access funding provided by Max Planck Society. We owe our gratitude to François Brunault for helpful comments and discussions on a preliminary version of the note. We thank the anonymous referee for pointing out some typos in an earlier version. A part of the work was done during the authors' visit in the Centre de recherches mathématiques, Université de Montréal, and the second author's stay at the Max-Planck-Institut für Mathematik, Bonn, in Spring 2015. We thank the staff of the institutes for the excellent conditions we experienced when conducting this research. The second author acknowledges the support of the Max-Planck-Institut für Mathematik and the Australian Research Council.

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## References

1. Bertin, M.J., Zudilin, W.: On the Mahler measure of a family of genus 2 curves. Math. Zeitschrift. 283(3), 1185–1193. doi:10.1007/s00209-016-1637-6

2. Boyd, D.: Mahler's measure and special values of L-functions. Exp. Math. 7(1), 37–82 (1998)

3. Boyd, D.W., Rodriguez-Villegas, F.: With an appendix by N. M. Dunfield, Mahler's measure and the dilogarithm (II), Preprint (2003). arXiv:math/0308041 [math.NT]

4. Brunault, F.: Regulators of Siegel units and applications. J. Number Theory 163, 542–569 (2016)

5. Rodriguez-Villegas, F.: Modular Mahler measures I. In: Topics in number theory, (University Park, PA, 1997), Math. Appl., vol. 467, pp. 17–48. Kluwer Acad. Publ, Dordrecht (1999)

6. The LMFDB Collaboration: The L-functions and Modular Forms Database, http://www.lmfdb.org. Accessed 23 December 2015 (2013–2015)

7. Zudilin, W.: Regulator of modular units and Mahler measures. Math. Proc. Camb. Phil. Soc. 156(2), 313–326 (2014)