01.12.2014 Views

Difference-differential Equations with Fredholm Operator in the Main ...

Difference-differential Equations with Fredholm Operator in the Main ...

Difference-differential Equations with Fredholm Operator in the Main ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

✻<br />

✬<br />

✗<br />

✖<br />

✫<br />

x 0 1<br />

ω<br />

∂<br />

✩<br />

✔<br />

✕<br />

✪<br />

✲<br />

Fig. 2. The doma<strong>in</strong> <strong>in</strong> <strong>the</strong> remark<br />

2) We now consider <strong>in</strong>itial value problem for difference equation of first order<br />

B(u(x + 1) − u(x)) + Au = f(x), (19)<br />

(I − P )u| x=0 = u 0 , P u 0 = 0. (20)<br />

Here operators B, A satisfy condition 1, were A 1<br />

def<br />

= A, x ∈ Ω = {0, 1, 2, . . .}.<br />

We look for <strong>the</strong> solution of (19) <strong>in</strong> <strong>the</strong> follow<strong>in</strong>g form<br />

u(x) = Γv(x) + (C(x), Φ).<br />

Accord<strong>in</strong>g to results of paragraph 3 <strong>the</strong> problem (19)-(20)can be reduced to follow<strong>in</strong>g<br />

problems:<br />

v(x + 1) − v(x) + AΓv(x) = (I − Q)f(x), (21)<br />

v| x=0 = Bu 0 (22)<br />

A B (C(x + 1) − C(x)) + A ′ 1C(x) =< f(x), Ψ > . (23)<br />

and it follows from (20) that <strong>the</strong>re is no boundary condition on C(x).<br />

By <strong>in</strong>itial value (22) one easily arrives at <strong>the</strong> next solution<br />

x−1<br />

v(x) = (I − AΓ) x ∑<br />

Bu 0 + (I − AΓ) x−ν−1 (I − Q)f(ν),<br />

ν=0<br />

under x = {1, 2, . . .}.<br />

Based on lemma 1 coefficients of <strong>the</strong> vector C(x) are def<strong>in</strong>ed from <strong>the</strong> split recurrent<br />

sequence<br />

C ipi (x) =< f(x), ψ (1)<br />

i >,<br />

C ipi −s(x) =< f(x), ψ (s+1)<br />

i > −(C ipi −s+1(x + 1) − C ipi −s+1(x)), s = 1, p i − 1, i = 1, n.<br />

So <strong>the</strong> conditions of <strong>the</strong>orem 3 for problem (19)-(20) are satisfied and it has unique<br />

solution.<br />

9

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

Saved successfully!

Ooh no, something went wrong!