27.10.2014 Views

Вычислительная математика - ИСЭМ СО РАН

Вычислительная математика - ИСЭМ СО РАН

Вычислительная математика - ИСЭМ СО РАН

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.

В силу оценки из условия 5) при достаточно малых λ ∈ S 0 ⊂ S выполнится неравенство<br />

C<br />

a(λ) ‖x∗ (λ)‖ (1 − q)r 0 , где C – const. Следовательно, ‖Φ(V, λ)‖ r 0 при ‖V ‖ r 0 и λ ∈ S 0 .<br />

Теорема доказана.<br />

Пример 1. Покажем, что уравнение<br />

F (x, λ) ≡<br />

∫ 1<br />

0<br />

tsx(s) ds + λx(t) −<br />

∫ 1<br />

0<br />

x 3 (s) ds − f(t, λ) = 0,<br />

где x(t) ∈ C [0,1] , f(t, λ) = m(t)λ n , m(t) ∈ C [0,1] , n 2, S – суть проколотая окрестность<br />

нуля, имеет малое непрерывное решение x λ (t) → 0 при S ∋ λ → 0.<br />

Здесь дифференциал Фреше имеет вид<br />

при этом<br />

F x (x, λ)h =<br />

∫ 1<br />

Далее, F x (0, 0) = 0 и выполнена оценка<br />

0<br />

∫ 1<br />

tsh(s) ds + λh(t) − 3<br />

0<br />

x 2 (s)h(s) ds,<br />

Fx<br />

−1 (0, λ)h = h(t)<br />

∫<br />

λ − 3t<br />

1<br />

sh(s) ds.<br />

(3λ + 1)λ<br />

0<br />

‖Fx<br />

−1 (0, λ)‖ = O<br />

( ) 1<br />

.<br />

|λ|<br />

Условия 1), 2) очевидно выполнены. В силу неравенств<br />

‖F x (x, λ)h − F x (0, λ)h‖ =<br />

∫ 1<br />

∥<br />

∥3<br />

0<br />

x 2 ∥<br />

(s)h(s) ds∥ 3r‖x‖ ‖h‖<br />

условие 3) тоже выполнено. Если n > 2, то выполнено условие 4), и по теореме 1, уравнение<br />

имеет малое непрерывное решение x λ (t) → 0 при λ → 0. Если n = 2, то условие 4) не<br />

выполняется, но будет выполнено условие 5), если m(t) = const · t. Таким образом, для<br />

того, чтобы данное уравнение при n = 2 имело решение x λ (t) → 0 при λ → 0, достаточно,<br />

чтобы m(t) = const · t.<br />

Пример 2. Покажем, что двухточечная краевая задача для интегро-дифференциальной<br />

системы<br />

⎧⎨<br />

−y ′′ (t) = x(t), y(0) = y(1) = 0, 0 < t < 1<br />

∫ 1<br />

⎩ y(t) + λx(t) + t x(s)y(s) ds + f(t, λ) = 0, λ > 0<br />

0<br />

где f(t, λ) = m(t)λ n , m(t) ∈ L 2 [0,1], n 2, имеет малое непрерывное решение<br />

{x λ (t), y λ (t)} → (0, 0) при λ → +0.<br />

Из первого уравнения системы имеем y(t) =<br />

G(t, s) =<br />

∫ 1<br />

0<br />

G(t, s)x(s) ds, где<br />

{ t(1 − s), 0 t s<br />

(1 − t)s, s t 1.<br />

160

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

Saved successfully!

Ooh no, something went wrong!