How are the two versions of the Lumer-Phillips theorem given in the books of Engel/Nagel and Pazy related? ...

Is it my responsibility to learn a new technology in my own time my employer wants to implement?

Text adventure game code

Can a caster that cast Polymorph on themselves stop concentrating at any point even if their Int is low?

Anatomically Correct Strange Women In Ponds Distributing Swords

How did people program for Consoles with multiple CPUs?

Unreliable Magic - Is it worth it?

How easy is it to start Magic from scratch?

Is a stroke of luck acceptable after a series of unfavorable events?

How do I construct this japanese bowl?

How to make a software documentation "officially" citable?

Is it safe to use c_str() on a temporary string?

Can I equip Skullclamp on a creature I am sacrificing?

When Does an Atlas Uniquely Define a Manifold?

What makes a siege story/plot interesting?

What is the purpose of the Evocation wizard's Potent Cantrip feature?

Rotate a column

Return the Closest Prime Number

What does "Its cash flow is deeply negative" mean?

What is the difference between "behavior" and "behaviour"?

How should I support this large drywall patch?

Apart from "berlinern", do any other German dialects have a corresponding verb?

MAZDA 3 2006 (UK) - poor acceleration then takes off at 3250 revs

Why doesn't a table tennis ball float on the surface? How do we calculate buoyancy here?

How to count occurrences of text in a file?



How are the two versions of the Lumer-Phillips theorem given in the books of Engel/Nagel and Pazy related?



The Next CEO of Stack OverflowNecessary and sufficient condition of being dissipativeShowing that an operator generates a contraction semigroupFind the iverse of the followning bounded operator?Proving the existence of a solution of the heat equation using semigroup methodsLumer-Phillips Theorem for non-contraction semigroups?If it holds that $forall f in mathcal{D}(A): T(t)f-f = int_0^t T(s) Af ds$ then $A$ is the generator of ${T(t)}$Proving density of $H^2(mathbb{R})$ in $L^2(mathbb{R})$ .Proving an operator is surjective for Lumer-Phillips Theorem application.Understanding a proof from Pazy's book on infinitesimal generatorsShowing that $lambda - (A + B)$ has dense range












2












$begingroup$


Let $E$ be a $mathbb R$-Banach space and $(mathcal D(A),A)$ be a densely-defined dissipative linear operator on $E$.



In the book of Engel and Nagel, I've found the following verison of the Lumer-Phillips theorem:




Version 1: The closure $(mathcal D(overline A),overline A)$ of $(mathcal D(A),A)$ is the generator of a contraction semigroup if and only if $lambdaoperatorname{id}_{mathcal D(A)}-A$ has dense range for some (and hence all) $lambda>0$.




Now, in the book of Pazy, I've found a different version:




Version 2: The range of $lambdaoperatorname{id}_{mathcal D(A)}-A$ is $E$ for some $lambda>0$ if and only if $(mathcal D(A),A)$ is the generator of a strongly continuous contraction semigroup.




Question 1: How are these two versions related? For example, if $(mathcal D(A),A)$ is the generator of a contraction semigroup, version 1 only yields that $lambdaoperatorname{id}_{mathcal D(A)}-A$ has dense range for all $lambda>0$. How do we see that these ranges are actually the whole space $E$? Clearly, the crucial thing must be that not only the closure $(mathcal D(overline A),overline A)$ but $(mathcal D(A),A)$ itself is the generator of a contraction semigroup.



Question 2: In version 1, there is no strong continuity claim on the semigroup. Is this a mistake in the book or are we not able to conclude the strong continuity of the contraction semigroup generated by $(mathcal D(overline A),overline A)$ if $lambdaoperatorname{id}_{mathcal D(A)}-A$ has dense range for some $lambda>0$?






functional-analysis operator-theory semigroup-of-operators







share|cite|improve this question









$endgroup$

















    2












    $begingroup$


    Let $E$ be a $mathbb R$-Banach space and $(mathcal D(A),A)$ be a densely-defined dissipative linear operator on $E$.



    In the book of Engel and Nagel, I've found the following verison of the Lumer-Phillips theorem:




    Version 1: The closure $(mathcal D(overline A),overline A)$ of $(mathcal D(A),A)$ is the generator of a contraction semigroup if and only if $lambdaoperatorname{id}_{mathcal D(A)}-A$ has dense range for some (and hence all) $lambda>0$.




    Now, in the book of Pazy, I've found a different version:




    Version 2: The range of $lambdaoperatorname{id}_{mathcal D(A)}-A$ is $E$ for some $lambda>0$ if and only if $(mathcal D(A),A)$ is the generator of a strongly continuous contraction semigroup.




    Question 1: How are these two versions related? For example, if $(mathcal D(A),A)$ is the generator of a contraction semigroup, version 1 only yields that $lambdaoperatorname{id}_{mathcal D(A)}-A$ has dense range for all $lambda>0$. How do we see that these ranges are actually the whole space $E$? Clearly, the crucial thing must be that not only the closure $(mathcal D(overline A),overline A)$ but $(mathcal D(A),A)$ itself is the generator of a contraction semigroup.



    Question 2: In version 1, there is no strong continuity claim on the semigroup. Is this a mistake in the book or are we not able to conclude the strong continuity of the contraction semigroup generated by $(mathcal D(overline A),overline A)$ if $lambdaoperatorname{id}_{mathcal D(A)}-A$ has dense range for some $lambda>0$?






    functional-analysis operator-theory semigroup-of-operators







    share|cite|improve this question









    $endgroup$















      2












      2








      2





      $begingroup$


      Let $E$ be a $mathbb R$-Banach space and $(mathcal D(A),A)$ be a densely-defined dissipative linear operator on $E$.



      In the book of Engel and Nagel, I've found the following verison of the Lumer-Phillips theorem:




      Version 1: The closure $(mathcal D(overline A),overline A)$ of $(mathcal D(A),A)$ is the generator of a contraction semigroup if and only if $lambdaoperatorname{id}_{mathcal D(A)}-A$ has dense range for some (and hence all) $lambda>0$.




      Now, in the book of Pazy, I've found a different version:




      Version 2: The range of $lambdaoperatorname{id}_{mathcal D(A)}-A$ is $E$ for some $lambda>0$ if and only if $(mathcal D(A),A)$ is the generator of a strongly continuous contraction semigroup.




      Question 1: How are these two versions related? For example, if $(mathcal D(A),A)$ is the generator of a contraction semigroup, version 1 only yields that $lambdaoperatorname{id}_{mathcal D(A)}-A$ has dense range for all $lambda>0$. How do we see that these ranges are actually the whole space $E$? Clearly, the crucial thing must be that not only the closure $(mathcal D(overline A),overline A)$ but $(mathcal D(A),A)$ itself is the generator of a contraction semigroup.



      Question 2: In version 1, there is no strong continuity claim on the semigroup. Is this a mistake in the book or are we not able to conclude the strong continuity of the contraction semigroup generated by $(mathcal D(overline A),overline A)$ if $lambdaoperatorname{id}_{mathcal D(A)}-A$ has dense range for some $lambda>0$?






      functional-analysis operator-theory semigroup-of-operators







      share|cite|improve this question









      $endgroup$




      Let $E$ be a $mathbb R$-Banach space and $(mathcal D(A),A)$ be a densely-defined dissipative linear operator on $E$.



      In the book of Engel and Nagel, I've found the following verison of the Lumer-Phillips theorem:




      Version 1: The closure $(mathcal D(overline A),overline A)$ of $(mathcal D(A),A)$ is the generator of a contraction semigroup if and only if $lambdaoperatorname{id}_{mathcal D(A)}-A$ has dense range for some (and hence all) $lambda>0$.




      Now, in the book of Pazy, I've found a different version:




      Version 2: The range of $lambdaoperatorname{id}_{mathcal D(A)}-A$ is $E$ for some $lambda>0$ if and only if $(mathcal D(A),A)$ is the generator of a strongly continuous contraction semigroup.




      Question 1: How are these two versions related? For example, if $(mathcal D(A),A)$ is the generator of a contraction semigroup, version 1 only yields that $lambdaoperatorname{id}_{mathcal D(A)}-A$ has dense range for all $lambda>0$. How do we see that these ranges are actually the whole space $E$? Clearly, the crucial thing must be that not only the closure $(mathcal D(overline A),overline A)$ but $(mathcal D(A),A)$ itself is the generator of a contraction semigroup.



      Question 2: In version 1, there is no strong continuity claim on the semigroup. Is this a mistake in the book or are we not able to conclude the strong continuity of the contraction semigroup generated by $(mathcal D(overline A),overline A)$ if $lambdaoperatorname{id}_{mathcal D(A)}-A$ has dense range for some $lambda>0$?






      functional-analysis operator-theory semigroup-of-operators




      functional-analysis operator-theory semigroup-of-operators






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Mar 16 at 7:48









      0xbadf00d0xbadf00d

      1,82641533




      1,82641533






















          1 Answer
          1






          active

          oldest

          votes


















          1












          $begingroup$


          1. If $A$ is a closed dissipative operator, then the range of $lambda-A$ is closed for all $lambda>0$. In fact, if $(lambda x_n-A x_n)$ is Cauchy, then
            $$
            |x_n-x_m|leq frac 1 lambda|(lambda-A)(x_n-x_m)|.
            $$
            Hence $(x_n)$ is Cauchy and thus $(Ax_n)$ is Cauchy as well. Since $A$ is closed, $lim_{ntoinfty}x_nin D(A)$ and
            $$
            lim_{ntoinfty}(lambda-A)x_n=(lambda-A)lim_{ntoinfty} x_nin mathrm{ran}(lambda-A).
            $$

          2. If a contraction semigroup has a densely defined generator, then it is strongly continuous. This result is also somewhere in the book of Engel an Nagel, but the argument is quite simple: Trajectories starting in the domain of the generator are clearly continuous, and the uniform bound $|T_t|leq 1$ allows one to extend this continuity to all trajectories starting in the closure of the domain of the generator.






          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%2f3150169%2fhow-are-the-two-versions-of-the-lumer-phillips-theorem-given-in-the-books-of-eng%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









            1












            $begingroup$


            1. If $A$ is a closed dissipative operator, then the range of $lambda-A$ is closed for all $lambda>0$. In fact, if $(lambda x_n-A x_n)$ is Cauchy, then
              $$
              |x_n-x_m|leq frac 1 lambda|(lambda-A)(x_n-x_m)|.
              $$
              Hence $(x_n)$ is Cauchy and thus $(Ax_n)$ is Cauchy as well. Since $A$ is closed, $lim_{ntoinfty}x_nin D(A)$ and
              $$
              lim_{ntoinfty}(lambda-A)x_n=(lambda-A)lim_{ntoinfty} x_nin mathrm{ran}(lambda-A).
              $$

            2. If a contraction semigroup has a densely defined generator, then it is strongly continuous. This result is also somewhere in the book of Engel an Nagel, but the argument is quite simple: Trajectories starting in the domain of the generator are clearly continuous, and the uniform bound $|T_t|leq 1$ allows one to extend this continuity to all trajectories starting in the closure of the domain of the generator.






            share|cite|improve this answer









            $endgroup$


















              1












              $begingroup$


              1. If $A$ is a closed dissipative operator, then the range of $lambda-A$ is closed for all $lambda>0$. In fact, if $(lambda x_n-A x_n)$ is Cauchy, then
                $$
                |x_n-x_m|leq frac 1 lambda|(lambda-A)(x_n-x_m)|.
                $$
                Hence $(x_n)$ is Cauchy and thus $(Ax_n)$ is Cauchy as well. Since $A$ is closed, $lim_{ntoinfty}x_nin D(A)$ and
                $$
                lim_{ntoinfty}(lambda-A)x_n=(lambda-A)lim_{ntoinfty} x_nin mathrm{ran}(lambda-A).
                $$

              2. If a contraction semigroup has a densely defined generator, then it is strongly continuous. This result is also somewhere in the book of Engel an Nagel, but the argument is quite simple: Trajectories starting in the domain of the generator are clearly continuous, and the uniform bound $|T_t|leq 1$ allows one to extend this continuity to all trajectories starting in the closure of the domain of the generator.






              share|cite|improve this answer









              $endgroup$
















                1












                1








                1





                $begingroup$


                1. If $A$ is a closed dissipative operator, then the range of $lambda-A$ is closed for all $lambda>0$. In fact, if $(lambda x_n-A x_n)$ is Cauchy, then
                  $$
                  |x_n-x_m|leq frac 1 lambda|(lambda-A)(x_n-x_m)|.
                  $$
                  Hence $(x_n)$ is Cauchy and thus $(Ax_n)$ is Cauchy as well. Since $A$ is closed, $lim_{ntoinfty}x_nin D(A)$ and
                  $$
                  lim_{ntoinfty}(lambda-A)x_n=(lambda-A)lim_{ntoinfty} x_nin mathrm{ran}(lambda-A).
                  $$

                2. If a contraction semigroup has a densely defined generator, then it is strongly continuous. This result is also somewhere in the book of Engel an Nagel, but the argument is quite simple: Trajectories starting in the domain of the generator are clearly continuous, and the uniform bound $|T_t|leq 1$ allows one to extend this continuity to all trajectories starting in the closure of the domain of the generator.






                share|cite|improve this answer









                $endgroup$




                1. If $A$ is a closed dissipative operator, then the range of $lambda-A$ is closed for all $lambda>0$. In fact, if $(lambda x_n-A x_n)$ is Cauchy, then
                  $$
                  |x_n-x_m|leq frac 1 lambda|(lambda-A)(x_n-x_m)|.
                  $$
                  Hence $(x_n)$ is Cauchy and thus $(Ax_n)$ is Cauchy as well. Since $A$ is closed, $lim_{ntoinfty}x_nin D(A)$ and
                  $$
                  lim_{ntoinfty}(lambda-A)x_n=(lambda-A)lim_{ntoinfty} x_nin mathrm{ran}(lambda-A).
                  $$

                2. If a contraction semigroup has a densely defined generator, then it is strongly continuous. This result is also somewhere in the book of Engel an Nagel, but the argument is quite simple: Trajectories starting in the domain of the generator are clearly continuous, and the uniform bound $|T_t|leq 1$ allows one to extend this continuity to all trajectories starting in the closure of the domain of the generator.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered Mar 16 at 12:20









                MaoWaoMaoWao

                3,933618




                3,933618






























                    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%2f3150169%2fhow-are-the-two-versions-of-the-lumer-phillips-theorem-given-in-the-books-of-eng%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

                    Image
                    What were wait-states, and why was it only an issue for PCs? “Since the train was delayed for more than an hour, passengers were given a full refund.” – Why is there no article before “passengers”? Will I be more secure with my own router behind my ISP's router? Short story about an alien named Ushtu(?) coming from a future Earth, when ours was destroyed by a nuclear explosion When does Bran Stark remember Jamie pushing him? How to charge percentage of transaction cost? Pointing to problems without suggesting solutions false 'Security alert' from Google - every login generates mails from 'no-reply@accounts.google.com' Why doesn't the university give past final exams' answers? Like totally amazing interchangeable sister outfit accessory swapping or whatever Does traveling In The United States require a passport or can I use my green card if not a US citizen? Who's this lady in the war room? Who can become a wight? "Destructi
                    Read more

                    Fil:Tokke komm.svg

                    Image
                    Skildring Skildring Tokke komm.svg Norsk nynorsk: Våpen for Tokke kommune i Telemark fylke, godkjent ved kongeleg resolusjon 6. februar 1987. Motiv: På gull grunn ein gåande svart bjørn. [1] Tokke ligg i eit gamalt bjørneområde og bjørnen er eit viktig innslag i fleire lokale historier. Bjørnen kan òg symbolisere naturen og dyrelivet i kommunen. English: Coat of arms of the Norwegian municipality of Tokke, Telemark. Dato 6. februar 1987 Kjelde Original by Stein Davidsen, based upon image from caplex.no. Opphavsperson Eige arbeid Vektorgrafikken vart laga med Inkscape. Løyve (Gjenbruk av denne fila) Public domain Public domain false false This official Norwegian coat of arms is ineligible for copyright, but its usage is restricted according to Norwegian penal law, independent of the copyright status of the depiction shown here. Dette biletet er sett saman av eit flagg, eit våpen, eit sigill eller eit anna offisielt insignium . Bruken av slike symbol er avgrensa i fleire land. Desse r
                    Read more

                    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?

                    Image
                    How to translate "red flag" into Spanish? France's Public Holidays' Puzzle How did Elite on the NES work? Where can I find how to tex symbols for different fonts? In search of the origins of term censor, I hit a dead end stuck with the greek term, to censor, λογοκρίνω How to check if string is entirely made of same substring? What's called a person who works as someone who puts products on shelves in stores? What helicopter has the most rotor blades? Did war bonds have better investment alternatives during WWII? Page Layouts : 1 column , 2 columns-left , 2 columns-right , 3 column Marquee sign letters Why did Israel vote against lifting the American embargo on Cuba? What *exactly* is electrical current, voltage, and resistance? Mechanism of the formation of peracetic acid Does Prince Arnaud cause someone holding the Princess to lose? Bright yellow or light yellow? What is /etc/mtab in Linux? What is the ongoing value of the Kanban
                    Read more