1631124479-119572284ae1af9d1580da47c2f7af49 (848545), страница 7

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 7)

реш.задачи (1), еслиX∀Φ ∈ H(Ω)ν[v, Φ] −(vk v, Φxk ) − (f, Φ) = 0.kЗаметим, что в определении отсутствует давление.Изучаемвопросы:о восстановлении давления,о существовании обобщённого решения,о единственности обобщённого решения.20 / 29§3.2. Определение обобщенного решения.План исследования (Повторение)ОбобщённоерешениеВектор-функция v ∈ H(Ω) называется обобщ. реш.задачи (1), еслиX∀Φ ∈ H(Ω)ν[v, Φ] −(vk v, Φxk ) − (f, Φ) = 0.kЗаметим, что в определении отсутствует давление.Изучаемвопросы:о восстановлении давления,о существовании обобщённого решения,о единственности обобщённого решения.20 / 29§3.2. Определение обобщенного решения.План исследования (Повторение)ОбобщённоерешениеВектор-функция v ∈ H(Ω) называется обобщ. реш.задачи (1), еслиX∀Φ ∈ H(Ω)ν[v, Φ] −(vk v, Φxk ) − (f, Φ) = 0.kЗаметим, что в определении отсутствует давление.Изучаемвопросы:о восстановлении давления,о существовании обобщённого решения,о единственности обобщённого решения.(Первый из этих вопросов уже изучили.)20 / 29§3.3.

Функционал конвекции21 / 29§3.3. Функционал конвекцииВведем в рассмотрение трилинейную формуZXZb(u, v, w) = (u · ∇)v · w dx =uk (Dk vi )wi dx .Ωi,k Ω— функционал конвекции.21 / 29§3.3. Функционал конвекцииВведем в рассмотрение трилинейную формуZXZb(u, v, w) = (u · ∇)v · w dx =uk (Dk vi )wi dx .i,k ΩΩ— функционал конвекции.СвойстваЕсли одна из ф-й u, v, w равна нулю на ∂Ω, то,интегрируя по частям, выводимZb(u, v, w) = − (div u)v · w dx −b(u, w, v).Ω21 / 29§3.3. Функционал конвекцииВведем в рассмотрение трилинейную формуZXZb(u, v, w) = (u · ∇)v · w dx =uk (Dk vi )wi dx .i,k ΩΩ— функционал конвекции.СвойстваЕсли одна из ф-й u, v, w равна нулю на ∂Ω, то,интегрируя по частям, выводимZb(u, v, w) = − (div u)v · w dx −b(u, w, v).ΩЕсли дополнительно div u = 0, тоb(u, v, w) = −b(u, w, v),b(u, v, v) = 0.21 / 29Z(u · ∇)v · w dx =b(u, v, w) =ΩXZuk (Dk vi )wi dxi,k Ω22 / 29Z(u · ∇)v · w dx =b(u, v, w) =ΩXZuk (Dk vi )wi dxi,k ΩСвойстваСправедлива оценка |b(u, v, w)| ≤ kuk4 kwk4 k∇vk2 .22 / 29Z(u · ∇)v · w dx =b(u, v, w) =ΩXZuk (Dk vi )wi dxi,k ΩСвойстваСправедлива оценка |b(u, v, w)| ≤ kuk4 kwk4 k∇vk2 .Из опр.

обобщенного решения для задачи (1)выводим:ν[v, Φ] − b(v, Φ, v) − (f, Φ) = 0.22 / 29§3.4. Существование обобщённогорешенияДоказательство существования о.р. будет основанона следующей теореме.Теорема 3.2(Лерэ–Шаудер)Пусть23 / 29§3.4. Существование обобщённогорешенияДоказательство существования о.р. будет основанона следующей теореме.Теорема 3.2(Лерэ–Шаудер)ПустьH — гильб. сепараб. пространство,23 / 29§3.4.

Существование обобщённогорешенияДоказательство существования о.р. будет основанона следующей теореме.Теорема 3.2(Лерэ–Шаудер)ПустьH — гильб. сепараб. пространство,A : H 7→ H — вполне непрерывный оператор,23 / 29§3.4. Существование обобщённогорешенияДоказательство существования о.р. будет основанона следующей теореме.Теорема 3.2(Лерэ–Шаудер)ПустьH — гильб. сепараб. пространство,A : H 7→ H — вполне непрерывный оператор,Для всех возможных решений уравненияu = λAu при λ ∈ [0, 1] имеет место оценкаkukH ≤ ρ с некоторой постоянной ρ, независящей от u.23 / 29§3.4.

Существование обобщённогорешенияДоказательство существования о.р. будет основанона следующей теореме.Теорема 3.2(Лерэ–Шаудер)ПустьH — гильб. сепараб. пространство,A : H 7→ H — вполне непрерывный оператор,Для всех возможных решений уравнения u = λAuпри λ ∈ [0, 1] имеет место оценка kukH ≤ ρ снекоторой постоянной ρ, не зависящей от u.23 / 29§3.4. Существование обобщённогорешенияДоказательство существования о.р. будет основанона следующей теореме.Теорема 3.2(Лерэ–Шаудер)ПустьH — гильб. сепараб. пространство,A : H 7→ H — вполне непрерывный оператор,Для всех возможных решений уравнения u = λAuпри λ ∈ [0, 1] имеет место оценка kukH ≤ ρ снекоторой постоянной ρ, не зависящей от u.Тогдауравнение u = Au имеет решение в шаре{u : kukH ≤ ρ}.23 / 29Теорема существованияТеорема 3.3Пусть24 / 29Теорема существованияТеорема 3.3ПустьΩ ⊂ R2 или R3 ограничена,24 / 29Теорема существованияТеорема 3.3ПустьΩ ⊂ R2 или R3 ограничена,RΦ 7→ f · Φ dx — непрер.

лин. ф-л на H(Ω).Ω24 / 29Теорема существованияТеорема 3.3ПустьΩ ⊂ R2 или R3 ограничена,RΦ 7→ f · Φ dx — непрер. лин. ф-л на H(Ω).Ω24 / 29Теорема существованияТеорема 3.3ПустьΩ ⊂ R2 или R3 ограничена,RΦ 7→ f · Φ dx — непрер. лин. ф-л на H(Ω).Ω24 / 29Теорема существованияТеорема 3.3ПустьΩ ⊂ R2 или R3 ограничена,RΦ 7→ f · Φ dx — непрер. лин. ф-л на H(Ω).ΩТогдасуществует обобщённое решение задачи (1) v ∈ H(Ω):∀ Φ ∈ H(Ω)ν[v, Φ] − b(v, Φ, v) − (f, Φ) = 0. (∗)24 / 29Доказательство∀Φ ∈ H(Ω)ν[v, Φ] − b(v, Φ, v) − (f, Φ) = 0 (∗)25 / 29Доказательство∀Φ ∈ H(Ω)ν[v, Φ] − b(v, Φ, v) − (f, Φ) = 0 (∗)Имеем, что Φ 7→ (f, Φ) — непр. лин.

ф-л на H(Ω).25 / 29Доказательство∀Φ ∈ H(Ω)ν[v, Φ] − b(v, Φ, v) − (f, Φ) = 0 (∗)Имеем, что Φ 7→ (f, Φ) — непр. лин. ф-л на H(Ω).По теореме Рисса имеем, что ∃ F ∈ H(Ω):[F, Φ] = (f, Φ).25 / 29Доказательство∀Φ ∈ H(Ω)ν[v, Φ] − b(v, Φ, v) − (f, Φ) = 0 (∗)Имеем, что Φ 7→ (f, Φ) — непр. лин.

ф-л на H(Ω).По теореме Рисса имеем, что ∃ F ∈ H(Ω):[F, Φ] = (f, Φ).В силу оценки для функционала конвекции:|b(v, Φ, v)| ≤ kvk24 kΦkH .25 / 29Доказательство∀Φ ∈ H(Ω)ν[v, Φ] − b(v, Φ, v) − (f, Φ) = 0 (∗)Имеем, что Φ 7→ (f, Φ) — непр. лин. ф-л на H(Ω).По теореме Рисса имеем, что ∃ F ∈ H(Ω):[F, Φ] = (f, Φ).В силу оценки для функционала конвекции:|b(v, Φ, v)| ≤ kvk24 kΦkH .В свою очередь, kuk4 ≤ C1 kukH в силу первогонеравенства Лерэ и первого неравенстваПуанкарэ.25 / 29Доказательство∀Φ ∈ H(Ω)ν[v, Φ] − b(v, Φ, v) − (f, Φ) = 0 (∗)Имеем, что Φ 7→ (f, Φ) — непр. лин.

ф-л на H(Ω).По теореме Рисса имеем, что ∃ F ∈ H(Ω):[F, Φ] = (f, Φ).В силу оценки для функционала конвекции:|b(v, Φ, v)| ≤ kvk24 kΦkH .В свою очередь, kuk4 ≤ C1 kukH в силу первогонеравенства Лерэ и первого неравенства Пуанкарэ.Значит, |b(v, Φ, v)| ≤ C12 kvk2H kΦkH .25 / 29По теореме Рисса существует единственныйэлемент Av, такой, что b(v, Φ, v) = [Av, Φ].Докажем существование неподвижной точкиоператора AF .26 / 29По теореме Рисса существует единственный элементAv, такой, что b(v, Φ, v) = [Av, Φ].Теперь перепишем (∗) в виде [νv − Av − F, Φ] = 0.Докажем существование неподвижной точкиоператора AF .26 / 29По теореме Рисса существует единственный элементAv, такой, что b(v, Φ, v) = [Av, Φ].Теперь перепишем (∗) в виде [νv − Av − F, Φ] = 0.В силу произвольности Φ отсюда выводимv = AF v, где AF v := ν1 (Av + F).Докажем существование неподвижной точкиоператора AF .26 / 29Вполне непрерывность AFНапомним, b(v, Φ, v) = [Av, Φ],Имеем,|[Avm − Avn , Φ]| = |b(vm , Φ, vm ) − b(vn , Φ, vn )|≤ |b(vm − vn , Φ, vm )| + |b(vn , Φ, vm − vn )|≤ kvm − vn k4 kvm k4 k∇Φk2 + kvm − vn k4 kvn k4 k∇Φk2≤ C kΦkH kvm − vn k4≤ C kΦkH kvxm − vxn k2 kvm − vn k2 .27 / 29Вполне непрерывность AFНапомним, b(v, Φ, v) = [Av, Φ],AF v = ν1 (Av + F).Имеем,|[Avm − Avn , Φ]| = |b(vm , Φ, vm ) − b(vn , Φ, vn )|≤ |b(vm − vn , Φ, vm )| + |b(vn , Φ, vm − vn )|≤ kvm − vn k4 kvm k4 k∇Φk2 + kvm − vn k4 kvn k4 k∇Φk2≤ C kΦkH kvm − vn k4≤ C kΦkH kvxm − vxn k2 kvm − vn k2 .27 / 29Вполне непрерывность AFНапомним, b(v, Φ, v) = [Av, Φ],AF v = ν1 (Av + F).Это означает, что оператор AF вполненепрерывен на H(Ω) тогда и только тогда, когдаоператор A вполне непрерывен на H(Ω).Имеем,|[Avm − Avn , Φ]| = |b(vm , Φ, vm ) − b(vn , Φ, vn )|≤ |b(vm − vn , Φ, vm )| + |b(vn , Φ, vm − vn )|≤ kvm − vn k4 kvm k4 k∇Φk2 + kvm − vn k4 kvn k4 k∇Φk2≤ C kΦkH kvm − vn k4≤ C kΦkH kvxm − vxn k2 kvm − vn k2 .27 / 29Вполне непрерывность AFНапомним, b(v, Φ, v) = [Av, Φ],AF v = ν1 (Av + F).Это означает, что оператор AF вполне непрерывен наH(Ω) тогда и только тогда, когда оператор A вполненепрерывен на H(Ω).Пусть vm *v в H(Ω).Имеем,|[Avm − Avn , Φ]| = |b(vm , Φ, vm ) − b(vn , Φ, vn )|≤ |b(vm − vn , Φ, vm )| + |b(vn , Φ, vm − vn )|≤ kvm − vn k4 kvm k4 k∇Φk2 + kvm − vn k4 kvn k4 k∇Φk2≤ C kΦkH kvm − vn k4≤ C kΦkH kvxm − vxn k2 kvm − vn k2 .27 / 29Итак,|[Avm − Avn , Φ]| ≤ C kΦkH kvxm − vxn k2 kvm − vn k2 .28 / 29Итак,|[Avm − Avn , Φ]| ≤ C kΦkH kvxm − vxn k2 kvm − vn k2 .Положим Φ := Avm − Avn .28 / 29Итак,|[Avm − Avn , Φ]| ≤ C kΦkH kvxm − vxn k2 kvm − vn k2 .Положим Φ := Avm − Avn .ПолучимkAvm −Avn k2H ≤ C kAvm −Avn kH kvxm −vxn k2 kvm −vn k2 ,28 / 29Итак,|[Avm − Avn , Φ]| ≤ C kΦkH kvxm − vxn k2 kvm − vn k2 .Положим Φ := Avm − Avn .ПолучимkAvm −Avn k2H ≤ C kAvm −Avn kH kvxm −vxn k2 kvm −vn k2 ,то есть kAvm − Avn kH ≤ C kvxm − vxn k2 kvm − vn k2 .28 / 29Итак,|[Avm − Avn , Φ]| ≤ C kΦkH kvxm − vxn k2 kvm − vn k2 .Положим Φ := Avm − Avn .ПолучимkAvm −Avn k2H ≤ C kAvm −Avn kH kvxm −vxn k2 kvm −vn k2 ,то есть kAvm − Avn kH ≤ C kvxm − vxn k2 kvm − vn k2 .Так как vm *v в H,28 / 29Итак,|[Avm − Avn , Φ]| ≤ C kΦkH kvxm − vxn k2 kvm − vn k2 .Положим Φ := Avm − Avn .ПолучимkAvm −Avn k2H ≤ C kAvm −Avn kH kvxm −vxn k2 kvm −vn k2 ,то есть kAvm − Avn kH ≤ C kvxm − vxn k2 kvm − vn k2 .Так как vm *v в H,kvxm − vxn k2 ≤ C и28 / 29Итак,|[Avm − Avn , Φ]| ≤ C kΦkH kvxm − vxn k2 kvm − vn k2 .Положим Φ := Avm − Avn .ПолучимkAvm −Avn k2H ≤ C kAvm −Avn kH kvxm −vxn k2 kvm −vn k2 ,то есть kAvm − Avn kH ≤ C kvxm − vxn k2 kvm − vn k2 .Так как vm *v в H,kvxm − vxn k2 ≤ C иH ,→,→ J0 ,28 / 29Итак,|[Avm − Avn , Φ]| ≤ C kΦkH kvxm − vxn k2 kvm − vn k2 .Положим Φ := Avm − Avn .ПолучимkAvm −Avn k2H ≤ C kAvm −Avn kH kvxm −vxn k2 kvm −vn k2 ,то есть kAvm − Avn kH ≤ C kvxm − vxn k2 kvm − vn k2 .Так как vm *v в H,kvxm − vxn k2 ≤ C иH ,→,→ J0 ,то kvm − vn k2 → 0,28 / 29Итак,|[Avm − Avn , Φ]| ≤ C kΦkH kvxm − vxn k2 kvm − vn k2 .Положим Φ := Avm − Avn .ПолучимkAvm −Avn k2H ≤ C kAvm −Avn kH kvxm −vxn k2 kvm −vn k2 ,то есть kAvm − Avn kH ≤ C kvxm − vxn k2 kvm − vn k2 .Так как vm *v в H,kvxm − vxn k2 ≤ C иH ,→,→ J0 ,то kvm − vn k2 → 0,а значит kAvm − Avn kH → 0.28 / 29Итак,|[Avm − Avn , Φ]| ≤ C kΦkH kvxm − vxn k2 kvm − vn k2 .Положим Φ := Avm − Avn .ПолучимkAvm −Avn k2H ≤ C kAvm −Avn kH kvxm −vxn k2 kvm −vn k2 ,то есть kAvm − Avn kH ≤ C kvxm − vxn k2 kvm − vn k2 .Так как vm *v в H,kvxm − vxn k2 ≤ C иH ,→,→ J0 ,то kvm − vn k2 → 0,а значит kAvm − Avn kH → 0.То есть Avm → Av сильно в H.

Вполненепрерывность доказана.28 / 29Априорная оценкаПостроим оценку для уравнения v = λAF v.29 / 29Априорная оценкаПостроим оценку для уравнения v = λAF v.Пусть λ ∈ [0, 1].29 / 29Априорная оценкаПостроим оценку для уравнения v = λAF v.Пусть λ ∈ [0, 1].Рассмотрим v = λAF v.29 / 29Априорная оценкаПостроим оценку для уравнения v = λAF v.Пусть λ ∈ [0, 1].Рассмотрим v = λAF v.Положим Φ := v.29 / 29Априорная оценкаПостроим оценку для уравнения v = λAF v.Пусть λ ∈ [0, 1].Рассмотрим v = λAF v.Положим Φ := v.Имеем νkvk2H = ν[v, v] = λb(v, v, v) + λ(f, v),29 / 29Априорная оценкаПостроим оценку для уравнения v = λAF v.Пусть λ ∈ [0, 1].Рассмотрим v = λAF v.Положим Φ := v.Имеем νkvk2H = ν[v, v] = λb(v, v, v) + λ(f, v),b(v, v, v) = 0,29 / 29Априорная оценкаПостроим оценку для уравнения v = λAF v.Пусть λ ∈ [0, 1].Рассмотрим v = λAF v.Положим Φ := v.Имеем νkvk2H = ν[v, v] = λb(v, v, v) + λ(f, v),b(v, v, v) = 0,|(f, v)| = |[F, v]| ≤ kFkH kvkH .29 / 29Априорная оценкаПостроим оценку для уравнения v = λAF v.Пусть λ ∈ [0, 1].Рассмотрим v = λAF v.Положим Φ := v.Имеем νkvk2H = ν[v, v] = λb(v, v, v) + λ(f, v),b(v, v, v) = 0,|(f, v)| = |[F, v]| ≤ kFkH kvkH .Значит νkvk2H ≤ λkFkH kvkH ,29 / 29Априорная оценкаПостроим оценку для уравнения v = λAF v.Пусть λ ∈ [0, 1].Рассмотрим v = λAF v.Положим Φ := v.Имеем νkvk2H = ν[v, v] = λb(v, v, v) + λ(f, v),b(v, v, v) = 0,|(f, v)| = |[F, v]| ≤ kFkH kvkH .Значит νkvk2H ≤ λkFkH kvkH ,λkfkH ∗откуда kvkH ≤ kfkH ∗ ≤.νν29 / 29Априорная оценкаПостроим оценку для уравнения v = λAF v.Пусть λ ∈ [0, 1].Рассмотрим v = λAF v.Положим Φ := v.Имеем νkvk2H = ν[v, v] = λb(v, v, v) + λ(f, v),b(v, v, v) = 0,|(f, v)| = |[F, v]| ≤ kFkH kvkH .Значит νkvk2H ≤ λkFkH kvkH ,λkfkH ∗откуда kvkH ≤ kfkH ∗ ≤.νν29 / 29Априорная оценкаПостроим оценку для уравнения v = λAF v.Пусть λ ∈ [0, 1].Рассмотрим v = λAF v.Положим Φ := v.Имеем νkvk2H = ν[v, v] = λb(v, v, v) + λ(f, v),b(v, v, v) = 0,|(f, v)| = |[F, v]| ≤ kFkH kvkH .Значит νkvk2H ≤ λkFkH kvkH ,λkfkH ∗откуда kvkH ≤ kfkH ∗ ≤.ννИтак, для AF выполнены условия теоремыЛерэ–Шаудера.29 / 29Априорная оценкаПостроим оценку для уравнения v = λAF v.Пусть λ ∈ [0, 1].Рассмотрим v = λAF v.Положим Φ := v.Имеем νkvk2H = ν[v, v] = λb(v, v, v) + λ(f, v),b(v, v, v) = 0,|(f, v)| = |[F, v]| ≤ kFkH kvkH .Значит νkvk2H ≤ λkFkH kvkH ,λkfkH ∗откуда kvkH ≤ kfkH ∗ ≤.ννИтак, для AF выполнены условия теоремыЛерэ–Шаудера.

Характеристики

Список файлов лекций