1
$\begingroup$

Do there exist nonconstant real valued functions $f$ and $g$ such that the expression: $$f(x) -v/g(x)$$ is maximized at $x = v$ for all positive real $v$?

$\endgroup$
9
  • $\begingroup$ Functions on $\mathbb{R}$ or on the positive reals? In the latter case, $- \log x$ and $x$. $\endgroup$
    – Homology
    Jun 29, 2010 at 23:26
  • $\begingroup$ Function on $\mathbb R$. Positivity is for $v$ only. $\endgroup$ Jun 29, 2010 at 23:28
  • $\begingroup$ Motivation for the question? $\endgroup$
    – Yemon Choi
    Jun 29, 2010 at 23:35
  • $\begingroup$ @Yemon: might be a homework, might be curiosity. I don't see any deep context here but it's tricky. $\endgroup$ Jun 29, 2010 at 23:39
  • 1
    $\begingroup$ Do we need $g$ to be non-vanishing? And what is this for? $\endgroup$
    – Homology
    Jun 29, 2010 at 23:47

4 Answers 4

6
$\begingroup$

Take $f(x)=(x+1)e^{-x}$ and $g(x)=e^x$, then $f(x)-v/g(x)=(x+1-v)e^{-x}$ and the derivative with respect to $x$ is $(v-x)e^{-x}$.

$\endgroup$
2
  • $\begingroup$ Doesn't this work for any real $v$? (So, you do much more!) $\endgroup$ Jun 29, 2010 at 23:58
  • $\begingroup$ May I suggest you to take a more realistic name for MO? (I am very sorry for making a joke with your present one in a comment above but you don't give me an option to cite your answer correctly.) $\endgroup$ Jun 30, 2010 at 0:03
8
$\begingroup$

By the arithmetic-geometric mean inequality, when $v$ is positive $$-|x|^{\frac{1}{2}}-\frac{v}{|x|^{\frac{1}{2}}}$$ is maximized at $x=v$ and $x=-v$.

$\endgroup$
3
  • $\begingroup$ Nice! 123456789 (I needed some extra characters) $\endgroup$ Jun 29, 2010 at 23:57
  • 1
    $\begingroup$ Nice! $ $ $\endgroup$ Jun 30, 2010 at 1:47
  • $\begingroup$ It is not defined at $x=0$. I think the question was about functions on the whole real line. $\endgroup$
    – T..
    Jun 30, 2010 at 23:55
2
$\begingroup$

Let $f$ be arbitrary (but non-constant, real-valued, and differentiable), let $h$ be any antiderivative of $f'(x)/x$, and let $g=1/h$; then $f'(v)g'(v)=v$, so $f-v/g$ has a critical point at $x=v$. Now you can look for conditions under which that critical point is a maximum.

$\endgroup$
1
$\begingroup$

The following calculation suggests that a nice probability interpretation may exist for any solution one can construct.

$u(x) = f(x) - v/g(x)$ and all its $x$ derivatives are linear functions of $v$ with coefficients that are functions of $x$.

Thus, to have an extremum at $x=v$ the first derivative $u'$ must be of the form $(v-x)M(x)$. Integrating the $v$-degree 0 and 1 parts of this equation produces $f$ and (the reciprocal of) $g$. Algebraically this will be equivalent to Gerry's solution.

The interesting points are that:

  1. To have a maximum we need $M(x) \geq 0$, so $M$ can be interpreted as a density.

  2. The total mass $\int M$ has to be finite in order for $g(x)$ to exist on the whole real line. This is so that we can choose a constant of integration larger (in absolute value) than the total mass, when computing $1/g = C + \int M$. Thus, $M$ is a sort of probability measure, and literally is one when $\int M = 1$.

  3. $f$ is calculated as integral of $xM$, ie., an expected value of $x$.

  4. $1/g$ is calculated using the integral of $M$, ie., a probability.

So there might be a simple probability inequality lurking behind most of the solutions.

$\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.