Так , це стандартний трюк Аубін-Нітше (або подвійність ). Ідея полягає у використанні того, щоL2 це власний подвійний простір для написання L2-норма як норма оператора
∥ у∥L2=супϕ ∈L2∖ { 0 }( u , ϕ )∥ ϕ∥L2.
Таким чином, ми маємо оцінити
( u -угод, ϕ ) для довільного
ϕ ∈L2. Для цього ми "піднімаємо"
у -угод до
Н10 вважаючи спочатку довільним
ϕ ∈L2 рішення
шϕ∈Н10 подвійної проблеми
( ∇шϕ, ∇ v ) = ( ϕ , v )для всіх v ∈Н10.(1)
Використовуючи стандартну регулярність рівняння Пуассона, ми це знаємо
∥шϕ∥Н2≤C∥ϕ∥L2.
Вставлення v = u -угод∈Н10 в (1) і використання ортогональності Галеркіна для будь-якого кінцевого елемента (у вашому випадку, кусочно-лінійної) функції шгод дає оцінку
( ϕ , u -угод)= ( ∇шϕ, ∇ ( u -угод) )= ( ∇шϕ- ∇шгод, ∇ ( u -угод) )≤ C∥ у -угод∥Н1∥шϕ-шгод∥Н1.
Оскільки це справедливо для всіх
шгод, нерівність все-таки справедлива, якщо взяти мінімум за всіма кусочно-лінійними
шгод. Тому ми отримуємо
∥ у -угод∥L2=супϕ ∈L2∖ { 0 }( u -угод, ϕ )∥ ϕ∥L2≤ C∥ у -угод∥Н1супϕ ∈L2∖ { 0 }інфшгод∥шϕ-шгод∥Н1∥ ϕ∥L2.(2)
Це
Левма Аубіна-Нітше .
Наступним кроком є використання стандартних оцінок помилок для найкращого наближення кінцевих елементів до рівняння Пуассона. З тих піру є лише в Н1, ми не отримуємо кращої оцінки, ніж
∥ у -угод∥Н1≤інфvгод∥ у -vгод∥Н1≤ c ∥ u∥Н1≤ C∥ f∥Н- 1.(3)
Але, на щастя, ми можемо використати той факт
шϕ має більшу регулярність з правого боку
ϕ ∈L2 замість
Н- 1. У цьому випадку ми маємо
інфшгод∥шϕ-шгод∥Н1≤ c h ∥шϕ∥Н2≤ Ch ∥ ϕ∥L2(4)
Вставлення
(3) і
(4) в
(2) тепер дає бажану оцінку.
(Зверніть увагу, що стандартні оцінки вимагають ступеня полінома к наближення скінченного елемента та показник Соболєва м справжнього рішення задовольняють m < k + 1, тому цей аргумент не працює для кусково-постійної (k = 0) наближення. Ми також цим скористалисяу -угод∈Н10- тобто, що ми маємо відповідне наближення - що не відповідає дійсності констант.
Оскільки ви попросили довідки: Ви можете знайти твердження (навіть для негативних пробілів Соболєва Н- с замість L2) у теоремі 5.8.3 (разом із теоремою 5.4.8) в
Сьюзен К. Бреннер та Л. Рідґвей Скотт , МР 2373954 Математична теорія методів кінцевих елементів , Тексти з прикладної математики ISBN: 978-0-387-75933-3.