Minimize $int_0^1 A(x)dx$ given $int_0^1 frac{dx}{A(x)}le text{constant}$












4












$begingroup$


The following problem is derived from a Finite element problem.



We have a beam which is subject tot a constant axial force. With out loss of generality the beam can have a variable section area $A(x)$. The beam cannot exceed a certain strain value, that is, it cannot be shorten by more than a given percentage. We want the beam to be with the smallest possible volume.



I have no idea how to approach the following optimization problem. Let $Volume=int_a^bA(x)dx$. The constraint is given by $int_a^b frac{1}{A(x)}dxleq const$.



Hence:
$$min_{A} {Volume} \S.T. int_a^b frac{1}{A(x)}dxleq const$$




  • How do I approach such a problem if at all possible?

  • If not, is there a way to solve this, given the relaxation of $A(x)$ being a polynomial function lower than the 4th (inertia momentum) degree?










share|cite|improve this question











$endgroup$












  • $begingroup$
    Hunch: You're going to need to massage your constraint, maybe something like this: $int_a^bleft[operatorname{Const}-frac{1}{A(x)}right],dxge 0,$ then combine it with the minimization integral using a Lagrange multiplier.
    $endgroup$
    – Adrian Keister
    Dec 11 '18 at 16:02
















4












$begingroup$


The following problem is derived from a Finite element problem.



We have a beam which is subject tot a constant axial force. With out loss of generality the beam can have a variable section area $A(x)$. The beam cannot exceed a certain strain value, that is, it cannot be shorten by more than a given percentage. We want the beam to be with the smallest possible volume.



I have no idea how to approach the following optimization problem. Let $Volume=int_a^bA(x)dx$. The constraint is given by $int_a^b frac{1}{A(x)}dxleq const$.



Hence:
$$min_{A} {Volume} \S.T. int_a^b frac{1}{A(x)}dxleq const$$




  • How do I approach such a problem if at all possible?

  • If not, is there a way to solve this, given the relaxation of $A(x)$ being a polynomial function lower than the 4th (inertia momentum) degree?










share|cite|improve this question











$endgroup$












  • $begingroup$
    Hunch: You're going to need to massage your constraint, maybe something like this: $int_a^bleft[operatorname{Const}-frac{1}{A(x)}right],dxge 0,$ then combine it with the minimization integral using a Lagrange multiplier.
    $endgroup$
    – Adrian Keister
    Dec 11 '18 at 16:02














4












4








4





$begingroup$


The following problem is derived from a Finite element problem.



We have a beam which is subject tot a constant axial force. With out loss of generality the beam can have a variable section area $A(x)$. The beam cannot exceed a certain strain value, that is, it cannot be shorten by more than a given percentage. We want the beam to be with the smallest possible volume.



I have no idea how to approach the following optimization problem. Let $Volume=int_a^bA(x)dx$. The constraint is given by $int_a^b frac{1}{A(x)}dxleq const$.



Hence:
$$min_{A} {Volume} \S.T. int_a^b frac{1}{A(x)}dxleq const$$




  • How do I approach such a problem if at all possible?

  • If not, is there a way to solve this, given the relaxation of $A(x)$ being a polynomial function lower than the 4th (inertia momentum) degree?










share|cite|improve this question











$endgroup$




The following problem is derived from a Finite element problem.



We have a beam which is subject tot a constant axial force. With out loss of generality the beam can have a variable section area $A(x)$. The beam cannot exceed a certain strain value, that is, it cannot be shorten by more than a given percentage. We want the beam to be with the smallest possible volume.



I have no idea how to approach the following optimization problem. Let $Volume=int_a^bA(x)dx$. The constraint is given by $int_a^b frac{1}{A(x)}dxleq const$.



Hence:
$$min_{A} {Volume} \S.T. int_a^b frac{1}{A(x)}dxleq const$$




  • How do I approach such a problem if at all possible?

  • If not, is there a way to solve this, given the relaxation of $A(x)$ being a polynomial function lower than the 4th (inertia momentum) degree?







optimization calculus-of-variations






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 11 '18 at 16:31









Frpzzd

23k841110




23k841110










asked Dec 11 '18 at 15:55









havakokhavakok

509215




509215












  • $begingroup$
    Hunch: You're going to need to massage your constraint, maybe something like this: $int_a^bleft[operatorname{Const}-frac{1}{A(x)}right],dxge 0,$ then combine it with the minimization integral using a Lagrange multiplier.
    $endgroup$
    – Adrian Keister
    Dec 11 '18 at 16:02


















  • $begingroup$
    Hunch: You're going to need to massage your constraint, maybe something like this: $int_a^bleft[operatorname{Const}-frac{1}{A(x)}right],dxge 0,$ then combine it with the minimization integral using a Lagrange multiplier.
    $endgroup$
    – Adrian Keister
    Dec 11 '18 at 16:02
















$begingroup$
Hunch: You're going to need to massage your constraint, maybe something like this: $int_a^bleft[operatorname{Const}-frac{1}{A(x)}right],dxge 0,$ then combine it with the minimization integral using a Lagrange multiplier.
$endgroup$
– Adrian Keister
Dec 11 '18 at 16:02




$begingroup$
Hunch: You're going to need to massage your constraint, maybe something like this: $int_a^bleft[operatorname{Const}-frac{1}{A(x)}right],dxge 0,$ then combine it with the minimization integral using a Lagrange multiplier.
$endgroup$
– Adrian Keister
Dec 11 '18 at 16:02










2 Answers
2






active

oldest

votes


















4












$begingroup$

This is not a general approach, but it will lead you to the final answer quickly.



Let's say $int_a^b frac{dx}{A} le K$ for some given constant $K$, then by Cauchy Schwarz



$$K int_a^b A(x) dx ge int_a^b frac{dx}{A(x)} int_a^b A(x) dx stackrel{CS}{ge} left(int_a^b dxright)^2 = (b-a)^2$$
This leads to following lower bound for the integral $$int_a^b A(x) dx ge frac{(b-a)^2}{K}$$
Since this lower bound is achieved by the constant function $A(x) = frac{b-a}{K}$, the minimum volume is $frac{(b-a)^2}{K}$.





For a general approach, you need to set this up as a calculus of variation problem with constraint.
The constrainted Lagrange has the form



$$mathcal{L}(x) = A(x) + lambdaleft(frac{1}{A(x)} - kright)$$
for unknown constant $lambda$ and $k$.



You proceed to solve the associated Euler-Lagrange equation



$$frac{partial mathcal{L}}{partial A} - frac{d}{dx}left(frac{partial mathcal{L}}{partial A'}right) = 0$$
In this case, the EL-equation tell us



$$1 - frac{lambda}{A(x)^2} = 0$$
This means the solution which minimize the functional $int_a^b A(x) dx$ subject to constraint $int_a^b left( frac{1}{A(x)} - kright) dx = 0$ is probably a constant function. Finally, you need to verify by suitable choice of constant value of $A(x)$, you will get the actual minimum.



To make this precise, it probably take one or two chapters from a book. I will just stop here.






share|cite|improve this answer











$endgroup$





















    1












    $begingroup$

    First I will show that any minimum value of the integral you are considering can be attained by a constant function $A(x).$ Then, once you assume $A(x)$ is constant, the answer falls into your lap.



    For the sake of simplicity, I will assume that we are integrating over the interval $[0,1]$ instead of $[a,b]$. I will also assume that $A(x)le 1$ for all $xin [0,1]$, which I think is a reasonable assumption because "beams" are typically longer than they are thick.



    So, to restate the question, we want to find a function $A(x)$ that minimizes
    $$I=int_0^1 A(x)dx$$
    with the constraint that
    $$int_0^1 frac{dx}{A(x)}le C$$
    where $C$ is some given constant.



    To solve this problem, we will make use of the following fact, which can be verified using integration by substitution: if $f$ is an integrable function on $[0,1]$, then
    $$int_0^1 f(x)dx=int_0^1 frac{f(frac{x}{2})+f(frac{x+1}{2})}{2}dx$$
    Now suppose that $A_m(x)$ is a "well-behaved" function that minimizes $I$. Then, by the above identity, $I$ takes on the same value if we use the function
    $$frac{A_m(frac{x}{2})+A_m(frac{x+1}{2})}{2}$$
    instead. Further, notice that
    $$A_m(x)le 1 implies frac{2}{A_m(frac{x}{2})+A_m(frac{x+1}{2})}le frac{1}{2} bigg(frac{1}{A_m(frac{x}{2})}+frac{1}{A_m(frac{x+1}{2})}bigg)$$
    Which implies that
    $$int_0^1 frac{2dx}{A_m(frac{x}{2})+A_m(frac{x+1}{2})}le int_0^1 frac{dx}{A_m(x)}le C$$
    This is all that we need! This demonstrates that if $A_m(x)$ is a "minimizing function," then the function
    $$frac{A_m(frac{x}{2})+A_m(frac{x+1}{2})}{2}$$
    is also a "minimizing function." If we repeat the same process with this function, we see that
    $$frac{A_m(frac{x}{4})+A_m(frac{x+1}{4})+A_m(frac{x+2}{4})+A_m(frac{x+3}{4})}{4}$$
    is also a "minimizing function." In fact, repeating this process infinitely many times shows that the constant function function
    $$int_0^1 A_m(t)dt$$
    is also a "minimizing function." This proves that for any function minimizing the given integral, there exists a constant function that also minimizes it; for this reason, you may assume that your function $A(x)$ is constant.



    So let $A(x)=A$ be constant. Then we have
    $$int_0^1 frac{dx}{A}=frac{1}{A}le C$$
    and so $Age 1/C$, implying that $Ige 1/C$ and $I=1/C$ is the minimum value of your integral. Done!






    share|cite|improve this answer









    $endgroup$














      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%2f3035430%2fminimize-int-01-axdx-given-int-01-fracdxax-le-textconstant%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      4












      $begingroup$

      This is not a general approach, but it will lead you to the final answer quickly.



      Let's say $int_a^b frac{dx}{A} le K$ for some given constant $K$, then by Cauchy Schwarz



      $$K int_a^b A(x) dx ge int_a^b frac{dx}{A(x)} int_a^b A(x) dx stackrel{CS}{ge} left(int_a^b dxright)^2 = (b-a)^2$$
      This leads to following lower bound for the integral $$int_a^b A(x) dx ge frac{(b-a)^2}{K}$$
      Since this lower bound is achieved by the constant function $A(x) = frac{b-a}{K}$, the minimum volume is $frac{(b-a)^2}{K}$.





      For a general approach, you need to set this up as a calculus of variation problem with constraint.
      The constrainted Lagrange has the form



      $$mathcal{L}(x) = A(x) + lambdaleft(frac{1}{A(x)} - kright)$$
      for unknown constant $lambda$ and $k$.



      You proceed to solve the associated Euler-Lagrange equation



      $$frac{partial mathcal{L}}{partial A} - frac{d}{dx}left(frac{partial mathcal{L}}{partial A'}right) = 0$$
      In this case, the EL-equation tell us



      $$1 - frac{lambda}{A(x)^2} = 0$$
      This means the solution which minimize the functional $int_a^b A(x) dx$ subject to constraint $int_a^b left( frac{1}{A(x)} - kright) dx = 0$ is probably a constant function. Finally, you need to verify by suitable choice of constant value of $A(x)$, you will get the actual minimum.



      To make this precise, it probably take one or two chapters from a book. I will just stop here.






      share|cite|improve this answer











      $endgroup$


















        4












        $begingroup$

        This is not a general approach, but it will lead you to the final answer quickly.



        Let's say $int_a^b frac{dx}{A} le K$ for some given constant $K$, then by Cauchy Schwarz



        $$K int_a^b A(x) dx ge int_a^b frac{dx}{A(x)} int_a^b A(x) dx stackrel{CS}{ge} left(int_a^b dxright)^2 = (b-a)^2$$
        This leads to following lower bound for the integral $$int_a^b A(x) dx ge frac{(b-a)^2}{K}$$
        Since this lower bound is achieved by the constant function $A(x) = frac{b-a}{K}$, the minimum volume is $frac{(b-a)^2}{K}$.





        For a general approach, you need to set this up as a calculus of variation problem with constraint.
        The constrainted Lagrange has the form



        $$mathcal{L}(x) = A(x) + lambdaleft(frac{1}{A(x)} - kright)$$
        for unknown constant $lambda$ and $k$.



        You proceed to solve the associated Euler-Lagrange equation



        $$frac{partial mathcal{L}}{partial A} - frac{d}{dx}left(frac{partial mathcal{L}}{partial A'}right) = 0$$
        In this case, the EL-equation tell us



        $$1 - frac{lambda}{A(x)^2} = 0$$
        This means the solution which minimize the functional $int_a^b A(x) dx$ subject to constraint $int_a^b left( frac{1}{A(x)} - kright) dx = 0$ is probably a constant function. Finally, you need to verify by suitable choice of constant value of $A(x)$, you will get the actual minimum.



        To make this precise, it probably take one or two chapters from a book. I will just stop here.






        share|cite|improve this answer











        $endgroup$
















          4












          4








          4





          $begingroup$

          This is not a general approach, but it will lead you to the final answer quickly.



          Let's say $int_a^b frac{dx}{A} le K$ for some given constant $K$, then by Cauchy Schwarz



          $$K int_a^b A(x) dx ge int_a^b frac{dx}{A(x)} int_a^b A(x) dx stackrel{CS}{ge} left(int_a^b dxright)^2 = (b-a)^2$$
          This leads to following lower bound for the integral $$int_a^b A(x) dx ge frac{(b-a)^2}{K}$$
          Since this lower bound is achieved by the constant function $A(x) = frac{b-a}{K}$, the minimum volume is $frac{(b-a)^2}{K}$.





          For a general approach, you need to set this up as a calculus of variation problem with constraint.
          The constrainted Lagrange has the form



          $$mathcal{L}(x) = A(x) + lambdaleft(frac{1}{A(x)} - kright)$$
          for unknown constant $lambda$ and $k$.



          You proceed to solve the associated Euler-Lagrange equation



          $$frac{partial mathcal{L}}{partial A} - frac{d}{dx}left(frac{partial mathcal{L}}{partial A'}right) = 0$$
          In this case, the EL-equation tell us



          $$1 - frac{lambda}{A(x)^2} = 0$$
          This means the solution which minimize the functional $int_a^b A(x) dx$ subject to constraint $int_a^b left( frac{1}{A(x)} - kright) dx = 0$ is probably a constant function. Finally, you need to verify by suitable choice of constant value of $A(x)$, you will get the actual minimum.



          To make this precise, it probably take one or two chapters from a book. I will just stop here.






          share|cite|improve this answer











          $endgroup$



          This is not a general approach, but it will lead you to the final answer quickly.



          Let's say $int_a^b frac{dx}{A} le K$ for some given constant $K$, then by Cauchy Schwarz



          $$K int_a^b A(x) dx ge int_a^b frac{dx}{A(x)} int_a^b A(x) dx stackrel{CS}{ge} left(int_a^b dxright)^2 = (b-a)^2$$
          This leads to following lower bound for the integral $$int_a^b A(x) dx ge frac{(b-a)^2}{K}$$
          Since this lower bound is achieved by the constant function $A(x) = frac{b-a}{K}$, the minimum volume is $frac{(b-a)^2}{K}$.





          For a general approach, you need to set this up as a calculus of variation problem with constraint.
          The constrainted Lagrange has the form



          $$mathcal{L}(x) = A(x) + lambdaleft(frac{1}{A(x)} - kright)$$
          for unknown constant $lambda$ and $k$.



          You proceed to solve the associated Euler-Lagrange equation



          $$frac{partial mathcal{L}}{partial A} - frac{d}{dx}left(frac{partial mathcal{L}}{partial A'}right) = 0$$
          In this case, the EL-equation tell us



          $$1 - frac{lambda}{A(x)^2} = 0$$
          This means the solution which minimize the functional $int_a^b A(x) dx$ subject to constraint $int_a^b left( frac{1}{A(x)} - kright) dx = 0$ is probably a constant function. Finally, you need to verify by suitable choice of constant value of $A(x)$, you will get the actual minimum.



          To make this precise, it probably take one or two chapters from a book. I will just stop here.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Dec 11 '18 at 16:43

























          answered Dec 11 '18 at 16:34









          achille huiachille hui

          96.4k5132261




          96.4k5132261























              1












              $begingroup$

              First I will show that any minimum value of the integral you are considering can be attained by a constant function $A(x).$ Then, once you assume $A(x)$ is constant, the answer falls into your lap.



              For the sake of simplicity, I will assume that we are integrating over the interval $[0,1]$ instead of $[a,b]$. I will also assume that $A(x)le 1$ for all $xin [0,1]$, which I think is a reasonable assumption because "beams" are typically longer than they are thick.



              So, to restate the question, we want to find a function $A(x)$ that minimizes
              $$I=int_0^1 A(x)dx$$
              with the constraint that
              $$int_0^1 frac{dx}{A(x)}le C$$
              where $C$ is some given constant.



              To solve this problem, we will make use of the following fact, which can be verified using integration by substitution: if $f$ is an integrable function on $[0,1]$, then
              $$int_0^1 f(x)dx=int_0^1 frac{f(frac{x}{2})+f(frac{x+1}{2})}{2}dx$$
              Now suppose that $A_m(x)$ is a "well-behaved" function that minimizes $I$. Then, by the above identity, $I$ takes on the same value if we use the function
              $$frac{A_m(frac{x}{2})+A_m(frac{x+1}{2})}{2}$$
              instead. Further, notice that
              $$A_m(x)le 1 implies frac{2}{A_m(frac{x}{2})+A_m(frac{x+1}{2})}le frac{1}{2} bigg(frac{1}{A_m(frac{x}{2})}+frac{1}{A_m(frac{x+1}{2})}bigg)$$
              Which implies that
              $$int_0^1 frac{2dx}{A_m(frac{x}{2})+A_m(frac{x+1}{2})}le int_0^1 frac{dx}{A_m(x)}le C$$
              This is all that we need! This demonstrates that if $A_m(x)$ is a "minimizing function," then the function
              $$frac{A_m(frac{x}{2})+A_m(frac{x+1}{2})}{2}$$
              is also a "minimizing function." If we repeat the same process with this function, we see that
              $$frac{A_m(frac{x}{4})+A_m(frac{x+1}{4})+A_m(frac{x+2}{4})+A_m(frac{x+3}{4})}{4}$$
              is also a "minimizing function." In fact, repeating this process infinitely many times shows that the constant function function
              $$int_0^1 A_m(t)dt$$
              is also a "minimizing function." This proves that for any function minimizing the given integral, there exists a constant function that also minimizes it; for this reason, you may assume that your function $A(x)$ is constant.



              So let $A(x)=A$ be constant. Then we have
              $$int_0^1 frac{dx}{A}=frac{1}{A}le C$$
              and so $Age 1/C$, implying that $Ige 1/C$ and $I=1/C$ is the minimum value of your integral. Done!






              share|cite|improve this answer









              $endgroup$


















                1












                $begingroup$

                First I will show that any minimum value of the integral you are considering can be attained by a constant function $A(x).$ Then, once you assume $A(x)$ is constant, the answer falls into your lap.



                For the sake of simplicity, I will assume that we are integrating over the interval $[0,1]$ instead of $[a,b]$. I will also assume that $A(x)le 1$ for all $xin [0,1]$, which I think is a reasonable assumption because "beams" are typically longer than they are thick.



                So, to restate the question, we want to find a function $A(x)$ that minimizes
                $$I=int_0^1 A(x)dx$$
                with the constraint that
                $$int_0^1 frac{dx}{A(x)}le C$$
                where $C$ is some given constant.



                To solve this problem, we will make use of the following fact, which can be verified using integration by substitution: if $f$ is an integrable function on $[0,1]$, then
                $$int_0^1 f(x)dx=int_0^1 frac{f(frac{x}{2})+f(frac{x+1}{2})}{2}dx$$
                Now suppose that $A_m(x)$ is a "well-behaved" function that minimizes $I$. Then, by the above identity, $I$ takes on the same value if we use the function
                $$frac{A_m(frac{x}{2})+A_m(frac{x+1}{2})}{2}$$
                instead. Further, notice that
                $$A_m(x)le 1 implies frac{2}{A_m(frac{x}{2})+A_m(frac{x+1}{2})}le frac{1}{2} bigg(frac{1}{A_m(frac{x}{2})}+frac{1}{A_m(frac{x+1}{2})}bigg)$$
                Which implies that
                $$int_0^1 frac{2dx}{A_m(frac{x}{2})+A_m(frac{x+1}{2})}le int_0^1 frac{dx}{A_m(x)}le C$$
                This is all that we need! This demonstrates that if $A_m(x)$ is a "minimizing function," then the function
                $$frac{A_m(frac{x}{2})+A_m(frac{x+1}{2})}{2}$$
                is also a "minimizing function." If we repeat the same process with this function, we see that
                $$frac{A_m(frac{x}{4})+A_m(frac{x+1}{4})+A_m(frac{x+2}{4})+A_m(frac{x+3}{4})}{4}$$
                is also a "minimizing function." In fact, repeating this process infinitely many times shows that the constant function function
                $$int_0^1 A_m(t)dt$$
                is also a "minimizing function." This proves that for any function minimizing the given integral, there exists a constant function that also minimizes it; for this reason, you may assume that your function $A(x)$ is constant.



                So let $A(x)=A$ be constant. Then we have
                $$int_0^1 frac{dx}{A}=frac{1}{A}le C$$
                and so $Age 1/C$, implying that $Ige 1/C$ and $I=1/C$ is the minimum value of your integral. Done!






                share|cite|improve this answer









                $endgroup$
















                  1












                  1








                  1





                  $begingroup$

                  First I will show that any minimum value of the integral you are considering can be attained by a constant function $A(x).$ Then, once you assume $A(x)$ is constant, the answer falls into your lap.



                  For the sake of simplicity, I will assume that we are integrating over the interval $[0,1]$ instead of $[a,b]$. I will also assume that $A(x)le 1$ for all $xin [0,1]$, which I think is a reasonable assumption because "beams" are typically longer than they are thick.



                  So, to restate the question, we want to find a function $A(x)$ that minimizes
                  $$I=int_0^1 A(x)dx$$
                  with the constraint that
                  $$int_0^1 frac{dx}{A(x)}le C$$
                  where $C$ is some given constant.



                  To solve this problem, we will make use of the following fact, which can be verified using integration by substitution: if $f$ is an integrable function on $[0,1]$, then
                  $$int_0^1 f(x)dx=int_0^1 frac{f(frac{x}{2})+f(frac{x+1}{2})}{2}dx$$
                  Now suppose that $A_m(x)$ is a "well-behaved" function that minimizes $I$. Then, by the above identity, $I$ takes on the same value if we use the function
                  $$frac{A_m(frac{x}{2})+A_m(frac{x+1}{2})}{2}$$
                  instead. Further, notice that
                  $$A_m(x)le 1 implies frac{2}{A_m(frac{x}{2})+A_m(frac{x+1}{2})}le frac{1}{2} bigg(frac{1}{A_m(frac{x}{2})}+frac{1}{A_m(frac{x+1}{2})}bigg)$$
                  Which implies that
                  $$int_0^1 frac{2dx}{A_m(frac{x}{2})+A_m(frac{x+1}{2})}le int_0^1 frac{dx}{A_m(x)}le C$$
                  This is all that we need! This demonstrates that if $A_m(x)$ is a "minimizing function," then the function
                  $$frac{A_m(frac{x}{2})+A_m(frac{x+1}{2})}{2}$$
                  is also a "minimizing function." If we repeat the same process with this function, we see that
                  $$frac{A_m(frac{x}{4})+A_m(frac{x+1}{4})+A_m(frac{x+2}{4})+A_m(frac{x+3}{4})}{4}$$
                  is also a "minimizing function." In fact, repeating this process infinitely many times shows that the constant function function
                  $$int_0^1 A_m(t)dt$$
                  is also a "minimizing function." This proves that for any function minimizing the given integral, there exists a constant function that also minimizes it; for this reason, you may assume that your function $A(x)$ is constant.



                  So let $A(x)=A$ be constant. Then we have
                  $$int_0^1 frac{dx}{A}=frac{1}{A}le C$$
                  and so $Age 1/C$, implying that $Ige 1/C$ and $I=1/C$ is the minimum value of your integral. Done!






                  share|cite|improve this answer









                  $endgroup$



                  First I will show that any minimum value of the integral you are considering can be attained by a constant function $A(x).$ Then, once you assume $A(x)$ is constant, the answer falls into your lap.



                  For the sake of simplicity, I will assume that we are integrating over the interval $[0,1]$ instead of $[a,b]$. I will also assume that $A(x)le 1$ for all $xin [0,1]$, which I think is a reasonable assumption because "beams" are typically longer than they are thick.



                  So, to restate the question, we want to find a function $A(x)$ that minimizes
                  $$I=int_0^1 A(x)dx$$
                  with the constraint that
                  $$int_0^1 frac{dx}{A(x)}le C$$
                  where $C$ is some given constant.



                  To solve this problem, we will make use of the following fact, which can be verified using integration by substitution: if $f$ is an integrable function on $[0,1]$, then
                  $$int_0^1 f(x)dx=int_0^1 frac{f(frac{x}{2})+f(frac{x+1}{2})}{2}dx$$
                  Now suppose that $A_m(x)$ is a "well-behaved" function that minimizes $I$. Then, by the above identity, $I$ takes on the same value if we use the function
                  $$frac{A_m(frac{x}{2})+A_m(frac{x+1}{2})}{2}$$
                  instead. Further, notice that
                  $$A_m(x)le 1 implies frac{2}{A_m(frac{x}{2})+A_m(frac{x+1}{2})}le frac{1}{2} bigg(frac{1}{A_m(frac{x}{2})}+frac{1}{A_m(frac{x+1}{2})}bigg)$$
                  Which implies that
                  $$int_0^1 frac{2dx}{A_m(frac{x}{2})+A_m(frac{x+1}{2})}le int_0^1 frac{dx}{A_m(x)}le C$$
                  This is all that we need! This demonstrates that if $A_m(x)$ is a "minimizing function," then the function
                  $$frac{A_m(frac{x}{2})+A_m(frac{x+1}{2})}{2}$$
                  is also a "minimizing function." If we repeat the same process with this function, we see that
                  $$frac{A_m(frac{x}{4})+A_m(frac{x+1}{4})+A_m(frac{x+2}{4})+A_m(frac{x+3}{4})}{4}$$
                  is also a "minimizing function." In fact, repeating this process infinitely many times shows that the constant function function
                  $$int_0^1 A_m(t)dt$$
                  is also a "minimizing function." This proves that for any function minimizing the given integral, there exists a constant function that also minimizes it; for this reason, you may assume that your function $A(x)$ is constant.



                  So let $A(x)=A$ be constant. Then we have
                  $$int_0^1 frac{dx}{A}=frac{1}{A}le C$$
                  and so $Age 1/C$, implying that $Ige 1/C$ and $I=1/C$ is the minimum value of your integral. Done!







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Dec 11 '18 at 16:29









                  FrpzzdFrpzzd

                  23k841110




                  23k841110






























                      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%2f3035430%2fminimize-int-01-axdx-given-int-01-fracdxax-le-textconstant%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

                      Biblatex bibliography style without URLs when DOI exists (in Overleaf with Zotero bibliography)

                      ComboBox Display Member on multiple fields

                      Is it possible to collect Nectar points via Trainline?