Show that a semigroup is strongly continuous on the domain of its generator











up vote
0
down vote

favorite












Let $(kappa_t)_{tge0}$ be a semigroup of linear, conservative, contractive and nonnegative operators on $C_0(E)$ with $$(kappa_tf)(x)xrightarrow{tto0}f(x)tag1;;;text{for all }xinmathbb R$$ for all $fin C_0(mathbb R)$. Let $(mathcal D(A),A)$ denote the generator of $(kappa_t)_{tge0}$. Suppose we know that $$kappa_tf-f=int_0^tkappa_s Af:{rm d}s;;;text{for all }finmathcal D(A)tag2.$$




How can we conclude that $(kappa_t)_{tge0}$ is strongly continuous on $mathcal D(A)$?




Clearly, $(2)$ again yields $(1)$, but I don't see why the convergence is uniform with respect to $x$.










share|cite|improve this question






















  • $C_{0}(mathbb{R})$ denotes the space of continuous functions vanishing at infinity, right?
    – sharpe
    Nov 24 at 10:27












  • @sharpe Yes, that's correct.
    – 0xbadf00d
    Nov 24 at 11:26










  • $(2)$ gives $$|kappa_t f-f|_{infty} leq t |Af|_{infty}$$ which immediately yields the desired convergence.
    – saz
    Nov 30 at 14:00















up vote
0
down vote

favorite












Let $(kappa_t)_{tge0}$ be a semigroup of linear, conservative, contractive and nonnegative operators on $C_0(E)$ with $$(kappa_tf)(x)xrightarrow{tto0}f(x)tag1;;;text{for all }xinmathbb R$$ for all $fin C_0(mathbb R)$. Let $(mathcal D(A),A)$ denote the generator of $(kappa_t)_{tge0}$. Suppose we know that $$kappa_tf-f=int_0^tkappa_s Af:{rm d}s;;;text{for all }finmathcal D(A)tag2.$$




How can we conclude that $(kappa_t)_{tge0}$ is strongly continuous on $mathcal D(A)$?




Clearly, $(2)$ again yields $(1)$, but I don't see why the convergence is uniform with respect to $x$.










share|cite|improve this question






















  • $C_{0}(mathbb{R})$ denotes the space of continuous functions vanishing at infinity, right?
    – sharpe
    Nov 24 at 10:27












  • @sharpe Yes, that's correct.
    – 0xbadf00d
    Nov 24 at 11:26










  • $(2)$ gives $$|kappa_t f-f|_{infty} leq t |Af|_{infty}$$ which immediately yields the desired convergence.
    – saz
    Nov 30 at 14:00













up vote
0
down vote

favorite









up vote
0
down vote

favorite











Let $(kappa_t)_{tge0}$ be a semigroup of linear, conservative, contractive and nonnegative operators on $C_0(E)$ with $$(kappa_tf)(x)xrightarrow{tto0}f(x)tag1;;;text{for all }xinmathbb R$$ for all $fin C_0(mathbb R)$. Let $(mathcal D(A),A)$ denote the generator of $(kappa_t)_{tge0}$. Suppose we know that $$kappa_tf-f=int_0^tkappa_s Af:{rm d}s;;;text{for all }finmathcal D(A)tag2.$$




How can we conclude that $(kappa_t)_{tge0}$ is strongly continuous on $mathcal D(A)$?




Clearly, $(2)$ again yields $(1)$, but I don't see why the convergence is uniform with respect to $x$.










share|cite|improve this question













Let $(kappa_t)_{tge0}$ be a semigroup of linear, conservative, contractive and nonnegative operators on $C_0(E)$ with $$(kappa_tf)(x)xrightarrow{tto0}f(x)tag1;;;text{for all }xinmathbb R$$ for all $fin C_0(mathbb R)$. Let $(mathcal D(A),A)$ denote the generator of $(kappa_t)_{tge0}$. Suppose we know that $$kappa_tf-f=int_0^tkappa_s Af:{rm d}s;;;text{for all }finmathcal D(A)tag2.$$




How can we conclude that $(kappa_t)_{tge0}$ is strongly continuous on $mathcal D(A)$?




Clearly, $(2)$ again yields $(1)$, but I don't see why the convergence is uniform with respect to $x$.







functional-analysis semigroup-of-operators






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Nov 24 at 10:18









0xbadf00d

1,71041429




1,71041429












  • $C_{0}(mathbb{R})$ denotes the space of continuous functions vanishing at infinity, right?
    – sharpe
    Nov 24 at 10:27












  • @sharpe Yes, that's correct.
    – 0xbadf00d
    Nov 24 at 11:26










  • $(2)$ gives $$|kappa_t f-f|_{infty} leq t |Af|_{infty}$$ which immediately yields the desired convergence.
    – saz
    Nov 30 at 14:00


















  • $C_{0}(mathbb{R})$ denotes the space of continuous functions vanishing at infinity, right?
    – sharpe
    Nov 24 at 10:27












  • @sharpe Yes, that's correct.
    – 0xbadf00d
    Nov 24 at 11:26










  • $(2)$ gives $$|kappa_t f-f|_{infty} leq t |Af|_{infty}$$ which immediately yields the desired convergence.
    – saz
    Nov 30 at 14:00
















$C_{0}(mathbb{R})$ denotes the space of continuous functions vanishing at infinity, right?
– sharpe
Nov 24 at 10:27






$C_{0}(mathbb{R})$ denotes the space of continuous functions vanishing at infinity, right?
– sharpe
Nov 24 at 10:27














@sharpe Yes, that's correct.
– 0xbadf00d
Nov 24 at 11:26




@sharpe Yes, that's correct.
– 0xbadf00d
Nov 24 at 11:26












$(2)$ gives $$|kappa_t f-f|_{infty} leq t |Af|_{infty}$$ which immediately yields the desired convergence.
– saz
Nov 30 at 14:00




$(2)$ gives $$|kappa_t f-f|_{infty} leq t |Af|_{infty}$$ which immediately yields the desired convergence.
– saz
Nov 30 at 14:00










1 Answer
1






active

oldest

votes

















up vote
0
down vote













Let $E$ be a locally compact separable metric space and $m$ a nonnegative Radon measure on $E$.



We denote $C_{infty}(E)$ by the space of continuous functions on $E$ vanishing at infinity. $C_{infty}(E)$ becomes a Banach space with respect to the usual sup-norm $|f|_{infty}=sup_{x in E}|f(x)|$.



Let ${kappa_t}_{t>0}$ be a semigroup of linear, contractive operators on $C_{infty}(E)$. Contractive means that $|kappa_t| le 1$ for any $t>0$. Here we define $$|kappa_t|=sup_{f in C_{infty}(E), |f|_{infty}=1}|kappa_t f|.$$



Assume that ${kappa_t}_{t>0}$ satisfies the next condition: for any $xin E$ and any $ f in C_{infty}(E)$,
$${bf (C)} quad lim_{t to 0}kappa_tf(x)=f(x). $$



Claim: ${bf (C)}$ implies that ${kappa_t}_{t>0}$ is strongly continuous on $C_{infty}(E)$. Namely, it holds that for any $f in C_{infty}(E)$,
$$lim_{t to 0}|kappa_tf-f|_{infty}=0.$$
In particular, ${kappa_t}_{t>0}$ is strongly continuous on $D(A)$ because $D(A)$ is a linear subspace of $C_{infty}(E)$.



Sketch of Proof



For $alpha>0$, we define a operator $R_alpha$ on $C_{infty}(E)$ by
$$R_{alpha}f(x)=int_{0}^{infty}e^{-alpha t}kappa_tf(x),dt,quad f in C_{infty}(E).$$
(Here, we used the contractibity of ${kappa_t}$.)



It is easy to see that:





  • $R_{alpha}-R_{beta}=(beta-alpha)R_{alpha}R_{beta}$ on $C_{infty}(E)$.
    Thus, $mathcal{X}:=R_{alpha}(C_{infty}(E))$ does not depend on $alpha>0$.


  • $lim_{alpha to infty}alpha R_{alpha}f(x)=f(x)$ for any $x in E$, and any $f in C_{infty}(E)$. Thus, $mathcal{X}$ is dense in $C_{infty}(E)$.


Straightforward computation yields that
$$|kappa_t R_{alpha}f-R_{alpha}f|_{infty} le (e^{alpha t}-1)|R_{alpha}f|_{infty}+t|f|$$
for any $t,alpha>0$, and any $f in C_{infty}$. This implies that



$$lim_{t to 0}|kappa_t R_{alpha}f-R_{alpha}f|_{infty} =0$$
for any $alpha>0$, and any $f in C_{infty}$.



Since $mathcal{X}$ is dense in $C_{infty}(E)$, we conclude that ${kappa_t}_{t>0}$ is strongly continuous on $C_{infty}(E)$.






share|cite|improve this answer























    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%2f3011391%2fshow-that-a-semigroup-is-strongly-continuous-on-the-domain-of-its-generator%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








    up vote
    0
    down vote













    Let $E$ be a locally compact separable metric space and $m$ a nonnegative Radon measure on $E$.



    We denote $C_{infty}(E)$ by the space of continuous functions on $E$ vanishing at infinity. $C_{infty}(E)$ becomes a Banach space with respect to the usual sup-norm $|f|_{infty}=sup_{x in E}|f(x)|$.



    Let ${kappa_t}_{t>0}$ be a semigroup of linear, contractive operators on $C_{infty}(E)$. Contractive means that $|kappa_t| le 1$ for any $t>0$. Here we define $$|kappa_t|=sup_{f in C_{infty}(E), |f|_{infty}=1}|kappa_t f|.$$



    Assume that ${kappa_t}_{t>0}$ satisfies the next condition: for any $xin E$ and any $ f in C_{infty}(E)$,
    $${bf (C)} quad lim_{t to 0}kappa_tf(x)=f(x). $$



    Claim: ${bf (C)}$ implies that ${kappa_t}_{t>0}$ is strongly continuous on $C_{infty}(E)$. Namely, it holds that for any $f in C_{infty}(E)$,
    $$lim_{t to 0}|kappa_tf-f|_{infty}=0.$$
    In particular, ${kappa_t}_{t>0}$ is strongly continuous on $D(A)$ because $D(A)$ is a linear subspace of $C_{infty}(E)$.



    Sketch of Proof



    For $alpha>0$, we define a operator $R_alpha$ on $C_{infty}(E)$ by
    $$R_{alpha}f(x)=int_{0}^{infty}e^{-alpha t}kappa_tf(x),dt,quad f in C_{infty}(E).$$
    (Here, we used the contractibity of ${kappa_t}$.)



    It is easy to see that:





    • $R_{alpha}-R_{beta}=(beta-alpha)R_{alpha}R_{beta}$ on $C_{infty}(E)$.
      Thus, $mathcal{X}:=R_{alpha}(C_{infty}(E))$ does not depend on $alpha>0$.


    • $lim_{alpha to infty}alpha R_{alpha}f(x)=f(x)$ for any $x in E$, and any $f in C_{infty}(E)$. Thus, $mathcal{X}$ is dense in $C_{infty}(E)$.


    Straightforward computation yields that
    $$|kappa_t R_{alpha}f-R_{alpha}f|_{infty} le (e^{alpha t}-1)|R_{alpha}f|_{infty}+t|f|$$
    for any $t,alpha>0$, and any $f in C_{infty}$. This implies that



    $$lim_{t to 0}|kappa_t R_{alpha}f-R_{alpha}f|_{infty} =0$$
    for any $alpha>0$, and any $f in C_{infty}$.



    Since $mathcal{X}$ is dense in $C_{infty}(E)$, we conclude that ${kappa_t}_{t>0}$ is strongly continuous on $C_{infty}(E)$.






    share|cite|improve this answer



























      up vote
      0
      down vote













      Let $E$ be a locally compact separable metric space and $m$ a nonnegative Radon measure on $E$.



      We denote $C_{infty}(E)$ by the space of continuous functions on $E$ vanishing at infinity. $C_{infty}(E)$ becomes a Banach space with respect to the usual sup-norm $|f|_{infty}=sup_{x in E}|f(x)|$.



      Let ${kappa_t}_{t>0}$ be a semigroup of linear, contractive operators on $C_{infty}(E)$. Contractive means that $|kappa_t| le 1$ for any $t>0$. Here we define $$|kappa_t|=sup_{f in C_{infty}(E), |f|_{infty}=1}|kappa_t f|.$$



      Assume that ${kappa_t}_{t>0}$ satisfies the next condition: for any $xin E$ and any $ f in C_{infty}(E)$,
      $${bf (C)} quad lim_{t to 0}kappa_tf(x)=f(x). $$



      Claim: ${bf (C)}$ implies that ${kappa_t}_{t>0}$ is strongly continuous on $C_{infty}(E)$. Namely, it holds that for any $f in C_{infty}(E)$,
      $$lim_{t to 0}|kappa_tf-f|_{infty}=0.$$
      In particular, ${kappa_t}_{t>0}$ is strongly continuous on $D(A)$ because $D(A)$ is a linear subspace of $C_{infty}(E)$.



      Sketch of Proof



      For $alpha>0$, we define a operator $R_alpha$ on $C_{infty}(E)$ by
      $$R_{alpha}f(x)=int_{0}^{infty}e^{-alpha t}kappa_tf(x),dt,quad f in C_{infty}(E).$$
      (Here, we used the contractibity of ${kappa_t}$.)



      It is easy to see that:





      • $R_{alpha}-R_{beta}=(beta-alpha)R_{alpha}R_{beta}$ on $C_{infty}(E)$.
        Thus, $mathcal{X}:=R_{alpha}(C_{infty}(E))$ does not depend on $alpha>0$.


      • $lim_{alpha to infty}alpha R_{alpha}f(x)=f(x)$ for any $x in E$, and any $f in C_{infty}(E)$. Thus, $mathcal{X}$ is dense in $C_{infty}(E)$.


      Straightforward computation yields that
      $$|kappa_t R_{alpha}f-R_{alpha}f|_{infty} le (e^{alpha t}-1)|R_{alpha}f|_{infty}+t|f|$$
      for any $t,alpha>0$, and any $f in C_{infty}$. This implies that



      $$lim_{t to 0}|kappa_t R_{alpha}f-R_{alpha}f|_{infty} =0$$
      for any $alpha>0$, and any $f in C_{infty}$.



      Since $mathcal{X}$ is dense in $C_{infty}(E)$, we conclude that ${kappa_t}_{t>0}$ is strongly continuous on $C_{infty}(E)$.






      share|cite|improve this answer

























        up vote
        0
        down vote










        up vote
        0
        down vote









        Let $E$ be a locally compact separable metric space and $m$ a nonnegative Radon measure on $E$.



        We denote $C_{infty}(E)$ by the space of continuous functions on $E$ vanishing at infinity. $C_{infty}(E)$ becomes a Banach space with respect to the usual sup-norm $|f|_{infty}=sup_{x in E}|f(x)|$.



        Let ${kappa_t}_{t>0}$ be a semigroup of linear, contractive operators on $C_{infty}(E)$. Contractive means that $|kappa_t| le 1$ for any $t>0$. Here we define $$|kappa_t|=sup_{f in C_{infty}(E), |f|_{infty}=1}|kappa_t f|.$$



        Assume that ${kappa_t}_{t>0}$ satisfies the next condition: for any $xin E$ and any $ f in C_{infty}(E)$,
        $${bf (C)} quad lim_{t to 0}kappa_tf(x)=f(x). $$



        Claim: ${bf (C)}$ implies that ${kappa_t}_{t>0}$ is strongly continuous on $C_{infty}(E)$. Namely, it holds that for any $f in C_{infty}(E)$,
        $$lim_{t to 0}|kappa_tf-f|_{infty}=0.$$
        In particular, ${kappa_t}_{t>0}$ is strongly continuous on $D(A)$ because $D(A)$ is a linear subspace of $C_{infty}(E)$.



        Sketch of Proof



        For $alpha>0$, we define a operator $R_alpha$ on $C_{infty}(E)$ by
        $$R_{alpha}f(x)=int_{0}^{infty}e^{-alpha t}kappa_tf(x),dt,quad f in C_{infty}(E).$$
        (Here, we used the contractibity of ${kappa_t}$.)



        It is easy to see that:





        • $R_{alpha}-R_{beta}=(beta-alpha)R_{alpha}R_{beta}$ on $C_{infty}(E)$.
          Thus, $mathcal{X}:=R_{alpha}(C_{infty}(E))$ does not depend on $alpha>0$.


        • $lim_{alpha to infty}alpha R_{alpha}f(x)=f(x)$ for any $x in E$, and any $f in C_{infty}(E)$. Thus, $mathcal{X}$ is dense in $C_{infty}(E)$.


        Straightforward computation yields that
        $$|kappa_t R_{alpha}f-R_{alpha}f|_{infty} le (e^{alpha t}-1)|R_{alpha}f|_{infty}+t|f|$$
        for any $t,alpha>0$, and any $f in C_{infty}$. This implies that



        $$lim_{t to 0}|kappa_t R_{alpha}f-R_{alpha}f|_{infty} =0$$
        for any $alpha>0$, and any $f in C_{infty}$.



        Since $mathcal{X}$ is dense in $C_{infty}(E)$, we conclude that ${kappa_t}_{t>0}$ is strongly continuous on $C_{infty}(E)$.






        share|cite|improve this answer














        Let $E$ be a locally compact separable metric space and $m$ a nonnegative Radon measure on $E$.



        We denote $C_{infty}(E)$ by the space of continuous functions on $E$ vanishing at infinity. $C_{infty}(E)$ becomes a Banach space with respect to the usual sup-norm $|f|_{infty}=sup_{x in E}|f(x)|$.



        Let ${kappa_t}_{t>0}$ be a semigroup of linear, contractive operators on $C_{infty}(E)$. Contractive means that $|kappa_t| le 1$ for any $t>0$. Here we define $$|kappa_t|=sup_{f in C_{infty}(E), |f|_{infty}=1}|kappa_t f|.$$



        Assume that ${kappa_t}_{t>0}$ satisfies the next condition: for any $xin E$ and any $ f in C_{infty}(E)$,
        $${bf (C)} quad lim_{t to 0}kappa_tf(x)=f(x). $$



        Claim: ${bf (C)}$ implies that ${kappa_t}_{t>0}$ is strongly continuous on $C_{infty}(E)$. Namely, it holds that for any $f in C_{infty}(E)$,
        $$lim_{t to 0}|kappa_tf-f|_{infty}=0.$$
        In particular, ${kappa_t}_{t>0}$ is strongly continuous on $D(A)$ because $D(A)$ is a linear subspace of $C_{infty}(E)$.



        Sketch of Proof



        For $alpha>0$, we define a operator $R_alpha$ on $C_{infty}(E)$ by
        $$R_{alpha}f(x)=int_{0}^{infty}e^{-alpha t}kappa_tf(x),dt,quad f in C_{infty}(E).$$
        (Here, we used the contractibity of ${kappa_t}$.)



        It is easy to see that:





        • $R_{alpha}-R_{beta}=(beta-alpha)R_{alpha}R_{beta}$ on $C_{infty}(E)$.
          Thus, $mathcal{X}:=R_{alpha}(C_{infty}(E))$ does not depend on $alpha>0$.


        • $lim_{alpha to infty}alpha R_{alpha}f(x)=f(x)$ for any $x in E$, and any $f in C_{infty}(E)$. Thus, $mathcal{X}$ is dense in $C_{infty}(E)$.


        Straightforward computation yields that
        $$|kappa_t R_{alpha}f-R_{alpha}f|_{infty} le (e^{alpha t}-1)|R_{alpha}f|_{infty}+t|f|$$
        for any $t,alpha>0$, and any $f in C_{infty}$. This implies that



        $$lim_{t to 0}|kappa_t R_{alpha}f-R_{alpha}f|_{infty} =0$$
        for any $alpha>0$, and any $f in C_{infty}$.



        Since $mathcal{X}$ is dense in $C_{infty}(E)$, we conclude that ${kappa_t}_{t>0}$ is strongly continuous on $C_{infty}(E)$.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Nov 24 at 12:28

























        answered Nov 24 at 11:37









        sharpe

        71312




        71312






























            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.





            Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


            Please pay close attention to the following guidance:


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


            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%2f3011391%2fshow-that-a-semigroup-is-strongly-continuous-on-the-domain-of-its-generator%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

            Le Mesnil-Réaume

            Ida-Boy-Ed-Garten

            web3.py web3.isConnected() returns false always