Non trivial solution of Fredholm integral equation of second kind with constant kernel












1












$begingroup$


Let us consider the following integral equation$$f(x) + lambda int_0^1 {K(s,x)f(s)ds = 0,{text{ x}} in {text{(0}}{text{,1)}}{text{.}}} $$
I'm looking of the values of $lambda$ so that the above equation has only $f=0$ as solution with a constant kernel.
Suppose that $K(s,x)=K$, we obtain
$$f(x) + lambda Kint_0^1 {f(s)ds = 0,{text{ x}} in {text{(0}}{text{,1)}}{text{.}}} $$
By taking the integral over $(0,1)$, we get $$(1 + lambda K)int_0^1 {f(s)ds = 0} $$. for all $f$. Now, if $lambda$ is different of $-1/K$, then $$int_0^1 {f(s)ds = 0} $$. I don't see how this can be helpful.
Any suggestions?. Thank you.










share|cite|improve this question









$endgroup$








  • 1




    $begingroup$
    The function has mean value 0 in integral sense over interval 0 to 1. It removes one degree of freedom. This means you have infinite set of solutions. Any function fulfilling the mean value equation $=0$ will do.
    $endgroup$
    – mathreadler
    Jan 4 at 15:48










  • $begingroup$
    So if $lambda= - 1/K$ we have only one solution?
    $endgroup$
    – Gustave
    Jan 4 at 15:54










  • $begingroup$
    If the other factor is $0$ then it does not matter what $f$ is, since the product will always be $0$ so then all functions $f$ will satisfy it.
    $endgroup$
    – mathreadler
    Jan 4 at 16:01










  • $begingroup$
    Thanks. I understand, but what I can say about the uniqueness of the trivial solution with respect to $lambda$?
    $endgroup$
    – Gustave
    Jan 4 at 16:09
















1












$begingroup$


Let us consider the following integral equation$$f(x) + lambda int_0^1 {K(s,x)f(s)ds = 0,{text{ x}} in {text{(0}}{text{,1)}}{text{.}}} $$
I'm looking of the values of $lambda$ so that the above equation has only $f=0$ as solution with a constant kernel.
Suppose that $K(s,x)=K$, we obtain
$$f(x) + lambda Kint_0^1 {f(s)ds = 0,{text{ x}} in {text{(0}}{text{,1)}}{text{.}}} $$
By taking the integral over $(0,1)$, we get $$(1 + lambda K)int_0^1 {f(s)ds = 0} $$. for all $f$. Now, if $lambda$ is different of $-1/K$, then $$int_0^1 {f(s)ds = 0} $$. I don't see how this can be helpful.
Any suggestions?. Thank you.










share|cite|improve this question









$endgroup$








  • 1




    $begingroup$
    The function has mean value 0 in integral sense over interval 0 to 1. It removes one degree of freedom. This means you have infinite set of solutions. Any function fulfilling the mean value equation $=0$ will do.
    $endgroup$
    – mathreadler
    Jan 4 at 15:48










  • $begingroup$
    So if $lambda= - 1/K$ we have only one solution?
    $endgroup$
    – Gustave
    Jan 4 at 15:54










  • $begingroup$
    If the other factor is $0$ then it does not matter what $f$ is, since the product will always be $0$ so then all functions $f$ will satisfy it.
    $endgroup$
    – mathreadler
    Jan 4 at 16:01










  • $begingroup$
    Thanks. I understand, but what I can say about the uniqueness of the trivial solution with respect to $lambda$?
    $endgroup$
    – Gustave
    Jan 4 at 16:09














1












1








1





$begingroup$


Let us consider the following integral equation$$f(x) + lambda int_0^1 {K(s,x)f(s)ds = 0,{text{ x}} in {text{(0}}{text{,1)}}{text{.}}} $$
I'm looking of the values of $lambda$ so that the above equation has only $f=0$ as solution with a constant kernel.
Suppose that $K(s,x)=K$, we obtain
$$f(x) + lambda Kint_0^1 {f(s)ds = 0,{text{ x}} in {text{(0}}{text{,1)}}{text{.}}} $$
By taking the integral over $(0,1)$, we get $$(1 + lambda K)int_0^1 {f(s)ds = 0} $$. for all $f$. Now, if $lambda$ is different of $-1/K$, then $$int_0^1 {f(s)ds = 0} $$. I don't see how this can be helpful.
Any suggestions?. Thank you.










share|cite|improve this question









$endgroup$




Let us consider the following integral equation$$f(x) + lambda int_0^1 {K(s,x)f(s)ds = 0,{text{ x}} in {text{(0}}{text{,1)}}{text{.}}} $$
I'm looking of the values of $lambda$ so that the above equation has only $f=0$ as solution with a constant kernel.
Suppose that $K(s,x)=K$, we obtain
$$f(x) + lambda Kint_0^1 {f(s)ds = 0,{text{ x}} in {text{(0}}{text{,1)}}{text{.}}} $$
By taking the integral over $(0,1)$, we get $$(1 + lambda K)int_0^1 {f(s)ds = 0} $$. for all $f$. Now, if $lambda$ is different of $-1/K$, then $$int_0^1 {f(s)ds = 0} $$. I don't see how this can be helpful.
Any suggestions?. Thank you.







real-analysis integration functional-analysis ordinary-differential-equations integral-equations






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Jan 4 at 15:23









GustaveGustave

734211




734211








  • 1




    $begingroup$
    The function has mean value 0 in integral sense over interval 0 to 1. It removes one degree of freedom. This means you have infinite set of solutions. Any function fulfilling the mean value equation $=0$ will do.
    $endgroup$
    – mathreadler
    Jan 4 at 15:48










  • $begingroup$
    So if $lambda= - 1/K$ we have only one solution?
    $endgroup$
    – Gustave
    Jan 4 at 15:54










  • $begingroup$
    If the other factor is $0$ then it does not matter what $f$ is, since the product will always be $0$ so then all functions $f$ will satisfy it.
    $endgroup$
    – mathreadler
    Jan 4 at 16:01










  • $begingroup$
    Thanks. I understand, but what I can say about the uniqueness of the trivial solution with respect to $lambda$?
    $endgroup$
    – Gustave
    Jan 4 at 16:09














  • 1




    $begingroup$
    The function has mean value 0 in integral sense over interval 0 to 1. It removes one degree of freedom. This means you have infinite set of solutions. Any function fulfilling the mean value equation $=0$ will do.
    $endgroup$
    – mathreadler
    Jan 4 at 15:48










  • $begingroup$
    So if $lambda= - 1/K$ we have only one solution?
    $endgroup$
    – Gustave
    Jan 4 at 15:54










  • $begingroup$
    If the other factor is $0$ then it does not matter what $f$ is, since the product will always be $0$ so then all functions $f$ will satisfy it.
    $endgroup$
    – mathreadler
    Jan 4 at 16:01










  • $begingroup$
    Thanks. I understand, but what I can say about the uniqueness of the trivial solution with respect to $lambda$?
    $endgroup$
    – Gustave
    Jan 4 at 16:09








1




1




$begingroup$
The function has mean value 0 in integral sense over interval 0 to 1. It removes one degree of freedom. This means you have infinite set of solutions. Any function fulfilling the mean value equation $=0$ will do.
$endgroup$
– mathreadler
Jan 4 at 15:48




$begingroup$
The function has mean value 0 in integral sense over interval 0 to 1. It removes one degree of freedom. This means you have infinite set of solutions. Any function fulfilling the mean value equation $=0$ will do.
$endgroup$
– mathreadler
Jan 4 at 15:48












$begingroup$
So if $lambda= - 1/K$ we have only one solution?
$endgroup$
– Gustave
Jan 4 at 15:54




$begingroup$
So if $lambda= - 1/K$ we have only one solution?
$endgroup$
– Gustave
Jan 4 at 15:54












$begingroup$
If the other factor is $0$ then it does not matter what $f$ is, since the product will always be $0$ so then all functions $f$ will satisfy it.
$endgroup$
– mathreadler
Jan 4 at 16:01




$begingroup$
If the other factor is $0$ then it does not matter what $f$ is, since the product will always be $0$ so then all functions $f$ will satisfy it.
$endgroup$
– mathreadler
Jan 4 at 16:01












$begingroup$
Thanks. I understand, but what I can say about the uniqueness of the trivial solution with respect to $lambda$?
$endgroup$
– Gustave
Jan 4 at 16:09




$begingroup$
Thanks. I understand, but what I can say about the uniqueness of the trivial solution with respect to $lambda$?
$endgroup$
– Gustave
Jan 4 at 16:09










1 Answer
1






active

oldest

votes


















1












$begingroup$

Your step of taking the integral is too crude, at least initially. When you have
$$
f(x)+lambda Kint_0^1f(s),ds=0,
$$

you can write this as
$$
f(x)=-lambda Kint_0^1f(s),ds
$$

to conclude that $f$ is constant. If $lambda=0$, you get $f=0$. If $lambdane0$ and $lambdane-1/K$, your trick of integrating again gives you that $int_0^1 f=0$, so $f=0$.



When $lambda=-1/K$ the solution is not unique, as any constant $f$ will be a solution.






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%2f3061755%2fnon-trivial-solution-of-fredholm-integral-equation-of-second-kind-with-constant%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$

    Your step of taking the integral is too crude, at least initially. When you have
    $$
    f(x)+lambda Kint_0^1f(s),ds=0,
    $$

    you can write this as
    $$
    f(x)=-lambda Kint_0^1f(s),ds
    $$

    to conclude that $f$ is constant. If $lambda=0$, you get $f=0$. If $lambdane0$ and $lambdane-1/K$, your trick of integrating again gives you that $int_0^1 f=0$, so $f=0$.



    When $lambda=-1/K$ the solution is not unique, as any constant $f$ will be a solution.






    share|cite|improve this answer









    $endgroup$


















      1












      $begingroup$

      Your step of taking the integral is too crude, at least initially. When you have
      $$
      f(x)+lambda Kint_0^1f(s),ds=0,
      $$

      you can write this as
      $$
      f(x)=-lambda Kint_0^1f(s),ds
      $$

      to conclude that $f$ is constant. If $lambda=0$, you get $f=0$. If $lambdane0$ and $lambdane-1/K$, your trick of integrating again gives you that $int_0^1 f=0$, so $f=0$.



      When $lambda=-1/K$ the solution is not unique, as any constant $f$ will be a solution.






      share|cite|improve this answer









      $endgroup$
















        1












        1








        1





        $begingroup$

        Your step of taking the integral is too crude, at least initially. When you have
        $$
        f(x)+lambda Kint_0^1f(s),ds=0,
        $$

        you can write this as
        $$
        f(x)=-lambda Kint_0^1f(s),ds
        $$

        to conclude that $f$ is constant. If $lambda=0$, you get $f=0$. If $lambdane0$ and $lambdane-1/K$, your trick of integrating again gives you that $int_0^1 f=0$, so $f=0$.



        When $lambda=-1/K$ the solution is not unique, as any constant $f$ will be a solution.






        share|cite|improve this answer









        $endgroup$



        Your step of taking the integral is too crude, at least initially. When you have
        $$
        f(x)+lambda Kint_0^1f(s),ds=0,
        $$

        you can write this as
        $$
        f(x)=-lambda Kint_0^1f(s),ds
        $$

        to conclude that $f$ is constant. If $lambda=0$, you get $f=0$. If $lambdane0$ and $lambdane-1/K$, your trick of integrating again gives you that $int_0^1 f=0$, so $f=0$.



        When $lambda=-1/K$ the solution is not unique, as any constant $f$ will be a solution.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Jan 4 at 17:38









        Martin ArgeramiMartin Argerami

        129k1184185




        129k1184185






























            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%2f3061755%2fnon-trivial-solution-of-fredholm-integral-equation-of-second-kind-with-constant%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

            Wiesbaden

            Marschland

            Dieringhausen