Научная статья на тему 'Two worlds of mathematical formulas: mathematical s and classical'

Two worlds of mathematical formulas: mathematical s and classical Текст научной статьи по специальности «Математика»

CC BY
84
32
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
МАТЕМАТИЧЕСКИЙ ФОРМУЛЫ / САЙТ ФУНКЦИЙ / СИСТЕМА "MATHEMATICA" / MATHEMATICAL FORMULAS / FUNCTIONS SITE / SYSTEM MATHEMATICA

Аннотация научной статьи по математике, автор научной работы — Marichev Oleg

This talk shows how developing mathematical formulas for site of mathematical functions makes effect on developing system Mathematica and back

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Two worlds of mathematical formulas: mathematical s and classical»

На примере системы ЧФАПЧ с фильтрами первого порядка рассмотрено влияние частотного кольца на область параметров для вращательных режимов.

ЛИТЕРАТУРА

1. Жилин Н.С. Принципы фазовой синхронизации в измерительной технике. Томск: Радио и связь, 1989.

2. Капранов М.В., Кулешов В.Н., Уткин Г.М. Теория колебаний в радиотехнике. М.: Наука, 1984.

3. Шалфеев В.Д. К исследованию нелинейной системы частотно-фазовой автоподстройки частоты с одинаковыми интегрирующими фильтрами в фазовой и частотной цепях // Радиофизика. 1969. Т. 12. №7. С. 1037-1051.

4. Пономаренко В.П. Об устойчивости системы частотной автоподстройки с фильтром второго порядка // Радиотехника и электроника. 1982. Т. 27. №1. С. 113-116.

5. Пономаренко В.П., Матросов В.В. Сложная динамика автогенератора, управляемого петлей частотной автоподстройки // Радиотехника и электроника. 1997. Т. 42. №9. С. 1125-1133.

6. Леонов Г.А., Томаев А.М., Чшиева Т.Н. Устойчивость системы частотно-фазовой синхронизации// Радиотехника и электроника. 1992. Т. 37. №4. С. 671-679.

Abstract: the system of frequeney-phase synchronization with the inverted characteristic of a frequency ring is considered; for cases of filters of the first order conditions of existence of several rotary modes are received; on an example of system with sinusoidal nonlinearity influence of the inverted characteristic of a frequency ring on rotary modes is considered.

Keywords: : rotary modes; limiting cycles; frequency auto fine tuning.

Мамонов Сергей Станиславович к. ф.-м. п., доцент

Рязанский государственный университет

Россия, Рязань

e-mail: m.terehin@rsu.edu.ru

Sergey Mamonov

candidate of phys.-math. sciences, senior lecturer

Ryasan State University

Russia, Ryasan

e-mail: m.terehin@rsu.edu.ru

УДК 519.85

TWO WORLDS OF MATHEMATICAL FORMULAS: MATHEMATICAL S AND

CLASSICAL

© O. Marichev

Keywords: mathematical formulas; functions site; system Mathematica.

Abstract: This talk shows how developing mathematical formulas for site of mathematical functions makes effect on developing system Mathematica and back.

So happened that during centuries nobody seriously investigated how to build internally consistent world of mathematical formulas for analytical functions on the base of the following general restriction: the arguments (arg) of all complex variables £ should satisfy inequality -n < arg (z) ^ n.

Appearance of mathematical computer systems demanded from developers to fill out this hole in the theory of analytical mathematical functions. As result, we have new, sometimes different from classical, but internally logically consistent world of these

functions and corresponding formulas, presented at the functions site (www.functions.wolfram.com) and realized at the computer system Mathematica. The functions there can be evaluated for all

arg(z)

possible values of variables, including their branch cut values.

For example, the value V—£2 can be correctly presented as ize‘'t n J or \/—z(where \x\ means the maximal integer less than or equal to x, it is Floor function), the formula \/1 — z2 = y/1 — zy/1 + z is correct formula for all complex z-plane and formula V—1 + z2 = V—1 + zV1 + z is correct not everywhere at the complex z-plane (it is wrong for z < —1), the correct formula for logarithm from product has special additional term, including floor-arg construction: log(wz) = log(w) + log(z) +

+ 2in

arg(w)

2n

arg(z)

2n

The author of the talk works as developer of calculus related functionality of Mathematica for over 18 years.He derived thousands of new formulas in different areas of elementary and special functions, which are included into the functions site (http : // functions.wolfram.com/) and describe mentioned above Mathematica's world of mathematical formulas. This talk shows how developing mathematical formulas for functions site makes effect on developing system Mathematica and back.

Аннотация: В докладе показывается, как разработка математических формул для сайта математических функций влияет на развитие системы "MathematicanH наоборот.

Ключевые слова: математический формулы; сайт функций; система "Mathematica".

Маричев Олег Игоревич ведущий разработчик Wolfram Research Inc. США, Урбана e-mail: oleg@wolfram.com

Oleg Marichev leading former Wolfram Research Inc. USA, Urbana, IL e-mail: oleg@wolfram.com

УДК 517.958

THE FILIPPOV THEORY AND ITS APPLICATION TO GENE REGULATORY

NETWORKS 1

© A. Machina

Keywords: piecewise-linear differential system; singular stationary point; differential inclusion; Filippov solution.

Abstract: We study some properties of piecewise-linear differential systems describing gene regulatory networks, where the dynamics is governed by sigmoid-type nonlinearities which are close to or coincide with the step functions. To overcome the difficulty of describing the dynamics of the system near singular stationary points (i.e. belonging to the discontinuity set of the system) we use the concept of Filippov solutions. It consists in replacing differential equations with discontinuous right-hand sides with differential inclusions with multi-valued functions. The global existence and some basic properties of Filippov solutions such as continuous dependence on parameters are studied. We also study uniqueness and non-uniqueness of the Fillipov solutions in singular

1The work is supported by Norwegian State Educational Loan Fund.

i Надоели баннеры? Вы всегда можете отключить рекламу.