Equivalence of maximizer and parametrized maximizer on Pareto frontier

Multi tool use
Multi tool use

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite












Consider two functions $f,g : X times Y subseteq mathbb R^2 to mathbb R$. Suppose that $f$ and $g$ are of class $mathcal C^2(X times Y)$. Suppose $(x^*,y^*)$ is the unique maximizer of our orginal program:
beginalign
&(x^*,y^*) = argmax_(x,y) in X times Yf(x,y) cdot g(x,y)\
texts.t. quad & f(x,y) geq 0\
& g(x,y) geq 0
endalign
I was wondering if we can reduce the dimensionality by first considering
beginalign
(x(alpha),y(alpha)) = argmax_(x,y) in X times Yleft[alpha f(x,y) + (1-alpha) g(x,y)right]
endalign
and then solve the parametrized program
beginalign
&alpha^* = argmax_alpha in [0,1]f(x(alpha),y(alpha)) cdot g(x(alpha),y(alpha))\
texts.t. quad & f(x(alpha),y(alpha)) geq 0\
& g(x(alpha),y(alpha)) geq 0
endalign



Question
Is the following generally true:
beginalign
(x^*,y^*) = (x(alpha^*),y(alpha^*))?
endalign



Example
Let $X = Y = [0,1]$ and $f(x,y) = x(1-y)$ and $g(x,y) = y(1-x)$. Since $f,g geq 0$ for all $x,y$ we don't need to consider the constraints.
Then $(x^*,y^*) = (1/2,1/2)$ solve $max_(x,y)f(x,y)cdot g(x,y)$. The parametrized maximzers are
beginalign
(x(alpha),y(alpha)) = (1-alpha,alpha) = argmax_(x,y)[alpha f(x,y) + (1-alpha)g(x,y)]
endalign
and
beginalign
alpha^* = 1/2 = argmax_alpha f(1-alpha,alpha)cdot g(1-alpha,alpha).
endalign
Such that $(x^*,y^*) = (x(alpha^*),y(alpha^*))$ is true here.







share|cite|improve this question
























    up vote
    0
    down vote

    favorite












    Consider two functions $f,g : X times Y subseteq mathbb R^2 to mathbb R$. Suppose that $f$ and $g$ are of class $mathcal C^2(X times Y)$. Suppose $(x^*,y^*)$ is the unique maximizer of our orginal program:
    beginalign
    &(x^*,y^*) = argmax_(x,y) in X times Yf(x,y) cdot g(x,y)\
    texts.t. quad & f(x,y) geq 0\
    & g(x,y) geq 0
    endalign
    I was wondering if we can reduce the dimensionality by first considering
    beginalign
    (x(alpha),y(alpha)) = argmax_(x,y) in X times Yleft[alpha f(x,y) + (1-alpha) g(x,y)right]
    endalign
    and then solve the parametrized program
    beginalign
    &alpha^* = argmax_alpha in [0,1]f(x(alpha),y(alpha)) cdot g(x(alpha),y(alpha))\
    texts.t. quad & f(x(alpha),y(alpha)) geq 0\
    & g(x(alpha),y(alpha)) geq 0
    endalign



    Question
    Is the following generally true:
    beginalign
    (x^*,y^*) = (x(alpha^*),y(alpha^*))?
    endalign



    Example
    Let $X = Y = [0,1]$ and $f(x,y) = x(1-y)$ and $g(x,y) = y(1-x)$. Since $f,g geq 0$ for all $x,y$ we don't need to consider the constraints.
    Then $(x^*,y^*) = (1/2,1/2)$ solve $max_(x,y)f(x,y)cdot g(x,y)$. The parametrized maximzers are
    beginalign
    (x(alpha),y(alpha)) = (1-alpha,alpha) = argmax_(x,y)[alpha f(x,y) + (1-alpha)g(x,y)]
    endalign
    and
    beginalign
    alpha^* = 1/2 = argmax_alpha f(1-alpha,alpha)cdot g(1-alpha,alpha).
    endalign
    Such that $(x^*,y^*) = (x(alpha^*),y(alpha^*))$ is true here.







    share|cite|improve this question






















      up vote
      0
      down vote

      favorite









      up vote
      0
      down vote

      favorite











      Consider two functions $f,g : X times Y subseteq mathbb R^2 to mathbb R$. Suppose that $f$ and $g$ are of class $mathcal C^2(X times Y)$. Suppose $(x^*,y^*)$ is the unique maximizer of our orginal program:
      beginalign
      &(x^*,y^*) = argmax_(x,y) in X times Yf(x,y) cdot g(x,y)\
      texts.t. quad & f(x,y) geq 0\
      & g(x,y) geq 0
      endalign
      I was wondering if we can reduce the dimensionality by first considering
      beginalign
      (x(alpha),y(alpha)) = argmax_(x,y) in X times Yleft[alpha f(x,y) + (1-alpha) g(x,y)right]
      endalign
      and then solve the parametrized program
      beginalign
      &alpha^* = argmax_alpha in [0,1]f(x(alpha),y(alpha)) cdot g(x(alpha),y(alpha))\
      texts.t. quad & f(x(alpha),y(alpha)) geq 0\
      & g(x(alpha),y(alpha)) geq 0
      endalign



      Question
      Is the following generally true:
      beginalign
      (x^*,y^*) = (x(alpha^*),y(alpha^*))?
      endalign



      Example
      Let $X = Y = [0,1]$ and $f(x,y) = x(1-y)$ and $g(x,y) = y(1-x)$. Since $f,g geq 0$ for all $x,y$ we don't need to consider the constraints.
      Then $(x^*,y^*) = (1/2,1/2)$ solve $max_(x,y)f(x,y)cdot g(x,y)$. The parametrized maximzers are
      beginalign
      (x(alpha),y(alpha)) = (1-alpha,alpha) = argmax_(x,y)[alpha f(x,y) + (1-alpha)g(x,y)]
      endalign
      and
      beginalign
      alpha^* = 1/2 = argmax_alpha f(1-alpha,alpha)cdot g(1-alpha,alpha).
      endalign
      Such that $(x^*,y^*) = (x(alpha^*),y(alpha^*))$ is true here.







      share|cite|improve this question












      Consider two functions $f,g : X times Y subseteq mathbb R^2 to mathbb R$. Suppose that $f$ and $g$ are of class $mathcal C^2(X times Y)$. Suppose $(x^*,y^*)$ is the unique maximizer of our orginal program:
      beginalign
      &(x^*,y^*) = argmax_(x,y) in X times Yf(x,y) cdot g(x,y)\
      texts.t. quad & f(x,y) geq 0\
      & g(x,y) geq 0
      endalign
      I was wondering if we can reduce the dimensionality by first considering
      beginalign
      (x(alpha),y(alpha)) = argmax_(x,y) in X times Yleft[alpha f(x,y) + (1-alpha) g(x,y)right]
      endalign
      and then solve the parametrized program
      beginalign
      &alpha^* = argmax_alpha in [0,1]f(x(alpha),y(alpha)) cdot g(x(alpha),y(alpha))\
      texts.t. quad & f(x(alpha),y(alpha)) geq 0\
      & g(x(alpha),y(alpha)) geq 0
      endalign



      Question
      Is the following generally true:
      beginalign
      (x^*,y^*) = (x(alpha^*),y(alpha^*))?
      endalign



      Example
      Let $X = Y = [0,1]$ and $f(x,y) = x(1-y)$ and $g(x,y) = y(1-x)$. Since $f,g geq 0$ for all $x,y$ we don't need to consider the constraints.
      Then $(x^*,y^*) = (1/2,1/2)$ solve $max_(x,y)f(x,y)cdot g(x,y)$. The parametrized maximzers are
      beginalign
      (x(alpha),y(alpha)) = (1-alpha,alpha) = argmax_(x,y)[alpha f(x,y) + (1-alpha)g(x,y)]
      endalign
      and
      beginalign
      alpha^* = 1/2 = argmax_alpha f(1-alpha,alpha)cdot g(1-alpha,alpha).
      endalign
      Such that $(x^*,y^*) = (x(alpha^*),y(alpha^*))$ is true here.









      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Aug 22 at 11:16









      clueless

      264110




      264110

























          active

          oldest

          votes











          Your Answer




          StackExchange.ifUsing("editor", function ()
          return StackExchange.using("mathjaxEditing", function ()
          StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
          StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
          );
          );
          , "mathjax-editing");

          StackExchange.ready(function()
          var channelOptions =
          tags: "".split(" "),
          id: "69"
          ;
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function()
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled)
          StackExchange.using("snippets", function()
          createEditor();
          );

          else
          createEditor();

          );

          function createEditor()
          StackExchange.prepareEditor(
          heartbeatType: 'answer',
          convertImagesToLinks: true,
          noModals: false,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          );



          );








           

          draft saved


          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2890927%2fequivalence-of-maximizer-and-parametrized-maximizer-on-pareto-frontier%23new-answer', 'question_page');

          );

          Post as a guest



































          active

          oldest

          votes













          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes










           

          draft saved


          draft discarded


























           


          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2890927%2fequivalence-of-maximizer-and-parametrized-maximizer-on-pareto-frontier%23new-answer', 'question_page');

          );

          Post as a guest













































































          siSDSWS5Dai8x WJCqmk 6hH PMgVXv5JlIotn,Q8W5TC gYx1CIFUYfdG3RpE4yVI,sAkdpCrx8vm,ZfObJirk cXQ yMe4MQH
          tnnZXufscP 2IlE,DPatCHCWcxI0,DnrAkeFdz6TO,S,rg1kvQ

          這個網誌中的熱門文章

          How to combine Bézier curves to a surface?

          Propositional logic and tautologies

          Distribution of Stopped Wiener Process with Stochastic Volatility