What is the behavior of the solution at the boundary x_m?

  • Thread starter yukcream
  • Start date
In summary, for Case 1, the function is continuous at x=3, but differentiable at x=3. For Case 2, the function is discontinuous at x=1.
  • #1
yukcream
59
0
Given y' + ay = g(x) where y(0) =c,
also g(x) = g1, 0<=x<= xo
g(x) = g2, xo<x< infinity

for case x>xo
white
y = e^-ax Int(0->Xo){[e^aX1]g(X1)} dX1 + e^-ax Int(xo->x) [e^aX1] g(x1) dx1

I don't know why when calaulatung the case for x>Xo I have to consider the Intergration from 0 to Xo either? Can anyone tell me the answer?
 
Physics news on Phys.org
  • #2
that should be
[tex]y=c+e^{-a x}\int_0^{x_0} e^{a t}g_1(t)dt+e^{-a x}\int_{x_0}^{x} e^{a t}g_2(t)dt[/tex]
where t is used instead of x1 as dummy variable
the extra integral is used to insure that the initial condition is meet and the function is continuous.
in other words if y is defined
y=y1 0<x<x1
y=y2 x1<x
for continuity we require y1(x1)=y2(x1)
if we omit the first integral the function won't match up.
Past x0 we must start where we left off.
 
  • #3
lurflurf said:
that should be
[tex]y=c+e^{-a x}\int_0^{x_0} e^{a t}g_1(t)dt+e^{-a x}\int_{x_0}^{x} e^{a t}g_2(t)dt[/tex]
where t is used instead of x1 as dummy variable
the extra integral is used to insure that the initial condition is meet and the function is continuous.
in other words if y is defined
y=y1 0<x<x1
y=y2 x1<x
for continuity we require y1(x1)=y2(x1)
if we omit the first integral the function won't match up.
Past x0 we must start where we left off.


Thanks for your help! But one more question is : what happens if the function is not continuous, also why we must make sure the function should be continuous??
 
  • #4
yukcream said:
Thanks for your help! But one more question is : what happens if the function is not continuous, also why we must make sure the function should be continuous??
The function is continuous where the differential equation holds, because the differential equation implies differentiability which implies continuity. Strictly speaking a differential equation should be given along with a domain of applicability. In this case it seams the implied domain is x<=0 where for x=0 it is true in a right hand limit sense. For example one could solve this differential equation
x*y'=y x!=0
y(-x)=y(x)
the solution of which being
y=|x|
or the equation
y'=y x!=0 y(0-)=-1 y(0+)=1
the solution being
y=-exp(x) x<0
y=exp(x) x>0
these are strange examples usually one expects the solution to be continuous and differentiable
 
  • #5
Well guys I've been reading right along and have taken the trouble to work through two examples, one continuous and the other discontinuous. This is what I found:

Case 1: g(x) is continuous at x=3:

[tex]y^{'}+y=g(x);\quad y(0)=1[/tex]

[tex]g(x)=\left\{\begin{array}{cc}x,&\mbox{ for }0\leq x\leq 3 \\
\frac{x^2}{3},&\mbox{ for }x>3
\end{array}\right
[/tex]

Solving, we obtain:

[tex]y(x)=\left\{\begin{array}{cc}2e^{-x}+x-1 &\mbox{ for }0\leq x\leq 3 \\
e^{-x}(2e^3+2)+1/3(2-2x+x^2)-5/3 e^{3-x},&\mbox{ for }x>3
\end{array}\right
[/tex]

This solution is shown in the first plot. Note that it is continuous at x=3 but also differentiable at x=3 since the derivatives are equal there for both functions.

Case 2: g(x) is discontinuous at x=1:

[tex]y^{'}+y=g(x);\quad y(0)=1[/tex]

[tex]g(x)=\left\{\begin{array}{cc}x,&\mbox{ for }0\leq x\leq 1 \\
x^2-2x+4,&\mbox{ for }x>1
\end{array}\right
[/tex]

Solving:

[tex]y(x)=\left\{\begin{array}{cc}2e^{-x}+x-1,&\mbox{ for }0\leq x\leq 1 \\
2e^{-x}+8-4x+x^2-5e^{1-x},&\mbox{ for }x>1
\end{array}\right
[/tex]

This solution is shown in the second plot. It is continuous at x=1 but the derivative does not exist there since the derivatives of the two expression for y are not equal there.

So . . . is this always the case?
 

Attachments

  • continuous at x=3.JPG
    continuous at x=3.JPG
    4.1 KB · Views: 426
  • discontinuous at x=1.JPG
    discontinuous at x=1.JPG
    4.2 KB · Views: 466
Last edited:
  • #6
saltydog said:
This solution is shown in the second plot. It is continuous at x=1 but the derivative does not exist there since the derivatives of the two expression for y are not equal there.

So . . . is this always the case?
The solution can be written as an integral involving the forcing term g(x). Thus y will have 1 more level of smothness than g(x), since integration is a smothing operation. For example if g(x) is piecewise continuous y is continuous and y' is piecewise continuous. If g'(x) is piecwise continuous y' is continuous and g''(x) is piecwise continuous. And so on. A general solution involves and indefinite integration. If we chose to write the solution in a piecewise defined manner as the problem poser did we need to ensure that the piece that includes the initial condition has its constant chosen by the initial condition, and the other piece has its constant chosen by continuity of the solution at the border of the two regions.
 
  • #7
lurflurf said:
The solution can be written as an integral involving the forcing term g(x). Thus y will have 1 more level of smothness than g(x), since integration is a smothing operation. For example if g(x) is piecewise continuous y is continuous and y' is piecewise continuous. If g'(x) is piecwise continuous y' is continuous and g''(x) is piecwise continuous. And so on. A general solution involves and indefinite integration. If we chose to write the solution in a piecewise defined manner as the problem poser did we need to ensure that the piece that includes the initial condition has its constant chosen by the initial condition, and the other piece has its constant chosen by continuity of the solution at the border of the two regions.

Thanks Lurflurf. Don't quite understand your reply, particularly the constants you refer to. For the second case, I obtained expressions:

[tex]y(x)=e^{-x}+e^{-x}\int_0^x te^tdt;\quad 0\leq x\leq 1 [/tex]

[tex]y(x)=e^{-x}+e^{-x}\int_0^1 te^tdt+e^{-x}\int_1^x e^t(t^2-2t+4)dt;\quad x>1[/tex]

Can we perhaps make some general statement about the behavior of the solution (maybe you did and I just don't understand it) depending on two cases at the border [itex]x_m[/itex]:

[tex]g_1(x_m)=g_2(x_m)[/tex]

and:

[tex]g_1(x_m)\ne g_2(x_m)[/tex]

That is, at the point [itex]x_m[/itex], can differentiability be guaranteed for the first case but not the second?

When can continuity of the solution be guaranteed for either case?
 
  • #8
Thanks Lurflurf. Don't quite understand your reply, particularly the constants you refer to. For the second case, I obtained expressions:

What I mean about the constants is that if we write the solution
y=c1+y1 0<=x<x0
y=c2+y2 x1<=x
then c1 and c2 are not independent
we chose 1 (usually c1) according to the initial conditions
and the other according to the continuity of the solution
that is we require (initial condition y(0)=c)
c=y(0)=c1+y1(0)
y(x1-)=y(x0+) ->c1+y(x0)=c2+y2(x0)
Can we perhaps make some general statement about the behavior of the solution (maybe you did and I just don't understand it) depending on two cases at the border [itex]x_m[/itex]:

yes we can and I did. The only tricky part is we are not explicitly told what properties g has and where the diffential equation is valid. I assume from context that the differential equation is valid for x<0 (x=0 in righthand sense).
And g1 and g2 are at least continuous and may be infinitely differentiable.

That is, at the point [itex]x_m[/itex], can differentiability be guaranteed for the first case but not the second?

When can continuity of the solution be guaranteed for either case?

So the function g is within an integral (similar aguments can be made in terms of the differential equation)
g continuous except at x0 ->y is every where continuous, continuously differentiable except at x0
g' continuous except at x0 ->y' is every where continuous, continuously differentiable except at x0
and so on
So in summary however smooth g is y will be one level more smooth
exceptions
if g is infinitely smoth so to will be y
if g is not integrable y may not exist
This all flows form g defining y by an integral transform, or by g being defined by a differentiable equation in y.
 

What does it mean when someone says "I don't understand the case"?

When someone says "I don't understand the case," it means that they are having difficulty comprehending the details, facts, or arguments presented in a legal case. They may not understand the legal terminology, the sequence of events, or the implications of the case.

Why is it important for a scientist to understand the case?

As a scientist, understanding the case is crucial because it allows you to accurately analyze the evidence and make informed decisions. It also helps you to communicate your findings and opinions clearly to others.

What can a scientist do if they don't understand the case?

If a scientist does not understand the case, they can seek clarification from their colleagues, do additional research on the topic, or consult with experts in the relevant field. It is essential to have a thorough understanding of the case before drawing conclusions or making recommendations.

How can a scientist improve their understanding of a case?

To improve their understanding of a case, a scientist can break down the complex information into smaller, more manageable parts. They can also take notes, summarize key points, and ask questions to fill any knowledge gaps. Additionally, seeking feedback from others can help a scientist gain different perspectives and deepen their understanding.

What are the consequences of not understanding the case for a scientist?

If a scientist does not understand the case, they may misinterpret or overlook critical information, leading to incorrect conclusions and recommendations. It can also undermine their credibility and reputation as a scientist. Therefore, it is essential for scientists to strive for a thorough understanding of the case before making any decisions or sharing their findings.

Similar threads

Replies
2
Views
2K
  • Differential Equations
Replies
1
Views
5K
  • Differential Equations
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
2
Views
133
  • Quantum Physics
Replies
0
Views
619
  • Calculus and Beyond Homework Help
Replies
4
Views
1K
  • Advanced Physics Homework Help
Replies
10
Views
277
  • Differential Equations
Replies
1
Views
3K
Replies
3
Views
245
  • Differential Equations
Replies
1
Views
4K
Back
Top