Гладкость - Smoothness - Wikipedia

А функция удара является гладкой функцией с компактная опора.

В математический анализ, то гладкость из функция это свойство, измеряемое количеством непрерывный производные он имеет более высокий домен.[1][2] Как минимум, функция может считаться «гладкой», если она всюду дифференцируема (следовательно, непрерывна).[3] С другой стороны, он может также обладать производными от всех заказы в его домен, и в этом случае говорят, что бесконечно дифференцируемый и называется C-бесконечная функция (или же функция).[4]

Классы дифференцируемости

Класс дифференцируемости классификация функций по свойствам их производные. Это мера производной высшего порядка, которая существует для функции.

Рассмотрим открытый набор на реальная линия и функция ж определены на этом наборе с реальными значениями. Позволять k быть неотрицательным целое число. Функция ж называется имеющей (дифференцируемость) учебный класс Ck если производные ж′, ж″, ..., ж(k) существуют и есть непрерывный (непрерывность подразумевается дифференцируемостью всех производных, кроме ж(k)). Функция ж как говорят бесконечно дифференцируемый, гладкий, или из учебный класс C, если у него есть производные всех порядков.[5] Функция ж говорят, что из учебный класс Cω, или же аналитический, если ж гладкий и если это Серия Тейлор расширение вокруг любой точки в своей области определения сходится к функции в некоторой окрестности точки. Cω таким образом, строго содержится в C. Функции удара примеры функций в C но нет в Cω.

Другими словами, класс C0 состоит из всех непрерывных функций. Класс C1 состоит из всех дифференцируемые функции производная которого непрерывна; такие функции называются непрерывно дифференцируемый. Таким образом, C1 функция - это в точности функция, производная которой существует и имеет класс C0. В общем, классы Ck можно определить рекурсивно объявив C0 быть набором всех непрерывных функций и объявляя Ck для любого положительного целого числа k быть множеством всех дифференцируемых функций, производная которых находится в Ck−1. Особенно, Ck содержится в Ck−1 для каждого k > 0, и есть примеры, показывающие, что это ограничение является строгим (CkCk−1). Класс C бесконечно дифференцируемых функций, является пересечением классов Ck в качестве k изменяется по неотрицательным целым числам.

Примеры

В C0 функция ж(Икс) = Икс за Икс ≥ 0 и 0 в противном случае.
Функция грамм(Икс) = Икс2 грех (1 /Икс) за Икс > 0.
Функция с за и дифференцируема. Однако эта функция не является непрерывно дифференцируемой.
Гладкая функция, не являющаяся аналитической.

Функция

непрерывна, но не дифференцируема в Икс = 0, так что это классно C0, но не класса C1.

Функция

дифференцируема, с производной

Потому что колеблется как Икс → 0, не непрерывна в нуле. Следовательно, дифференцируемо, но не классно C1. Более того, если взять (Икс ≠ 0) в этом примере его можно использовать, чтобы показать, что производная функция дифференцируемой функции может быть неограниченной на компактный набор и, следовательно, дифференцируемая функция на компакте не может быть локально Липшицева непрерывная.

Функции

куда k четные, непрерывные и k раз дифференцируемый вообще Икс. Но в Икс = 0 они не (k + 1) раз дифференцируемые, поэтому они классные Ck, но не класса Cj куда j > k.

В экспоненциальная функция аналитична и, следовательно, попадает в класс Cω. В тригонометрические функции также являются аналитическими, где бы они ни были определены.

В функция удара

гладко, так классно C, но он не аналитичен при Икс = ±1, а значит, не является классным Cω. Функция ж пример гладкой функции с компактная опора.

Классы многомерной дифференцируемости

Функция определено на открытом множестве из говорят[6] быть классным на , для положительного целого числа , я упал частные производные

существуют и непрерывны, для каждого неотрицательные целые числа, такие что , и каждый . Эквивалентно, классный на если -й порядок Производная Фреше из существует и непрерывен в каждой точке . Функция считается классным или же если он непрерывен .

Функция , определенная на открытом множестве из , считается классным на , для положительного целого числа , если все его компоненты

классные , куда естественные прогнозы определяется . Говорят, что это классный или же если он непрерывный, или, что то же самое, если все компоненты непрерывны, на .

Пространство Ck функции

Позволять D быть открытым подмножеством реальной линии. Набор всех Ck действительные функции, определенные на D это Векторное пространство Фреше, со счетной семьей полунормы

куда K изменяется в возрастающей последовательности компактные наборы чей союз является D, и м = 0, 1, ..., k.

Набор C функции над D также образует пространство Фреше. Используются те же полунормы, что и выше, за исключением того, что м разрешено использовать все неотрицательные целые числа.

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

Параметрическая непрерывность

Условия параметрическая непрерывность и геометрическая непрерывность (граммп) были представлены Брайан Барски, чтобы показать, что гладкость кривой можно измерить, сняв ограничения на скорость, с которым параметр вычерчивает кривую.[7][8][9]

Параметрическая непрерывность это концепция, применяемая к параметрические кривые, который описывает плавность значения параметра с расстоянием вдоль кривой.

Определение

А (параметрическая) кривая считается классным Ck, если существует и непрерывно на , где производные на концах считаются односторонние производные (я ем справа, а на слева).

В качестве практического применения этой концепции кривая, описывающая движение объекта с параметром времени, должна иметь C1 непрерывность - чтобы объект имел конечное ускорение. Для более плавного движения, например движения камеры при съемке пленки, требуются более высокие порядки параметрической непрерывности.

Порядок преемственности

Два Кривая Безье сегменты прикреплены, это только C0 непрерывный
Два сегмента кривой Безье, соединенные таким образом, что они являются C1 непрерывный

Различный порядок параметрической непрерывности можно описать следующим образом:[10]

  • C0: Кривые непрерывные
  • C1: Первые производные непрерывны
  • C2: Первая и вторая производные непрерывны
  • Cп: От первого до пth производные непрерывны

Геометрическая непрерывность

Кривые с грамм1-контакт (кружки, линия)

карандаш конических секций с грамм2-контакт: p fix, Переменная
(: круг,: эллипс, : парабола, : hyperbola)

Концепция чего-либо геометрический или же геометрическая непрерывность в первую очередь относился к конические секции (и родственные формы) математиками, такими как Лейбниц, Кеплер, и Понселе. Эта концепция была ранней попыткой описать через геометрию, а не алгебру, концепцию непрерывность как выражено через параметрическую функцию.[11]

Основная идея геометрической непрерывности заключалась в том, что пять конических секций на самом деле были пятью разными версиями одной и той же формы. An эллипс стремится к круг как эксцентриситет приближается к нулю или к парабола по мере приближения к одному; и гипербола стремится к парабола когда эксцентриситет падает к единице; он также может иметь тенденцию к пересечению линии. Таким образом, было непрерывность между коническими секциями. Эти идеи привели к другим концепциям непрерывности. Например, если бы круг и прямая линия были двумя выражениями одной и той же формы, возможно, линию можно было бы рассматривать как круг бесконечности. радиус. Для этого нужно закрыть линию, допустив точку быть точкой на круге, а для и быть идентичным. Такие идеи были полезны при разработке современной, алгебраически определенной идеи непрерывность функции и (видеть проективно расширенная действительная линия для большего).[11]

Гладкость кривых и поверхностей

А изгиб или же поверхность можно описать как имеющий граммп преемственность, с п будучи увеличивающейся мерой плавности. Рассмотрим отрезки по обе стороны от точки кривой:

  • грамм0: Кривые касаются точки соединения.
  • грамм1: Кривые также имеют общие касательная направление в точке соединения.
  • грамм2: Кривые также имеют общий центр кривизны в точке соединения.

В целом, граммп непрерывность существует, если кривые можно изменить, чтобы Cп (параметрическая) непрерывность.[12][13] Повторная параметризация кривой геометрически идентична исходной; затрагивается только параметр.

Эквивалентно две векторные функции ж(т) и грамм(т) имеют граммп преемственность, если ж(п)(т) ≠ 0 и ж(п)(т) ≡ кг(п)(т), для скаляра k > 0 (т.е. если направление, но не обязательно величина двух векторов одинаковы).

Хотя может быть очевидно, что кривая потребует грамм1 непрерывность, чтобы казаться гладкой, навсегда эстетика, такие как те, к которым стремились в архитектура и спортивная машина дизайн, требуются более высокие уровни геометрической непрерывности. Например, отражения в кузове автомобиля не будут выглядеть гладкими, если на нем нет грамм2 преемственность.

А прямоугольник с закругленными углами (с дугами окружности девяносто градусов в четырех углах) имеет грамм1 преемственность, но не имеет грамм2 преемственность. То же верно и для округлый куб, с октантами сферы по углам и четвертьцилиндрами по краям. Если редактируемая кривая с грамм2 требуется преемственность, тогда кубические шлицы обычно выбираются; эти кривые часто используются в промышленный дизайн.

Гладкость кусочно заданных кривых и поверхностей

Другие концепции

Отношение к аналитичности

Пока все аналитические функции являются "гладкими" (т.е. имеют непрерывные все производные) на множестве, на котором они являются аналитическими, например, функции удара (упомянутые выше) показывают, что обратное неверно для функций на вещественных числах: существуют гладкие вещественные функции, которые не являются аналитическими. Простые примеры функций, которые гладко, но не аналитично в любой точке можно сделать с помощью Ряд Фурье; другой пример - это Функция Фабиуса. Хотя может показаться, что такие функции являются скорее исключением, чем правилом, оказывается, что аналитические функции очень тонко разбросаны среди гладких; более строго, аналитические функции образуют скудный подмножество гладких функций. Кроме того, для каждого открытого подмножества А вещественной прямой существуют гладкие функции, аналитические на А и больше нигде[нужна цитата ].

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

Описанная таким образом ситуация резко контрастирует со сложными дифференцируемыми функциями. Если комплексная функция дифференцируема только один раз на открытом множестве, она одновременно бесконечно дифференцируема и аналитична на этом множестве.[нужна цитата ].

Гладкие перегородки единства

Гладкие функции с заданными закрытыми поддерживать используются при строительстве гладкие перегородки единства (видеть разделение единства и глоссарий топологии ); они необходимы при изучении гладкие многообразия, например, чтобы показать, что Римановы метрики могут быть определены глобально, начиная с их локального существования. Простой случай - случай функция удара на вещественной прямой, т. е. гладкая функция ж который принимает значение 0 за пределами интервала [а,б] и такой, что

Учитывая количество перекрывающихся интервалов на линии, функции удара могут быть построены на каждом из них, а также на полубесконечных интервалах (−∞, c] и [d, +∞) чтобы покрыть всю строку, так что сумма функций всегда равна 1.

Из того, что только что было сказано, разделения единства неприменимы к голоморфные функции; их различное поведение относительно существования и аналитическое продолжение является одним из корней пучок теория. Напротив, пучки гладких функций обычно не несут много топологической информации.

Гладкие функции на коллекторах и между ними

Учитывая гладкое многообразие , измерение м, с атласом , затем карта является гладкий на M если для всех существует диаграмма , так что откат к , обозначенный гладкая как функция от к в районе (все частные производные до данного порядка непрерывны). Обратите внимание, что гладкость можно проверить по любому предпочтительному Диаграмма о п в атлас, поскольку требования гладкости функций перехода между диаграммами гарантируют, что если гладко около p на одной диаграмме будет гладко около п в любой другой карте атласа. Если вместо этого это карта из для п-мерное многообразие , тогда F гладко, если для каждого пM, есть диаграмма о п в , и диаграмма о в с , так что гладкая как функция от рм к рп.

Гладкие отображения между многообразиями индуцируют линейные отображения между касательные пространства: за , в каждой точке продвигать (или дифференциальный) отображает касательные векторы в п к касательным векторам в F (p): , а на уровне касательный пучок, толчком является гомоморфизм векторных расслоений: . Двойной эффект от продвижения вперед - это откат, который "натягивает" ковекторы на назад к ковекторам на , и k-формирует в k-формы: . Таким образом, гладкие функции между коллекторами могут передавать локальные данные, подобно векторные поля и дифференциальные формы, от одного многообразия к другому или вниз до евклидова пространства, где вычисления типа интеграция хорошо поняты.

В общем случае прообразы и дальнейшие действия по гладким функциям не являются многообразиями без дополнительных предположений. Прообразы регулярных точек (т. Е. Если дифференциал не обращается в нуль на прообразе) являются многообразиями; это теорема о прообразе. Точно так же продвижение вдоль вложений - это многообразия.[14]

Гладкие функции между подмножествами многообразий

Соответствующее понятие гладкая карта для произвольных подмножеств многообразий. Если ж : ИксY это функция чей домен и классифицировать являются подмножествами многообразий ИксM и YN соответственно. ж как говорят гладкий если для всех ИксИкс есть открытый набор UM с ИксU и гладкая функция F : UN такой, что F(п) = ж(п) для всех пUИкс.

Смотрите также

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

  1. ^ «Окончательный словарь высшего математического жаргона - гладкий». Математическое хранилище. 2019-08-01. Получено 2019-12-13.
  2. ^ Вайсштейн, Эрик В. «Гладкая функция». mathworld.wolfram.com. Получено 2019-12-13.
  3. ^ «Гладкая (математика)». TheFreeDictionary.com. Получено 2019-12-13.
  4. ^ «Гладкая функция - Математическая энциклопедия». www.encyclopediaofmath.org. Получено 2019-12-13.
  5. ^ Уорнер, Фрэнк В. (1983). Основы дифференцируемых многообразий и групп Ли. Springer. п. 5 [Определение 1.2]. ISBN  978-0-387-90894-6.
  6. ^ Анри Картан (1977). Cours de Calcul différentiel. Пэрис: Германн.
  7. ^ Барский, Брайан А. (1981). Бета-сплайн: локальное представление на основе параметров формы и фундаментальных геометрических мер (Кандидат наук.). Университет штата Юта, Солт-Лейк-Сити, штат Юта.
  8. ^ Брайан А. Барский (1988). Компьютерная графика и геометрическое моделирование с использованием бета-сплайнов. Springer-Verlag, Гейдельберг. ISBN  978-3-642-72294-3.
  9. ^ Ричард Х. Бартельс; Джон С. Битти; Брайан А. Барский (1987). Введение в сплайны для использования в компьютерной графике и геометрическом моделировании. Морган Кауфманн. Глава 13. Параметрическая и геометрическая непрерывность. ISBN  978-1-55860-400-1.
  10. ^ ван де Панне, Михиль (1996). «Параметрические кривые». Онлайн-заметки осени 1996 года. Университет Торонто, Канада.
  11. ^ а б Тейлор, Чарльз (1911). «Геометрическая непрерывность». В Чисхолме, Хью (ред.). Британская энциклопедия. 11 (11-е изд.). Издательство Кембриджского университета. С. 674–675.
  12. ^ Барский, Брайан А .; ДеРоуз, Тони Д. (1989). «Геометрическая непрерывность параметрических кривых: три эквивалентных характеристики». Компьютерная графика и приложения IEEE. 9 (6): 60–68. Дои:10.1109/38.41470. S2CID  17893586.
  13. ^ Хартманн, Эрих (2003). «Геометрия и алгоритмы автоматизированного проектирования» (PDF). Technische Universität Darmstadt. п. 55.
  14. ^ Гийемен, Виктор; Поллак, Алан (1974). Дифференциальная топология. Энглвудские скалы: Прентис-Холл. ISBN  0-13-212605-2.