Jump to content

Гладкость

(Перенаправлено из Плавного приближения )
Функция Bump — это гладкая функция с компактной поддержкой .

В математическом анализе гладкость — это свойство , функции которые измеряемое числом, называемым классом дифференцируемости , непрерывных производных, она имеет в своей области определения . [1]

Функция класса является функцией гладкости не ниже k ; то есть функция класса — это функция, имеющая k -ю производную, непрерывную в своей области определения.

Функция класса или -функция (произносится как С-функция бесконечности ) — это бесконечно дифференцируемая функция , то есть функция, имеющая производные всех порядков (это означает, что все эти производные непрерывны).

Обычно термин «гладкая функция» относится к -функция. Однако для рассматриваемой задачи это может означать и «достаточно дифференцируемый».

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

[ редактировать ]

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

Рассмотрим открытое множество на вещественной строке и функции определено на с реальными ценностями. Пусть k — целое неотрицательное число . Функция называется классом дифференцируемости если производные и непрерывны существуют Если является -дифференцируемый по тогда это хотя бы в классе с непрерывны Функция называется бесконечно дифференцируемой , гладкой или принадлежащей к классу если он имеет производные всех порядков по (Таким образом, все эти производные являются непрерывными функциями над ) [2] Функция говорят, что он классный или аналитический , если является гладким (т.е. находится в классе ) и ее разложение в ряд Тейлора вокруг любой точки области определения сходится к функции в некоторой окрестности точки. Существуют функции гладкие, но не аналитические; таким образом, строго содержится в Функции Bump являются примерами функций с этим свойством.

Другими словами, класс состоит из всех непрерывных функций. Класс состоит из всех дифференцируемых функций , производная которых непрерывна; такие функции называются непрерывно дифференцируемыми . Таким образом, функция — это в точности функция, производная которой существует и принадлежит классу В общем, классы можно определить рекурсивно, объявив быть множеством всех непрерывных функций и объявляя для любого положительного целого числа быть множеством всех дифференцируемых функций, производная которых находится в В частности, содержится в для каждого и есть примеры, показывающие, что это сдерживание является строгим ( ). Класс бесконечно дифференцируемых функций есть пересечение классов как варьируется в пределах неотрицательных целых чисел.

Пример: Непрерывный ( C 0 ) Но не дифференцируемо

[ редактировать ]
С 0 функция f ( x ) = x для x ≥ 0 и 0 в противном случае.
Функция g ( x ) = x 2 sin(1/ x ) для x > 0 .
Функция с для и является дифференцируемым. Однако эта функция не является непрерывно дифференцируемой.
Гладкая функция, не являющаяся аналитической.

Функция непрерывен, но не дифференцируем в точке x = 0 , поэтому принадлежит классу C 0 , но не класса С 1 .

Пример: дифференцируемая в конечное время ( C к )

[ редактировать ]

Для каждого четного числа k функция непрерывен и k раз дифференцируем во всех x . при x = 0 Однако не является ( k + 1) раз дифференцируемым, поэтому имеет класс С к , но не класса С дж где j > k .

Пример: дифференцируемо, но не непрерывно дифференцируемо (не C 1 )

[ редактировать ]

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

Потому что колеблется при x → 0, не является непрерывным в нуле. Поэтому, дифференцируемо, но не принадлежит классу C 1 .

Пример: дифференцируемо, но не липшицево непрерывное

[ редактировать ]

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

Пример: Аналитический ( C ой )

[ редактировать ]

Показательная функция аналитичен и, следовательно, попадает в класс C ой . Тригонометрические функции также аналитичны, где бы они ни были определены, поскольку они представляют собой линейные комбинации комплексных показательных функций. и .

Пример: Гладкий ( C ), но не аналитический ( C ой )

[ редактировать ]

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

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

[ редактировать ]

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

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

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

[ редактировать ]

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

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

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

Непрерывность

[ редактировать ]

Термины параметрическая непрерывность ( C к ) и геометрическая непрерывность ( G н ) были введены Брайаном Барски , чтобы показать, что гладкость кривой можно измерить, сняв ограничения на скорость , с которой параметр отслеживает кривую. [4] [5] [6]

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

[ редактировать ]

Параметрическая непрерывность ( C к ) — понятие, применяемое к параметрическим кривым , которое описывает плавность изменения значения параметра в зависимости от расстояния вдоль кривой. (Параметрическая) кривая говорят, что он относится к классу C к , если существует и непрерывен на , где производные в конечных точках и считаются односторонними производными (справа у и слева на ).

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

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

[ редактировать ]
Два кривой Безье , которые имеют только C прикрепленных сегмента 0 непрерывный
Два сегмента кривой Безье прикреплены таким образом, что они представляют собой C 1 непрерывный

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

  • : нулевая производная непрерывна (кривые непрерывны)
  • : нулевая и первая производные непрерывны
  • : нулевая, первая и вторая производные непрерывны
  • : с 0-го по -я производная непрерывна

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

[ редактировать ]
Кривые с G 1 -контакт (круги,линия)

пучок конических сечений с G 2 -контакт: п исправить, переменная
( : круг, : эллипс, : парабола, : гипербола)

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

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

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

Эквивалентно две векторные функции и такой, что иметь непрерывность в точке их встречи, еслиони удовлетворяют уравнениям, известным как бета-ограничения. Например, бета-ограничения для непрерывность:

где , , и произвольны, но ограничено положительным. [8] : 65  В случае , это сводится к и , для скаляра (т.е. направление, но не обязательно величина, двух векторов одинаково).

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

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

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

[ редактировать ]

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

[ редактировать ]

Хотя все аналитические функции являются «гладкими» (т.е. имеют все производные непрерывными) на множестве, на котором они аналитичны, такие примеры, как функции выпуклости (упомянутые выше), показывают, что обратное неверно для функций на действительных числах: существуют гладкие действительные функции. функции, которые не являются аналитическими. Простые примеры функций, которые являются гладкими, но не аналитическими ни в какой точке, можно составить с помощью рядов Фурье ; другой пример — функция Фабиуса . Хотя может показаться, что такие функции являются скорее исключением, чем правилом, оказывается, что аналитические функции очень тонко разбросаны среди гладких; более строго, аналитические функции образуют скудное подмножество гладких функций. Более того, для любого открытого подмножества A вещественной прямой существуют гладкие функции, аналитические только на A и нигде больше. [ нужна ссылка ] .

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

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

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

[ редактировать ]

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

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

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

Гладкие функции на многообразиях и между ними

[ редактировать ]

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

Если это карта из к -мерное многообразие , затем является гладким, если для каждого есть диаграмма содержащий и диаграмма содержащий такой, что и является гладкой функцией от

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

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

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

[ редактировать ]

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

См. также

[ редактировать ]
  1. ^ Вайсштейн, Эрик В. «Гладкая функция» . mathworld.wolfram.com . Архивировано из оригинала 16 декабря 2019 г. Проверено 13 декабря 2019 г.
  2. ^ Уорнер, Фрэнк В. (1983). Основы дифференцируемых многообразий и групп Ли . Спрингер. п. 5 [Определение 1.2]. ISBN  978-0-387-90894-6 . Архивировано из оригинала 1 октября 2015 г. Проверено 28 ноября 2014 г.
  3. ^ Анри Картан (1977). Курс дифференциального исчисления . Париж: Германн.
  4. ^ Барски, Брайан А. (1981). Бета-сплайн: локальное представление, основанное на параметрах формы и фундаментальных геометрических мерах (доктор философии). Университет Юты, Солт-Лейк-Сити, Юта.
  5. ^ Брайан А. Барски (1988). Компьютерная графика и геометрическое моделирование с использованием бета-сплайнов . Шпрингер-Верлаг, Гейдельберг. ISBN  978-3-642-72294-3 .
  6. ^ Ричард Х. Бартельс; Джон С. Битти; Брайан А. Барски (1987). Введение в сплайны для использования в компьютерной графике и геометрическом моделировании . Морган Кауфманн. Глава 13. Параметрическая и геометрическая непрерывность. ISBN  978-1-55860-400-1 .
  7. ^ ван де Панн, Мишель (1996). «Параметрические кривые» . Интернет-заметки осени 1996 г. Университет Торонто, Канада. Архивировано из оригинала 26 ноября 2020 г. Проверено 1 сентября 2019 г.
  8. ^ Jump up to: а б Барски, Брайан А.; ДеРоуз, Тони Д. (1989). «Геометрическая непрерывность параметрических кривых: три эквивалентные характеристики». IEEE Компьютерная графика и приложения . 9 (6): 60–68. дои : 10.1109/38.41470 . S2CID   17893586 .
  9. ^ Хартманн, Эрих (2003). «Геометрия и алгоритмы автоматизированного проектирования» (PDF) . Технический университет Дармштадта . п. 55. Архивировано (PDF) из оригинала 23 октября 2020 г. Проверено 31 августа 2019 г.
  10. ^ Гиймен, Виктор; Поллак, Алан (1974). Дифференциальная топология . Энглвуд Клиффс: Прентис-Холл. ISBN  0-13-212605-2 .
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 975919a6ff1f588f88abea57419e47cd__1719985680
URL1:https://arc.ask3.ru/arc/aa/97/cd/975919a6ff1f588f88abea57419e47cd.html
Заголовок, (Title) документа по адресу, URL1:
Smoothness - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)