Order 2 differential equations and linearly dependent solutions












0












$begingroup$


I have difficulties to resolve the following exercice. I try with Wronski, but i haven't obtain good result.



Let $y_1$ and $y_2$ two linearly independent solutions of the equation
$$
(P(x)y')'+q(x)y=0
$$
on the interval $[a,b]$ with $P(x) >0$.




  1. Prouve that $y_1$ and $y_2$ do not vanish together in the same time.


  2. Prouve that if $y_1$ and $y_2$ are not equal to zero, and if they are linearly dependent, then $y_1$ and $y_2$ vanish together in the same time.



Thank you in advance for the help.










share|cite|improve this question









$endgroup$

















    0












    $begingroup$


    I have difficulties to resolve the following exercice. I try with Wronski, but i haven't obtain good result.



    Let $y_1$ and $y_2$ two linearly independent solutions of the equation
    $$
    (P(x)y')'+q(x)y=0
    $$
    on the interval $[a,b]$ with $P(x) >0$.




    1. Prouve that $y_1$ and $y_2$ do not vanish together in the same time.


    2. Prouve that if $y_1$ and $y_2$ are not equal to zero, and if they are linearly dependent, then $y_1$ and $y_2$ vanish together in the same time.



    Thank you in advance for the help.










    share|cite|improve this question









    $endgroup$















      0












      0








      0





      $begingroup$


      I have difficulties to resolve the following exercice. I try with Wronski, but i haven't obtain good result.



      Let $y_1$ and $y_2$ two linearly independent solutions of the equation
      $$
      (P(x)y')'+q(x)y=0
      $$
      on the interval $[a,b]$ with $P(x) >0$.




      1. Prouve that $y_1$ and $y_2$ do not vanish together in the same time.


      2. Prouve that if $y_1$ and $y_2$ are not equal to zero, and if they are linearly dependent, then $y_1$ and $y_2$ vanish together in the same time.



      Thank you in advance for the help.










      share|cite|improve this question









      $endgroup$




      I have difficulties to resolve the following exercice. I try with Wronski, but i haven't obtain good result.



      Let $y_1$ and $y_2$ two linearly independent solutions of the equation
      $$
      (P(x)y')'+q(x)y=0
      $$
      on the interval $[a,b]$ with $P(x) >0$.




      1. Prouve that $y_1$ and $y_2$ do not vanish together in the same time.


      2. Prouve that if $y_1$ and $y_2$ are not equal to zero, and if they are linearly dependent, then $y_1$ and $y_2$ vanish together in the same time.



      Thank you in advance for the help.







      real-analysis functional-analysis ordinary-differential-equations pde






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked May 19 '17 at 10:27







      user415040





























          1 Answer
          1






          active

          oldest

          votes


















          0












          $begingroup$

          1.) If $y_1(x^*)=0=y_2(x^*)$, then
          $$
          y(x)=αy_1(x)+βy_2(x) ~~ text{ with } ~ α=y_2'(x^*),~ β=-y_1'(x^*),
          $$

          is a non-trivial linear combination with $y(x^*)=y'(x^*)=0$. As $α=0$ would imply $y_2(x^*)=0=y_2'(x^*)$, both coefficients are non-zero.



          2.) is trivial as $y_2=cy_1$.






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            Thank you for the answer. Please, i don't understant 1. Can you more explain please. Why you choose $y_1'(t*)$ and $y_2'(t*)$ whith $y_1(t*)=0=y_2(t*)$. And another question, why we suppose that $P(x)>0$? And if $P(x) <0$?
            $endgroup$
            – user415040
            May 19 '17 at 12:04












          • $begingroup$
            1.) to get $y'(t^*)=0$. Check again what linear dependence means, use the general definition in the context of more than 2 vectors. -- You have to exclude that $P(x)=0$ at some point in the interval, i.e., the sign stays constant, positive is the default.
            $endgroup$
            – LutzL
            May 19 '17 at 12:26










          • $begingroup$
            $y_1$ et $y_2$ are linearly dependent means that $$forall alpha, beta in mathbb{R}: alpha y_1(x)+ beta y_2(x)=0 => alpha=beta=0$$ you put $alpha=y'_1(x*)$ and $beta=y'_2(x*)$ with $y_1(x*)=0=y_2(x*)$. I don't understand
            $endgroup$
            – user415040
            May 19 '17 at 12:33










          • $begingroup$
            For a homogeneous second order linear DE, what does it mean for a solution $y$ if $y(x^*)=0$ and $y'(x^*)=0$? And if you look closer you will find that $α=y_2(x^*)$ and $β=-y_1'(x^*)$. Follow-up: Why would $α=0$ or $β=0$ be impossible?
            $endgroup$
            – LutzL
            May 19 '17 at 13:07










          • $begingroup$
            it means that $y$ is equal to zero. How you remark that $alpha= y_2(x*)$ and $beta=-y'_1(x*)$. You use Wronski? I am very lost
            $endgroup$
            – user415040
            May 19 '17 at 13:10











          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%2f2287605%2forder-2-differential-equations-and-linearly-dependent-solutions%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









          0












          $begingroup$

          1.) If $y_1(x^*)=0=y_2(x^*)$, then
          $$
          y(x)=αy_1(x)+βy_2(x) ~~ text{ with } ~ α=y_2'(x^*),~ β=-y_1'(x^*),
          $$

          is a non-trivial linear combination with $y(x^*)=y'(x^*)=0$. As $α=0$ would imply $y_2(x^*)=0=y_2'(x^*)$, both coefficients are non-zero.



          2.) is trivial as $y_2=cy_1$.






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            Thank you for the answer. Please, i don't understant 1. Can you more explain please. Why you choose $y_1'(t*)$ and $y_2'(t*)$ whith $y_1(t*)=0=y_2(t*)$. And another question, why we suppose that $P(x)>0$? And if $P(x) <0$?
            $endgroup$
            – user415040
            May 19 '17 at 12:04












          • $begingroup$
            1.) to get $y'(t^*)=0$. Check again what linear dependence means, use the general definition in the context of more than 2 vectors. -- You have to exclude that $P(x)=0$ at some point in the interval, i.e., the sign stays constant, positive is the default.
            $endgroup$
            – LutzL
            May 19 '17 at 12:26










          • $begingroup$
            $y_1$ et $y_2$ are linearly dependent means that $$forall alpha, beta in mathbb{R}: alpha y_1(x)+ beta y_2(x)=0 => alpha=beta=0$$ you put $alpha=y'_1(x*)$ and $beta=y'_2(x*)$ with $y_1(x*)=0=y_2(x*)$. I don't understand
            $endgroup$
            – user415040
            May 19 '17 at 12:33










          • $begingroup$
            For a homogeneous second order linear DE, what does it mean for a solution $y$ if $y(x^*)=0$ and $y'(x^*)=0$? And if you look closer you will find that $α=y_2(x^*)$ and $β=-y_1'(x^*)$. Follow-up: Why would $α=0$ or $β=0$ be impossible?
            $endgroup$
            – LutzL
            May 19 '17 at 13:07










          • $begingroup$
            it means that $y$ is equal to zero. How you remark that $alpha= y_2(x*)$ and $beta=-y'_1(x*)$. You use Wronski? I am very lost
            $endgroup$
            – user415040
            May 19 '17 at 13:10
















          0












          $begingroup$

          1.) If $y_1(x^*)=0=y_2(x^*)$, then
          $$
          y(x)=αy_1(x)+βy_2(x) ~~ text{ with } ~ α=y_2'(x^*),~ β=-y_1'(x^*),
          $$

          is a non-trivial linear combination with $y(x^*)=y'(x^*)=0$. As $α=0$ would imply $y_2(x^*)=0=y_2'(x^*)$, both coefficients are non-zero.



          2.) is trivial as $y_2=cy_1$.






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            Thank you for the answer. Please, i don't understant 1. Can you more explain please. Why you choose $y_1'(t*)$ and $y_2'(t*)$ whith $y_1(t*)=0=y_2(t*)$. And another question, why we suppose that $P(x)>0$? And if $P(x) <0$?
            $endgroup$
            – user415040
            May 19 '17 at 12:04












          • $begingroup$
            1.) to get $y'(t^*)=0$. Check again what linear dependence means, use the general definition in the context of more than 2 vectors. -- You have to exclude that $P(x)=0$ at some point in the interval, i.e., the sign stays constant, positive is the default.
            $endgroup$
            – LutzL
            May 19 '17 at 12:26










          • $begingroup$
            $y_1$ et $y_2$ are linearly dependent means that $$forall alpha, beta in mathbb{R}: alpha y_1(x)+ beta y_2(x)=0 => alpha=beta=0$$ you put $alpha=y'_1(x*)$ and $beta=y'_2(x*)$ with $y_1(x*)=0=y_2(x*)$. I don't understand
            $endgroup$
            – user415040
            May 19 '17 at 12:33










          • $begingroup$
            For a homogeneous second order linear DE, what does it mean for a solution $y$ if $y(x^*)=0$ and $y'(x^*)=0$? And if you look closer you will find that $α=y_2(x^*)$ and $β=-y_1'(x^*)$. Follow-up: Why would $α=0$ or $β=0$ be impossible?
            $endgroup$
            – LutzL
            May 19 '17 at 13:07










          • $begingroup$
            it means that $y$ is equal to zero. How you remark that $alpha= y_2(x*)$ and $beta=-y'_1(x*)$. You use Wronski? I am very lost
            $endgroup$
            – user415040
            May 19 '17 at 13:10














          0












          0








          0





          $begingroup$

          1.) If $y_1(x^*)=0=y_2(x^*)$, then
          $$
          y(x)=αy_1(x)+βy_2(x) ~~ text{ with } ~ α=y_2'(x^*),~ β=-y_1'(x^*),
          $$

          is a non-trivial linear combination with $y(x^*)=y'(x^*)=0$. As $α=0$ would imply $y_2(x^*)=0=y_2'(x^*)$, both coefficients are non-zero.



          2.) is trivial as $y_2=cy_1$.






          share|cite|improve this answer











          $endgroup$



          1.) If $y_1(x^*)=0=y_2(x^*)$, then
          $$
          y(x)=αy_1(x)+βy_2(x) ~~ text{ with } ~ α=y_2'(x^*),~ β=-y_1'(x^*),
          $$

          is a non-trivial linear combination with $y(x^*)=y'(x^*)=0$. As $α=0$ would imply $y_2(x^*)=0=y_2'(x^*)$, both coefficients are non-zero.



          2.) is trivial as $y_2=cy_1$.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Jan 10 at 23:27

























          answered May 19 '17 at 11:35









          LutzLLutzL

          58k42054




          58k42054












          • $begingroup$
            Thank you for the answer. Please, i don't understant 1. Can you more explain please. Why you choose $y_1'(t*)$ and $y_2'(t*)$ whith $y_1(t*)=0=y_2(t*)$. And another question, why we suppose that $P(x)>0$? And if $P(x) <0$?
            $endgroup$
            – user415040
            May 19 '17 at 12:04












          • $begingroup$
            1.) to get $y'(t^*)=0$. Check again what linear dependence means, use the general definition in the context of more than 2 vectors. -- You have to exclude that $P(x)=0$ at some point in the interval, i.e., the sign stays constant, positive is the default.
            $endgroup$
            – LutzL
            May 19 '17 at 12:26










          • $begingroup$
            $y_1$ et $y_2$ are linearly dependent means that $$forall alpha, beta in mathbb{R}: alpha y_1(x)+ beta y_2(x)=0 => alpha=beta=0$$ you put $alpha=y'_1(x*)$ and $beta=y'_2(x*)$ with $y_1(x*)=0=y_2(x*)$. I don't understand
            $endgroup$
            – user415040
            May 19 '17 at 12:33










          • $begingroup$
            For a homogeneous second order linear DE, what does it mean for a solution $y$ if $y(x^*)=0$ and $y'(x^*)=0$? And if you look closer you will find that $α=y_2(x^*)$ and $β=-y_1'(x^*)$. Follow-up: Why would $α=0$ or $β=0$ be impossible?
            $endgroup$
            – LutzL
            May 19 '17 at 13:07










          • $begingroup$
            it means that $y$ is equal to zero. How you remark that $alpha= y_2(x*)$ and $beta=-y'_1(x*)$. You use Wronski? I am very lost
            $endgroup$
            – user415040
            May 19 '17 at 13:10


















          • $begingroup$
            Thank you for the answer. Please, i don't understant 1. Can you more explain please. Why you choose $y_1'(t*)$ and $y_2'(t*)$ whith $y_1(t*)=0=y_2(t*)$. And another question, why we suppose that $P(x)>0$? And if $P(x) <0$?
            $endgroup$
            – user415040
            May 19 '17 at 12:04












          • $begingroup$
            1.) to get $y'(t^*)=0$. Check again what linear dependence means, use the general definition in the context of more than 2 vectors. -- You have to exclude that $P(x)=0$ at some point in the interval, i.e., the sign stays constant, positive is the default.
            $endgroup$
            – LutzL
            May 19 '17 at 12:26










          • $begingroup$
            $y_1$ et $y_2$ are linearly dependent means that $$forall alpha, beta in mathbb{R}: alpha y_1(x)+ beta y_2(x)=0 => alpha=beta=0$$ you put $alpha=y'_1(x*)$ and $beta=y'_2(x*)$ with $y_1(x*)=0=y_2(x*)$. I don't understand
            $endgroup$
            – user415040
            May 19 '17 at 12:33










          • $begingroup$
            For a homogeneous second order linear DE, what does it mean for a solution $y$ if $y(x^*)=0$ and $y'(x^*)=0$? And if you look closer you will find that $α=y_2(x^*)$ and $β=-y_1'(x^*)$. Follow-up: Why would $α=0$ or $β=0$ be impossible?
            $endgroup$
            – LutzL
            May 19 '17 at 13:07










          • $begingroup$
            it means that $y$ is equal to zero. How you remark that $alpha= y_2(x*)$ and $beta=-y'_1(x*)$. You use Wronski? I am very lost
            $endgroup$
            – user415040
            May 19 '17 at 13:10
















          $begingroup$
          Thank you for the answer. Please, i don't understant 1. Can you more explain please. Why you choose $y_1'(t*)$ and $y_2'(t*)$ whith $y_1(t*)=0=y_2(t*)$. And another question, why we suppose that $P(x)>0$? And if $P(x) <0$?
          $endgroup$
          – user415040
          May 19 '17 at 12:04






          $begingroup$
          Thank you for the answer. Please, i don't understant 1. Can you more explain please. Why you choose $y_1'(t*)$ and $y_2'(t*)$ whith $y_1(t*)=0=y_2(t*)$. And another question, why we suppose that $P(x)>0$? And if $P(x) <0$?
          $endgroup$
          – user415040
          May 19 '17 at 12:04














          $begingroup$
          1.) to get $y'(t^*)=0$. Check again what linear dependence means, use the general definition in the context of more than 2 vectors. -- You have to exclude that $P(x)=0$ at some point in the interval, i.e., the sign stays constant, positive is the default.
          $endgroup$
          – LutzL
          May 19 '17 at 12:26




          $begingroup$
          1.) to get $y'(t^*)=0$. Check again what linear dependence means, use the general definition in the context of more than 2 vectors. -- You have to exclude that $P(x)=0$ at some point in the interval, i.e., the sign stays constant, positive is the default.
          $endgroup$
          – LutzL
          May 19 '17 at 12:26












          $begingroup$
          $y_1$ et $y_2$ are linearly dependent means that $$forall alpha, beta in mathbb{R}: alpha y_1(x)+ beta y_2(x)=0 => alpha=beta=0$$ you put $alpha=y'_1(x*)$ and $beta=y'_2(x*)$ with $y_1(x*)=0=y_2(x*)$. I don't understand
          $endgroup$
          – user415040
          May 19 '17 at 12:33




          $begingroup$
          $y_1$ et $y_2$ are linearly dependent means that $$forall alpha, beta in mathbb{R}: alpha y_1(x)+ beta y_2(x)=0 => alpha=beta=0$$ you put $alpha=y'_1(x*)$ and $beta=y'_2(x*)$ with $y_1(x*)=0=y_2(x*)$. I don't understand
          $endgroup$
          – user415040
          May 19 '17 at 12:33












          $begingroup$
          For a homogeneous second order linear DE, what does it mean for a solution $y$ if $y(x^*)=0$ and $y'(x^*)=0$? And if you look closer you will find that $α=y_2(x^*)$ and $β=-y_1'(x^*)$. Follow-up: Why would $α=0$ or $β=0$ be impossible?
          $endgroup$
          – LutzL
          May 19 '17 at 13:07




          $begingroup$
          For a homogeneous second order linear DE, what does it mean for a solution $y$ if $y(x^*)=0$ and $y'(x^*)=0$? And if you look closer you will find that $α=y_2(x^*)$ and $β=-y_1'(x^*)$. Follow-up: Why would $α=0$ or $β=0$ be impossible?
          $endgroup$
          – LutzL
          May 19 '17 at 13:07












          $begingroup$
          it means that $y$ is equal to zero. How you remark that $alpha= y_2(x*)$ and $beta=-y'_1(x*)$. You use Wronski? I am very lost
          $endgroup$
          – user415040
          May 19 '17 at 13:10




          $begingroup$
          it means that $y$ is equal to zero. How you remark that $alpha= y_2(x*)$ and $beta=-y'_1(x*)$. You use Wronski? I am very lost
          $endgroup$
          – user415040
          May 19 '17 at 13:10


















          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%2f2287605%2forder-2-differential-equations-and-linearly-dependent-solutions%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

          MongoDB - Not Authorized To Execute Command

          How to fix TextFormField cause rebuild widget in Flutter

          in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith