Minimize $int_0^1 A(x)dx$ given $int_0^1 frac{dx}{A(x)}le text{constant}$
$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?
optimization calculus-of-variations
$endgroup$
add a comment |
$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?
optimization calculus-of-variations
$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
add a comment |
$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?
optimization calculus-of-variations
$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
optimization calculus-of-variations
edited Dec 11 '18 at 16:31
Frpzzd
22.9k841109
22.9k841109
asked Dec 11 '18 at 15:55
havakokhavakok
520215
520215
$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
add a comment |
$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
add a comment |
2 Answers
2
active
oldest
votes
$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.
$endgroup$
add a comment |
$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!
$endgroup$
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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.
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
$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.
$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.
edited Dec 11 '18 at 16:43
answered Dec 11 '18 at 16:34
achille huiachille hui
95.9k5132258
95.9k5132258
add a comment |
add a comment |
$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!
$endgroup$
add a comment |
$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!
$endgroup$
add a comment |
$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!
$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!
answered Dec 11 '18 at 16:29
FrpzzdFrpzzd
22.9k841109
22.9k841109
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
$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