Преобразование Лапласа. Для решения линейных дифференциальных уравнений будем использовать преобразование Лапласа. Непрерывное преобразование лапласа История возникновения комплексной переменной лапласа
Преобразова́ние Лапла́са - интегральное преобразование, связывающее функцию F (s) {\displaystyle \ F(s)} комплексного переменного (изображение ) с функцией f (x) {\displaystyle \ f(x)} вещественного переменного (оригинал ). С его помощью исследуются свойства динамических систем и решаются дифференциальные и интегральные уравнения .
Одной из особенностей преобразования Лапласа, которые предопределили его широкое распространение в научных и инженерных расчётах, является то, что многим соотношениям и операциям над оригиналами соответствуют более простые соотношения над их изображениями. Так, свёртка двух функций сводится в пространстве изображений к операции умножения, а линейные дифференциальные уравнения становятся алгебраическими.
Энциклопедичный YouTube
1 / 5
✪ Преобразование Лапласа - bezbotvy
✪ Лекция 10: Преобразование Лапласа
✪ Высшая математика -- 4. Преобразования Лапласа. Часть 1
✪ Метод Лапласа решения ДУ
✪ Лекция 11: Применение преобразования Лапласа к решению дифференциальных уравнений
Субтитры
Определение
Прямое преобразование Лапласа
lim b → ∞ ∫ 0 b | f (x) | e − σ 0 x d x = ∫ 0 ∞ | f (x) | e − σ 0 x d x , {\displaystyle \lim _{b\to \infty }\int \limits _{0}^{b}|f(x)|e^{-\sigma _{0}x}\,dx=\int \limits _{0}^{\infty }|f(x)|e^{-\sigma _{0}x}\,dx,}то он сходится абсолютно и равномерно для и - аналитическая функция при σ ⩾ σ 0 {\displaystyle \sigma \geqslant \sigma _{0}} ( σ = R e s {\displaystyle \sigma =\mathrm {Re} \,s} - вещественная часть комплексной переменной s {\displaystyle s} ). Точная нижняя грань σ a {\displaystyle \sigma _{a}} множества чисел σ {\displaystyle \sigma } , при которых это условие выполняется, называется абсциссой абсолютной сходимости преобразования Лапласа для функции .
- Условия существования прямого преобразования Лапласа
Преобразование Лапласа L { f (x) } {\displaystyle {\mathcal {L}}\{f(x)\}} существует в смысле абсолютной сходимости в следующих случаях:
- σ ⩾ 0 {\displaystyle \sigma \geqslant 0} : преобразование Лапласа существует, если существует интеграл ∫ 0 ∞ | f (x) | d x {\displaystyle \int \limits _{0}^{\infty }|f(x)|\,dx} ;
- σ > σ a {\displaystyle \sigma >\sigma _{a}} : преобразование Лапласа существует, если интеграл ∫ 0 x 1 | f (x) | d x {\displaystyle \int \limits _{0}^{x_{1}}|f(x)|\,dx} существует для каждого конечного x 1 > 0 {\displaystyle x_{1}>0} и | f (x) | ⩽ K e σ a x {\displaystyle |f(x)|\leqslant Ke^{\sigma _{a}x}} для x > x 2 ⩾ 0 {\displaystyle x>x_{2}\geqslant 0} ;
- σ > 0 {\displaystyle \sigma >0} или σ > σ a {\displaystyle \sigma >\sigma _{a}} (какая из границ больше): преобразование Лапласа существует, если существует преобразование Лапласа для функции f ′ (x) {\displaystyle f"(x)} (производная от f (x) {\displaystyle f(x)} ) для σ > σ a {\displaystyle \sigma >\sigma _{a}} .
Примечание
- Условия существования обратного преобразования Лапласа
Для существования обратного преобразования Лапласа достаточно выполнение следующих условий:
- Если изображение F (s) {\displaystyle F(s)} - аналитическая функция для σ ⩾ σ a {\displaystyle \sigma \geqslant \sigma _{a}} и имеет порядок меньше −1, то обратное преобразование для неё существует и непрерывно для всех значений аргумента, причём L − 1 { F (s) } = 0 {\displaystyle {\mathcal {L}}^{-1}\{F(s)\}=0} для t ⩽ 0 {\displaystyle t\leqslant 0} .
- Пусть F (s) = φ [ F 1 (s) , F 2 (s) , … , F n (s) ] {\displaystyle F(s)=\varphi } , так что φ (z 1 , z 2 , … , z n) {\displaystyle \varphi (z_{1},\;z_{2},\;\ldots ,\;z_{n})} аналитична относительно каждого z k {\displaystyle z_{k}} и равна нулю для z 1 = z 2 = … = z n = 0 {\displaystyle z_{1}=z_{2}=\ldots =z_{n}=0} , и F k (s) = L { f k (x) } (σ > σ a k: k = 1 , 2 , … , n) {\displaystyle F_{k}(s)={\mathcal {L}}\{f_{k}(x)\}\;\;(\sigma >\sigma _{ak}\colon k=1,\;2,\;\ldots ,\;n)} , тогда обратное преобразование существует и соответствующее прямое преобразование имеет абсциссу абсолютной сходимости.
Примечание : это достаточные условия существования.
- Теорема о свёртке
Основная статья: Теорема о свёртке
- Дифференцирование и интегрирование оригинала
Изображением по Лапласу первой производной от оригинала по аргументу является произведение изображения на аргумент последнего за вычетом оригинала в нуле справа:
L { f ′ (x) } = s ⋅ F (s) − f (0 +) . {\displaystyle {\mathcal {L}}\{f"(x)\}=s\cdot F(s)-f(0^{+}).}Теоремы о начальном и конечном значении (предельные теоремы):
f (∞) = lim s → 0 s F (s) {\displaystyle f(\infty)=\lim _{s\to 0}sF(s)} , если все полюсы функции s F (s) {\displaystyle sF(s)} находятся в левой полуплоскости.Теорема о конечном значении очень полезна, так как описывает поведение оригинала на бесконечности с помощью простого соотношения. Это, например, используется для анализа устойчивости траектории динамической системы.
- Другие свойства
Линейность:
L { a f (x) + b g (x) } = a F (s) + b G (s) . {\displaystyle {\mathcal {L}}\{af(x)+bg(x)\}=aF(s)+bG(s).}Умножение на число:
L { f (a x) } = 1 a F (s a) . {\displaystyle {\mathcal {L}}\{f(ax)\}={\frac {1}{a}}F\left({\frac {s}{a}}\right).}Прямое и обратное преобразование Лапласа некоторых функций
Ниже представлена таблица преобразования Лапласа для некоторых функций.
| № | Функция | Временная область x (t) = L − 1 { X (s) } {\displaystyle x(t)={\mathcal {L}}^{-1}\{X(s)\}} |
Частотная область X (s) = L { x (t) } {\displaystyle X(s)={\mathcal {L}}\{x(t)\}} |
Область сходимости для причинных систем |
|---|---|---|---|---|
| 1 | идеальное запаздывание | δ (t − τ) {\displaystyle \delta (t-\tau)\ } | e − τ s {\displaystyle e^{-\tau s}\ } | |
| 1a | единичный импульс | δ (t) {\displaystyle \delta (t)\ } | 1 {\displaystyle 1\ } | ∀ s {\displaystyle \forall s\ } |
| 2 | запаздывание n {\displaystyle n} | (t − τ) n n ! e − α (t − τ) ⋅ H (t − τ) {\displaystyle {\frac {(t-\tau)^{n}}{n!}}e^{-\alpha (t-\tau)}\cdot H(t-\tau)} | e − τ s (s + α) n + 1 {\displaystyle {\frac {e^{-\tau s}}{(s+\alpha)^{n+1}}}} | s > 0 {\displaystyle s>0} |
| 2a | степенная n {\displaystyle n} -го порядка | t n n ! ⋅ H (t) {\displaystyle {\frac {t^{n}}{n!}}\cdot H(t)} | 1 s n + 1 {\displaystyle {\frac {1}{s^{n+1}}}} | s > 0 {\displaystyle s>0} |
| 2a.1 | степенная q {\displaystyle q} -го порядка | t q Γ (q + 1) ⋅ H (t) {\displaystyle {\frac {t^{q}}{\Gamma (q+1)}}\cdot H(t)} | 1 s q + 1 {\displaystyle {\frac {1}{s^{q+1}}}} | s > 0 {\displaystyle s>0} |
| 2a.2 | единичная функция | H (t) {\displaystyle H(t)\ } | 1 s {\displaystyle {\frac {1}{s}}} | s > 0 {\displaystyle s>0} |
| 2b | единичная функция с запаздыванием | H (t − τ) {\displaystyle H(t-\tau)\ } | e − τ s s {\displaystyle {\frac {e^{-\tau s}}{s}}} | s > 0 {\displaystyle s>0} |
| 2c | «ступенька скорости» | t ⋅ H (t) {\displaystyle t\cdot H(t)\ } | 1 s 2 {\displaystyle {\frac {1}{s^{2}}}} | s > 0 {\displaystyle s>0} |
| 2d | n {\displaystyle n} -го порядка с частотным сдвигом | t n n ! e − α t ⋅ H (t) {\displaystyle {\frac {t^{n}}{n!}}e^{-\alpha t}\cdot H(t)} | 1 (s + α) n + 1 {\displaystyle {\frac {1}{(s+\alpha)^{n+1}}}} | s > − α {\displaystyle s>-\alpha } |
| 2d.1 | экспоненциальное затухание | e − α t ⋅ H (t) {\displaystyle e^{-\alpha t}\cdot H(t)\ } | 1 s + α {\displaystyle {\frac {1}{s+\alpha }}} | s > − α {\displaystyle s>-\alpha \ } |
| 3 | экспоненциальное приближение | (1 − e − α t) ⋅ H (t) {\displaystyle (1-e^{-\alpha t})\cdot H(t)\ } | α s (s + α) {\displaystyle {\frac {\alpha }{s(s+\alpha)}}} | s > 0 {\displaystyle s>0\ } |
| 4 | синус | sin (ω t) ⋅ H (t) {\displaystyle \sin(\omega t)\cdot H(t)\ } | ω s 2 + ω 2 {\displaystyle {\frac {\omega }{s^{2}+\omega ^{2}}}} | s > 0 {\displaystyle s>0\ } |
| 5 | косинус | cos (ω t) ⋅ H (t) {\displaystyle \cos(\omega t)\cdot H(t)\ } | s s 2 + ω 2 {\displaystyle {\frac {s}{s^{2}+\omega ^{2}}}} | s > 0 {\displaystyle s>0\ } |
| 6 | гиперболический синус | s h (α t) ⋅ H (t) {\displaystyle \mathrm {sh} \,(\alpha t)\cdot H(t)\ } | α s 2 − α 2 {\displaystyle {\frac {\alpha }{s^{2}-\alpha ^{2}}}} | s > | α | {\displaystyle s>|\alpha |\ } |
| 7 | гиперболический косинус | c h (α t) ⋅ H (t) {\displaystyle \mathrm {ch} \,(\alpha t)\cdot H(t)\ } | s s 2 − α 2 {\displaystyle {\frac {s}{s^{2}-\alpha ^{2}}}} | s > | α | {\displaystyle s>|\alpha |\ } |
| 8 | экспоненциально затухающий синус |
e − α t sin (ω t) ⋅ H (t) {\displaystyle e^{-\alpha t}\sin(\omega t)\cdot H(t)\ } | ω (s + α) 2 + ω 2 {\displaystyle {\frac {\omega }{(s+\alpha)^{2}+\omega ^{2}}}} | s > − α {\displaystyle s>-\alpha \ } |
| 9 | экспоненциально затухающий косинус |
e − α t cos (ω t) ⋅ H (t) {\displaystyle e^{-\alpha t}\cos(\omega t)\cdot H(t)\ } | s + α (s + α) 2 + ω 2 {\displaystyle {\frac {s+\alpha }{(s+\alpha)^{2}+\omega ^{2}}}} | s > − α {\displaystyle s>-\alpha \ } |
| 10 | корень n {\displaystyle n} -го порядка | t n ⋅ H (t) {\displaystyle {\sqrt[{n}]{t}}\cdot H(t)} | s − (n + 1) / n ⋅ Γ (1 + 1 n) {\displaystyle s^{-(n+1)/n}\cdot \Gamma \left(1+{\frac {1}{n}}\right)} | s > 0 {\displaystyle s>0} |
| 11 | натуральный логарифм | ln (t t 0) ⋅ H (t) {\displaystyle \ln \left({\frac {t}{t_{0}}}\right)\cdot H(t)} | − t 0 s [ ln (t 0 s) + γ ] {\displaystyle -{\frac {t_{0}}{s}}[\ln(t_{0}s)+\gamma ]} | s > 0 {\displaystyle s>0} |
| 12 | функция Бесселя первого рода порядка n {\displaystyle n} |
J n (ω t) ⋅ H (t) {\displaystyle J_{n}(\omega t)\cdot H(t)} | ω n (s + s 2 + ω 2) − n s 2 + ω 2 {\displaystyle {\frac {\omega ^{n}\left(s+{\sqrt {s^{2}+\omega ^{2}}}\right)^{-n}}{\sqrt {s^{2}+\omega ^{2}}}}} |
s
>
0
{\displaystyle s>0\ }
(n > − 1) {\displaystyle (n>-1)\ } |
| 13 | первого рода порядка n {\displaystyle n} |
I n (ω t) ⋅ H (t) {\displaystyle I_{n}(\omega t)\cdot H(t)} | ω n (s + s 2 − ω 2) − n s 2 − ω 2 {\displaystyle {\frac {\omega ^{n}\left(s+{\sqrt {s^{2}-\omega ^{2}}}\right)^{-n}}{\sqrt {s^{2}-\omega ^{2}}}}} | s > | ω | {\displaystyle s>|\omega |\ } |
| 14 | функция Бесселя второго рода нулевого порядка |
Y 0 (α t) ⋅ H (t) {\displaystyle Y_{0}(\alpha t)\cdot H(t)\ } | − 2 a r s h (s / α) π s 2 + α 2 {\displaystyle -{\frac {2\mathrm {arsh} (s/\alpha)}{\pi {\sqrt {s^{2}+\alpha ^{2}}}}}} | s > 0 {\displaystyle s>0\ } |
| 15 | модифицированная функция Бесселя второго рода, нулевого порядка |
K 0 (α t) ⋅ H (t) {\displaystyle K_{0}(\alpha t)\cdot H(t)} | ||
| 16 | функция ошибок | e r f (t) ⋅ H (t) {\displaystyle \mathrm {erf} (t)\cdot H(t)} | e s 2 / 4 e r f c (s / 2) s {\displaystyle {\frac {e^{s^{2}/4}\mathrm {erfc} (s/2)}{s}}} | s > 0 {\displaystyle s>0} |
Примечания к таблице:
| ||||
Раздел II. Математический анализ
Е. Ю. Анохина
ИСТОРИЯ РАЗВИТИЯ И СТАНОВЛЕНИЕ ТЕОРИИ ФУНКЦИИ КОМПЛЕКСНОГО ПЕРЕМЕННОГО (ТФКП) УЧЕБНЫМ ПРЕДМЕТОМ
Одним из сложных математических курсов является курс ТФКП. Сложность этого курса обусловлена, прежде всего, разнообразием его взаимосвязей с другими математическими дисциплинами, исторически выраженной в широкой прикладной направленности науки ТФКП.
В научной литературе по истории математики существуют разрозненные сведения об истории развития ТФКП, они требуют систематизации и обобщения.
В связи с этим основной задачей данной статьи является краткое описание развития ТФКП и становление этой теории учебным предметом.
В результате проведенного исследования были выделены следующие три этапа развития ТФКП как науки и учебного предмета:
Этап возникновения и признания комплексных чисел;
Этап накопления фактического материала по функциям мнимых величин;
Этап становления теории функций комплексного переменного.
Первый этап развития ТФКП (сер. XVI в. - XVIII в.) начинается с работы Дж. Кардано (1545) который опубликовал работу «Artis magnae sive de regulis algebraitis» (Великое искусство, или об алгебраических правилах). Сочинение Дж. Кардано имело основной задачей обоснование общих алгебраических приемов решений уравнений третьей и четвертой степеней, незадолго до этого открытых Ферро (1465-1526), Тарталья (1506-1559) и Феррари (1522-1565). Если кубическое уравнение приведено к виду
х3 + рх + д = 0,
причем должно быть
Когда (ц^Ар V (|- 70 уравнение имеет три действительных корня, причем два из них
равны между собой. Если тогда уравнение имеет один действительный и два со-
пряженных комплексных корня. Комплексные числа появляются в окончательном результате, поэтому Дж. Кардано мог поступить так, как поступали и до него: объявить уравнение имеющим
один корень. Когда (<7 Г + (р V < (). тогда уравнение имеет три действительных корня. Этот так
называемый неприводимый случай характеризуется одной особенностью, с которой до XVI века не встречались. Уравнение х3 - 21х + 20 = 0 имеет три действительных корня 1, 4, - 5 в чем легко
убедиться простой подстановкой. Но ^ду + у _ ^20у + ^-21у _ ^ ^ ^; следовательно, согласно общей формуле, х = ^-10 + ^-243 -^-10-4^243 . Комплексное, т.е. «ложное», число оказывается здесь не результатом, а промежуточным членом в вычислениях, которые приводят к действительным корням рассматриваемого уравнения. Дж. Кардано столкнулся с трудностью и понял, что для сохранения общности этой формулы надо отказаться от полного игнорирования комплексных чисел. Ж. Даламбер (1717-1783) считал, что именно это обстоятельство заставило Дж. Кардано и следующих этой идеи математиков серьезно заинтересоваться комплексными числами.
На этом этапе (в XVII в.) были общепринятыми две точки зрения. Первая точка зрения была высказана Жираром, который поднял вопрос о признании необходимости ничем неограниченного использования комплексных чисел. Вторая - Декартом, который отрицал возможность интерпретации комплексных чисел. Противоположной мнению Декарта была точка зрения Дж. Валлиса -о существовании реального истолкования комплексных чисел была проигнорирована Декартом. Комплексные числа начали «вынужденно» использовать при решении прикладных задач в ситуациях, где использование действительных чисел приводили к сложному результату, либо результат не мог получиться теоретически, но имел практическую реализацию.
Интуитивное использование комплексных чисел приводило к необходимости сохранения законов и правил арифметики действительных чисел на множество комплексных чисел, в частности были попытки прямого переноса. Это приводило порой к ошибочным результатам. В связи с этим актуальными стали вопросы об обосновании комплексных чисел и построении алгоритмов их арифметики. Это явилось началом нового этапа развития ТФКП.
Второй этап развития ТФКП (начало XVIII в. - XIX в.). В XVIII в. Л. Эйлер высказал мысль об алгебраической замкнутости поля комплексных чисел. Алгебраическая замкнутость поля комплексных чисел С привела математиков к выводам:
Что изучение функций и математический анализ вообще приобретают должную полноту и законченность только при рассмотрении поведения функций в комплексной области;
Необходимо рассмотрение комплексных чисел в качестве переменных величин.
В 1748 г. Л. Эйлер (1707-1783) в своей работе «Введение в анализ бесконечно малых» ввел комплексную переменную в качестве наиболее общего понятия переменной величины, использовав комплексные числа при разложении функций на линейные сомножители. Л. Эйлер по праву считается одним из творцов ТФКП. В работах Л. Эйлера детально изучены элементарные функции комплексного переменного (1740-1749), даны условия дифференцируемости (1755) и начала интегрального исчисления функций комплексного переменного (1777). Л. Эйлер практически ввел конформное отображение (1777). Он называл эти отображения «подобными в малом», а термин «конформный» был впервые употреблен, по-видимому, петербургским академиком Ф. Шубертом (1789). Л. Эйлер привел также многочисленные приложения функций комплексного переменного к различным математическим задачам и положил начало применению их в гидродинамике (17551757) и картографии (1777). К. Гаусс формулирует определение интеграла в комплексной плоскости, интегральную теорему о разложимости аналитической функции в степенной ряд. Лаплас использует комплексные переменные при вычислении трудных интегралов и развивает метод решения линейных уравнений, разностных и дифференциальных известный под названием преобразования Лапласа.
Начиная с 1799 г., появляются работы, в которых даны более или менее удобные интерпретации комплексного числа и определены действия над ними. Достаточно же общая теоретическая трактовка и геометрическая интерпретация была опубликована К. Гауссом лишь 1831 году.
Л. Эйлер и его современники оставили богатое наследие потомкам в виде накопленных, где-то систематизированных, где-то нет, но все же разрозненных фактов по ТФКП. Можно сказать, что фактологический материал по функциям мнимых величин, как бы, требовал своей систематизации в виде теории. Эта теория начала свое становление.
Третий этап становления ТФКП (XIX в. - XX в.). Основные заслуги здесь принадлежат О. Коши (1789-1857), Б. Риману (1826-1866), и К. Вейерштрассу (1815-1897). Каждый из них представлял одно из направлений развития ТФКП.
Представителем первого направления, которое в истории математики называлось «теория моногенных или дифференцируемых функций» был О. Коши. Он оформил разрозненные факты по дифференциальному и интегральному исчислению функций комплексного переменного, разъяснил смысл основных понятий и операций с мнимыми. В работах О. Коши изложена теория пределов и основанная на ней теория рядов и элементарных функций, сформулирована теорема, которая полностью выясняет область сходимости степенного ряда. В 1826 г. О. Коши ввел термин: вычет (буквально: остаток). В трудах с 1826 г. по 1829 г. он создал теорию вычетов. О. Коши вывел интегральную формулу; получил теорему существования разложения функции комплексного переменного в степенные ряды (1831). О. Коши заложил основы теории аналитических функций многих переменных; определил главные ветви многозначных функций комплексного переменного; впервые использовал разрезы плоскости (1831-1847). В 1850 г. вводит понятие монодромных функции, выделяет класс моногенных функций.
Последователем О. Коши был Б. Риман, который создал и свое «геометрическое» (второе) направление развития ТФКП. Он в своих работах преодолел изолированность представлений о функциях комплексных переменных и сформировал новые отделы этой теории, тесно связанные с другими дисциплинами. Риман сделал существенно новый шаг в истории теории аналитических функций, он предложил с каждой функцией комплексного переменного связывать представление об отображении одной области на другую. Он установил различия между функциями комплексного и действительного переменного. Б. Риман положил начало геометрической теории функций, ввел риманову поверхность, разработал теорию конформных отображений, установил связь между аналитическими и гармоническими функциями, ввел в рассмотрение дзета-функцию.
Дальнейшее развития ТФКП, происходило в другом (третьем) направлении. В основу которого, была положена возможность представления функций степенными рядами. За этим направлением закрепилось в истории название «аналитическое». Оно сформировалось в работах К. Вейерштрасса, в которых на передний план он выводил понятие равномерной сходимости. К. Вейерштрасс сформулировал и доказал теорему о законности приведения подобных членов в ряде. К. Вейерштрассом был получен фундаментальный результат: предел последовательности аналитических функций, равномерно сходящейся внутри некоторой области, является функцией аналитической. Он сумел обобщить теорему Коши о разложении в степенной ряд функции комплексного переменного и описал процесс аналитического продолжения степенных рядов и его применение к представлению решений системы дифференциальных уравнений. К. Вейерштрасс установил факт не только абсолютной сходимости ряда, но и равномерной сходимости. Появляется теорема Вейерштрасса о разложении целой функции в произведение. Он закладывает основы теории аналитических функций многих переменных, строит теорию делимости степенных рядов.
Рассмотрим, развитие теории аналитических функций в России. Российские математики XIX в. долгое время не желали посвятить себя новой области математики. Не смотря на это можно назвать несколько имен, для которых она не была чуждой, и перечислить некоторые работы и достижения этих российских математиков.
Одним из российских математиков был М.В. Остроградский (1801-1861). Об исследованиях М.В. Остроградского в области теории аналитических функций известно мало, но О. Коши с похвалой отзывался об этом молодом русском ученом, который применял интегралы и дал новые доказательства формул и обобщил другие формулы. М.В. Остроградский написал работу «Замечания об определенных интегралах», в которых вывел формулу Коши для вычета функции относительно полюса п-го порядка. Он изложил применения теории вычетов и формулу Коши к вычислению определенных интегралов в обширном публичном курсе лекций, прочитанном в 1858-1859 гг.
К 30-м годам относится ряд работ Н.И. Лобачевского, имеющих непосредственное значение для теории функций комплексного переменного. Теория элементарных функций комплексного переменного содержится в его работе «Алгебра или вычисление конечных» (Казань, 1834). В которой cos х и sin х определяются первоначально для х действительного как действительная и
мнимая части функции ех^. Используя ранее установленные свойства показательной функции и степенные разложения, выводятся все основные свойства тригонометрических функций. По-
видимому, Лобачевский придавал особое значение такому чисто аналитическому построению тригонометрии, не зависящему от евклидовой геометрии.
Можно утверждать, что в последние десятилетия XIX в. и первое десятилетие XX в. фундаментальные исследования по теории функций комплексного переменного (Ф. Клейн, А. Пуанкаре, П. Кебе) состояли в постепенном выяснении того, что геометрия Лобачевского есть вместе с тем геометрия аналитических функций одного комплексного переменного.
В 1850 г. профессор Петербургского университета (впоследствии академик) И.И. Сомов (1815-1876) издал «Основания теории аналитических функций», в основу которых были положены «Новые основания» Якоби.
Однако первым по-настоящему «оригинальным» русским исследователем в области теории аналитических функций комплексного переменного был Ю.В. Сохоцкий (1842-1929). Он защитил магистерскую диссертацию «Теория интегральных вычетов с некоторыми приложениями» (СПб., 1868). С осени 1868 г. Ю.В. Сохоцкий читал курсы теории функций мнимого переменного и о непрерывных дробях с приложениями к анализу. Магистерская диссертация Ю.В. Сохоцкого посвящена приложениям теории вычетов к обращению степенного ряда (ряд Лагранжа) и в особенности к разложению аналитических функций в непрерывные дроби, а также к многочленам Лежандра. В этой работе сформулирована и доказана знаменитая теорема о поведении аналитической функции в окрестности существенно особой точки. В докторской диссертации Сохоцкого
(1873) впервые вводится в развернутом виде понятие интеграла типа Коши: *г/ ^ & _ где
а и Ь - два произвольных комплексных числа. Интеграл предполагается взятым по некоторой кривой («траектории»), соединяющей а и Ь. В этой работе доказывается ряд теорем.
Огромную роль в истории аналитических функций сыграли труды Н.Е. Жуковского и С.А. Чаплыгина, открывшие необозримую область ее приложений в аэро- и гидромеханике.
Говоря о развитии теории аналитических функций, нельзя не сказать о исследованиях С.В. Ковалевской, хотя их основное значение лежит за пределами этой теории. Успех ее работ был обусловлен совершенно новой постановкой задачи в терминах теории аналитических функций и рассмотрение времени t как комплексное переменное .
На рубеже XX в. меняется характер научных исследований в области теории функций комплексного переменного. Если раньше большинство исследований в этой области проводились в плане развития одного из трех направлений (теории моногенных или дифференцируемых функций Коши, геометрических и физических идей Римана, аналитического направления Вейерштрас-са), то теперь различия и связанные с ними споры преодолеваются, появляется и быстро растет число работ, в которых осуществляется синтез идей и методов. Одним из основных понятий, на котором явно обнаружились связь и соответствие геометрических представлений и аппарата степенных рядов, было понятие аналитического продолжения.
В конце XIX в. в теорию функций комплексного переменного входит обширный комплекс дисциплин: геометрическая теория функций, основанная на теории конформных отображений и римановых поверхностей. Получили цельную форму теории различных видов функций: целых и мероморфных, эллиптических и модулярных, автоморфных, гармонических, алгебраических. В тесной связи с последним классом функций развилась теория абелевых интегралов. К этому комплексу примыкала аналитическая теория дифференциальных уравнений и аналитическая теория чисел. Теория аналитических функций установила и укрепила связи с другими математическими дисциплинами.
Богатство взаимосвязей ТФКП с алгеброй, геометрией и другими науками, создание систематических основ самой науки ТФКП, большая ее практическая значимость способствовали становлению ТФКП как учебного предмета. Однако одновременно с завершением формирования основ, в теорию аналитических функций были внесены новые идеи, существенно изменяющие ее состав, характер и цели. Появляются монографии, содержащие систематическое изложение теории аналитических функций в стиле, близком к аксиоматическому и имеющих также учебные цели. Видимо, значимость результатов по ТФКП, полученных учеными рассматриваемого периода, побуждала их популяризировать ТФКП в виде чтения лекций и издания монографических исследований в обучающем ракурсе. Можно сделать вывод о возникновении ТФКП в качестве учебного
предмета. В 1856 г. Ш. Брио и Т. Буке издали небольшой мемуар «Исследование функций мнимого переменного», являющийся по существу первым учебным пособием. Общие концепции в теории функции комплексного переменного начали вырабатываться в лекциях. С 1856 г. К. Вейершт-расс читал лекции о представлении функций сходящимися степенными рядами, а с 1861 г. - об общей теории функций. В 1876 г. появилась специальное сочинение К. Вейерштрасса: «К теории однозначных аналитических функций», а в 1880 г. «К учению о функциях», в которых его теория аналитических функций приобрела известную завершенность.
Лекции Вейерштрасса послужили на много лет прообразом учебников по теории функций комплексного переменного, которые начали появляться с тех пор довольно часто. Именно в его лекциях был построен в основном современный стандарт строгости в математическом анализе и выделена, ставшая традиционной, структура.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Андронов И.К. Математика действительных и комплексных чисел. М.: Просвещение, 1975.
2. Клейн Ф. Лекции о развитии математики в XIX столетии. М.: ОНТИ, 1937. Ч. 1.
3. Лаврентьев М.А., Шабат Б.В. Методы теории функций комплексного переменного. М.: Наука, 1987.
4. Маркушевич А.И. Теория аналитических функций. М.: Гос. изд-во технико-теоретической лит-ры, 1950.
5. Математика XIX века. Геометрия. Теория аналитических функций / под ред. А. Н. Колмогорова и А. П. Юшкевич. М.: Наука, 1981.
6. Математическая энциклопедия / гл. ред. И. М. Виноградов. М.: Советская энциклопедия, 1977. Т. 1.
7. Математическая энциклопедия / гл. ред. И. М. Виноградов. М.: Советская энциклопедия, 1979. Т. 2.
8. Молодший В.Н. Основы учения о числе в XVIII и начале XIX века. М.: Учпедгиз, 1963.
9. Рыбников К.А. История математики. М.: Изд-во МГУ, 1963. Ч. 2.
Н.Е. Ляхова КАСАНИЕ ПЛОСКИХ КРИВЫХ
Вопрос о касании плоских кривых, в том случае, когда абсциссы общих точек находятся из уравнения вида Рп х = 0, где Р х - некоторый многочлен, напрямую связан с вопросом
о кратности корней многочлена Pn x . В данной статье сформулированы соответствующие утверждения для случаев явного и неявного задания функций, графиками которых являются кривые, а также показано применение этих утверждений при решении задач.
Если кривые, являющиеся графиками функций у = f(x) и у = ср х, имеют общую точку
М() х0; v0 , т.е. у0 = f х0 =ср х0 и касательные к указанным кривым проведенные в точке М() х0; v0 не совпадают, то говорят, что кривые у = fix) и у - ср х пересекаются в точке Mо xo;Уо
На рисунке 1 приведен пример пересечения графиков функций.
Для решения линейных дифференциальных уравнений будем использовать преобразование Лапласа.
Преобразованием Лапласа называют соотношение
ставящее функции x(t) вещественного переменного t в соответствие функцию X(s) комплексного переменного s (s = σ + jω). При этом x(t) называют оригиналом, X(s) - изображением или изображением по Лапласу и s - переменной преобразования Лапласа. Оригинал обозначают строчной, а его изображение - одноименной прописной буквой.
Предполагается, что функция x (t ), подвергающаяся преобразованию Лапласа, обладает следующими свойствами:
1) функция x(t) определена и кусочно дифференцируема на интервале }