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;








4












$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?










share|cite|improve this question











$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

















4












$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?










share|cite|improve this question











$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













4












4








4


2



$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?










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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












  • 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










1 Answer
1






active

oldest

votes


















4












$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$.






share|cite|improve this answer









$endgroup$

















    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
    );



    );













    draft saved

    draft discarded


















    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









    4












    $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$.






    share|cite|improve this answer









    $endgroup$



















      4












      $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$.






      share|cite|improve this answer









      $endgroup$

















        4












        4








        4





        $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$.






        share|cite|improve this answer









        $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$.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Jul 22 at 10:26









        dawdaw

        26.7k18 silver badges46 bronze badges




        26.7k18 silver badges46 bronze badges






























            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%2f3300172%2finf-sup-problem-need-help%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

            Category:9 (number) SubcategoriesMedia in category "9 (number)"Navigation menuUpload mediaGND ID: 4485639-8Library of Congress authority ID: sh85091979ReasonatorScholiaStatistics

            Circuit construction for execution of conditional statements using least significant bitHow are two different registers being used as “control”?How exactly is the stated composite state of the two registers being produced using the $R_zz$ controlled rotations?Efficiently performing controlled rotations in HHLWould this quantum algorithm implementation work?How to prepare a superposed states of odd integers from $1$ to $sqrtN$?Why is this implementation of the order finding algorithm not working?Circuit construction for Hamiltonian simulationHow can I invert the least significant bit of a certain term of a superposed state?Implementing an oracleImplementing a controlled sum operation

            Magento 2 “No Payment Methods” in Admin New OrderHow to integrate Paypal Express Checkout with the Magento APIMagento 1.5 - Sales > Order > edit order and shipping methods disappearAuto Invoice Check/Money Order Payment methodAdd more simple payment methods?Shipping methods not showingWhat should I do to change payment methods if changing the configuration has no effects?1.9 - No Payment Methods showing upMy Payment Methods not Showing for downloadable/virtual product when checkout?Magento2 API to access internal payment methodHow to call an existing payment methods in the registration form?