1
$\begingroup$

Let M be a hyperbolic surface and let f be a real smooth function on M.

Considering a geometric inequality which I conjectured to be true for different reasons, I get after a lot of computations that the inequality is in fact equivalent to the following

$$ \int_{M}(f^2 - \frac{1}{4}\(Delta(f))^2)dM≤ \frac{1}{V}(\int_{M}fdM)^2 $$,

where dm is the volume form on M and $V=\int_{M}dM$.

Is this inequality correct or false ?

$\endgroup$
7
  • $\begingroup$ The laplacian term integrates to zero, so what you've written becomes a much simpler conjecture. Perhaps this question as is, is not appropriate for the site. $\endgroup$ Oct 7, 2012 at 14:55
  • 1
    $\begingroup$ I suspect the parentheses are in the wrong place. $\endgroup$
    – Deane Yang
    Oct 7, 2012 at 15:00
  • $\begingroup$ I apologize: the notation was unclear. Thank you. $\endgroup$
    – Yves
    Oct 7, 2012 at 16:14
  • 1
    $\begingroup$ It still can't be correct as written can be seen by scaling the metric $g\to \lambda g$ for $\lambda>>1$ and taking any non-zero function $f$ orthogonal to the constants. $\endgroup$
    – Rbega
    Oct 7, 2012 at 16:25
  • 1
    $\begingroup$ Yes, the OP is right. The Euler-Lagrange equation for the functional has the biharmonic operator as the top order term. $\endgroup$
    – Deane Yang
    Oct 7, 2012 at 22:51

1 Answer 1

2
$\begingroup$

According to this paper of Randol which I found in this answer of BR. Compact surfaces with metrics of constant curvature $-1$ may have first eigenvalue $\lambda_1$ as small as one likes. An eigenfunction $\phi_1$ of this eigenvalue gives a counter-example to your claim

$\endgroup$

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.