06.09.2021 Views

Linear Algebra, Theory And Applications, 2012a

Linear Algebra, Theory And Applications, 2012a

Linear Algebra, Theory And Applications, 2012a

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Applications</strong> To Differential<br />

Equations<br />

C.1 <strong>Theory</strong> Of Ordinary Differential Equations<br />

Here I will present fundamental existence and uniqueness theorems for initial value problems<br />

for the differential equation,<br />

x ′ = f (t, x) .<br />

Suppose that f :[a, b] × R n → R n satisfies the following two conditions.<br />

|f (t, x) − f (t, x 1 )|≤K |x − x 1 | , (3.1)<br />

f is continuous. (3.2)<br />

The first of these conditions is known as a Lipschitz condition.<br />

Lemma C.1.1 Suppose x :[a, b] → R n is a continuous function and c ∈ [a, b]. Thenx is a<br />

solution to the initial value problem,<br />

if and only if x is a solution to the integral equation,<br />

x ′ = f (t, x) , x (c) =x 0 (3.3)<br />

x (t) =x 0 +<br />

∫ t<br />

c<br />

f (s, x (s)) ds. (3.4)<br />

Proof: If x solves (3.4), then since f is continuous, we may apply the fundamental<br />

theorem of calculus to differentiate both sides and obtain x ′ (t) =f (t, x (t)) . Also, letting<br />

t = c on both sides, gives x (c) =x 0 . Conversely, if x is a solution of the initial value<br />

problem, we may integrate both sides from c to t to see that x solves (3.4). <br />

Theorem C.1.2 Let f satisfy (3.1) and (3.2). Then there exists a unique solution to the<br />

initial value problem, (3.3) on the interval [a, b].<br />

Proof: Let ||x|| λ<br />

≡ sup { e λt |x (t)| : t ∈ [a, b] } . Then this norm is equivalent to the usual<br />

norm on BC ([a, b] , F n ) described in Example 14.6.2. This means that for ||·|| the norm given<br />

there, there exist constants δ and Δ such that<br />

||x|| λ<br />

δ ≤||x|| ≤ Δ ||x||<br />

417

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!