10.04.2015 Views

ON UNIQUE SOLVABILITY OF THE INITIAL VALUE PROBLEM FOR ...

ON UNIQUE SOLVABILITY OF THE INITIAL VALUE PROBLEM FOR ...

ON UNIQUE SOLVABILITY OF THE INITIAL VALUE PROBLEM FOR ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Unique Solvability of the Non-Linear Cauchy Problem 53<br />

admits the estimate<br />

( ∫ b<br />

max |u(t)| ≤ r |c| +<br />

t∈[a,b]<br />

Lemma 3. Problem (18), (19) is solvable if the problem<br />

has no non-trivial solution.<br />

a<br />

)<br />

|q(s)| ds . (27)<br />

u ′ (t) = −µ 1 (t)u(ω 1 (t)), t ∈ [a, b], (28)<br />

u(a) = 0 (29)<br />

Proof. Indeed, assume that the problem (28), (29) has no non-trivial solution.<br />

Let u be a solution of the problem (26). Then<br />

where<br />

u ′ (t) = (lu)(t) + Q(t), u(a) = c, (30)<br />

Q(t) := µ 0 (t) √ 1 + λ(t) sin u(ω 0 (t)), t ∈ [a, b]. (31)<br />

Using the estimate<br />

∣ µ0 (t) √ 1 + λ(t) sin u(ω 0 (t)) ∣ ∣ ≤ |µ0 (t)| √ 1 + λ(t)<br />

valid for a.e. t ∈ [a, b] and taking Lemma 2 into account, we conclude that<br />

an arbitrary solution u of the problem (26) satisfies the estimate<br />

and<br />

Let us put<br />

( ∫ b<br />

max |u(t)| ≤ r |c| +<br />

t∈[a,b]<br />

( ∫ b<br />

ρ := r |c| +<br />

a<br />

a<br />

|µ 0 (s)| √ )<br />

1 + λ(s) ds .<br />

|µ 0 (s)| √ )<br />

1 + λ(s) ds<br />

(32)<br />

(lu)(t) := −µ 1 (t)u(ω 1 (t)), t ∈ [a, b], (33)<br />

and return to the problem (24). In this notation, all solutions of the problem<br />

(24) satisfy the estimate (25). So, using the assumption that the problem<br />

(28), (29) has only the trivial solution and applying Lemmas 1 and 2, we<br />

prove Lemma 3.<br />

□<br />

Lemma 4. Let at least one of the conditions (21a) and (21b) be satisfied.<br />

Then the homogeneous Cauchy problem (28), (29) has no non-trivial<br />

solution.<br />

Proof. This statement follows from [11, Corollary 3.3] and [2, Theorem 1.3]<br />

with the operator l defined by the formula (33).<br />

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

Saved successfully!

Ooh no, something went wrong!