Рациональная функция

Отношение полиномиальных функций

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

Множество рациональных функций над полем К — это поле, поле частных кольца полиномиальных функций над К.

Определения

Функция называется рациональной, если ее можно записать в виде ${\displaystyle f}$

${\displaystyle f(x)={\frac {P(x)}{Q(x)}}}$

где и являются полиномиальными функциями и не является нулевой функцией . Область определения — это совокупность всех значений, у которых знаменатель не равен нулю. ${\displaystyle P}$ ${\displaystyle Q}$ ${\displaystyle x}$ ${\displaystyle Q}$ ${\displaystyle f}$ ${\displaystyle x}$ ${\displaystyle Q(x)}$

Однако если и имеют непостоянный полиномиальный наибольший общий делитель , то установка и дает рациональную функцию ${\displaystyle \textstyle P}$ ${\displaystyle \textstyle Q}$ ${\displaystyle \textstyle R}$ ${\displaystyle \textstyle P=P_{1}R}$ ${\displaystyle \textstyle Q=Q_{1}R}$

${\displaystyle f_{1}(x)={\frac {P_{1}(x)}{Q_{1}(x)}},}$

который может иметь большую область, чем , и равен в области Это обычное использование для идентификации и , то есть для расширения «по непрерывности» области до области Действительно, можно определить рациональную дробь как эквивалентность класс дробей многочленов, где две дроби и считаются эквивалентными, если . В этом случае эквивалентно ${\displaystyle f}$ ${\displaystyle f}$ ${\displaystyle f.}$ ${\displaystyle f}$ ${\displaystyle f_{1}}$ ${\displaystyle f}$ ${\displaystyle f_{1}.}$ ${\displaystyle \textstyle {\frac {A(x)}{B(x)}}}$ ${\displaystyle \textstyle {\frac {C(x)}{D(x)}}}$ ${\displaystyle A(x)D(x)=B(x)C(x)}$ ${\displaystyle \textstyle {\frac {P(x)}{Q(x)}}}$ ${\displaystyle \textstyle {\frac {P_{1}(x)}{Q_{1}(x)}}.}$

Правильная рациональная функция — это рациональная функция, у которой степень меньше степени и оба являются действительными многочленами , названными по аналогии с правильной дробью в ^[1] ${\displaystyle P(x)}$ ${\displaystyle Q(x)}$ ${\displaystyle \mathbb {Q} .}$

Степень

Существует несколько неэквивалентных определений степени рациональной функции.

Чаще всего степень рациональной функции является максимальной из степеней составляющих ее многочленов P и Q , когда дробь сводится к наименьшим членам . Если степень f равна d , то уравнение

${\displaystyle f(z)=w\,}$

имеет d различных решений по z, за исключением определенных значений w , называемых критическими значениями , когда два или более решений совпадают или где какое-то решение отклоняется на бесконечности (то есть, когда степень уравнения уменьшается после очистки знаменателя ).

В случае комплексных коэффициентов рациональная функция первой степени является преобразованием Мёбиуса .

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

В некоторых контекстах, например, в асимптотическом анализе , степень рациональной функции представляет собой разницу между степенями числителя и знаменателя. ^{[2] : §13.6.1  [3] : Глава IV}

В сетевом синтезе и сетевом анализе рациональную функцию второй степени (то есть отношение двух многочленов степени не выше двух) часто называютбиквадратичная функция .^[4]

Примеры

Примеры рациональных функций

Рациональная функция

${\displaystyle f(x)={\frac {x^{3}-2x}{2(x^{2}-5)}}}$

не определяется в

${\displaystyle x^{2}=5\Leftrightarrow x=\pm {\sqrt {5}}.}$

Это асимптотично как ${\displaystyle {\tfrac {x}{2}}}$ ${\displaystyle x\to \infty .}$

Рациональная функция

${\displaystyle f(x)={\frac {x^{2}+2}{x^{2}+1}}}$

определяется для всех действительных чисел , но не для всех комплексных чисел , поскольку если бы x было квадратным корнем (т.е. мнимой единицей или ее отрицательным числом), то формальная оценка привела бы к делению на ноль: ${\displaystyle -1}$

${\displaystyle f(i)={\frac {i^{2}+2}{i^{2}+1}}={\frac {-1+2}{-1+1}}={\frac {1}{0}},}$

который не определен.

Постоянная функция, такая как f ( x ) = π, является рациональной функцией, поскольку константы являются полиномами. Сама функция рациональна, хотя значение f ( x ) иррационально для всех x .

Каждая полиномиальная функция является рациональной функцией, причем функция, которую нельзя записать в этой форме, например, не является рациональной функцией. Однако прилагательное «иррациональный» обычно не используется для обозначения функций. ${\displaystyle f(x)=P(x)}$ ${\displaystyle Q(x)=1.}$ ${\displaystyle f(x)=\sin(x),}$

Рациональная функция равна 1 для всех x , кроме 0, где имеется устранимая особенность . Сумма, произведение или частное (за исключением деления на нулевой полином) двух рациональных функций само по себе является рациональной функцией. Однако процесс приведения к стандартной форме может непреднамеренно привести к удалению таких особенностей, если не принять меры. Использование определения рациональных функций как классов эквивалентности позволяет обойти эту проблему, поскольку x / x эквивалентно 1/1. ${\displaystyle f(x)={\tfrac {x}{x}}}$

Серия Тейлора

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

Например,

${\displaystyle {\frac {1}{x^{2}-x+2}}=\sum _{k=0}^{\infty }a_{k}x^{k}.}$

Умножив на знаменатель и распределив,

${\displaystyle 1=(x^{2}-x+2)\sum _{k=0}^{\infty }a_{k}x^{k}}$

${\displaystyle 1=\sum _{k=0}^{\infty }a_{k}x^{k+2}-\sum _{k=0}^{\infty }a_{k}x^{k+1}+2\sum _{k=0}^{\infty }a_{k}x^{k}.}$

После корректировки индексов сумм, чтобы получить одинаковые степени x , мы получаем

${\displaystyle 1=\sum _{k=2}^{\infty }a_{k-2}x^{k}-\sum _{k=1}^{\infty }a_{k-1}x^{k}+2\sum _{k=0}^{\infty }a_{k}x^{k}.}$

Объединение подобных членов дает

${\displaystyle 1=2a_{0}+(2a_{1}-a_{0})x+\sum _{k=2}^{\infty }(a_{k-2}-a_{k-1}+2a_{k})x^{k}.}$

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

${\displaystyle a_{0}={\frac {1}{2}}.}$

Тогда, поскольку слева нет степеней x , все коэффициенты справа должны быть равны нулю, откуда следует, что

${\displaystyle a_{1}={\frac {1}{4}}}$

${\displaystyle a_{k}={\frac {1}{2}}(a_{k-1}-a_{k-2})\quad {\text{for}}\ k\geq 2.}$

И наоборот, любая последовательность, удовлетворяющая линейной рекуррентности, определяет рациональную функцию, когда она используется в качестве коэффициентов ряда Тейлора. Это полезно при решении таких повторений, поскольку с помощью разложения частичных дробей мы можем записать любую правильную рациональную функцию как сумму факторов вида 1 / ( ax + b ) и разложить их как геометрические ряды , давая явную формулу для Тейлора коэффициенты; это метод генерации функций .

Абстрактная алгебра и геометрическое понятие

В абстрактной алгебре понятие многочлена расширяется и включает формальные выражения, в которых коэффициенты многочлена могут быть взяты из любого поля . В этой ситуации, учитывая поле F и некоторое неопределенное X , рациональное выражение (также известное как рациональная дробь или, в алгебраической геометрии , рациональная функция ) является любым элементом поля частных кольца полиномов F [ X ]. Любое рациональное выражение можно записать как частное двух многочленов P / Q с Q ≠ 0, хотя это представление не уникально. P / Q эквивалентно R / S для полиномов P , Q , R и S , когда PS = QR . Однако, поскольку F [ X ] является уникальной областью факторизации , существует уникальное представление для любого рационального выражения P / Q с полиномами P и Q самой низкой степени и Q , выбранным как монический . Это похоже на то, как дробь целых чисел всегда можно записать однозначно, в самых простых терминах, путем исключения общих множителей.

Поле рациональных выражений обозначается F ( X ). Говорят, что это поле порождено (как поле) над F ( трансцендентным элементом ) X , поскольку F ( X ) не содержит какого-либо собственного подполя, содержащего как F , так и элемент X.

Сложные рациональные функции

• Наборы Джулии для рациональных карт
• 
  ${\displaystyle {\frac {1}{az^{5}+z^{3}+bz}}}$
• 
  ${\displaystyle {\frac {1}{z^{3}+z(-3-3i)}}}$
• 
  ${\displaystyle {\frac {z^{2}-0.2+0.7i}{z^{2}+0.917}}}$
• 
  ${\displaystyle {\frac {z^{2}}{z^{9}-z+0.025}}}$

В комплексном анализе рациональная функция

${\displaystyle f(z)={\frac {P(z)}{Q(z)}}}$

- это отношение двух многочленов с комплексными коэффициентами, где Q не является нулевым многочленом, а P и Q не имеют общего множителя (это позволяет избежать принятия f неопределенного значения 0/0).

Область определения f представляет собой набор комплексных чисел таких, что . Любую рациональную функцию можно естественным образом расширить до функции, областью определения и областью применения которой является вся сфера Римана ( комплексная проективная линия ). ${\displaystyle Q(z)\neq 0}$

Рациональные функции являются характерными примерами мероморфных функций .

Итерация рациональных функций (отображений) ^[5] на сфере Римана создает дискретные динамические системы .

Понятие рациональной функции на алгебраическом многообразии

Как и многочлены , рациональные выражения также можно обобщить на n неопределенных чисел X ₁ ,..., X _n , взяв поле частных F [ X ₁ ,..., X _n ], которое обозначается F ( X ₁ ,..., X _n ).

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

Приложения

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

Рациональные функции используются для аппроксимации или моделирования более сложных уравнений в науке и технике, включая поля и силы в физике, спектроскопию в аналитической химии, кинетику ферментов в биохимии, электронные схемы, аэродинамику, концентрации лекарств in vivo, волновые функции для атомов и молекул, оптику. и фотография для улучшения разрешения изображения, а также акустики и звука. ^{[ нужна цитата ]}

В обработке сигналов преобразование Лапласа ( для непрерывных систем) или z-преобразование (для систем с дискретным временем) импульсной характеристики широко используемых линейных нестационарных систем (фильтров) с бесконечной импульсной характеристикой являются рациональными функциями над комплексными числами. .

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

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

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

1. • Корлесс, Мартин Дж.; Фражо, Искусство (2003). Линейные системы и управление . ЦРК Пресс. п. 163. ИСБН 0203911377.
   • Паунолл, Малкольм В. (1983). Функции и графики: подготовительная математика к исчислению . Прентис-Холл. п. 203. ИСБН 0133323048.
2. Бурль, Анри (2010). Линейные системы. Уайли. п. 515. дои : 10.1002/9781118619988. ISBN 978-1-84821-162-9. Проверено 5 ноября 2022 г.
3. Бурбаки, Н. (1990). Алгебра II . Спрингер. п. А.IV.20. ISBN 3-540-19375-8.
4. Глиссон, Тилдон Х. (2011). Введение в анализ и проектирование цепей . Спрингер. ISBN 9048194431.
5. Камарена, Омар Антолин. «Итерация рациональных функций» (PDF) .

• «Рациональная функция», Математическая энциклопедия , EMS Press , 2001 [1994]
• Пресс, WH; Теукольский, С.А.; Феттерлинг, WT; Фланнери, BP (2007), «Раздел 3.4. Интерполяция и экстраполяция рациональных функций», Численные рецепты: искусство научных вычислений (3-е изд.), Cambridge University Press, ISBN 978-0-521-88068-8

Внешние ссылки

• Динамическая визуализация рациональных функций с помощью JSXGraph