Couldn't Derive the Result Given in a BookInfinum & Supremum: An Analysis on Relatednessnorm on a...

Finding files for which a command fails

"My colleague's body is amazing"

Is there a familial term for apples and pears?

Pristine Bit Checking

Why airport relocation isn't done gradually?

Can I find out the caloric content of bread by dehydrating it?

Need help identifying/translating a plaque in Tangier, Morocco

Can I legally use front facing blue light in the UK?

Does the average primeness of natural numbers tend to zero?

Was there ever an axiom rendered a theorem?

Re-submission of rejected manuscript without informing co-authors

Is it wise to hold on to stock that has plummeted and then stabilized?

Could Giant Ground Sloths have been a good pack animal for the ancient Mayans?

Where else does the Shulchan Aruch quote an authority by name?

What to wear for invited talk in Canada

Is Social Media Science Fiction?

What is the meaning of "of trouble" in the following sentence?

Why was the "bread communication" in the arena of Catching Fire left out in the movie?

Doomsday-clock for my fantasy planet

COUNT(*) or MAX(id) - which is faster?

Symmetry in quantum mechanics

Could a US political party gain complete control over the government by removing checks & balances?

Copycat chess is back

Is there any use for defining additional entity types in a SOQL FROM clause?



Couldn't Derive the Result Given in a Book


Infinum & Supremum: An Analysis on Relatednessnorm on a quotient-spaceProposed proof of analysis resultCorollary of Fatou's Lemma$L^{infty}$ is a normed linear space.Theorem 3.37 in Baby Rudin: $liminffrac{c_{n+1}}{c_n}leqliminfsqrt[n]{c_n}leqlimsupsqrt[n]{c_n}leq limsupfrac{c_{n+1}}{c_n}$What does it mean when we say a function depends continuously on something?Real Analysis, 2.18 (Fatou's Lemma) Integration of Nonnegative functionsProve that $ inf_{-1 < x< 1}|f^{k}| leq frac{2^{k(k+1)/2}k^k}{lambda^k} $ for $|f_{-1 < x < 1}(x)| leq 1$ and $lambda$ is length of $x_1 - x_0$BMCT proof of lower bound and decreasing













0












$begingroup$


Currently I'm trying to read Stroock's "lectures on topics in stochastic differential equations" book. In lemma $2.5$, he states that given $f$ and $g$ that are strictly increasing function on $[0, infty]$ such that $f(0)=g(0)=0$ and $g(infty)=infty$, for a normed linear space $L$ and function $h: mathbb{R}^d to L$ that is strongly cont. on open ball $B_{r}(a)$, if $$int_{B_{r}(a)}int_{B_{r}(a)}g(frac{||h(x)-h(y)||}{f(|x-y|)})dxdy leq B$$ then $$||h(x)-h(y)||leq 8 int_{0}^{|x-y|}g^{-1}(frac{4^{d+2}B}{alpha ^2 u^{2d}})P(du)$$, $$x,y in B_{r}(a)$$ where $$alpha = inf _{x in B_{r}(a)}inf_{1< m leq 2} frac{|B_{m}(x)cap B_{r}(a)|}{m^d} $$(I think by absolute value here we mean its volume).



He starts the proof by defining $$I(x)= int_{B_{r}(a)} g(frac{||h(x)-h(y)||}{f(|x-y|)})dy$$, and then picking distinct $x,y in B_{r}(a)$ and $n=|x-y|$. Then says we can choose $c in B_{n/2}((x+y)/2)$ such that



$$I(c) leq frac{2^{d+1}B}{alpha n^d}$$ because $$int_{B_{r}(a)}I(c)dc leq B$$



My problem is that I couldn't deduce the bound given for $I(c)$ here or why we can choose such $c$. I think he uses the last inequality to get the bound but then it would mean that $$Bint_{B_{r}(a)} 1 dx leq frac{2^{d+1}B}{alpha n^d}$$, but this doesn't makes sense for me either. I appreciate any help.










share|cite|improve this question











$endgroup$

















    0












    $begingroup$


    Currently I'm trying to read Stroock's "lectures on topics in stochastic differential equations" book. In lemma $2.5$, he states that given $f$ and $g$ that are strictly increasing function on $[0, infty]$ such that $f(0)=g(0)=0$ and $g(infty)=infty$, for a normed linear space $L$ and function $h: mathbb{R}^d to L$ that is strongly cont. on open ball $B_{r}(a)$, if $$int_{B_{r}(a)}int_{B_{r}(a)}g(frac{||h(x)-h(y)||}{f(|x-y|)})dxdy leq B$$ then $$||h(x)-h(y)||leq 8 int_{0}^{|x-y|}g^{-1}(frac{4^{d+2}B}{alpha ^2 u^{2d}})P(du)$$, $$x,y in B_{r}(a)$$ where $$alpha = inf _{x in B_{r}(a)}inf_{1< m leq 2} frac{|B_{m}(x)cap B_{r}(a)|}{m^d} $$(I think by absolute value here we mean its volume).



    He starts the proof by defining $$I(x)= int_{B_{r}(a)} g(frac{||h(x)-h(y)||}{f(|x-y|)})dy$$, and then picking distinct $x,y in B_{r}(a)$ and $n=|x-y|$. Then says we can choose $c in B_{n/2}((x+y)/2)$ such that



    $$I(c) leq frac{2^{d+1}B}{alpha n^d}$$ because $$int_{B_{r}(a)}I(c)dc leq B$$



    My problem is that I couldn't deduce the bound given for $I(c)$ here or why we can choose such $c$. I think he uses the last inequality to get the bound but then it would mean that $$Bint_{B_{r}(a)} 1 dx leq frac{2^{d+1}B}{alpha n^d}$$, but this doesn't makes sense for me either. I appreciate any help.










    share|cite|improve this question











    $endgroup$















      0












      0








      0





      $begingroup$


      Currently I'm trying to read Stroock's "lectures on topics in stochastic differential equations" book. In lemma $2.5$, he states that given $f$ and $g$ that are strictly increasing function on $[0, infty]$ such that $f(0)=g(0)=0$ and $g(infty)=infty$, for a normed linear space $L$ and function $h: mathbb{R}^d to L$ that is strongly cont. on open ball $B_{r}(a)$, if $$int_{B_{r}(a)}int_{B_{r}(a)}g(frac{||h(x)-h(y)||}{f(|x-y|)})dxdy leq B$$ then $$||h(x)-h(y)||leq 8 int_{0}^{|x-y|}g^{-1}(frac{4^{d+2}B}{alpha ^2 u^{2d}})P(du)$$, $$x,y in B_{r}(a)$$ where $$alpha = inf _{x in B_{r}(a)}inf_{1< m leq 2} frac{|B_{m}(x)cap B_{r}(a)|}{m^d} $$(I think by absolute value here we mean its volume).



      He starts the proof by defining $$I(x)= int_{B_{r}(a)} g(frac{||h(x)-h(y)||}{f(|x-y|)})dy$$, and then picking distinct $x,y in B_{r}(a)$ and $n=|x-y|$. Then says we can choose $c in B_{n/2}((x+y)/2)$ such that



      $$I(c) leq frac{2^{d+1}B}{alpha n^d}$$ because $$int_{B_{r}(a)}I(c)dc leq B$$



      My problem is that I couldn't deduce the bound given for $I(c)$ here or why we can choose such $c$. I think he uses the last inequality to get the bound but then it would mean that $$Bint_{B_{r}(a)} 1 dx leq frac{2^{d+1}B}{alpha n^d}$$, but this doesn't makes sense for me either. I appreciate any help.










      share|cite|improve this question











      $endgroup$




      Currently I'm trying to read Stroock's "lectures on topics in stochastic differential equations" book. In lemma $2.5$, he states that given $f$ and $g$ that are strictly increasing function on $[0, infty]$ such that $f(0)=g(0)=0$ and $g(infty)=infty$, for a normed linear space $L$ and function $h: mathbb{R}^d to L$ that is strongly cont. on open ball $B_{r}(a)$, if $$int_{B_{r}(a)}int_{B_{r}(a)}g(frac{||h(x)-h(y)||}{f(|x-y|)})dxdy leq B$$ then $$||h(x)-h(y)||leq 8 int_{0}^{|x-y|}g^{-1}(frac{4^{d+2}B}{alpha ^2 u^{2d}})P(du)$$, $$x,y in B_{r}(a)$$ where $$alpha = inf _{x in B_{r}(a)}inf_{1< m leq 2} frac{|B_{m}(x)cap B_{r}(a)|}{m^d} $$(I think by absolute value here we mean its volume).



      He starts the proof by defining $$I(x)= int_{B_{r}(a)} g(frac{||h(x)-h(y)||}{f(|x-y|)})dy$$, and then picking distinct $x,y in B_{r}(a)$ and $n=|x-y|$. Then says we can choose $c in B_{n/2}((x+y)/2)$ such that



      $$I(c) leq frac{2^{d+1}B}{alpha n^d}$$ because $$int_{B_{r}(a)}I(c)dc leq B$$



      My problem is that I couldn't deduce the bound given for $I(c)$ here or why we can choose such $c$. I think he uses the last inequality to get the bound but then it would mean that $$Bint_{B_{r}(a)} 1 dx leq frac{2^{d+1}B}{alpha n^d}$$, but this doesn't makes sense for me either. I appreciate any help.







      real-analysis functional-analysis






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Mar 20 at 18:46







      dankmemer

















      asked Mar 20 at 18:22









      dankmemerdankmemer

      149113




      149113






















          0






          active

          oldest

          votes












          Your Answer





          StackExchange.ifUsing("editor", function () {
          return StackExchange.using("mathjaxEditing", function () {
          StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
          StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
          });
          });
          }, "mathjax-editing");

          StackExchange.ready(function() {
          var channelOptions = {
          tags: "".split(" "),
          id: "69"
          };
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function() {
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled) {
          StackExchange.using("snippets", function() {
          createEditor();
          });
          }
          else {
          createEditor();
          }
          });

          function createEditor() {
          StackExchange.prepareEditor({
          heartbeatType: 'answer',
          autoActivateHeartbeat: false,
          convertImagesToLinks: true,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          imageUploader: {
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          },
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          });


          }
          });














          draft saved

          draft discarded


















          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3155829%2fcouldnt-derive-the-result-given-in-a-book%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          0






          active

          oldest

          votes








          0






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes
















          draft saved

          draft discarded




















































          Thanks for contributing an answer to Mathematics Stack Exchange!


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

          But avoid



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

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


          Use MathJax to format equations. MathJax reference.


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




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3155829%2fcouldnt-derive-the-result-given-in-a-book%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

          Magento 2 - Add success message with knockout Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?Success / Error message on ajax request$.widget is not a function when loading a homepage after add custom jQuery on custom themeHow can bind jQuery to current document in Magento 2 When template load by ajaxRedirect page using plugin in Magento 2Magento 2 - Update quantity and totals of cart page without page reload?Magento 2: Quote data not loaded on knockout checkoutMagento 2 : I need to change add to cart success message after adding product into cart through pluginMagento 2.2.5 How to add additional products to cart from new checkout step?Magento 2 Add error/success message with knockoutCan't validate Post Code on checkout page

          Fil:Tokke komm.svg

          Where did Arya get these scars? Unicorn Meta Zoo #1: Why another podcast? Announcing the arrival of Valued Associate #679: Cesar Manara Favourite questions and answers from the 1st quarter of 2019Why did Arya refuse to end it?Has the pronunciation of Arya Stark's name changed?Has Arya forgiven people?Why did Arya Stark lose her vision?Why can Arya still use the faces?Has the Narrow Sea become narrower?Does Arya Stark know how to make poisons outside of the House of Black and White?Why did Nymeria leave Arya?Why did Arya not kill the Lannister soldiers she encountered in the Riverlands?What is the current canonical age of Sansa, Bran and Arya Stark?