Product integral of $x$ between $1/a$ and $a$ "should" equal 1 but doesn't I was looking at the Product Integral. I'm defining it here with the Gamma symbol like this:
$\Gamma _a^bf(x)dx=e^{\int_a^b \log (f(x)) \, dx}$
It occured to me that the product integral of $f(x) = x$ in the range $[\frac {1} {a}, a]$ "should" be 1, because every element in that range has an inverse in that range. But Mathematica argues otherwise:
E^Integrate[Log[x], {x, 1/2, 2}]

$e^{\frac{1}{2} (\log (32)-3)}$
Which is about 1.2622. The general solution for a > 1 is:
$e^{\frac{1}{a}-a+\left(\frac{1}{a}+a\right) \log(a)}$
This is definitely not 1, so my assumption is probably naive. The first explanation that comes to mind (besides the integral not being $0$) is the size difference. Although every element in the range $[\frac {1}{a}, a]$ does have an inverse in that set, $[\frac {1}{a},1]$ is a smaller range than $[1,a]$. So perhaps in some way this imbalance comes out in the product integral.
I have two questions then:
1) Is the product integral telling us anything here? If $\Gamma _{\frac{1}{a}}^{a}x\,dx \approx 1.2622$, does that say anything about the range $[\frac {1}{a},a]$?
2) Is there an obvious product integral which would yield 1 for the function $f(x)=x$ in the range $[\frac {1}{a},a]$?
 A: The fact that the sizes of the intervals $[1/a,1]$ and $[1,a]$ are different indeed points to the right direction. To see this, let us try to show that the integral is zero because the contributions of $f(x)=\log(x)$ and $f(1/x)=\log(1/x)=-\log(x)$ would compensate each other (they do not but let us see what happens when we try to show they do).
A natural idea is to consider a subdivision $(x_k)_{0\leqslant k\leqslant n}$ of the interval $[1,a]$, since the integral of $\log f$ on $[1,a]$ is roughly the Riemann sum
$$
S=\sum_{k=1}^n(x_k-x_{k-1})\log f(x_k).
$$
The symmetry of $\log f$ suggests to consider the subdivision $(z_k)_{0\leqslant k\leqslant n}$ made with the inverses of the points of the first subdivision, more precisely, $z_k=x_{n-k}^{-1}$ for every $0\leqslant k\leqslant n$. The integral of $\log f$ on $[1/a,1]$ is roughly the Riemann sum
$$
S'=\sum_{k=1}^n(z_k-z_{k-1})\log f(z_{k-1})=\sum_{k=1}^n(x_{n-k}^{-1}-x_{n-k+1}^{-1})\log f(x_{n-k+1}^{-1}),
$$
that is
$$
S'=-\sum_{k=1}^n\frac{x_k-x_{k-1}}{x_{k}x_{k-1}}\log f(x_{k}).
$$
Since the coefficient of $\log f(x_k)$ in $S'$ is not the length of the interval $x_k-x_{k-1}$ as in $S$, but a biased version of this length, the argument does not lead a priori to $S'=-S$. 
To sum up, the function $\log f$ is indeed symmetric with respect to the transformation $x\to1/x$ but the lengthes of the subintervals of $[1,a]$ and $[1/a,1]$ are not (and in particular, but this is only the tip of the iceberg, the lengthes of $[1,a]$ and $[1/a,1]$ themselves do not coincide). Still in other words, Area = Width $\times$ Height and Height does not change but Width changes, hence Area changes as well.
To save the day, the transformation $x\to1/x$ should leave Width unchanged. As explained in comments, the only way to do this is that the length is measured locally at $x$ by $\dfrac{\mathrm dx}x$. The biased Riemann sums become
$$
\tilde S=\sum_{k=1}^n\frac{x_k-x_{k-1}}{x_k}\log f(x_k),\qquad \tilde S'=\sum_{k=1}^n\frac{z_k-z_{k-1}}{z_{k}}\log f(z_{k-1})=-\tilde S.
$$
