2
$\begingroup$

Assume that $f:[0,2\pi]\to [0,2\pi]$ is a an increasing diffeomorphism, and let $\underline f = \min f'$ and $\overline f = \max f'$ and define $$g(s) = \int_0^s e^{if(t)} dt.$$ Assume that $g(0)=g(2\pi)$. It seems that $$\underline f \le \frac{|g(x)-g(y)|}{|e^{ix}-e^{iy}|}\le \overline f,$$ but I do not have the proof jet.

$\endgroup$
3
  • $\begingroup$ "Then your quotient \sim 1/L", this looks false @ Christian. Indeed in that case it is \sim 1 namely \int_0^p e^{i L s} ds= {-((i (-1 + e^{i L p))}/L)} $\endgroup$
    – user66638
    Mar 7, 2015 at 8:16
  • $\begingroup$ Yes, I was confused, obviously the quotient is $\simeq 1$ for small intervals. $\endgroup$ Mar 7, 2015 at 18:33
  • $\begingroup$ Could the title be perhaps made more specific? $\endgroup$
    – j.c.
    Mar 10, 2015 at 17:31

2 Answers 2

2
$\begingroup$

Take $f(x)=k\log(x+1)$ where $k=2\pi/\log(2\pi+1)$, hence $f$ is a diffeomorphism. The maximum of the derivate is atained when $x=0$ and it is $k\approx 3.1644$. On the other hand, taking $x=\pi/3$, $y=\pi/3-1$ we obtain

$$ \frac{|g(x)-g(y)|}{|e^{\mathrm{i}x}-e^{\mathrm{i}y}|}> \frac{2}{0.2}=10.$$

Edit: As Chistian noted in a comment, with the function $f$ defined above the function $g$ don't satisfy $g(0)=g(2\pi)$.

Now, we can choose $f(x)=-x+2\pi$. For $g(2\pi)$ we get

$$g(2\pi)=\int_0^{2\pi}e^{-\mathrm{i}x+2\pi\mathrm{i}}=\int_0^{2\pi}e^{-\mathrm{i}x}=0.$$

The derivate is $-1$, and

$$ \frac{|g(x)-g(y)|}{|e^{\mathrm{i}x}-e^{\mathrm{i}y}|}=1.$$

This is not a surprise if we think the above quotient as

$$ \left|\frac{g(x)-g(y)}{x-y}\frac{x-y}{e^{\mathrm{i}x}-e^{\mathrm{i}y}}\right|.$$ If the estimate is true, then $\underline{f}\leq|g^\prime(x)|\leq \overline{f}$ for every $x\in(0,2\pi)$. But $|g^\prime(x)|=|f^\prime(x)|$. I will think about the case where $\underline{f}=\min |f^\prime|$ and $\overline{f}=\max |f^\prime|$.

$\endgroup$
4
  • 1
    $\begingroup$ I don't think this will satisfy $g(2\pi)=g(0)$ though. $\endgroup$ Mar 8, 2015 at 16:51
  • $\begingroup$ You are right @Cristian, I forgot that hypothesis. $\endgroup$
    – MrSelberg
    Mar 8, 2015 at 17:00
  • $\begingroup$ But $f$ increases $\endgroup$ Mar 9, 2015 at 21:42
  • $\begingroup$ Well, I answered the past question, where the increasing condition is't there. This is a 'little bit' new question (see the editions). $\endgroup$
    – MrSelberg
    Mar 9, 2015 at 21:57
1
$\begingroup$

This is not really a complete solution, it contains possibly challenging exercises to the reader, but I have some hope that one could make a full proof out of this. I'll also only address the lower bound.

The function $g(t), 0\le t\le 2\pi$, defines a closed curve in the plane. It is parametrized with respect to arc length, and its curvature is given by $f'(t)$. By assumption, $a\le f'\le b$ (so the curve is also convex).

For the lower bound, we are interested in how small $|g(x)-g(0)|$ can become under these restrictions: curvature $\ge a$, the piece in question has length $x$, and the total length equals $2\pi$.

It seems intuitively plausible that the minimum is achieved for an American football type curve that we obtain by gluing together two circular arcs of radius $R=1/a$ and length $\pi$ each. (I don't know how to prove it formally though.) This curve is not smooth at the gluing points, but of course we can approximate by smooth curves, so this is not an issue.

The minimal distance $|g(x)-g(0)|$ is achieved by considering distances parallel to the small axis of symmetry of our football. Notice also that if we brought these two points $g(0),g(x)$ closer together still by moving (parts of) our circular arcs around, then it would not be possible to close the curve with another arc of length $2\pi -x$ and at the same time keep the curvature $\ge a$ throughout. (We of course can't prove the claim without making use of this non-local feature of the problem.)

If all this is swallowed, then the rest follows by direct computation. By elementary geometry, $$ G(x):=|g(x)-g(0)| = 2R \left( \cos\frac{\pi -x}{2R} - \cos \frac{\pi}{2R} \right) . $$ We want to show that this is $\ge$ $$ H(x):=a|e^{ix}-1| = \frac{2}{R}\, \sin (x/2) . $$ For $x=\pi$, this boils down to showing that $$ 2R^2 \sin^2 \frac{\pi}{4R} \ge 1 , $$ or, equivalently, $\sin\delta\ge (\sqrt{8}/\pi)\delta$ for $0<\delta\le \pi/4$, which (just about) works. The upper bound on $\delta$ came from the fact that $R=1/a\ge 1$.

I have shown that $H(\pi)\ge G(\pi)$, and to obtain that $H(x)\ge G(x)$ also for general $0<x<\pi$, I can compare the derivatives: it's not hard to check that $H'\le G'$ in this range for arbitrary $R\ge 1$.

$\endgroup$
1
  • $\begingroup$ you are right, g defines arc-length parametrisation of a convex curve $\gamma$, and my question is to find it out the bi-Lipschits constant of the mapping $G:S^1\to \gamma$ between the unit cicle $S^1$ and $\gamma$, defined by $G(e^{it}) = g(t)$. $\endgroup$
    – user66638
    Mar 10, 2015 at 7:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.