$fracd^2ydx^2=f(x)$ with boundary conditions, how to find integration bounds Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Differential Equations - EigenfunctionsCan't match boundary conditions on a perturbation series solution to a non-linear ODE?Mysterious inconsistency in an inhomogeneous linear 2nd order ODE with specified boundary valuesLaplace Equation with non-const Dirichlet Boundary ConditionsPoisson partial differential equation under Neumann boundary conditionsquaestion to solution of the Laplace's Equation $u_tt+u_xx=0$ using method of separation of variablesWeak form of steady Navier-Stokes equations with special boundary conditionUsing Green's function to solve $y''=1$ with $y(0)=y(1)=0$Difficulty in working out trivial solutionMatrix representation of a finite difference with Neumann boundary conditions

Converted a Scalar function to a TVF function for parallel execution-Still running in Serial mode

Do any jurisdictions seriously consider reclassifying social media websites as publishers?

Why is Nikon 1.4g better when Nikon 1.8g is sharper?

Take 2! Is this homebrew Lady of Pain warlock patron balanced?

How much damage would a cupful of neutron star matter do to the Earth?

When a candle burns, why does the top of wick glow if bottom of flame is hottest?

How does the math work when buying airline miles?

What is the appropriate index architecture when forced to implement IsDeleted (soft deletes)?

What is the font for "b" letter?

What do you call the main part of a joke?

How to compare two different files line by line in unix?

Can a new player join a group only when a new campaign starts?

What is a fractional matching?

Time to Settle Down!

Is CEO the "profession" with the most psychopaths?

How can I reduce the gap between left and right of cdot with a macro?

Question about debouncing - delay of state change

As a beginner, should I get a Squier Strat with a SSS config or a HSS?

Project Euler #1 in C++

Why is my ESD wriststrap failing with nitrile gloves on?

Putting class ranking in CV, but against dept guidelines

Why aren't air breathing engines used as small first stages?

A term for a woman complaining about things/begging in a cute/childish way

Why wasn't DOSKEY integrated with COMMAND.COM?



$fracd^2ydx^2=f(x)$ with boundary conditions, how to find integration bounds



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Differential Equations - EigenfunctionsCan't match boundary conditions on a perturbation series solution to a non-linear ODE?Mysterious inconsistency in an inhomogeneous linear 2nd order ODE with specified boundary valuesLaplace Equation with non-const Dirichlet Boundary ConditionsPoisson partial differential equation under Neumann boundary conditionsquaestion to solution of the Laplace's Equation $u_tt+u_xx=0$ using method of separation of variablesWeak form of steady Navier-Stokes equations with special boundary conditionUsing Green's function to solve $y''=1$ with $y(0)=y(1)=0$Difficulty in working out trivial solutionMatrix representation of a finite difference with Neumann boundary conditions










1












$begingroup$


Given $$fracd^2ydx^2=f(x),quad y(-1)=y(1)=0,$$ I used $u=y'$ and $u(x_0)=u_0$ to get
$$
u(x)=u_0+int_x_0^xf(xi)dxi.
$$



Then we have $y'=u$, which we can integrate again using $y(x_0)=y_0$ to get



$$
y(x)=y_0+int_x_0^xBig(u_0+int_x_0^zeta f(xi)dxiBig)dzeta=(y_0-u_0x_0)+u_0x+int_x_0^xBig(int_x_0^zeta f(xi)dxiBig)dzeta.
$$



Now my question is, what do I do with $y_0,x_0$ and $u_0$ to get it into the normal form using $C_1,C_2$? Wolfram Alpha gives the following expression:



$$
y(x)=C_1+C_2x+int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta,
$$



but how did they set $x_0=1$? Because we didn't use any boundary conditions yet. I understand $C_1$ and $C_2$ as just relabeling.










share|cite|improve this question









$endgroup$
















    1












    $begingroup$


    Given $$fracd^2ydx^2=f(x),quad y(-1)=y(1)=0,$$ I used $u=y'$ and $u(x_0)=u_0$ to get
    $$
    u(x)=u_0+int_x_0^xf(xi)dxi.
    $$



    Then we have $y'=u$, which we can integrate again using $y(x_0)=y_0$ to get



    $$
    y(x)=y_0+int_x_0^xBig(u_0+int_x_0^zeta f(xi)dxiBig)dzeta=(y_0-u_0x_0)+u_0x+int_x_0^xBig(int_x_0^zeta f(xi)dxiBig)dzeta.
    $$



    Now my question is, what do I do with $y_0,x_0$ and $u_0$ to get it into the normal form using $C_1,C_2$? Wolfram Alpha gives the following expression:



    $$
    y(x)=C_1+C_2x+int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta,
    $$



    but how did they set $x_0=1$? Because we didn't use any boundary conditions yet. I understand $C_1$ and $C_2$ as just relabeling.










    share|cite|improve this question









    $endgroup$














      1












      1








      1





      $begingroup$


      Given $$fracd^2ydx^2=f(x),quad y(-1)=y(1)=0,$$ I used $u=y'$ and $u(x_0)=u_0$ to get
      $$
      u(x)=u_0+int_x_0^xf(xi)dxi.
      $$



      Then we have $y'=u$, which we can integrate again using $y(x_0)=y_0$ to get



      $$
      y(x)=y_0+int_x_0^xBig(u_0+int_x_0^zeta f(xi)dxiBig)dzeta=(y_0-u_0x_0)+u_0x+int_x_0^xBig(int_x_0^zeta f(xi)dxiBig)dzeta.
      $$



      Now my question is, what do I do with $y_0,x_0$ and $u_0$ to get it into the normal form using $C_1,C_2$? Wolfram Alpha gives the following expression:



      $$
      y(x)=C_1+C_2x+int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta,
      $$



      but how did they set $x_0=1$? Because we didn't use any boundary conditions yet. I understand $C_1$ and $C_2$ as just relabeling.










      share|cite|improve this question









      $endgroup$




      Given $$fracd^2ydx^2=f(x),quad y(-1)=y(1)=0,$$ I used $u=y'$ and $u(x_0)=u_0$ to get
      $$
      u(x)=u_0+int_x_0^xf(xi)dxi.
      $$



      Then we have $y'=u$, which we can integrate again using $y(x_0)=y_0$ to get



      $$
      y(x)=y_0+int_x_0^xBig(u_0+int_x_0^zeta f(xi)dxiBig)dzeta=(y_0-u_0x_0)+u_0x+int_x_0^xBig(int_x_0^zeta f(xi)dxiBig)dzeta.
      $$



      Now my question is, what do I do with $y_0,x_0$ and $u_0$ to get it into the normal form using $C_1,C_2$? Wolfram Alpha gives the following expression:



      $$
      y(x)=C_1+C_2x+int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta,
      $$



      but how did they set $x_0=1$? Because we didn't use any boundary conditions yet. I understand $C_1$ and $C_2$ as just relabeling.







      ordinary-differential-equations boundary-value-problem upper-lower-bounds






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Apr 1 at 18:12









      The Coding WombatThe Coding Wombat

      342111




      342111




















          1 Answer
          1






          active

          oldest

          votes


















          2












          $begingroup$

          This is because
          $$int_x_0^x f(t) dt=int_1^x f(t) dt - int_1^x_0 f(t) dt=int_1^x f(t) dt - k$$
          For some $kinmathbbR$. Hence
          $$int_x_0^xBig(int_x_0^zeta f(xi)dxiBig)dzeta=int_x_0^xBig(int_1^zeta f(xi)dxi-k_1Big)dzeta$$
          $$=int_1^xBig(int_1^zeta f(xi)dxi-k_1Big)dzeta-k_2$$
          $$=int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta-int_1^xk_1dzeta-k_2$$
          $$=int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta-k_1(x-1)-k_2$$
          $$=int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta+k_3x+k_4$$
          So
          $$y(x)=y_0-u_0x_0+u_0x+int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta+k_3x+k_4$$
          $$=C_1+C_2x+int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta$$






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            But the expression I found has integration bounds from $x_0$ to $x$, so that isn't a constant right?
            $endgroup$
            – The Coding Wombat
            Apr 1 at 18:25










          • $begingroup$
            Yes the upper bound is variable, but as long as one of the bounds is constant, it can take any chosen value because the change in value only effects the result by a constant amount. This amount can be corrected by subtracting some constant which is written as part of $C_1$
            $endgroup$
            – Peter Foreman
            Apr 1 at 18:27










          • $begingroup$
            So we can set $x_0=1$ because we just subtract another integral with some other bound to correct for this? How did you get the integral in your answer?
            $endgroup$
            – The Coding Wombat
            Apr 1 at 18:33






          • 1




            $begingroup$
            Is that enough of an explanation for you now?
            $endgroup$
            – Peter Foreman
            Apr 1 at 18:44











          Your Answer








          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%2f3170941%2ffracd2ydx2-fx-with-boundary-conditions-how-to-find-integration-bound%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









          2












          $begingroup$

          This is because
          $$int_x_0^x f(t) dt=int_1^x f(t) dt - int_1^x_0 f(t) dt=int_1^x f(t) dt - k$$
          For some $kinmathbbR$. Hence
          $$int_x_0^xBig(int_x_0^zeta f(xi)dxiBig)dzeta=int_x_0^xBig(int_1^zeta f(xi)dxi-k_1Big)dzeta$$
          $$=int_1^xBig(int_1^zeta f(xi)dxi-k_1Big)dzeta-k_2$$
          $$=int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta-int_1^xk_1dzeta-k_2$$
          $$=int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta-k_1(x-1)-k_2$$
          $$=int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta+k_3x+k_4$$
          So
          $$y(x)=y_0-u_0x_0+u_0x+int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta+k_3x+k_4$$
          $$=C_1+C_2x+int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta$$






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            But the expression I found has integration bounds from $x_0$ to $x$, so that isn't a constant right?
            $endgroup$
            – The Coding Wombat
            Apr 1 at 18:25










          • $begingroup$
            Yes the upper bound is variable, but as long as one of the bounds is constant, it can take any chosen value because the change in value only effects the result by a constant amount. This amount can be corrected by subtracting some constant which is written as part of $C_1$
            $endgroup$
            – Peter Foreman
            Apr 1 at 18:27










          • $begingroup$
            So we can set $x_0=1$ because we just subtract another integral with some other bound to correct for this? How did you get the integral in your answer?
            $endgroup$
            – The Coding Wombat
            Apr 1 at 18:33






          • 1




            $begingroup$
            Is that enough of an explanation for you now?
            $endgroup$
            – Peter Foreman
            Apr 1 at 18:44















          2












          $begingroup$

          This is because
          $$int_x_0^x f(t) dt=int_1^x f(t) dt - int_1^x_0 f(t) dt=int_1^x f(t) dt - k$$
          For some $kinmathbbR$. Hence
          $$int_x_0^xBig(int_x_0^zeta f(xi)dxiBig)dzeta=int_x_0^xBig(int_1^zeta f(xi)dxi-k_1Big)dzeta$$
          $$=int_1^xBig(int_1^zeta f(xi)dxi-k_1Big)dzeta-k_2$$
          $$=int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta-int_1^xk_1dzeta-k_2$$
          $$=int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta-k_1(x-1)-k_2$$
          $$=int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta+k_3x+k_4$$
          So
          $$y(x)=y_0-u_0x_0+u_0x+int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta+k_3x+k_4$$
          $$=C_1+C_2x+int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta$$






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            But the expression I found has integration bounds from $x_0$ to $x$, so that isn't a constant right?
            $endgroup$
            – The Coding Wombat
            Apr 1 at 18:25










          • $begingroup$
            Yes the upper bound is variable, but as long as one of the bounds is constant, it can take any chosen value because the change in value only effects the result by a constant amount. This amount can be corrected by subtracting some constant which is written as part of $C_1$
            $endgroup$
            – Peter Foreman
            Apr 1 at 18:27










          • $begingroup$
            So we can set $x_0=1$ because we just subtract another integral with some other bound to correct for this? How did you get the integral in your answer?
            $endgroup$
            – The Coding Wombat
            Apr 1 at 18:33






          • 1




            $begingroup$
            Is that enough of an explanation for you now?
            $endgroup$
            – Peter Foreman
            Apr 1 at 18:44













          2












          2








          2





          $begingroup$

          This is because
          $$int_x_0^x f(t) dt=int_1^x f(t) dt - int_1^x_0 f(t) dt=int_1^x f(t) dt - k$$
          For some $kinmathbbR$. Hence
          $$int_x_0^xBig(int_x_0^zeta f(xi)dxiBig)dzeta=int_x_0^xBig(int_1^zeta f(xi)dxi-k_1Big)dzeta$$
          $$=int_1^xBig(int_1^zeta f(xi)dxi-k_1Big)dzeta-k_2$$
          $$=int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta-int_1^xk_1dzeta-k_2$$
          $$=int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta-k_1(x-1)-k_2$$
          $$=int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta+k_3x+k_4$$
          So
          $$y(x)=y_0-u_0x_0+u_0x+int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta+k_3x+k_4$$
          $$=C_1+C_2x+int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta$$






          share|cite|improve this answer











          $endgroup$



          This is because
          $$int_x_0^x f(t) dt=int_1^x f(t) dt - int_1^x_0 f(t) dt=int_1^x f(t) dt - k$$
          For some $kinmathbbR$. Hence
          $$int_x_0^xBig(int_x_0^zeta f(xi)dxiBig)dzeta=int_x_0^xBig(int_1^zeta f(xi)dxi-k_1Big)dzeta$$
          $$=int_1^xBig(int_1^zeta f(xi)dxi-k_1Big)dzeta-k_2$$
          $$=int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta-int_1^xk_1dzeta-k_2$$
          $$=int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta-k_1(x-1)-k_2$$
          $$=int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta+k_3x+k_4$$
          So
          $$y(x)=y_0-u_0x_0+u_0x+int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta+k_3x+k_4$$
          $$=C_1+C_2x+int_1^xBig(int_1^zeta f(xi)dxiBig)dzeta$$







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Apr 1 at 18:44

























          answered Apr 1 at 18:24









          Peter ForemanPeter Foreman

          8,1421321




          8,1421321











          • $begingroup$
            But the expression I found has integration bounds from $x_0$ to $x$, so that isn't a constant right?
            $endgroup$
            – The Coding Wombat
            Apr 1 at 18:25










          • $begingroup$
            Yes the upper bound is variable, but as long as one of the bounds is constant, it can take any chosen value because the change in value only effects the result by a constant amount. This amount can be corrected by subtracting some constant which is written as part of $C_1$
            $endgroup$
            – Peter Foreman
            Apr 1 at 18:27










          • $begingroup$
            So we can set $x_0=1$ because we just subtract another integral with some other bound to correct for this? How did you get the integral in your answer?
            $endgroup$
            – The Coding Wombat
            Apr 1 at 18:33






          • 1




            $begingroup$
            Is that enough of an explanation for you now?
            $endgroup$
            – Peter Foreman
            Apr 1 at 18:44
















          • $begingroup$
            But the expression I found has integration bounds from $x_0$ to $x$, so that isn't a constant right?
            $endgroup$
            – The Coding Wombat
            Apr 1 at 18:25










          • $begingroup$
            Yes the upper bound is variable, but as long as one of the bounds is constant, it can take any chosen value because the change in value only effects the result by a constant amount. This amount can be corrected by subtracting some constant which is written as part of $C_1$
            $endgroup$
            – Peter Foreman
            Apr 1 at 18:27










          • $begingroup$
            So we can set $x_0=1$ because we just subtract another integral with some other bound to correct for this? How did you get the integral in your answer?
            $endgroup$
            – The Coding Wombat
            Apr 1 at 18:33






          • 1




            $begingroup$
            Is that enough of an explanation for you now?
            $endgroup$
            – Peter Foreman
            Apr 1 at 18:44















          $begingroup$
          But the expression I found has integration bounds from $x_0$ to $x$, so that isn't a constant right?
          $endgroup$
          – The Coding Wombat
          Apr 1 at 18:25




          $begingroup$
          But the expression I found has integration bounds from $x_0$ to $x$, so that isn't a constant right?
          $endgroup$
          – The Coding Wombat
          Apr 1 at 18:25












          $begingroup$
          Yes the upper bound is variable, but as long as one of the bounds is constant, it can take any chosen value because the change in value only effects the result by a constant amount. This amount can be corrected by subtracting some constant which is written as part of $C_1$
          $endgroup$
          – Peter Foreman
          Apr 1 at 18:27




          $begingroup$
          Yes the upper bound is variable, but as long as one of the bounds is constant, it can take any chosen value because the change in value only effects the result by a constant amount. This amount can be corrected by subtracting some constant which is written as part of $C_1$
          $endgroup$
          – Peter Foreman
          Apr 1 at 18:27












          $begingroup$
          So we can set $x_0=1$ because we just subtract another integral with some other bound to correct for this? How did you get the integral in your answer?
          $endgroup$
          – The Coding Wombat
          Apr 1 at 18:33




          $begingroup$
          So we can set $x_0=1$ because we just subtract another integral with some other bound to correct for this? How did you get the integral in your answer?
          $endgroup$
          – The Coding Wombat
          Apr 1 at 18:33




          1




          1




          $begingroup$
          Is that enough of an explanation for you now?
          $endgroup$
          – Peter Foreman
          Apr 1 at 18:44




          $begingroup$
          Is that enough of an explanation for you now?
          $endgroup$
          – Peter Foreman
          Apr 1 at 18:44

















          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%2f3170941%2ffracd2ydx2-fx-with-boundary-conditions-how-to-find-integration-bound%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

          Triangular numbers and gcdProving sum of a set is $0 pmod n$ if $n$ is odd, or $fracn2 pmod n$ if $n$ is even?Is greatest common divisor of two numbers really their smallest linear combination?GCD, LCM RelationshipProve a set of nonnegative integers with greatest common divisor 1 and closed under addition has all but finite many nonnegative integers.all pairs of a and b in an equation containing gcdTriangular Numbers Modulo $k$ - Hit All Values?Understanding the Existence and Uniqueness of the GCDGCD and LCM with logical symbolsThe greatest common divisor of two positive integers less than 100 is equal to 3. Their least common multiple is twelve times one of the integers.Suppose that for all integers $x$, $x|a$ and $x|b$ if and only if $x|c$. Then $c = gcd(a,b)$Which is the gcd of 2 numbers which are multiplied and the result is 600000?

          Ingelân Ynhâld Etymology | Geografy | Skiednis | Polityk en bestjoer | Ekonomy | Demografy | Kultuer | Klimaat | Sjoch ek | Keppelings om utens | Boarnen, noaten en referinsjes Navigaasjemenuwww.gov.ukOffisjele webside fan it regear fan it Feriene KeninkrykOffisjele webside fan it Britske FerkearsburoNederlânsktalige ynformaasje fan it Britske FerkearsburoOffisjele webside fan English Heritage, de organisaasje dy't him ynset foar it behâld fan it Ingelske kultuergoedYnwennertallen fan alle Britske stêden út 'e folkstelling fan 2011Notes en References, op dizze sideEngland

          Հադիս Բովանդակություն Անվանում և նշանակություն | Դասակարգում | Աղբյուրներ | Նավարկման ցանկ