WikiDer > Модуль гладкости

Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) Эта статья в значительной степени или полностью полагается на один источник. Соответствующее обсуждение можно найти на страница обсуждения. Пожалуйста помоги улучшить эту статью путем введения цитаты к дополнительным источникам. Найдите источники: «Модуль гладкости» – Новости · газеты · книги · ученый · JSTOR (Март 2015 г.) Эта статья может быть слишком техническим для большинства читателей, чтобы понять. Пожалуйста помогите улучшить это к сделать понятным для неспециалистов, не снимая технических деталей. (Март 2015 г.) (Узнайте, как и когда удалить этот шаблон сообщения) (Узнайте, как и когда удалить этот шаблон сообщения)

В математика, модули гладкости используются для количественного измерения гладкости функций. Модули гладкости обобщают модуль непрерывности и используются в теория приближения и числовой анализ оценить ошибки аппроксимации многочлены и шлицы.

Модули гладкости

Модуль гладкости порядка ${ displaystyle n}$ ^[1]функции ${ displaystyle f in C [a, b]}$ это функция ${ displaystyle omega _ {n}: [0, infty) to mathbb {R}}$ определяется

${ displaystyle omega _ {n} (t, f, [a, b]) = sup _ {h in [0, t]} sup _ {x in [a, b-nh]} left | Delta _ {h} ^ {n} (f, x) right | qquad { text {for}} quad 0 leq t leq { frac {ba} {n}},}$

и

${ displaystyle omega _ {n} (t, f, [a, b]) = omega _ {n} left ({ frac {ba} {n}}, f, [a, b] right ) qquad { text {for}} quad t> { frac {ba} {n}},}$

где конечная разница (п-го порядка разницы вперед) определяется как

${ displaystyle Delta _ {h} ^ {n} (f, x_ {0}) = sum _ {i = 1} ^ {n} (- 1) ^ {ni} { binom {n} {i }} f (x_ {0} + ih).}$

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

1. ${ displaystyle omega _ {n} (0) = 0, omega _ {n} (0 +) = 0.}$

2. ${ displaystyle omega _ {n}}$ не убывает на ${ displaystyle [0, infty).}$

3. ${ displaystyle omega _ {n}}$ продолжается на ${ displaystyle [0, infty).}$

4. Для ${ Displaystyle м ин mathbb {N}, т geq 0}$ у нас есть:

${ displaystyle omega _ {n} (mt) leq m ^ {n} omega _ {n} (t).}$

5. ${ Displaystyle омега _ {п} (е, лямбда т) leq ( лямбда +1) ^ {п} омега _ {п} (е, т),}$ за ${ displaystyle lambda> 0.}$

6. Для ${ Displaystyle г в mathbb {N}}$ позволять ${ displaystyle W ^ {r}}$ обозначим пространство непрерывных функций на ${ displaystyle [-1,1]}$ который имеет ${ displaystyle (r-1)}$-й абсолютно непрерывной производной на ${ displaystyle [-1,1]}$ и

${ displaystyle left | f ^ {(r)} right | _ {L _ { infty} [- 1,1]} <+ infty.}$

Если ${ displaystyle f in W ^ {r},}$ тогда

${ displaystyle omega _ {r} (t, f, [- 1,1]) leq t ^ {r} left | f ^ {(r)} right | _ {L _ { infty} [-1,1]}, t geq 0,}$

куда ${ displaystyle | g (x) | _ {L _ { infty} [- 1,1]} = { mathrm {ess} sup} _ {x in [-1,1]} | g ( х) |.}$

Приложения

Модули гладкости можно использовать для доказательства оценок погрешности приближения. Благодаря свойству (6) модули гладкости дают более общие оценки, чем оценки в терминах производных.

Например, модули гладкости используются в Неравенство Уитни оценить погрешность аппроксимации локальным полиномом. Другое приложение представлено следующей более общей версией Неравенство Джексона:

Для каждого натурального числа ${ displaystyle n}$, если ${ displaystyle f}$ является ${ displaystyle 2 pi}$-периодической непрерывной функции существует тригонометрический полином ${ displaystyle T_ {n}}$ степени ${ Displaystyle Leq п}$ такой, что

${ displaystyle left | е (х) -T_ {n} (x right) | leq c (k) omega _ {k} left ({ frac {1} {n}}, f right ), quad x in [0,2 pi],}$

где постоянная ${ displaystyle c (k)}$ зависит от ${ Displaystyle к in mathbb {N}.}$

Рекомендации