Solution to Apostol's Calculus 8.3 Problem 9

Click For Summary

Homework Help Overview

The problem involves solving a first-order linear differential equation of the form (x - 2)(x - 3)y’ + 2y = (x - 1)(x - 2) across specified intervals: (-∞, 2), (2, 3), and (3, +∞). The original poster expresses confusion regarding the existence of different solutions for each interval despite the function being defined in all cases.

Discussion Character

  • Exploratory, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Participants discuss the method of integrating factors and the implications of the solution's behavior across different intervals. Questions arise about the nature of the solutions in relation to the intervals and the role of constants in determining the sign of the solution.

Discussion Status

Participants are exploring the problem with some providing insights into the method of solving the differential equation. There is a recognition of the general method for solving such equations, and some participants are questioning the implications of the solution's behavior in different intervals without reaching a consensus.

Contextual Notes

There is mention of the problem being presented after an introductory section on differential equations, which may influence the understanding of terms and methods discussed. The original poster notes a potential oversight regarding the definition of the function in relation to absolute values in logarithmic terms.

Ryker
Messages
1,080
Reaction score
2

Homework Statement


Find all solutions of [tex](x - 2)(x - 3)y’ + 2y = (x - 1)(x - 2)[/tex] on each of the following intervals: [tex](a) (-\infty, 2); (b) (2, 3); (c) (3, +\infty).[/tex]

Homework Equations


[tex]f(x) = be^{-A(x)} + e^{-A(x)} \int_a^x \! Q(t)e^{A(t)}dt[/tex]

The Attempt at a Solution


I chose a = 1, first concentrating on a point in interval (a). Using that, I arrived to the solution [tex]f(x) = 4b (\frac{x-2}{x-3})^{2} + \frac{(x-2)(x-1)^{2}}{(x-3)^{2}},[/tex]which is basically the same as what WolframAlpha gives you, namely [tex]f(x) = c_{1} e^{-2(\log(3-x)-\log(2-x))} + \frac{(x-2)(x-1)^{2}}{(x-3)^{2}}.[/tex]The only difference I see is that their solution is general, and Apostol seems to not use the integration constant, but rather operates with b, as in f(a) = b. I'd say that's just a matter of style, though.

What I don't see here is why and how there would be different solutions for the different intervals (a), (b) and (c). As long as the function is defined there, shouldn't they all be the same? And the function is defined there, I think, it's just that WolframAlpha forgot to put absolute values in natural logs. Also, for a, plugging in values from intervals (b) and (c) just gives you a different constant, but that's it, so I'm really puzzled by this one.

Thanks in advance for any help.
 
Last edited:
Physics news on Phys.org


have you done this from first principles? It's an integrating factor method equation.
 


hunt_mat said:
have you done this from first principles?
What do you mean by that?
hunt_mat said:
It's an integrating factor method equation.
This is also something that I hear for the first time.

This problem is given after the first section of the Introduction to Differential Equations chapter, and since none of the terms you've used were introduced, I'm a bit puzzled by what exactly you mean.
 


I hate to do this, but bump. I was hoping to get back to some self-studying over the long weekend, so any further help would be appreciated.
 


For an equation of the form:
[tex] \frac{dy}{dx}+p(x)y=q(x)[/tex]
The generic trick is to write the LHS as a total derivative, in order to do this multiply throughout by:
[tex] e^{\int p(x)dx}[/tex]
To get:
[tex] e^{\int p(x)dx}\frac{dy}{dx}+e^{\int p(x)dx}p(x)y=e^{\int p(x)dx}q(x)[/tex]
Now you can recognise the LHS as a total derivative:
[tex] e^{\int p(x)dx}\frac{dy}{dx}+e^{\int p(x)dx}p(x)y=\frac{d}{dx}\left (e^{\int p(x)dx}y\right)[/tex]
and so the differential equation becomes:
[tex] \frac{d}{dx}\left (e^{\int p(x)dx}y\right) =e^{\int p(x)dx}q(x)[/tex]
Now this can be integrated quite easily. What are the function p(x) and q(x) for your case?
 


hunt_mat said:
[tex] \frac{d}{dx}\left (e^{\int p(x)dx}y\right) =e^{\int p(x)dx}q(x)[/tex]
Now this can be integrated quite easily. What are the function p(x) and q(x) for your case?
In my case, [tex]p(x) = \frac{2}{(x-3)(x-2)},[/tex] and [tex]q(x) = \frac{x-1}{x-3}.[/tex] But then following your last equation, I think I get the same result for f(x) as I've already posted in my original post, don't I?
 


Go through it slowly, integrate p(x) and then take the exponential, what do you get?
 


hunt_mat said:
Go through it slowly, integrate p(x) and then take the exponential, what do you get?
OK, so [tex]\int p(x)dx = 2 \ln\frac{x-3}{x-2} + C,[/tex] so that the left-hand side of the equation after integrating is [tex](\frac{x-3}{x-2})^{2}y.[/tex]On the other hand, the right-hand side of the equation is now [tex]\int \frac{(x-3)(x-1)}{(x-2)^{2}},[/tex] so that after integrating we get [tex]\frac{(x-1)^{2}}{x-2} + C.[/tex]Solving for y, we get [tex]y = c (\frac{x-2}{x-3})^{2} + \frac{(x-2)(x-1)^{2}}{(x-3)^{2}},[/tex] which is exactly what I got for f(x) in my original post. I don't get it, are you getting a different solution? Because I can get to here, I just don't know what to do with different intervals.
 


Now at least you know the general method for solving such equations. As I can see from the solution, the solution is well defined for [itex]x\in (-\infty ,3)[/itex]. For x<2, the solution is negative and for 2<x<3, the solution is positive.
 
  • #10


hunt_mat said:
Now at least you know the general method for solving such equations. As I can see from the solution, the solution is well defined for [itex]x\in (-\infty ,3)[/itex]. For x<2, the solution is negative and for 2<x<3, the solution is positive.
What about the third interval [itex]x\in (3, +\infty),[/itex] why would it not be well defined there? And when you say the solution is negative or positive, wouldn't that also depend on the constant c? Or why would all solutions have to be negative on [itex]x\in (-\infty ,2)?[/itex]
 
  • #11


You're quite correct, the sign of y does depend on the sign of c. You can say for certain that the solution is zero at x=2 and is infinite at x=3, these were most likely the reason that the points were chosen. What can you say about the solution for x>3? (I left that one fo you to tell me about.
 
  • #12


Since we only have squared terms involving (x - 3), it seems it is the same as for 2 < x < 3, and that it diverges as x goes to infinity. Is there anything else one can say?
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
Replies
2
Views
2K
Replies
4
Views
2K
Replies
6
Views
3K
Replies
4
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K