-1
$\begingroup$

Let $x \in \mathcal{X} = [0,1]^n$, and $f(x)$ be an $L$-Lipschitz function. Let $f(0)=0$. What is (the exact or a non-trivial upper bound on) $\int_{x\in\mathcal{X}} |f(x)|\,\mathrm{d}x$?What about $\int_{x\in\mathcal{X}} |f(x)|^2\,\mathrm{d}x$?

$\endgroup$
6
  • 1
    $\begingroup$ Take $f=C$, $C$ constant. Then the integrals can be made arbitrarily large by choosing $C$ appropriately. $\endgroup$ Jul 27, 2018 at 11:02
  • $\begingroup$ Agree. But what if we add additional constraints like $ f(0)=0$? $\endgroup$
    – Jeff
    Jul 28, 2018 at 0:14
  • $\begingroup$ I have added this assumption. $\endgroup$
    – Jeff
    Jul 28, 2018 at 23:30
  • 1
    $\begingroup$ How is this either algebraic geometry or differential geometry? $\endgroup$
    – Nik Weaver
    Jul 29, 2018 at 2:10
  • 1
    $\begingroup$ @NikWeaver Because it uses $^2$ and $dx$ LOL. $\endgroup$
    – Fan Zheng
    Jul 30, 2018 at 1:08

1 Answer 1

4
$\begingroup$

If $f:[0,1]^n\to\mathbb{R}$ is $L$-Lipschitz and $f(0)=0$, then $|f(x)|\le L\|x\|$, which obviously implies that the function $x\mapsto L\|x\|$ is the maximizer for both problems.

$\endgroup$
2
  • 1
    $\begingroup$ This example generalizes to $f(x)=|x|$ on $[0,1]^n$. $\endgroup$
    – Fan Zheng
    Jul 29, 2018 at 0:13
  • $\begingroup$ @Fan Zheng it was a typo. fixed $\endgroup$ Jul 29, 2018 at 11:32

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.