Jump to content

Транссериес

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

Поле был представлен независимо Дан-Гёрингом [1] и Экалле [2] в соответствующих контекстах теории моделей или экспоненциальных полей, а также изучения аналитической сингулярности и доказательства Экаллем гипотез Дюлака. Он представляет собой формальный объект, расширяющий поле экс-логарифмических функций Харди и поле ускоренно-суммируемых рядов Экалле.

Поле имеет богатую структуру: упорядоченное поле с понятием обобщенных рядов и сумм, с совместимым выводом с выделенным антивыводом, совместимыми экспоненциальными и логарифмическими функциями и понятием формального состава рядов.

Примеры и контрпримеры

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

Неформально говоря, exp-log трансряды представляют собой хорошо обоснованные (т.е. обратно хорошо упорядоченные) формальные ряды Хана действительных степеней положительной бесконечной неопределенной. , экспоненты, логарифмы и их композиции, с действительными коэффициентами. Два важных дополнительных условия заключаются в том, что экспоненциальная и логарифмическая глубина трансряда exp-log это максимальное количество итераций exp и log, происходящих в должно быть конечным.

Следующие формальные ряды представляют собой трансряды логарифмического выражения:

Следующие формальные ряды не являются трансрядами логарифмического выражения:

— Этот сериал не очень хорошо основан.
— логарифмическая глубина этого ряда бесконечна
— показательная и логарифмическая глубины этого ряда бесконечны

Можно определить дифференциальные поля трансрядов, содержащих две последние серии; они принадлежат соответственно и (см. параграф «Использование сюрреалистических чисел» ниже).

Введение

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

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

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

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

Формальная конструкция

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

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

Транссерии можно формализовать несколькими эквивалентными способами; здесь мы используем один из самых простых.

Трансряд это хорошо обоснованная сумма,

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

Сумма может быть бесконечной или трансфинитной; обычно пишут в порядке убывания .

В данном случае « хорошо обосновано» означает, что не существует бесконечной возрастающей последовательности. (см. порядок заказа ).

Монический трансмоном - это один из 1, x , log x , log log x , ..., e чисто_large_transseries .

Примечание: потому что , мы не включаем его в качестве примитива, но многие авторы включают; транссерии без журналов не включают но разрешено. Кроме того, избегается цикличность в определении, поскольку чисто_большая_транссерия (выше) будет иметь меньшую экспоненциальную глубину; определение работает посредством рекурсии на экспоненциальной глубине. См. «Транссерии Log-exp как итерированные ряды Хана» (ниже), где описана конструкция, использующая и явно разделяет различные этапы.

Чисто большой трансряд это непустой трансряд. с каждым .

Транссерии имеют конечную экспоненциальную глубину , где каждый уровень вложенности e или log увеличивает глубину на 1 (поэтому мы не можем иметь x + log x + log log x + ...).

Добавление транссерий происходит почленно: (отсутствие термина приравнивается к нулевому коэффициенту).

Сравнение:

Самый значимый термин является для крупнейшего (поскольку сумма хорошо обоснована, это существует для ненулевых трансрядов). положителен тогда и только тогда, когда коэффициент при наиболее значимом члене положителен (именно поэтому выше мы использовали слово «чисто большой»). X > Y тогда и только тогда, когда X Y положительно.

Сравнение унитарных трансмономов:

– это единственные равенства в нашей конструкции.
если только (также ).

Умножение:

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

Дифференциация:

(деление определяется с помощью умножения).

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

Другие конструкции

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

Транссерии log-exp как итерированные серии Хана

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

Транссерии без журналов

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

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

Индуктивное определение:

Для определим линейно упорядоченную мультипликативную группу мономов . Затем мы позволяем обозначаем поле обоснованного ряда . Это набор карт с хорошо обоснованным (т. е. обратно хорошо упорядоченным) носителем, оснащенным поточечной суммой и произведением Коши (см. Ряд Хана ). В , выделим (неединичное) подкольцо чисто больших трансрядов — рядов, носитель которых содержит только мономы, лежащие строго выше .

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

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

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

не имеет такой границы.

Возведение в степень включено :

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

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

Правая композиция с :

Правильный состав с сериалом может быть определена индукцией по экспоненциальной глубине по формуле

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

Транссерии log-exp

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

Определение:

Функция определенное выше, не относится к поэтому логарифм определен лишь частично на : например сериал не имеет логарифма. Более того, каждая положительная бесконечная безлогарифмическая трансрядия больше некоторой положительной степени . Чтобы перейти от к , можно просто «подключить» к переменной рядов формальных повторных логарифмов который будет вести себя как формальная обратная величина -кратно повторенный экспоненциальный член, обозначаемый .

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

Затем мы получаем как направленный союз

На правильный состав с естественным образом определяется

Экспонента и логарифм:

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

сходится в . Писать где сам имеет форму где и . Мы определяем . Мы наконец установили

Использование сюрреалистических чисел

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

Прямое построение транссерий log-exp

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

Можно также определить поле транссерий log-exp как подполе упорядоченного поля. сюрреалистических цифр. [4] Поле оснащен экспоненциальной и логарифмической функциями Гоншора-Крусала. [5] и с его естественной структурой поля хорошо обоснованных рядов в нормальной форме Конвея. [6]

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

Другие области транссерии

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

Вывод Берардуччи-Мантовы [8] на совпадает с с его естественным происхождением и уникален тем, что удовлетворяет отношениям совместимости с экспоненциальной структурой упорядоченного поля и структурой поля обобщенных серий и

Вопреки вывод в и не является сюръективным: например, ряд

не имеет первообразной или (это связано с тем, что эти поля не содержат трансэкспоненциальной функции).

Дополнительные свойства

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

Операции над транссериями

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

Операции над дифференциальным экспоненциальным упорядоченным полем

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

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

  • Логарифм определяется для положительных аргументов.
  • Транссерии Log-exp действительно закрыты .
  • Интеграция: каждая транссерия log-exp имеет единственную первообразную с нулевым постоянным членом , и .
  • Логарифмическая первообразная: для , есть с .

Примечание 1. Два последних свойства означают, что Лиувилль закрыт .

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

Число единственна, она экспоненциальностью называется .

Состав транссерий

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

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

Характеристики
[ редактировать ]
  • Ассоциативность: для и , у нас есть и .
  • Совместимость правых составов: Для , функция является полевым автоморфизмом который коммутирует с формальными суммами, отправляет на , на и на . У нас также есть .
  • Уникальность: композиция уникальна и удовлетворяет двум предыдущим свойствам.
  • Монотонность: за , функция является постоянным или строго монотонным на . Монотонность зависит от знака .
  • Правило цепочки: для и , у нас есть .
  • Функциональный обратный: для , есть уникальная серия с .
  • Разложения Тейлора: каждый трансряд логарифмического выражения имеет разложение Тейлора вокруг каждой точки в том смысле, что для каждой и для достаточно малых , у нас есть
где сумма представляет собой формальную сумму Хана суммируемого семейства.
  • Дробная итерация: для с экспоненциальностью и любое действительное число , дробная итерация из определяется. [9]

Разрешимость и теория моделей

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

Теория дифференциального упорядоченнозначного дифференциального поля

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

The теория разрешима : и может быть аксиоматизирована следующим образом (это теорема 2.2 Ашенбреннера и др.)

  • является упорядоченным дифференциальным полем.
  • Недвижимость средней стоимости (ИВП):
где P — дифференциальный многочлен, т.е. многочлен от

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

Теория упорядоченного экспоненциального поля

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

The теория это экспоненциальное действительное упорядоченное экспоненциальное поле , что является моделью полной по теореме Уилки .

Выносливые поля

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

является полем акселеро-суммируемых трансрядов, и с помощью акселеро-суммирования мы имеем соответствующее поле Харди , которое, как предполагается, является максимальным полем Харди, соответствующим подполю . (Эта гипотеза является неформальной, поскольку мы не определили, какие изоморфизмы полей Харди в дифференциальные подполя поля Харди разрешены.) предполагается, что он удовлетворяет вышеуказанным аксиомам . Не определяя акселеро-суммирование, отметим, что когда операции над сходящимся трансрядом производят расходящийся, в то время как те же операции над соответствующими ростками производят действительный росток, мы можем затем связать расходящийся трансряд с этим ростком.

Поле Харди называется максимальным , если оно не содержится ни в одном поле Харди. По применению леммы Цорна каждое поле Харди содержится в максимальном поле Харди. Предполагается, что все максимальные поля Харди элементарно эквивалентны дифференциальным полям и действительно имеют ту же теорию первого порядка, что и . [10] Логарифмические трансряды сами по себе не соответствуют максимальному полю Харди, поскольку не каждый трансряд соответствует вещественной функции, а максимальные поля Харди всегда содержат трансэкспоненциальные функции. [11]

См. также

[ редактировать ]
  1. ^ Дан, Бернд и Геринг, Питер, Заметки об экспоненциально-логарифмических терминах , Fundamenta Mathematicae, 1987.
  2. ^ Экалле, Жан, Введение в анализируемые функции и конструктивное доказательство гипотезы Дюлака , Mathematical News (Париж), Hermann, 1992
  3. ^ Шмелинг, Майкл, Corps de transséries , докторская диссертация, 2001 г.
  4. ^ Берардуччи, Алессандро и Мантова, Винченцо, Транссерии как зародыши сюрреалистических функций , Труды Американского математического общества, 2017
  5. ^ Гоншор, Гарри, Введение в теорию сюрреалистических чисел , издательство Кембриджского университета, 1986.
  6. ^ Конвей, Джон, Хортон, О числах и играх , Academic Press, Лондон, 1976.
  7. ^ Кульманн, Сальма и Трессл, Маркус, Сравнение экспоненциально-логарифмических и логарифмически-экспоненциальных рядов , Mathematical Logic Quarterly, 2012
  8. ^ Берардуччи, Алессандро и Мантова, Винченцо, Сюрреалистические числа, выводы и трансряды , Европейское математическое общество, 2015
  9. ^ Эдгар, Джорджия (2010), Дробная итерация рядов и транссерий , arXiv : 1002.2378 , Bibcode : 2010arXiv1002.2378E
  10. ^ Ашенбреннер, Маттиас и ван ден Дрис, Лу и ван дер Хувен, Йорис, О числах, микробах и транссериях , In Proc. Межд. Конг. или Математика. , том. 1, с. 1–24 октября 2018 г.
  11. ^ Бошерницан, Майкл, Поля Харди и существование трансэкспоненциальных функций , In aequationes mathematicae , vol. 30, выпуск 1, стр. 258–280, 1986.
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: c019eed9e836d4c69689e7b1ad84d536__1699347180
URL1:https://arc.ask3.ru/arc/aa/c0/36/c019eed9e836d4c69689e7b1ad84d536.html
Заголовок, (Title) документа по адресу, URL1:
Transseries - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)