Chjimin Guo matematika va axborot fanlari maktabi, ÿ Muallif: Zhiming Guo

Endi biz quyida 4-bo'lim natijalarini isbotlashda qo'llaydigan taqqoslash tamoyilini keltiramiz.
Ushbu taqqoslash printsipi Lemma 4.1 va Lemma 4.2 dan [13] kichik o'zgartirishlar bilan olingan.
Lemma 2.2 ning isboti 6-bo'limga ham qoldiriladi.
model
shuningdek, fazoviy domenning o'lchami. Quyidagi lemma natijani umumlashtiradi.
(ii) Agar L > Lÿ
C([0, L]) da ph ga t ÿ +ÿ sifatida yaqinlashsa .
Q = {(t, x) ÿ R
ÿ
=
(Q) × C 1+
ÿt
(u, y, h) ÿ C
(t, x) ÿ (0, ÿ) × (0, L),
p
keyin s1 = 0,
0 < y(t, x) ÿ max{M1 + a, y0ÿ} := M2 t ÿ [0 , T] va x ÿ [0, h(t)), 0 < hÿ (t) ÿ L uchun hamma
uchun t ÿ (0, T]. Bu yerda l > 0 m, r, D, k, u0ÿ, y0ÿ, u ÿC[0,h0]
va y ÿC[0,h0] ga bogÿliq .
phx(0) = ph(L) = 0
(9) ning barcha musbat yechimlari t ÿ +ÿ sifatida C([0, L]) da nolga intiladi .
2.3 teorema. Faraz qilaylik (u0, y0) (5) shartni qanoatlantiradi , u holda har qanday th ÿ (0, 1) uchun (4)
masala yagona yechimni qabul qiladi (u(t, x), y(t, x), h (t)), qanoatlantiradi
ÿ
d
Lemma 2.1 ning isboti 6-bo'limga qoldiriladi.
: t ÿ [0, +ÿ), x ÿ [0, h(t)]}.
dphxx + aph = sph,
Machine Translated by Google

---

Erkin chegaraga ega Lesli-Gower modeli
5
(t) ÿ ÿµux (t, h(t)),
h
ÿÿÿÿÿÿÿ
ÿÿÿÿÿÿÿ
¯
ÿÿÿÿÿÿ
ÿÿÿÿÿÿ
Turlarning tarqalishini muhokama qilish uchun biz [19] ning Lemma A.2, Lemma A.3 va [16]
ning 8.1 takliflaridan foydalanamiz. O'quvchilarga qulaylik yaratish uchun biz ushbu natijalarni shu yerda takrorlaymiz.