Вычислительная математика - ИСЭМ СО РАН
Вычислительная математика - ИСЭМ СО РАН
Вычислительная математика - ИСЭМ СО РАН
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