How can I prove that the following function is increasing according to x1?Derivative of a particular...

Customize circled numbers

Reply 'no position' while the job posting is still there

Open a doc from terminal, but not by its name

Is there a conventional notation or name for the slip angle?

Should I install hardwood flooring or cabinets first?

How will losing mobility of one hand affect my career as a programmer?

When quoting, must I also copy hyphens used to divide words that continue on the next line?

Has Darkwing Duck ever met Scrooge McDuck?

MAXDOP Settings for SQL Server 2014

What major Native American tribes were around Santa Fe during the late 1850s?

Folder comparison

What's the difference between 違法 and 不法?

Is possible to search in vim history?

How do I extrude a face to a single vertex

Does the Mind Blank spell prevent the target from being frightened?

Proof of Lemma: Every nonzero integer can be written as a product of primes

What does this horizontal bar at the first measure mean?

Did arcade monitors have same pixel aspect ratio as TV sets?

What linear sensor for a keyboard?

A social experiment. What is the worst that can happen?

Diode in opposite direction?

Two-sided logarithm inequality

How can "mimic phobia" be cured or prevented?

Bob has never been a M before



How can I prove that the following function is increasing according to x1?


Derivative of a particular functionis the following a decreasing function?Let $x_0 > x_1 > x_2>x_3$ be any positive real numbers . What is the largest value of the real number k such that..Can there be a function, that with the slope $f'(x_0) = 0$ at the single root $x_0$Convexity of difference of log-sum-exp: $f(x_1, x_2, x_3, x_4) = log(e^{x_1} + e^{x_2}) - log(e^{x_1} + e^{x_2} + e^{x_3} + e^{x_4})$Continuity of derivative of convex functionUnderstanding theorem about convex functionsAre these relations possible to prove without defining this new kind of derivative?Showing that the distance of the solutions of $;x'(t)=F(t,x(t))$ is not increasingTo find the monotonicity of a function using another function













0












$begingroup$


Suppose that
$0 le {X_1} < {X_2} < {X_3}$
.
How is it possible to prove the following function is increasing based on
${X_1}$
in the range of
$0 le {X_1} < {X_2}$ ?



$f({X_1},{X_2},{X_3}) = frac{{(c + p{X_1}){{({X_2} - {X_3})}^2} + (c + p{X_2}){{({X_1} - {X_3})}^2} + (c + p{X_3}){{({X_1} - {X_2})}^2}}}{{{{[{X_1}{X_2}{mkern 1mu} log frac{{{X_1}}}{{{X_2}}} + {X_1}{X_3}log frac{{{X_3}}}{{{X_1}}} + {X_2}{X_3}log frac{{{X_2}}}{{{X_3}}}]}^2}}}$



$c$ and $p$ are positive constants.
I have plotted this function (as a function of ${X_1}$) and I observed that this is an increasing function. Then I tried to prove it analytically but taking derivative makes it too complicated, because I would come up with lots of conditions.



I also considered the numerator and denominator separately to investigate the behavior of each function, but it did not work. Because there was a contradiction in the common part of the conditions (ranges in which the derivative of numerator is positive and derivative of denominator is negative).



The most important point is that I should not put any constraint on ${X_1}$, but any condition is allowed to put on the ${X_2}$ and ${X_3}$.



Any kind of help would be so appreciated!










share|cite|improve this question









$endgroup$

















    0












    $begingroup$


    Suppose that
    $0 le {X_1} < {X_2} < {X_3}$
    .
    How is it possible to prove the following function is increasing based on
    ${X_1}$
    in the range of
    $0 le {X_1} < {X_2}$ ?



    $f({X_1},{X_2},{X_3}) = frac{{(c + p{X_1}){{({X_2} - {X_3})}^2} + (c + p{X_2}){{({X_1} - {X_3})}^2} + (c + p{X_3}){{({X_1} - {X_2})}^2}}}{{{{[{X_1}{X_2}{mkern 1mu} log frac{{{X_1}}}{{{X_2}}} + {X_1}{X_3}log frac{{{X_3}}}{{{X_1}}} + {X_2}{X_3}log frac{{{X_2}}}{{{X_3}}}]}^2}}}$



    $c$ and $p$ are positive constants.
    I have plotted this function (as a function of ${X_1}$) and I observed that this is an increasing function. Then I tried to prove it analytically but taking derivative makes it too complicated, because I would come up with lots of conditions.



    I also considered the numerator and denominator separately to investigate the behavior of each function, but it did not work. Because there was a contradiction in the common part of the conditions (ranges in which the derivative of numerator is positive and derivative of denominator is negative).



    The most important point is that I should not put any constraint on ${X_1}$, but any condition is allowed to put on the ${X_2}$ and ${X_3}$.



    Any kind of help would be so appreciated!










    share|cite|improve this question









    $endgroup$















      0












      0








      0





      $begingroup$


      Suppose that
      $0 le {X_1} < {X_2} < {X_3}$
      .
      How is it possible to prove the following function is increasing based on
      ${X_1}$
      in the range of
      $0 le {X_1} < {X_2}$ ?



      $f({X_1},{X_2},{X_3}) = frac{{(c + p{X_1}){{({X_2} - {X_3})}^2} + (c + p{X_2}){{({X_1} - {X_3})}^2} + (c + p{X_3}){{({X_1} - {X_2})}^2}}}{{{{[{X_1}{X_2}{mkern 1mu} log frac{{{X_1}}}{{{X_2}}} + {X_1}{X_3}log frac{{{X_3}}}{{{X_1}}} + {X_2}{X_3}log frac{{{X_2}}}{{{X_3}}}]}^2}}}$



      $c$ and $p$ are positive constants.
      I have plotted this function (as a function of ${X_1}$) and I observed that this is an increasing function. Then I tried to prove it analytically but taking derivative makes it too complicated, because I would come up with lots of conditions.



      I also considered the numerator and denominator separately to investigate the behavior of each function, but it did not work. Because there was a contradiction in the common part of the conditions (ranges in which the derivative of numerator is positive and derivative of denominator is negative).



      The most important point is that I should not put any constraint on ${X_1}$, but any condition is allowed to put on the ${X_2}$ and ${X_3}$.



      Any kind of help would be so appreciated!










      share|cite|improve this question









      $endgroup$




      Suppose that
      $0 le {X_1} < {X_2} < {X_3}$
      .
      How is it possible to prove the following function is increasing based on
      ${X_1}$
      in the range of
      $0 le {X_1} < {X_2}$ ?



      $f({X_1},{X_2},{X_3}) = frac{{(c + p{X_1}){{({X_2} - {X_3})}^2} + (c + p{X_2}){{({X_1} - {X_3})}^2} + (c + p{X_3}){{({X_1} - {X_2})}^2}}}{{{{[{X_1}{X_2}{mkern 1mu} log frac{{{X_1}}}{{{X_2}}} + {X_1}{X_3}log frac{{{X_3}}}{{{X_1}}} + {X_2}{X_3}log frac{{{X_2}}}{{{X_3}}}]}^2}}}$



      $c$ and $p$ are positive constants.
      I have plotted this function (as a function of ${X_1}$) and I observed that this is an increasing function. Then I tried to prove it analytically but taking derivative makes it too complicated, because I would come up with lots of conditions.



      I also considered the numerator and denominator separately to investigate the behavior of each function, but it did not work. Because there was a contradiction in the common part of the conditions (ranges in which the derivative of numerator is positive and derivative of denominator is negative).



      The most important point is that I should not put any constraint on ${X_1}$, but any condition is allowed to put on the ${X_2}$ and ${X_3}$.



      Any kind of help would be so appreciated!







      derivatives logarithms






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Mar 14 at 11:39









      HamedHamed

      62




      62






















          0






          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',
          autoActivateHeartbeat: false,
          convertImagesToLinks: true,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          imageUploader: {
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          },
          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%2f3147901%2fhow-can-i-prove-that-the-following-function-is-increasing-according-to-x1%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          0






          active

          oldest

          votes








          0






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes
















          draft saved

          draft discarded




















































          Thanks for contributing an answer to Mathematics Stack Exchange!


          • Please be sure to answer the question. Provide details and share your research!

          But avoid



          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.


          Use MathJax to format equations. MathJax reference.


          To learn more, see our tips on writing great answers.




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3147901%2fhow-can-i-prove-that-the-following-function-is-increasing-according-to-x1%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown





















































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown

































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown







          Popular posts from this blog

          六本木駅

          Integral that is continuous and looks like it converges to a geometric seriesTesting if a geometric series converges by taking limit to infinitySummation of arithmetic-geometric series of higher orderGeometric series with polynomial exponentHow to Recognize a Geometric SeriesShowing an integral equality with series over the integersDiscontinuity of a series of continuous functionsReasons why a Series ConvergesSum of infinite geometric series with two terms in summationUsing geometric series for computing IntegralsLimit of geometric series sum when $r = 1$

          Joseph Lister