Академический Документы
Профессиональный Документы
Культура Документы
d2 y dy d3 y
(a) + 2 +x=0
dx2 dx dx3
(b) y 00 − 3y 0 + 2y = x3 sin(x)
(c) x3 y 000 + (2x − 1)y 0 = y
(d) y (4) − ln(x)y 00 = 6
(e) (y 00 )2 = x2 exy
(f) cos(x)y 000 + 2 sin(x)y 0 = 0
Solution:
y 0 = y 2 (2 − y).
Solution:
1
• y < 0: y 0 > 0, so y is increasing. The more negative y is, the larger y 0 is and the
faster y is increasing.
• 0 < y < 2: y 0 > 0, so y is increasing. If y is near 0, y 0 is small and positive, so y
is increasing slowly. As y gets closer to 2, then y 0 gets smaller and the slope of the
solution curve decreases (so y is again increasing slowly). Therefore, we know that
there is an inflection point for some 0 < y < 2. To determine the inflection point,
we need to find y 00 , which is just f 0 (y)y 0 , and set it equal to 0. Since
f 0 (y) = 2y(2 − y) − y 2 = 4y − 3y 2 ,
we see that
y 00 = (4y − 3y 2 )y 2 (2 − y).
Set this equal to 0:
0 = y 00 = (4y − 3y 2 )y 2 (2 − y) = (4 − 3y)y 3 (2 − y)
=⇒ 0 = 4 − 3y, 0 = y 3 , 0 = 2 − y.
3. Find an autonomous first order differential equation that has the specified properties.
2
• y 0 > 0 for 0 < y < 2 and 2 < y < ∞.
(b) A differential equation with no equilibrium solutions and y 0 > 0 for all y.
Solution:
f (y) = cy a (y − 2)b ,
where c is a constant to be determined. Since y 0 > 0 for 0 < y < 2 and 2 < y < ∞,
we know that b must be even, so one solution is given by letting b = 2. Since y 0 < 0
for −∞ < y < 0, we know that c > 0 if a is odd; so for example, c = 1 and a = 1
will work. Choosing a = 1 gives f (y) = y(y − 2)2 . We can easily verify that this
equation satisfies the required conditions. An alternate solution would be to let a = 2
(or some even number), in which case c < 0 is needed. So a second solution would have
f (y) = −y 2 (y − 2)2 .
Summary: Two possible solutions are y 0 = y(y − 2)2 and y 0 = −y 2 (y − 2)2 .
(b) Since there are no equilibrium solutions, the right-hand side must be a product of func-
tions of y that have no roots. Since y 0 > 0 for all y, one possible solution is y 0 = c,
where c > 0. An example would be y 0 = 2. This is not too interesting, however. A more
interesting example would be to consider a function of y that is defined for all y and has
no zeros. There are a number of possibilities. Below are a few examples.
• y0 = y2 + 1
1
• y0 = 2
y +1
• y 0 = ey
(a) y(5) = 2
3
(b) y − =1
2
(c) y(0) = 0
(d) y(−4) = 4
t t
Solution: We see that p(t) = = , which is continuous on the intervals
t2 −1 (t − 1)(t + 1)
et
(−∞, −1), (−1, 1), and (1, ∞); and f (t) = is continuous on (−∞, 3) and (3, ∞). There-
t−3
fore, (−∞, −1), (−1, 1), (1, 3), and (3, ∞) are the only possible intervals of existence, and so
we have
3
3
(b) t0 = − ∈ (−∞, −1), so (−∞, −1) is the largest such interval;
2
(c) t0 = 0 ∈ (−1, 1) so (−1, 1) is the largest such interval;
(d) t0 = −4 ∈ (−∞, −1), so (−∞, −1) is the largest such interval.
ty 0 − 4y = 6t6 , y(1) = 2.
(a) Determine the largest interval on which the Existence and Uniqueness Theorem for linear
first order equations guarantees the existence of a unique solution.
(b) Determine the solution on this interval.
(c) What is the actual interval of existence for the solution? Does this contradict the
Existence and Uniqueness Theorem? Why or why not?
Solution:
t−4 y 0 − 4t−5 y = 6t
d −4
t y = 6t
Z dt Z
d −4
t y dt = 6t dt
dt
t−4 y = 3t2 + c (c ∈ R)
y(t) = 3t2 + c t4 .
c = −1.
Therefore,
y(t) = 3t2 − 1 t4 .
4
(c) The actual interval of existence is (−∞, ∞). This does not contradict the Existence
and Uniqueness Theorem, because the theorem only gives the guaranteed interval of
existence of a unique solution. This does not exclude the possibility that the actual
interval of existence of a solution can be larger.
Solution: First, we need to determine the expected interval of existence. Rewrite the DE:
2x
y0 − y = x.
x2 −1
2x
Then p(x) = − , which is continuous for (−∞, −1), (−1, 1), (1, ∞), and f (x) = x, which
x2 −1
is continuous for all x. Therefore, since x0 = 0 ∈ (−1, 1), a unique solution is guaranteed to
exist on (−1, 1).
1
y(x) = (x2 − 1)(ln |x2 − 1| − 4) x ∈ (−1, 1).
2
7. Assume that all functions in the following are defined on a common interval (a, b).
5
(a) Show directly that if y1 and y2 are solutions of the nonhomogeneous equation
y 0 + p(x)y = 0. (2)
(b) Show directly that if y1 solves (1) and y2 solves (2), then y1 + y2 solves (1).
Solution:
Therefore,
Next, we see that this DE only makes sense if 9 − y 2 ≥ 0, or ifp−3 ≤ y ≤ 3. Iin order to
do separation of variables, we will need to divide both sides by 9 − y 2 , which can only be
done if 9 − y 2 > 0, or −3 < y < 3. So, suppose that there is a solution for which −3 < y < 3.
Then we have
y0
p = 1.
9 − y2
6
Integrating both sides with respect to t gives
Z Z
1 dy
p dt = 1 dt
9 − y 2 dt
y
sin−1 = t + c (c ∈ R).
3
Applying the initial condition y(0) = 0 gives c = 0, so we have
y
sin−1 = t.
3
π π
The range of sin−1 (·) is − ≤ θ ≤ , so the solution is
2 2
π π
y(t) = 3 sin(t), − ≤ t ≤ .
2 2
Notice that
π
• y − = −3 and
π 2
• y = 3,
2
both of which are equilibrium solutions. Therefore, the solution of the IVP is
−3,
t < − π2
y(t) = 3 sin(t), − π2 ≤ t ≤ π
2
.
3, t > π2
ey y 0 = 1 − ey , y(2) = 0.
y(x) = 0.
The solution is valid for all x, so the interval of validity is (−∞, ∞).
7
6
10. For what values of the constants α, y0 , and the integer n is the function y(t) = a
5 + t4
solution of the initial value problem
y 0 + αtn y 2 = 0, y(1) = y0 ?
24t3
y 0 (t) = − ,
(5 + t4 )2
so
0 = y 0 + αtn y 2
24t3
6
=− + αtn
(5 + t4 )2 5 + t4
24t3 + 36αtn
=− .
(5 + t4 )2
0 = −24t3 + 36αtn .
• n = 3; and
• −24 + 36α = 0.
2
So, α = .
3
We find y0 by evaluating y(1), giving
6
y0 = y(1) = = 1.
5 + 14
2
Answer: α = , n = 3, y0 = 1.
3