inf sup problem need helpProve that a sequence converges to a finite limit iff lim inf equals lim supProve $inf_xin D [f(x)g(x)]lesup_xin Df(x)cdotinf_xin D g(x).$Find all differentiable functions $f:[0;2] to BbbR$ such that $int_0^2xf(x)dx=f(0)+f(2)$Prove this $sup f_n$ has infinite integralProve supremum has infinite integrationShow that inf $f(x)$ is achieved. Find $inf f(x)$.Rolle's Theorem in reverseWhat are the conditions on $f$ for $sup f$ and $f(sup)$ be interchangeable?Showing that the pointwise limit of continuous functions equals its supremum somewhere on compact domainThe definition and norm of $(mathbbR^*)^2$
Balancing Humanoid fantasy races: Elves
What clothes would flying-people wear?
Why is “deal 6 damage” a legit phrase?
How is char processed in math mode?
Stationing Callouts using VBScript Labeling in ArcMap?
If the Moon were impacted by a suitably sized meteor, how long would it take to impact the Earth?
Scam? Checks via Email
How would a lunar colony attack Earth?
No Shirt, No Shoes, Service
"Fewer errors means better products" or fewer errors mean better products."
Numerically Stable IIR filter
Should students have access to past exams or an exam bank?
Correct word for a little toy that always stands up?
In the Schrödinger equation, can I have a Hamiltonian without a kinetic term?
What are these hats and the function of those wearing them? worn by the Russian imperial army at Borodino
How to prevent a single-element caster from being useless against immune foes?
Why would an invisible personal shield be necessary?
May a hotel provide accommodation for fewer people than booked?
Russian pronunciation of /etc (a directory)
Derivative is just speed of change?
How does Asimov's second law deal with contradictory orders from different people?
Music Theory: Facts or Hierarchy of Opinions?
Word for soundtrack music which is part of the action of the movie
Is it unprofessional to mention your cover letter and resume are best viewed in Chrome?
inf sup problem need help
Prove that a sequence converges to a finite limit iff lim inf equals lim supProve $inf_xin D [f(x)g(x)]lesup_xin Df(x)cdotinf_xin D g(x).$Find all differentiable functions $f:[0;2] to BbbR$ such that $int_0^2xf(x)dx=f(0)+f(2)$Prove this $sup f_n$ has infinite integralProve supremum has infinite integrationShow that inf $f(x)$ is achieved. Find $inf f(x)$.Rolle's Theorem in reverseWhat are the conditions on $f$ for $sup f$ and $f(sup)$ be interchangeable?Showing that the pointwise limit of continuous functions equals its supremum somewhere on compact domainThe definition and norm of $(mathbbR^*)^2$
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty margin-bottom:0;
$begingroup$
Let $BbbM $ be the set of decreasing smooth functions in $[0,1]$
for which $f(1)=0.$
Find $$inf_f in BbbMsup_x in [0;1] fracx*f(x)int_0^1f(t)dt
$$
Let now $F(x)=x*f(x)$.
I only find out that $ F(0)=0 $ and $F(1)=0$. Only idea is to proof somehow that F is concave and use Rolle's theorem. Can you give some hints?
real-analysis inequality supremum-and-infimum
$endgroup$
add a comment |
$begingroup$
Let $BbbM $ be the set of decreasing smooth functions in $[0,1]$
for which $f(1)=0.$
Find $$inf_f in BbbMsup_x in [0;1] fracx*f(x)int_0^1f(t)dt
$$
Let now $F(x)=x*f(x)$.
I only find out that $ F(0)=0 $ and $F(1)=0$. Only idea is to proof somehow that F is concave and use Rolle's theorem. Can you give some hints?
real-analysis inequality supremum-and-infimum
$endgroup$
2
$begingroup$
Welcome to MSE. Your question is phrased as an isolated problem, without any further information or context. This does not match many users' quality standards, so it may attract downvotes, or be put on hold. To prevent that, please edit the question. This will help you recognise and resolve the issues. Concretely: please provide context, and include your work and thoughts on the problem. These changes can help in formulating more appropriate answers.
$endgroup$
– José Carlos Santos
Jul 22 at 7:25
1
$begingroup$
The only thing I found is that this infimum is at most $1/e$. This can be shown considering $f(x)=(1-x)^n$ and sending $n to infty$.
$endgroup$
– Crostul
Jul 22 at 8:45
$begingroup$
What operation is meant by $*$? Multiplication or convolution?
$endgroup$
– daw
Jul 22 at 9:34
add a comment |
$begingroup$
Let $BbbM $ be the set of decreasing smooth functions in $[0,1]$
for which $f(1)=0.$
Find $$inf_f in BbbMsup_x in [0;1] fracx*f(x)int_0^1f(t)dt
$$
Let now $F(x)=x*f(x)$.
I only find out that $ F(0)=0 $ and $F(1)=0$. Only idea is to proof somehow that F is concave and use Rolle's theorem. Can you give some hints?
real-analysis inequality supremum-and-infimum
$endgroup$
Let $BbbM $ be the set of decreasing smooth functions in $[0,1]$
for which $f(1)=0.$
Find $$inf_f in BbbMsup_x in [0;1] fracx*f(x)int_0^1f(t)dt
$$
Let now $F(x)=x*f(x)$.
I only find out that $ F(0)=0 $ and $F(1)=0$. Only idea is to proof somehow that F is concave and use Rolle's theorem. Can you give some hints?
real-analysis inequality supremum-and-infimum
real-analysis inequality supremum-and-infimum
edited Jul 22 at 10:01
Динар Ахметзянов
asked Jul 22 at 7:20
Динар АхметзяновДинар Ахметзянов
234 bronze badges
234 bronze badges
2
$begingroup$
Welcome to MSE. Your question is phrased as an isolated problem, without any further information or context. This does not match many users' quality standards, so it may attract downvotes, or be put on hold. To prevent that, please edit the question. This will help you recognise and resolve the issues. Concretely: please provide context, and include your work and thoughts on the problem. These changes can help in formulating more appropriate answers.
$endgroup$
– José Carlos Santos
Jul 22 at 7:25
1
$begingroup$
The only thing I found is that this infimum is at most $1/e$. This can be shown considering $f(x)=(1-x)^n$ and sending $n to infty$.
$endgroup$
– Crostul
Jul 22 at 8:45
$begingroup$
What operation is meant by $*$? Multiplication or convolution?
$endgroup$
– daw
Jul 22 at 9:34
add a comment |
2
$begingroup$
Welcome to MSE. Your question is phrased as an isolated problem, without any further information or context. This does not match many users' quality standards, so it may attract downvotes, or be put on hold. To prevent that, please edit the question. This will help you recognise and resolve the issues. Concretely: please provide context, and include your work and thoughts on the problem. These changes can help in formulating more appropriate answers.
$endgroup$
– José Carlos Santos
Jul 22 at 7:25
1
$begingroup$
The only thing I found is that this infimum is at most $1/e$. This can be shown considering $f(x)=(1-x)^n$ and sending $n to infty$.
$endgroup$
– Crostul
Jul 22 at 8:45
$begingroup$
What operation is meant by $*$? Multiplication or convolution?
$endgroup$
– daw
Jul 22 at 9:34
2
2
$begingroup$
Welcome to MSE. Your question is phrased as an isolated problem, without any further information or context. This does not match many users' quality standards, so it may attract downvotes, or be put on hold. To prevent that, please edit the question. This will help you recognise and resolve the issues. Concretely: please provide context, and include your work and thoughts on the problem. These changes can help in formulating more appropriate answers.
$endgroup$
– José Carlos Santos
Jul 22 at 7:25
$begingroup$
Welcome to MSE. Your question is phrased as an isolated problem, without any further information or context. This does not match many users' quality standards, so it may attract downvotes, or be put on hold. To prevent that, please edit the question. This will help you recognise and resolve the issues. Concretely: please provide context, and include your work and thoughts on the problem. These changes can help in formulating more appropriate answers.
$endgroup$
– José Carlos Santos
Jul 22 at 7:25
1
1
$begingroup$
The only thing I found is that this infimum is at most $1/e$. This can be shown considering $f(x)=(1-x)^n$ and sending $n to infty$.
$endgroup$
– Crostul
Jul 22 at 8:45
$begingroup$
The only thing I found is that this infimum is at most $1/e$. This can be shown considering $f(x)=(1-x)^n$ and sending $n to infty$.
$endgroup$
– Crostul
Jul 22 at 8:45
$begingroup$
What operation is meant by $*$? Multiplication or convolution?
$endgroup$
– daw
Jul 22 at 9:34
$begingroup$
What operation is meant by $*$? Multiplication or convolution?
$endgroup$
– daw
Jul 22 at 9:34
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The inf-sup is zero. Clearly, the quantity in question is non-negative. Let me show that the infimum is indeed zero..
Let $s<1$, define $f(x) = x^-s-1$. Then $int_0^1 f(x) = frac11-s-1 = frac ss-1$. The function $x f(x)$ has derivative $(1-s)x^-s-1$. Hence the product is minimal at $x_s=(1-s)^frac1s$.
Then
$$
fracsup_x xf(x) int f dt = ( (1-s)^frac1-ss-(1-s)^frac1s) cdot fracs-1s
= frac1s ((1-s)^frac1s-(1-s)^frac1s+1)
$$
which tends to zero for $snearrow 1$.
If you do not like to take this function with pole at zero, you can replace it by some smooth function: Define $f_epsilon(x) = f(x)$ on $(epsilon,1]$,
$f_epsilon(x)le f(x)$ on $(0,epsilon)$, such that $f_epsilon$ is smooth and decreasing. For $epsilon<x_s$, the $sup_x xf(x)$ is unchanged, while $int_0^1 f_epsilon$ will converge to $int_0^1 f$ for $epsilonto0$.
$endgroup$
add a comment |
Your Answer
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%2f3300172%2finf-sup-problem-need-help%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The inf-sup is zero. Clearly, the quantity in question is non-negative. Let me show that the infimum is indeed zero..
Let $s<1$, define $f(x) = x^-s-1$. Then $int_0^1 f(x) = frac11-s-1 = frac ss-1$. The function $x f(x)$ has derivative $(1-s)x^-s-1$. Hence the product is minimal at $x_s=(1-s)^frac1s$.
Then
$$
fracsup_x xf(x) int f dt = ( (1-s)^frac1-ss-(1-s)^frac1s) cdot fracs-1s
= frac1s ((1-s)^frac1s-(1-s)^frac1s+1)
$$
which tends to zero for $snearrow 1$.
If you do not like to take this function with pole at zero, you can replace it by some smooth function: Define $f_epsilon(x) = f(x)$ on $(epsilon,1]$,
$f_epsilon(x)le f(x)$ on $(0,epsilon)$, such that $f_epsilon$ is smooth and decreasing. For $epsilon<x_s$, the $sup_x xf(x)$ is unchanged, while $int_0^1 f_epsilon$ will converge to $int_0^1 f$ for $epsilonto0$.
$endgroup$
add a comment |
$begingroup$
The inf-sup is zero. Clearly, the quantity in question is non-negative. Let me show that the infimum is indeed zero..
Let $s<1$, define $f(x) = x^-s-1$. Then $int_0^1 f(x) = frac11-s-1 = frac ss-1$. The function $x f(x)$ has derivative $(1-s)x^-s-1$. Hence the product is minimal at $x_s=(1-s)^frac1s$.
Then
$$
fracsup_x xf(x) int f dt = ( (1-s)^frac1-ss-(1-s)^frac1s) cdot fracs-1s
= frac1s ((1-s)^frac1s-(1-s)^frac1s+1)
$$
which tends to zero for $snearrow 1$.
If you do not like to take this function with pole at zero, you can replace it by some smooth function: Define $f_epsilon(x) = f(x)$ on $(epsilon,1]$,
$f_epsilon(x)le f(x)$ on $(0,epsilon)$, such that $f_epsilon$ is smooth and decreasing. For $epsilon<x_s$, the $sup_x xf(x)$ is unchanged, while $int_0^1 f_epsilon$ will converge to $int_0^1 f$ for $epsilonto0$.
$endgroup$
add a comment |
$begingroup$
The inf-sup is zero. Clearly, the quantity in question is non-negative. Let me show that the infimum is indeed zero..
Let $s<1$, define $f(x) = x^-s-1$. Then $int_0^1 f(x) = frac11-s-1 = frac ss-1$. The function $x f(x)$ has derivative $(1-s)x^-s-1$. Hence the product is minimal at $x_s=(1-s)^frac1s$.
Then
$$
fracsup_x xf(x) int f dt = ( (1-s)^frac1-ss-(1-s)^frac1s) cdot fracs-1s
= frac1s ((1-s)^frac1s-(1-s)^frac1s+1)
$$
which tends to zero for $snearrow 1$.
If you do not like to take this function with pole at zero, you can replace it by some smooth function: Define $f_epsilon(x) = f(x)$ on $(epsilon,1]$,
$f_epsilon(x)le f(x)$ on $(0,epsilon)$, such that $f_epsilon$ is smooth and decreasing. For $epsilon<x_s$, the $sup_x xf(x)$ is unchanged, while $int_0^1 f_epsilon$ will converge to $int_0^1 f$ for $epsilonto0$.
$endgroup$
The inf-sup is zero. Clearly, the quantity in question is non-negative. Let me show that the infimum is indeed zero..
Let $s<1$, define $f(x) = x^-s-1$. Then $int_0^1 f(x) = frac11-s-1 = frac ss-1$. The function $x f(x)$ has derivative $(1-s)x^-s-1$. Hence the product is minimal at $x_s=(1-s)^frac1s$.
Then
$$
fracsup_x xf(x) int f dt = ( (1-s)^frac1-ss-(1-s)^frac1s) cdot fracs-1s
= frac1s ((1-s)^frac1s-(1-s)^frac1s+1)
$$
which tends to zero for $snearrow 1$.
If you do not like to take this function with pole at zero, you can replace it by some smooth function: Define $f_epsilon(x) = f(x)$ on $(epsilon,1]$,
$f_epsilon(x)le f(x)$ on $(0,epsilon)$, such that $f_epsilon$ is smooth and decreasing. For $epsilon<x_s$, the $sup_x xf(x)$ is unchanged, while $int_0^1 f_epsilon$ will converge to $int_0^1 f$ for $epsilonto0$.
answered Jul 22 at 10:26
dawdaw
26.7k18 silver badges46 bronze badges
26.7k18 silver badges46 bronze badges
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%2f3300172%2finf-sup-problem-need-help%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
2
$begingroup$
Welcome to MSE. Your question is phrased as an isolated problem, without any further information or context. This does not match many users' quality standards, so it may attract downvotes, or be put on hold. To prevent that, please edit the question. This will help you recognise and resolve the issues. Concretely: please provide context, and include your work and thoughts on the problem. These changes can help in formulating more appropriate answers.
$endgroup$
– José Carlos Santos
Jul 22 at 7:25
1
$begingroup$
The only thing I found is that this infimum is at most $1/e$. This can be shown considering $f(x)=(1-x)^n$ and sending $n to infty$.
$endgroup$
– Crostul
Jul 22 at 8:45
$begingroup$
What operation is meant by $*$? Multiplication or convolution?
$endgroup$
– daw
Jul 22 at 9:34