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.

So it is proved<br />

Theorem 1. Suppose conditions 1 and 2 are satisfied, f : Ω ⊂ R r → E 2 - sufficiently<br />

smooth function. Then any solution of equation (1) can be represented <strong>in</strong> <strong>the</strong> form<br />

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

where v satisfies regular equation (8), and <strong>the</strong> vector C(x) is def<strong>in</strong>ed from system (10).<br />

S<strong>in</strong>ce detA B = 0, <strong>the</strong>n system (10) is degenerated <strong>in</strong> <strong>the</strong> general case. Let us specify<br />

<strong>the</strong> sufficient conditions on which <strong>the</strong> systems (10) is recurrent sequence of regular l<strong>in</strong>ear<br />

difference- <strong>differential</strong> equations (solved accord<strong>in</strong>g to operator L 1 ).<br />

Introduce <strong>the</strong> follow<strong>in</strong>g condition:<br />

3 The operators A 2 , . . . , A q commute quasitriangularly (see Def.2), or k = n.<br />

Lemma 1. Suppose conditions 1, 2, 3 are satisfied. Then system (10) is a recurrent<br />

sequence of l<strong>in</strong>ear difference- <strong>differential</strong> equations of order q 1 <strong>with</strong> <strong>the</strong> operators of <strong>the</strong><br />

form<br />

˜ L ks = L 1 +<br />

q∑<br />

i=2<br />

a ik<br />

p k −s+1,sL i .<br />

In particular, if condition 1 is satisfied and A 2 = . . . = A q = 0, system (10) takes <strong>the</strong><br />

form<br />

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

i >,<br />

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

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

Proof follows from lemma 2 [6] or lemma [10].<br />

So if <strong>the</strong> conditions of <strong>the</strong>orem 1 and lemma 1 are satisfied <strong>the</strong>n equation (1) can be<br />

reduced to regular equation (8) and to sequence of regular l<strong>in</strong>ear difference-<strong>differential</strong><br />

equations (10) <strong>with</strong> order q 1 . Thus under <strong>the</strong> condition 3 system (10) be pseudos<strong>in</strong>gular<br />

system.<br />

Remark. Based on lemma 1 <strong>the</strong> vector components c i <strong>in</strong> <strong>the</strong> case p i ≥ 2 are determ<strong>in</strong>ed<br />

from <strong>the</strong> recurrent sequence of l<strong>in</strong>ear equations of order q 1 . If p i ∗ = . . . = p i ∗ +s = 1<br />

<strong>the</strong>n <strong>the</strong> correspond<strong>in</strong>g elements c i ∗(x), . . . , c i ∗ +s(x) are determ<strong>in</strong>ed from <strong>the</strong> regular system<br />

of s + 1 equations of order q 1 . In particular if p 1 = · · · = p n = 1, <strong>the</strong>n A B become<br />

zero.<br />

4 The Choice of Boundary Conditions<br />

In this section conditions 1,2,3 are satisfied. In <strong>the</strong> preced<strong>in</strong>g section for <strong>the</strong> def<strong>in</strong>ition of<br />

projections (I − P )u, P u <strong>the</strong> solution u of equation (1) we constructed equation (8) <strong>with</strong><br />

regular operator<br />

q∑<br />

˜L = L 0 + L i A i Γ,<br />

i=1<br />

and system (10), splitt<strong>in</strong>g <strong>in</strong>to recurrent sequence of l<strong>in</strong>ear equations <strong>with</strong> regular difference<strong>differential</strong><br />

operators<br />

q∑<br />

L˜<br />

ks = L 1 + a ik<br />

p k −s+1,s L i.<br />

i=2<br />

5

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

Saved successfully!

Ooh no, something went wrong!