Section 3.4

Systems of Differential Equations

[20/80%]
Show
LaTeX
Problem 3.4.1

Consider the system of differential equations:

dxdt=y+tz \frac{dx}{dt} = y + tz dydt=z+t2x \frac{dy}{dt} = z + t^2 x dzdt=x+ety. \frac{dz}{dt} = x + e^t y.

Prove there exists a solution defined for all t∈[0,1]t \in [0,1], such that

(123456789)(x(0)y(0)z(0))=(000) \begin{pmatrix} 1 & 2 & 3 \\ 4 & 5 & 6 \\ 7 & 8 & 9 \end{pmatrix} \begin{pmatrix} x(0) \\ y(0) \\ z(0) \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ 0 \end{pmatrix}

and also

∫01(x(t)2+y(t)2+z(t)2) dt=1. \int _0^1 \left(x(t)^2 + y(t)^2 + z(t)^2\right) \, dt = 1.
?
Problem 3.4.2

Find all pairs of C∞C^{\infty } functions x(t)x(t) and y(t)y(t) on R\mathbb {R} satisfying

x′(t)=2x(t)−y(t),y′(t)=x(t). x'(t) = 2x(t) - y(t), \quad y'(t) = x(t).
?
Problem 3.4.3

Consider the differential equations

dxdt=−x+y,dydt=log⁡(20+x)−y. \frac{dx}{dt} = -x+y, \quad \frac{dy}{dt} = \log (20+x) - y.

Let x(t)x(t) and y(t)y(t) be a solution defined for all t≥0t \geq 0 with x(0)>0x(0) > 0 and y(0)>0y(0) > 0. Prove that x(t)x(t) and y(t)y(t) are bounded.

?
Problem 3.4.4

Consider the system of differential equations

dxdt=y+x(1−x2−y2) \frac{dx}{dt} = y + x(1-x^2-y^2) dydt=−x+y(1−x2−y2). \frac{dy}{dt} = -x + y(1-x^2-y^2).
?
(1)

Show that for any x0x_0 and y0y_0, there is a unique solution (x(t),y(t))(x(t), y(t)) defined for all t∈Rt \in \mathbb {R} such that x(0)=x0x(0) = x_0, y(0)=y0y(0) = y_0.

(2)

Show that if x0≠0x_0 \neq 0 and y0≠0y_0 \neq 0, the solution referred to in Part 1 approaches the circle x2+y2=1x^2+y^2=1 as t→∞t \to \infty.

Problem 3.4.5

Show that the system of differential equations

ddt(xyz)=(010200003)(xyz) \frac{d}{dt}\begin{pmatrix} x \\ y \\ z \end{pmatrix} = \begin{pmatrix} 0 & 1 & 0 \\ 2 & 0 & 0 \\ 0 & 0 & 3 \end{pmatrix} \begin{pmatrix} x \\ y \\ z \end{pmatrix}

has a solution which tends to ∞\infty as t→−∞t \to -\infty and tends to the origin as t→+∞t \to +\infty.

?
Problem 3.4.6

Let x(t)x(t) be a nontrivial solution to the system

dxdt=Ax, \frac{dx}{dt} = Ax,

where

A=(161−4411−3−98). A = \begin{pmatrix} 1 & 6 & 1 \\ -4 & 4 & 11 \\ -3 & -9 & 8 \end{pmatrix}.

Prove that ∥x(t)∥\left\| x(t)\right\| is an increasing function of tt. (Here, ∥⋅∥\left\| \cdot \right\| denotes the Euclidean norm.)

?
Problem 3.4.7

Consider the solution curve (x(t),y(t))(x(t), y(t)) to the equations

dxdt=1+12x2sin⁡y \frac{dx}{dt} = 1 + \frac{1}{2}x^2 \sin y dydt=3−x2 \frac{dy}{dt} = 3 - x^2

with initial conditions x(0)=0x(0) = 0 and y(0)=0y(0) = 0. Prove that the solution must cross the line x=1x=1 in the xyxy plane by the time t=2t=2.

?
Problem 3.4.8

Consider the differential equation x′′+x′+x3=0x'' + x' + x^3 = 0 and the function f(x,x′)=(x+x′)2+(x′)2+x4f(x,x') = (x+x')^2 + (x')^2 + x^4.

?
(1)

Show that ff decreases along trajectories of the differential equation.

(2)

Show that if x(t)x(t) is any solution, then (x(t),x′(t))(x(t), x'(t)) tends to (0,0)(0,0) as t→∞t \to \infty.

Problem 3.4.9

Consider the differential equation

dxdt=y,dydt=−ay−x3−x5,where a>0. \frac{dx}{dt} = y, \quad \frac{dy}{dt} = -ay - x^3 - x^5, \quad \text{where } a > 0.
?
(1)

Show that

F(x,y)=y22+x44+x66 F(x,y) = \frac{y^2}{2} + \frac{x^4}{4} + \frac{x^6}{6}

decreases along solutions.

(2)

Show that for any ε>0\varepsilon > 0, there is a δ>0\delta > 0 such that whenever ∥(x(0),y(0))∥<δ\left\| (x(0),y(0))\right\| < \delta, there is a unique solution (x(t),y(t))(x(t),y(t)) of the given equations with the initial condition (x(0),y(0))(x(0),y(0)) which is defined for all t≥0t \geq 0 and satisfies ∥(x(t),y(t))∥<ε\left\| (x(t),y(t))\right\| < \varepsilon.

Problem 3.4.10
?
(1)

Let u(t)u(t) be a real valued differentiable function of a real variable tt which satisfies an inequality of the form

u′(t)≤au(t),t≥0,u(0)≤b, u'(t) \leq au(t), \quad t \geq 0, \quad u(0) \leq b,

where aa and bb are positive constants. Starting from first principles, derive an upper bound for u(t)u(t) for t>0t > 0.

(2)

Let x(t)=(x1(t),x2(t),…,xn(t))x(t) = (x_1(t), x_2(t), \ldots , x_n(t)) be a differentiable function from R\mathbb {R} to Rn\mathbb {R}^{n} which satisfies a differential equation of the form

x′(t)=f(x(t)), x'(t) = f(x(t)),

where f:Rn→Rnf : \mathbb {R}^{n} \to \mathbb {R}^{n} is a continuous function. Assuming that ff satisfies the condition

⟨f(y),y⟩≤∥y∥2,y∈Rn \left\langle f(y), y \right\rangle \leq \left\| y\right\| ^2, \quad y \in \mathbb {R}^{n}

derive an inequality showing that the norm ∥x(t)∥\left\| x(t)\right\| grows, at most, exponentially.

Problem 3.4.11

Consider an autonomous system of differential equations

dxidt=Fi(x1,…,xn), \frac{dx_i}{dt} = F_i(x_1, \ldots , x_n),

where F=(F1,…,Fn):Rn→RnF = (F_1, \ldots , F_n) : \mathbb {R}^{n} \to \mathbb {R}^{n} is a C1C^1 vector field.

?
(1)

Let UU and VV be two solutions on a<t<ba < t < b. Assuming that

⟨DF(x)z,z⟩≤0 \left\langle DF(x)z, z \right\rangle \leq 0

for all x,zx, z in Rn\mathbb {R}^{n}, show that ∥U(t)−V(t)∥2\left\| U(t)-V(t)\right\|^2 is a decreasing function of tt.

(2)

Let W(t)W(t) be a solution defined for t>0t > 0. Assuming that

⟨DF(x)z,z⟩≤−∥z∥2, \left\langle DF(x)z, z \right\rangle \leq -\left\| z\right\| ^2,

show that there exists C∈RnC \in \mathbb {R}^{n} such that

lim⁡t→∞W(t)=C. \lim _{t \to \infty } W(t) = C.
Problem 3.4.12

Let V:Rn→RV : \mathbb {R}^{n} \to \mathbb {R} be a C1C^1 function and consider the system of second order differential equations

xi′′(t)=fi(x(t)),1≤i≤n, x_i''(t) = f_i(x(t)), \quad 1 \leq i \leq n,

where

fi=−∂V∂xi. f_i = -\frac{\partial V}{\partial x_i}.

Let x(t)=(x1(t),…,xn(t))x(t) = (x_1(t), \ldots , x_n(t)) be a solution of this system on a finite interval a<t<ba < t < b.

?
(1)

Show that the function

H(t)=12⟨x′(t),x′(t)⟩+V(x(t)) H(t) = \frac{1}{2} \left\langle x'(t), x'(t) \right\rangle + V(x(t))

is constant for a<t<ba < t < b.

(2)

Assuming that V(x)≥M>−∞V(x) \geq M > -\infty for all x∈Rnx \in \mathbb {R}^{n}, show that x(t)x(t), x′(t)x'(t), and x′′(t)x''(t) are bounded on a<t<ba < t < b, and then prove all three limits

lim⁡t→bx(t),lim⁡t→bx′(t),lim⁡t→bx′′(t) \lim _{t \to b} x(t), \quad \lim _{t \to b} x'(t), \quad \lim _{t \to b} x''(t)

exist.

Problem 3.4.13

For λ\lambda a real number, find all solutions of the integral equations

φ(x)=ex+λ∫0xe(x−y)φ(y) dy,0≤x≤1, \varphi (x) = e^x + \lambda \int _0^x e^{(x-y)}\varphi (y) \, dy, \quad 0 \leq x \leq 1, ψ(x)=ex+λ∫01e(x−y)ψ(y) dy,0≤x≤1. \psi (x) = e^x + \lambda \int _0^1 e^{(x-y)}\psi (y) \, dy, \quad 0 \leq x \leq 1.
?
Problem 3.4.14

Let VV be a finite-dimensional vector space (over C\mathbb {C}) of C∞C^{\infty } complex valued functions on R\mathbb {R} (the linear operations being defined pointwise). Prove that if VV is closed under differentiation (i.e., f′(x)f'(x) belongs to VV whenever f(x)f(x) does), then VV is closed under translations (i.e., f(x+a)f(x+a) belongs to VV whenever f(x)f(x) does, for all real numbers aa).

?
Problem 3.4.15

Describe all three dimensional vector spaces VV of C∞C^{\infty } complex valued functions on R\mathbb {R} that are invariant under the operator of differentiation.

?
Problem 3.4.16

Let the real valued functions f1,…,fn+1f_1, \ldots , f_{n+1} on R\mathbb {R} satisfy the system of differential equations

fk+1′+fk′=(k+1)fk+1−kfk,k=1,…,n f_{k+1}' + f_k' = (k+1)f_{k+1} - kf_k, \quad k = 1, \ldots , n fn+1′=−(n+1)fn+1. f_{n+1}' = -(n+1)f_{n+1}.

Prove that for each kk,

lim⁡t→∞fk(t)=0. \lim _{t \to \infty } f_k(t) = 0.
?
Problem 3.4.17

Consider the vector differential equation

dx(t)dt=A(t)x(t) \frac{dx(t)}{dt} = A(t)x(t)

where AA is a smooth n×nn \times n function on R\mathbb {R}. Assume AA has the property that ⟨A(t)y,y⟩≤c∥y∥2\left\langle A(t)y, y \right\rangle \leq c\left\| y\right\|^2 for all yy in Rn\mathbb {R}^{n} and all tt, where cc is a fixed real number. Prove that any solution x(t)x(t) of the equation satisfies ∥x(t)∥≤ect∥x(0)∥\left\| x(t)\right\| \leq e^{ct}\left\| x(0)\right\| for all t>0t > 0.

?
Problem 3.4.18

Let WW be a real 3×33 \times 3 antisymmetric matrix, i.e., Wt=−WW^t = -W. Let the function

X(t)=(x1(t)x2(t)x3(t)) X(t) = \begin{pmatrix} x_1(t) \\ x_2(t) \\ x_3(t) \end{pmatrix}

be a real solution of the vector differential equation dXdt=WX\frac{dX}{dt} = WX.

?
(1)

Prove that ∥X(t)∥\left\| X(t)\right\|, the Euclidean norm of X(t)X(t), is independent of tt.

(2)

Prove that if vv is a vector in the null space of WW, then X(t)⋅vX(t) \cdot v is independent of tt.

(3)

Prove that the values X(t)X(t) all lie on a fixed circle in R3\mathbb {R}^{3}.

Problem 3.4.19

For each t∈Rt \in \mathbb {R}, let P(t)P(t) be a symmetric real n×nn \times n matrix whose entries are continuous functions of tt. Suppose for all tt that the eigenvalues of P(t)P(t) are all ≤−1\leq -1. Let x(t)=(x1(t),…,xn(t))x(t) = (x_1(t), \ldots , x_n(t)) be a solution of the vector differential equation

dxdt=P(t)x. \frac{dx}{dt} = P(t)x.

Prove that

lim⁡t→∞x(t)=0. \lim _{t \to \infty } x(t) = 0.
?
Problem 3.4.20

Let

A=(0000100001000010),B=(0100001000010000) A = \begin{pmatrix} 0 & 0 & 0 & 0 \\ 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \end{pmatrix}, \qquad B = \begin{pmatrix} 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 \end{pmatrix}

Find the general solution of the matrix differential equation dXdt=AXB\frac{dX}{dt} = AXB for the unknown 4×44 \times 4 matrix function X(t)X(t).

?