Научная статья на тему 'Построение операторного исчисления Микусинского на основе алгебры свертки обобщенных функций. Решение задач математической физики'

Построение операторного исчисления Микусинского на основе алгебры свертки обобщенных функций. Решение задач математической физики Текст научной статьи по специальности «Математика»

CC BY
178
78
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ИСЧИСЛЕНИЕ МИКУСИНСКОГО / CALCULUS OF MIKUSIńSKI / ПРОСТРАНСТВО ОБОБЩЕННЫХ ФУНКЦИЙ / SPACE OF DISTRIBUTIONS / СВЕРТКА ОБОБЩЕННЫХ ФУНКЦИЙ / АЛГЕБРА СВЕРТКИ / CONVOLUTION ALGEBRA / ПРЕОБРАЗОВАНИЕ ЛАПЛАСА / LAPLACE TRANSFORM / ИНТЕГРАЛ ДЮАМЕЛЯ / DUHAMEL INTEGRAL / CONVOLUTION OF DISTRIBUTIONS

Аннотация научной статьи по математике, автор научной работы — Коган Иосиф Леонидович

Дается новое обоснование операторного исчисления Микусинского, целиком основанное на алгебре свертки обобщенных функций $D'_{+}$ и $D'_{-}$, применительно к решению линейных уравнений в частных производных с постоянными коэффициентами в области $(x;t)\in \mathbb R $ $(\mathbb R_{+} )\times \mathbb R_{+} $. Используемый математический аппарат основан на современном состоянии теории обобщенных функций, и одним из основных его отличий от теории Микусинского является то, что получаемые изображения являются аналитическими функциями комплексного переменного. Это позволяет в алгебре $D'_+ (x\in \mathbb R_{+})$ узаконить преобразование Лапласа, а с применением алгебры $D'_{-}$ распространить метод на область отрицательных значений аргумента. На классических примерах уравнений второго порядка гиперболического и параболического типа в случае $x\in \mathbb R$ излагаются вопросы определения фундаментальных решений и задачи Коши, а на отрезке и полупрямой $x\in \mathbb R_+ $ нестационарные задачи в собственном смысле. Дается вывод общих формул для получения решения задачи Коши, а также схема определения фундаментальных решений операторным методом. При рассмотрении нестационарных задач приводится компактное доказательство теоремы Дюамеля и выведены формулы, позволяющие оптимизировать получение решений, в том числе с разрывными начальными условиями. Для нахождения оригиналов приводятся примеры использования рядов сверточных операторов обобщенных функций. Предложенный подход по сравнению с классическим операционным исчислением, основанным на преобразовании Лапласа, и теорией Микусинского, обладая для обычных функций одинаковыми соотношениями «оригинал-изображение» на положительной полуоси, позволяет рассматривать уравнения, заданные на всей оси, упростить получение и форму представления решений. Приведенные примеры иллюстрируют возможности и дают оценку эффективности использования операторного исчисления.

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

Construction of Mikusinski operational calculus based on the convolution algebra of distributions. Methods for solving mathematical physics problems

A new justification is given for the Mikusinsky operator calculus entirely based on the convolution algebra of generalized functions $D'_+$ and $D'_-$, as applied to the solution of linear partial differential equations with constant coefficients in the region $(x;t)\in \mathbb R (\mathbb R_{+})\times \mathbb R_{+}$. The mathematical apparatus used is based on the current state of the theory of generalized functions and its one of the main differences from the theory of Mikusinsky is that the resulting images are analytical functions of a complex variable. This allows us to legitimate the Laplace transform in the algebra $D'_{+} $ $( x\in \mathbb R_{+} )$, and apply the algebra to the region of negative values of the argument with the use of algebra $D'_{-}$. On classical examples of second-order equations of hyperbolic and parabolic type, in the case $x\in \mathbb R$, questions of the definition of fundamental solutions and the Cauchy problem are stated, and on the segment and the half-line $x\in \mathbb R_{+}$, non-stationary problems in the proper sense are considered. We derive general formulas for the Cauchy problem, as well as circuit of fundamental solutions definition by operator method. When considering non-stationary problems we introduce the compact proof of Duhamel theorem and derive the formulas which allow optimizing obtaining of solutions, including problems with discontinuous initial conditions. Examples of using series of convolution operators of generalized functions are given to find the originals. The proposed approach is compared with classical operational calculus based on the Laplace transform, and the theory of Mikusinsky, having the same ratios of the original image on the positive half-axis for normal functions allows us to consider the equations posed on the whole axis, to facilitate the obtaining and presentation of solutions. These examples illustrate the possibilities and give an assessment of the efficiency of the use of operator calculus.

Текст научной работы на тему «Построение операторного исчисления Микусинского на основе алгебры свертки обобщенных функций. Решение задач математической физики»

Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки. 2018. Т. 22, № 2. С. 236-253 ISSN: 2310-7081 (online), 1991-8615 (print) d http://doi.org/10.14498/vsgtu1569

УДК 517.982.45

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

И. Л. Коган

Российский государственный аграрный университет — МСХА им. К. А. Тимирязева,

Россия, 127550, Москва, Тимирязевская ул., 49.

Аннотация

Дается новое обоснование операторного исчисления Микусинского, целиком основанное на алгебре свертки обобщенных функций D+ и D'_, применительно к решению линейных уравнений в частных производных с постоянными коэффициентами в области (х; t) G R (R+) х R+. Используемый математический аппарат основан на современном состоянии теории обобщенных функций, и одним из основных его отличий от теории Микусинского является то, что получаемые изображения являются аналитическими функциями комплексного переменного. Это позволяет в алгебре D+ (х G R+) узаконить преобразование Лапласа, а с применением алгебры D'_ распространить метод на область отрицательных значений аргумента. На классических примерах уравнений второго порядка гиперболического и параболического типа в случае х G R излагаются вопросы определения фундаментальных решений и задачи Коши, а на отрезке и полупрямой х G R+ — нестационарные задачи в собственном смысле. Дается вывод общих формул для получения решения задачи Коши, а также схема определения фундаментальных решений операторным методом. При рассмотрении нестационарных задач приводится компактное доказательство теоремы Дюамеля и выведены формулы, позволяющие оптимизировать получение решений, в том числе с разрывными начальными условиями. Для нахождения оригиналов приводятся примеры использования рядов сверточных операторов обобщенных функций. Предложенный подход по сравнению с классическим операционным исчислением, основанным на преобразовании Лапласа, и теорией Микусинского, обладая для обычных функций одинаковыми соотношениями «оригинал-изображение» на положительной полуоси, позволяет рассматривать уравнения, заданные на всей оси, упростить получение и форму представления решений. Приведенные примеры иллюстрируют возможности и дают оценку эффективности использования операторного исчисления.

Научная статья

Q ©® Контент публикуется на условиях лицензии Creative Commons Attribution 4.0 International (https://creativecommons.org/licenses/by/4.0/deed.ru) Образец для цитирования

К о г а н И. Л. Построение операторного исчисления Микусинского на основе алгебры свертки обобщенных функций. Решение задач математической физики // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2018. Т. 22, № 2. С. 236-253. doi: 10.14498/vsgtu1569. Сведения об авторе

Иосиф Леонидович Коган А http://orcid.org/0000-0002-1147-694X кандидат технических наук; доцент; каф. высшей математики; e-mail: ik_@list.ru

Ключевые слова: исчисление Микусинского, пространство обобщенных функций, свертка обобщенных функций, алгебра свертки, преобразование Лапласа, интеграл Дюамеля.

Получение: 17 октября 2017 г. / Исправление: 11 февраля 2018 г. / Принятие: 12 марта 2018 г. / Публикация онлайн: 28 марта 2018 г.

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

Строгое обоснование метода Хевисайда было дано с помощью интегрального преобразования Лапласа на основании теории функций комплексного переменного [1—3]. Подход к операционному исчислению как приложению этой теории — классическое операционное исчисление доминирует в современной учебной и научно-технической литературе, например [4-6].

Введение обобщенных функций существенно расширяет возможности операционного исчисления. Наиболее распространенной является предложенная Л. Шварцем и Ж.-Л. Лионсом теория преобразования Лапласа для обобщенных функций медленного роста, заданных на положительной полуоси и образующих сверточную алгебру 5+ С [7-13]. К удобствам теории можно отнести то, что оригинал в смысле классического операционного исчисления является и оригиналом в обобщенном смысле, при этом сразу же получаются изображения дельта-функции Дирака и ее производных. Кроме того, связь между оригиналом и изображением, а также основные теоремы совпадают с классическим операционным исчислением.

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

сходство: изображения функций по Лапласу совпадают с соответствующими изображениями по Микусинскому и между этими методами можно установить изоморфизм.

Дальнейшее развитие идей Микусинского дано в работах [15, 16], в которых операторное исчисление строится на более широкой основе — алгебре свертки обобщенных функций и , а связь между оригиналом и изображением находится из заданного сверточного соотношения. Это дает возможность не рассматривать поведение функций в бесконечности и распространить метод на область отрицательных значений аргумента. Другим отличием от теории Микусинского является то, что получаемые изображения являются аналитическими функциями комплексного переменного; при этом, как и в преобразовании Лапласа обобщенных функций медленного роста, комплексная переменная есть изображение сверточного оператора дифференцирования. Такое построение теории, сохраняя преимущества, заложенные в [14], позволяет находить решения на всей оси, применять методы теории функций комплексного переменного и рассматривать классическое операционное исчисление как свою составную часть. Кроме того, использование алгебры свертки обобщенных функций расширяет возможности операторного исчисления.

Настоящая работа посвящена приложению операторного исчисления [15, 16] к решению некоторых задач математической физики одного пространственного переменного х и временной координаты ¿. Рассматриваются уравнения с постоянными коэффициентами

( д д \

\дх' дг)и(Х] ^ ^ а1иы + Ь1иг + й2Ь'хх + Ь2их + Си = ^(Х'^ (1)

где х £ М или М+, £ £ М+. Основные случаи уравнения (1) при й2 < 0:

а\ = 1 (гиперболический случай),

а\ = 0; Ъ\ = 1 (параболический случай).

Выделяются две задачи.

1. Задача Коши, когда х £ М, с начальными условиями и(х; 0) = и0(х),

%(ж;0) = и\(х) (гиперболический случай).

(2)

(3)

2. Нестационарная задача в собственном смысле, когда х £ R+ или х £ [0; I] и рассматривается однородное уравнение (1), (2), т. е. f (х; t) = 0, при нулевых начальных условиях Коши (3). В этом заключается собственный смысл задачи. В случае х £ R+ будут использованы следующие граничные условия:

и(0; t) = g(t), lim и(х; t) = 0; (4)

их(0; t) = v(t), lim u(x; t) = 0. (5)

Если x £ [0; l], то наряду с указанными условиями, когда х = 0, задаются условия при х = I.

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

1. Задача Кош и (х 6 М). Решение ищется в алгебре свертки 0'+(1) х х (р'+(х) и В'_(х)) с единичным элементом 5(х; {) = 6(х) х 5(1) —дельта-функцией Дирака. Операторами дифференцирования п-ного порядка по переменным х и £ в смысле теории обобщенных функций здесь будут (5'(х)) и П, причем (5')° = 5, и уравнение (1) примет вид

Ьа5'(х); 5'(г)) * и(х; г) = #({)/(х; г). (6)

Следуя методологии Л. Шварца для обыкновенных дифференциальных уравнений с постоянными коэффициентами [9], а также используя известную теорему о существовании фундаментального решения у любого линейного дифференциального оператора с постоянными коэффициентами в V, например [17], можно сформулировать следующее утверждение.

Теорема 1. Оператор в левой части (6) обратим, т. е. фундаментальное 'решение уравнения (1) или (6) в смысле алгебры свертки имеет вид

а^а^'(ХУ; 5'= тЕо(х; I), (7)

где Е0(х; Ь) —решение соответствующего однородного уравнения, отвечающее начальным условиям

Е0(х;0) = 5(х) (параболический случай),

Е0(х;0) = 0; (Е0)г(х;0) = 6(х) (гиперболический случай).

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

5'(I) * Щ)Ео(х; 1) = т(Ео)г(х; ^ + 5(1)Еа(х;0) = тШ^х; I); аз'(г))2 * Щ)Ео(х; ¿) = т(Ео)и(х; г) + 5(г)(Ео)г(х;0) = (9)

= т(Ео)ы(х; 1) + 5(х; I).

Отсюда, учитывая, что Е0(х; Ь) — решение однородного уравнения, получаем

Ь(5'(х); 5'(г)) * ^(г)Ео(х; г) = (х);6'(г)) * Ео(х; г) + 6(х;г) = 6(х;*)■

Замечание 1. Теорема 1, как нетрудно видеть, справедлива для оператора Ь типа (6) любого порядка относительно ¿, если коэффициент при (5'(Ь)^

максимального порядка равен единице, а начальные условия Коши

Ео(х; 0) = (Е0),(х; 0) = ... = 9 0 = 0;

, п СЛ ' (10)

т м =д(х).

Функция Е0(х;Ь) называется фундаментальным решением задачи Коши однородного уравнения [18]. Таким образом, теорема 1 определяет связь между фундаментальным решением неоднородного уравнения в алгебре свертки и фундаментальным решением задачи Коши соответствующего однородного уравнения.

Дальнейшее изложение основывается на следующей лемме.

Лемма. Если к ^ п — 1, где п —порядок оператора Ь относительно Ь, и выполняется хотя бы одно из двух условий:

1) фундаментальное 'решение Е(х;Ь) = $(Ь)Ео(х;1) при любом фиксированном финитно;

2) &к (х) — финитная функция,

то справедливо сверточное равенство

Е(х;1) * ек(х){б'(1))к = Щ)9* е*(х),

где дифференцирование понимается в смысле теории обобщенных функций.

Доказательство. Рассмотрим случай к = 0. Оставим общий индекс к у функции ек(х). Нужно показать, что

Е(х; I) * ек(х)5($ = Е(х; I) * ек(х). (11)

Действительно, по определению свертки и прямого произведения обобщённых функций для Уср(х; Ь) € 0(х;Ь) имеем

Е(х; г) * ек(х)5(г) = (Е(х; г") х ек(у) х 5(г),р(х + у;г + г)) = = (Е (х; г), (ек(у), (6( ¿),р(х + у;1 + г)))") =

= (Е(х; г), (ек(у),р(х + у; $)) = Е(х; г) * ек(х),

так как р(х;1) € Б(х) при любом £ = ¿о, а свертка Е(х;1о) * ек(х), согласно условию леммы, всегда определена.

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

Е(х;,.) * екмт" = ""£^ * *(*т = т* е,

Теорема 2. Решение задачи Коши (1)-(3) в алгебре свертки имеет вид

тф; V = тЕ0(х; I) * Щ)1(х; г) + т Е * ^(х), (12)

к=0

где г&{Ъ)Е0(х; Ь) — фундаментальное решение, п — порядок оператора Ь по переменной Ь, (х) определяются из выражения Ь и начальных условий.

В рассматриваемых случаях:

п = 1 (параболический случай): е0(х) = и0(х);

п = 2 (гиперболический случай): е0(х) = Ь1и0(х) + и1(х); е1(х) = и0(х).

Доказательство. Пусть и(х; Ь) — решение задачи (1)-(3). Применяя процедуру (9) к гд{Ъ)и(х; Ь) с учетом начальных условий (3), получаем

п_ 1

Ь(5'(х); 5'(1)) * Щ)и(х; I) = -9(1)1 (х; I) + £ efc(х) {5'(1))к, (14)

к=0

где вк(х) находятся согласно (13). После применения оператора (7) к обеим частям уравнения (14) с учетом леммы следует утверждение теоремы (12), (13).

Отметим, что начальные условия (3) входят в правую часть (13), а само решение этого уравнения по построению отвечает заданным начальным условиям Коши. Так как £ ^ 0, множитель §(1) в формуле (12) можно опустить. □

1.1. Схема определения фундаментального решение операторным методом. Применим последовательно операторные преобразования по £ и х к выражению фундаментального решения (7). Преобразование по Ь в алгебре с единичным элементом 5(Ь) (при этом переменная х рассматривается как параметр) дает

Е (х; ¿) = $(г)Ео(х; г) о Е (х; р); {6' (г))к о рк (к = 0,1, 2,...). (15)

Преобразование по х в алгебрах и с единичным элементом 5(х), где комплексная переменная р рассматривается как параметр, дает

Е (х; р) о Е (р1; р); {6' (х))к о рк (к = 0,1, 2,...). (16)

Следовательно, изображение фундаментального решения (7) согласно (15) и (16) будет иметь вид

Е ар1; р) = {Ь(рГ; р))_\ (17)

Отсюда следует правило: чтобы найти изображение фундаментального решения (17), нужно в многочлене Ь оператора (1) символы д/дх и д/дЪ заменить соответственно на р 1 и р, а потом взять обратную величину от полученного выражения. Оригинал Е(х; Ь) находится обратными преобразованиями по схеме

, Е+(р1;р) Е(х+;р)

Е (р 1;р) ^ Е_(р1; р) —► е (х+; % — Е (х;1). (18)

Чтобы выделить оригиналы для х € М+ и х € М_, требуется найти составляющие Е(р1;р): Е+(р1 ,р) € В'+ и Е_(р1,р) € В'_. Для этого нужно провести разложение этого изображения на элементарные дроби по переменной р1

и воспользоваться предельными соотношениями при И,ер 1 ^ учитывая при этом, что одновременно с И,ер ^ изображение должно стремиться к нулю. Напомним, что в алгебрах В'+ и изображения находятся в разных полуплоскостях от мнимой оси, а оригиналы для одинаковых изображений в этих алгебрах отличаются лишь знаком [15,16].

Впрочем, можно, ограничившись алгеброй , найти оригинал для случая х € М+, а для случая х € М_ оригинал определить из соображений симметрии.

1.2. Решения задачи Коши операторным методом в области М+(£)хМ(ж) на классических примерах уравнения теплопроводности и волнового уравнения. Для уравнения теплопроводности (параболического типа) задача Коши имеет вид

/ д д2 \

(—--)и(х; {) = /(х; I), а> 0; и(х;0) = и0(х).

\ о1 ох2 )

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

Решение этой задачи на основании (12), (13) ищем в виде

и(х; г) = $(г)Ео(х; г) * (х; г) + $(г)Ео(х; г) * ио(х). (19)

Определяем фундаментальное решение Е(х; Ь) = $(Ь)Ео(х; ¿). Согласно правилу (17) и схеме (18):

Е(р 1;р) = (р - а2р2)_ = Е+(р 1; р) + Е_(р 1;р),

где

1 / 1 \ 1 / 1 \

Е+(р 1;р) = 2^{р;т^т), Е-(р 1;р) = —

2а/р\р1 + у/р/аГ ' 2а/р\р1 — /р/а,

Используя известное соотношение преобразования Лапласа [19]

1 1 к2 —е_к/ о-= е_ « (к> 0), у/р у/^1

последовательно получаем:

1 Ф(^) 2

1 н г- -&а)

Е-(р1;р) о-о—Ц=е 4А, х € М_.

^ 111 2а/р 2ау/ж1

Таким образом,

-дН) х2

Е(Х; Ъ = 2;у= е"^, (20)

где х € К.

На основании (19), (20) получаем классическую формулу Пуассона:

г* гf (£; т) (х—)2 §(+) г(х-^2

и(х; ¿)= —%') е 4а2а-Т) ио(£)е~(х-т(!£.

Jo J_<x — т) 2(1^^]

Для волнового уравнения (гиперболического вида) задача Коши имеет

вид

( ()2 ()2 \ — а2 д^2)и(х;£) = f(x;t), а> 0; и(х;0) = и0(х), щ(х;0) = и1(х). Решение согласно (12), (13) ищем в виде

и(х; г) = ^(г)Ео(х; ^ * ^(^/(х; г) +

+ тЕо(х;1) * щ(х) + т* иа(х). (21)

Определим фундаментальное решение. На основании (17), (18), получаем Е (Р1; р) = (р2 — а2р\)-1 = Е+(р 1; р) + Е_ (^ р),

где

+(Р1;Р) 2ар(р1 + р/а), (р1;р 2ар(р1 — р/а) Используя теоремы подобия и запаздывания оригинала, имеем

Е+(р1; р) о ^р) е~х(») о ^((И — х), х € М+;

Е_(р-}_;р) о -1- ех(«) о + х), х € М_. 2 ар 2а

Таким образом,

Е(х;1) = 1т —\х\) = [1/2а, если \Ж\ <а', (22)

к ' 2а к 1 1 | 0, если \ж\ > аЪ,

где х € М.

Принимая во внимание четность дельта-функции Дирака и равенство, следующее из (22),

дЕ = V — \х\),

Ш 2 к \

получаем

; ^ * и°(х) = 2 (и°(х + ) + и°(х — )).

Отсюда и на основании (21), (22) после элементарных преобразований получаем классическую формулу Даламбера:

1 г t г х+а^-т)

Ф;*) = 7Г №;т)<%<1т+

2а 10 Jx-a(t-т)

1 г х+а1 1

+ — и1(0<£ + 1{ио(х + а1)+ио(х — а£)).

2а ■)х—аЪ 2

2. Нестационарная задача в собственном смысле, х Е (х Е [0; £]).

Здесь используется иной подход, чем в первом типе задач. Применим операторное преобразование по 4 в алгебре к исходному однородному уравнению (1), (2) при нулевых начальных условиях Коши (3) и заданных граничных условиях. С учетом теоремы о дифференцировании по параметру соотношения «оригинал-изображение» [16] имеем

иш «и (х; „); ^ «„ки (х; „); ^ « ^.

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

Предложение. Пусть ¡{Ъ) » Е(р) и с, й е М+ — постоянные, тогда 7РР » - сх) + £(-1)4(I - сх - к() =

к=1

¿(-1)к№ - сх -Ы); (23)

Е (р)е

—с хр

к=0

те те

—др- » ¡(г - сх) + 2_^ ¡(г - сх = /(г - сх - ы). к=1 к=0

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

Е(р)е СХР = Е(р)е—схр1 1 + У^(-1)ке—Мр) »

1 + е ~Лр

к=1

Л + ^ (-^е-ыЛ ^ к=1 '

« ¡(Ь - сх) * (5(г) + ^(-1)к5(г - к(А «

^ к=1 '

те

« /(г - сх) + ^(-1)кf (г - сх -к() (24)

к=1

или

те

к

^^ (-1)к/а - сх -к().

к=0

Учитывая неравенство £ ^ сх + kd, отметим, что при любом значении £ ряды (23) содержат конечное число слагаемых.

Далее на примере волнового уравнения рассмотрим решения задач, когда ж € К+ и ж € [0; I].

2.1. Примеры граничных задач для волнового уравнения. Рассмотрим сначала случай х € К+. Пусть начало струны х = 0 свободно и по неподвижной струне наносится воздействие такое, что выполняется условие их(0; Ь) = ь(Ь). Таким образом, решаем волновое уравнение при нулевых начальных условиях Коши (3) и граничных условиях (5):

( д2 2 д2 \

(25)

[gp2 -a Ъх2)u(x;t) =0; u(x;о) = щ(х'о) =0;

ux(0; t) = v(t); lim u(x; t) = 0. Изображение

U (x-, р) = - ^ е~ f ^

Р

— решение операторного уравнения

2тт 2 d2U

p2U - а2—т = 0, ах2

соответствующего условиям (25), отвечающее граничным условиям dU

—— (0; р) = V(р), lim U(х; р) ^ 0.

dx x^cx,ReP>0

Отсюда

u(x; t) = -av(t) * — —^j

— решение задачи в алгебре свертки.

Выпишем решения для частных случаев функции v(t) в начальных условиях:

а) если v(t) —локально интегрируемая функция, то

ж4 а*

где

u(x; t) = —aV (t — —^J,

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

V (х) = [ у(т)йт; Jo

б) если ь(Ь) = 5(£), т.е. по струне наносится мгновенный удар, то

и(х; Ь) = —

Пусть теперь ж € [0; I]. Будем решать такую же задачу для уравнения (25), но для закрепленной на конце ж = I струны, т. е. при нулевых начальных условиях Коши будут выполняться граничные условия:

их(0; г)= у(г), и(1; $ = 0. (26)

В этом случае, учитывая разложение (23), получаем

V(р) (ер -е^)р\

_______'21-х\

V ( р) I е пр — е 1

и (х; р) = -а-

С

р \ 1 + е "тр ) — решение операторного уравнения, отвечающее граничным условиям

( и

— (0; р) = V (р), и (I; р) = 0.

Отсюда разложением этого изображения в ряд находится решение задачи (26) в алгебре свертки:

и(х; 1) = -аь(1) * §(£) *

+

а

+±* - х - 21)+-*!))

к=1 4 7

Выпишем решения, соответствующие таким же частным случаям функции ( ), как и в первой задаче:

а) если ( ) — локально интегрируемая функция, то, используя прежнее обозначение V(г), выпишем

те

и(х; г) = -аУ( г -ха) + а К - 2 £) + ^< + | - 2 ^

а

к=1

б) если ( ) = ( ) , то

и(х< <) = -а«((. - а) + а £<-!)'[*(. - х- - 2£) + ^ + 1 -

к=1

Приведем результат непосредственного использования соотношений (23). Рассмотрим уравнение (25) при нулевых начальных условиях (3) и следующих граничных условиях для закрепленной и свободной на конце х = : струны [1]:

и(0;г)=д(г), и(1;г) = 0; (27)

и(0;*)=д(1), их(Ы) = 0. (28)

Учитывая (23), решения операторного уравнения при граничных условиях

и(0;р) = С(Р), и(I;р) = 0 (условия (27))

и(0;р) = С(Р), = 0 (условия (28)

представляем в виде

ц вщт jР - е-(^») и ц р)= вщтIР + вГ< ^»)

1 - е" 2Р 1 + е~ 2-р

Отсюда находим решение задач с граничными условиями (27) и (28):

* Г.Л * Л ^ .л. х „и ^ к=1

к=1

( х \ v^ г ( х kl \ ( х kl \

U(x-t)= g(t -- + V\g(t---2- - g(t + - - 2-

V а/ f—^ LV а а) \ а а /

u(x]t) = g(t - *) + £(-1)к \g(t - * - 2М) - g(t + * - 2^) V а/ .V а а / V а а J.

2.2. Интеграл Дюамеля с точки зрения теории обобщенных функций [1,16,20]. Введем решение U(x]t), отвечающее однородному уравнению (1), (2), нулевым начальным условиям Коши (3) и, в зависимости от заданных граничных условий (4) или (5), специальным граничным условиям:

U(0; t) = $(t), lim U(x-,t) = 0 (граничные условия (4))

х^те

или

Ux(0; t) = $(t), lim U(x-,t) = 0 (граничные условия (5)).

х^-те

Для того чтобы полученные далее выражения имели один и тот же вид для заданных условий (4) или (5), примем здесь, что в этих условиях обозначения правых частей одинаковые, т. е. g(t) = v(t).

Теорема 3 (интеграл Дюамеля). Решение однородной задачи (1), (2) при нулевых начальных условиях (3) и граничных условиях (4) или (5) можно выразить через соответствующую функцию U(х; t) в алгебре свертки по формуле

д

и(х; t) = -(U(х; t) * g(t)) = Ut(x; t) * g(t) = U(x; t) * g'(t), (29)

где дифференцирование понимается в смысле теории обобщенных функций.

Доказательство. Будем рассматривать решение в алгебре D'+ (t), при этом переменная х рассматривается как параметр. В этой алгебре решение представляется в виде

и(х; t) = U(х; t) * ö'(t) * g(t). (30)

Действительно, из определения U(х; t), а также правила дифференцирования свертки функций, согласно которому эта операция может быть отнесена только к U(х; t), решение и(х; t) удовлетворяет однородному уравнению (1), (2), нулевым начальным условиям (3) и граничному условию u(<xi; t) = 0. Проверим в случае задания граничное условие (4) для х = 0:

и(0; t) = U(0; t) * S'(t) * g(t) = #(t) * S'(t) * g(t) = g(t).

Проверка граничного условия (5) проводится аналогично. Из (30) следует, что

д

и(х; I) = (и(х; I) * д(1)) * 6'($ = — (и(х; I) * д($),

откуда следует (29). □

Приведем некоторые практические формулы реализации теоремы Дюаме-ля, которые нетрудно получить из (29) в зависимости от заданной функции д(Ь) в начальных условиях [20]:

д Г Г

u(x;t) = — U (x;t — т)д(т)йт = Ut(x;t — т)д(т)йт = dt Jo Jo

= U (x;t)g(0) + U (x;t — т) g'(r)dr, (31) o

где g(t) и g'(t) — обычные кусочно-непрерывные функции;

m

u(x; t) = ^ — U) U (x;t — U), (32)

i=1

m

где g(t) = c-i$(t — ti), Ci — постоянные.

i=1

Замечание 2. Теорема 3, как нетрудно видеть, справедлива, если однородное уравнение (1), (2), отвечающее нулевым начальным условиям (3), задано на отрезке x £ [0;1]. В этом случае должны быть указаны граничные условия при x = I, которым в месте с условием U(0;t) = 'ff(t) или Ux(0;t) = 'ff(t) должна удовлетворять функция U(x;t).

На известном примере покажем применение теоремы.

2.3. Распределение температуры в полуограниченном стержне.

Пусть в начальный момент времени тонкий стержень имеет нулевую температуру и задана функция изменения температуры — g(t) при x = 0. Таким образом, решаем уравнение теплопроводности при следующих начальных и граничных условиях:

/ д д2 \

(——a2—^)u(x;t)=0; u(x; 0) = 0; u(0;t) = g(t); limu(x;i) = 0. (33) \dt dx2)

Здесь удобно применить теорему Дюамеля. Найдем вспомогательное решение U(x;t), отвечающее начальному условию U(0;t) = $(t). Соответствующее операторное уравнение

< 2 U

pU — = 0

< x2

при граничных условиях

U(0; p) = 1, lim U(x; p) ^ 0

p x^<x,Re p>0

имеет решение

е-f VP

и (х; р) =

р

Используя известное соотношение преобразования Лапласа [3]

е-&у/р

„ f2L) (a> 0),

Р \2y/t'

получаем

ТТ (vt) — Erf( ^ ^

-2аф-> \2ay/t'

где

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

2 fz 2

erf (г) — ^^ е т dr. Vk Jo

Выпишем решение задачи (33) для частных случаев:

а) если д(Ь) — непрерывная функция, то, используя второе соотношение формулы (29) или (31), будем иметь

Г* х Г* а(т) х2

и(х] г)= и(х^ - т)д(т)йт = у 1 [ е (*-)dт;

Уо 2ау/ж ]0 (г - т)3/2

б) если д(1 ) = —1) — ,&(1 -2), то, используя третье соотношение формулы (29) или формулу (32), будем иметь

ф; 0 — - Ч - К - 2) НЪ^Ы ■

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

1) возможно рассмотрение уравнений, заданных на всей оси;

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

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

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

Конкурирующие интересы. Конкурирующих интересов не имею.

Авторский вклад и ответственность. Я несу полную ответственность за предоставление окончательной версии рукописи в печать. Окончательная версия рукописи

мною одобрена.

Финансирование. Исследование выполнялось без финансирования.

Библиографический список

1. Courant R., Hilbert D. Methods of Mathematical Physics. vol.2: Partial Differential Equations. New York: Interscience Publ., 1962. xxii+830 pp.

2. Doetsch G. Introduction to the Theory and Application of the Laplace Transformation. Berlin, Heidelberg: Springer-Verlag, 1974. viii+327 pp. doi: 10.1007/978-3-642-65690-3.

3. Лаврентьев М. А., Шабат Б. В. Методы теории функций комплексного переменного. М.: Наука, 1987. 688 с.

4. Федорюк М. В. Интегральные преобразования / Анализ - 1 / Итоги науки и техн. Сер. Соврем. пробл. мат. Фундам. направления, Т. 13. М.: ВИНИТИ, 1986. С. 211-253.

5. Sharma J. N., Singh K. Partial Differential Equations for Engineers and Scientists. New Delhi: Narosa Publishing House, 2011. 354 pp.

6. Волков И. К., Канатников А. Н. Интегральные преобразования и операционное исчисление / Математика в техническом университете. Т. 11 / ред. В. С. Зарубин, А. П. Кри-щенко. М.: МГТУ им. Н. Э. Баумана, 2015. 227 с.

7. Schwartz L. Transformation de Laplace des distributions // Meddel. Lunds Univ. Mat. Sem. Suppl.-band M. Riesz, 1952. pp. 196-206 (In French).

8. Lions J. L. Supports dans la transformation de Laplace// J. Anal. Math., 1953. vol.2. pp. 369-380 (In French).

9. Schwartz L. Méthodes mathématiques pour les sciences physiques. Avec le concours de Denise Huet/ Enseign. des sciences. Paris: Hermann & Cie, 1961. 392 pp. (In French)

10. Владимиров В. С. Обобщенные функции в математической физике. М.: Наука, 1979. 319 с.

11. Владимиров В. С. Уравнения математической физики. М.: Наука, 1981. 512 с.

12. Брычков Ю. А., Прудников А. П. Интегральные преобразования обобщенных функций. М.: Наука, 1977. 287 с.

13. Kecs W., Teodorescu P. P. Application of the distribution theory in the mechanics. Bucuresti: Editura Academiei Republicii Socialiste Romania, 1970. 438 pp. (In Romanian)

14. Mikusinski J. Operational calculus / Internat. Series of Monographs on Pure and Applied Mathematics. vol. 8. New York: Pergamon Press, 1959. 495 pp.

15. Коган И. Л. Построение операторного исчисления Микусинского на основе алгебры свертки обобщенных функций. Основные положения // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2012. №2(27). С. 44-52. doi: 10.14498/vsgtu1013.

16. Коган И. Л. Построение операторного исчисления Микусинского на основе алгебры свертки обобщенных функций. Теоремы и начало применения // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2013. №3(32). С. 56-68. doi: 10.14498/vsgtu1119.

17. Hormander L. Linear partial differential operators / Die Grundlehren der mathematischen Wissenschaften. vol. 116. Berlin, Gottingen, Heidelberg: Springer-Verlag, 1963. vii+285 pp.

18. Гельфанд И. М., Шилов Г. Е. Обобщенные функции. Т. 1: Обобщенные функции и действия над ними. М.: Физматлит, 1959. 470 с.

19. Korn G. A., Korn T. M. Mathematical handbook for scientists and engineers: definitions, theorems, and formulas for reference and review: Reprint with corrections of the 2nd revised and enlarged edition 1968. / Dover Civil and Mechanical Engineering. Mineola, NY: Dover Publications, 2003. xvii+1130 pp.

20. Коган И. Л. Метод интеграла Дюамеля для обыкновенных дифференциальных уравнений с постоянными коэффициентами с точки зрения теории обобщенных функций// Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2010. №1(20). С. 37-45. doi:10.14498/vsgtu673.

Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki

[J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2018, vol. 22, no. 2, pp. 236-253

d http://doi.org/10.14498/vsgtu1569

ISSN: 2310-7081 (online), 1991-8615 (print)

MSC: 44A40, 35E20

Construction of Mikusinski operational calculus based on the convolution algebra of distributions. Methods for solving mathematical physics problems

I. L. Kogan

Russian State Agrarian University — Moscow Agricultural Academy after K. A. Timiryazev,

49, Timiryazevskaya st., Moscow, 127550, Russian Federation.

Abstract

A new justification is given for the Mikusinsky operator calculus entirely based on the convolution algebra of generalized functions D+ and D'_, as applied to the solution of linear partial differential equations with constant coefficients in the region (x;t) e R(R+) x R+. The mathematical apparatus used is based on the current state of the theory of generalized functions and its one of the main differences from the theory of Mikusinsky is that the resulting images are analytical functions of a complex variable. This allows us to legitimate the Laplace transform in the algebra D+ (x e R+), and apply the algebra to the region of negative values of the argument with the use of algebra D'_. On classical examples of second-order equations of hyperbolic and parabolic type, in the case x e R, questions of the definition of fundamental solutions and the Cauchy problem are stated, and on the segment and the half-line x e R+, non-stationary problems in the proper sense are considered. We derive general formulas for the Cauchy problem, as well as circuit of fundamental solutions definition by operator method. When considering non-stationary problems we introduce the compact proof of Duhamel theorem and derive the formulas which allow optimizing obtaining of solutions, including problems with discontinuous initial conditions. Examples of using series of convolution operators of generalized functions are given to find the originals. The proposed approach is compared with classical operational calculus based on the Laplace transform, and the theory of Mikusinsky, having the same ratios of the original image on the positive half-axis for normal functions allows us to consider the equations posed on the whole axis, to facilitate the obtaining and presentation of solutions. These examples illustrate the possibilities and give an assessment of the efficiency of the use of operator calculus.

Keywords: calculus of Mikusinski, space of distributions, convolution of distributions, convolution algebra, Laplace transform, Duhamel integral.

Received: 17th October, 2017 / Revised: 11th February, 2018 / Accepted: 12th March, 2018 / First online: 28th March, 2018

Research Article

3 ©® The content is published under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/) Please cite this article in press as:

Kogan I. L. Construction of Mikusinski operational calculus based on the convolution algebra of distributions. Methods for solving mathematical physics problems, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2018, vol. 22, no. 2, pp. 236-253. doi: 10.14498/vsgtu1569 (In Russian). Author's Details:

Iosif L. Kogan http://orcid.org/0000-0002-1147-694X

Cand. Techn. Sci.; Associate Professor; Dept. of Higher Mathematics; e-mail: ik_@list.ru

Competing interests. I declare that I have no competing interests

Author's Responsibilities. I take full responsibility for submitting the final manuscript

in print. I approved the final version of the manuscript.

Funding. The research has not had any funding.

References

1. Courant R., Hilbert D. Methods of Mathematical Physics, vol.2, Partial Differential Equations. New York, Interscience Publ., 1962, xxii+830 pp.

2. Doetsch G. Introduction to the Theory and Application of the Laplace Transformation. Berlin, Heidelberg, Springer-Verlag, 1974, viii+327 pp. doi: 10.1007/978-3-642-65690-3.

3. Lavrent'ev M. A., Shabat B. V. Metody teorii funktsii kompleksnogo peremennogo [Methods for the theory of functions of a complex variable]. Moscow, Nauka, 1987, 688 pp. (In Russian)

4. Fedoryuk M. V. Integral Transforms, In: Analysis I. Integral Representations and Asymptotic Methods, Encyclopaedia of Mathematical Sciences, 13; ed. R. V. Gamkrelidze. Berlin, Heidelberg, Springer-Verlag, 1989, pp. 193-232. doi: 10.1007/978-3-642-61310-4_2.

5. Sharma J. N., Singh K. Partial Differential Equations for Engineers and Scientists. New Delhi, Narosa Publishing House, 2011, 354 pp.

6. Volkov I. K., Kanatnikov A. N. Integral'nye preobrazovaniia i operatsionnoe ischislenie [Integral transforms and operational calculus], Matematika v tekhnicheskom universitete [Mathematics in the Technical University], vol. 11, eds. V. S. Zarubin, A. P. Krishchenko. Moscow, Bauman Moscow State Techn. Univ., 2015, 227 pp. (In Russian)

7. Schwartz L. Transformation de Laplace des distributions, Meddel. Lunds Univ. Mat. Sem. Suppl.-band M. Riesz, 1952, pp. 196-206 (In French).

8. Lions J. L. Supports dans la transformation de Laplace, J. Anal. Math., 1953, vol. 2, pp. 369380 (In French).

9. Schwartz L. Méthodes mathématiques pour les sciences physiques. Avec le concours de Denise Huet, Enseign. des sciences. Paris, Hermann & Cie, 1961, 392 pp. (In French)

10. Vladimirov V. S. Obobshchennye funktsii v matematicheskoi fizike [Generalized Functions in Mathematical Physics]. Moscow, Nauka, 1979, 319 pp. (In Russian)

11. Vladimirov V. S. Uravneniia matematicheskoi fiziki [Equations of Mathematical Physics]. Moscow, Nauka, 1981, 512 pp. (In Russian)

12. Brychkov Yu. A., Prudnikov A. P. Integral'nye preobrazovaniia obobshchennykh funktsii [Integral transformations of generalized functions]. Moscow, Nauka, 1977, 287 pp. (In Russian)

13. Kecs W., Teodorescu P. P. Application of the distribution theory in the mechanics. Bucuresti, Editura Academiei Republicii Socialiste Romania, 1970, 438 pp. (In Romanian)

14. Mikusinski J. Operational calculus, Internat. Series of Monographs on Pure and Applied Mathematics, vol. 8. New York, Pergamon Press, 1959, 495 pp.

15. Kogan I. L. Construction of Mikusinski operational calculus based on the convolution algebra of distributions. Basic provisions, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2012, no. 2(27), pp. 44-52 (In Russian). doi:10.14498/vsgtu1013.

16. Kogan I. L. Construction of Mikusinski operational calculus based on the convolution algebra of distributions. The theorems and the beginning of use, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2013, no. 3(32), pp. 56-68. doi: 10.14498/vsgtu1119.

17. Hormander L. Linear partial differential operators, Die Grundlehren der mathematischen Wissenschaften, vol. 116. Berlin, Gottingen, Heidelberg, Springer-Verlag, 1963, vii+285 pp.

18. Gelfand I. M., Shilov G. E. Generalized functions, vol.1, Properties and operations. New York, London, Academic Press, 1964, xviii+423 pp.

19. Korn G. A., Korn T. M. Mathematical handbook for scientists and engineers: definitions, theorems, and formulas for reference and review, Reprint with corrections of the 2nd revised

and enlarged edition 1968., Dover Civil and Mechanical Engineering. Mineola, NY, Dover Publications, 2003, xvii+1130 pp.

20. Kogan I. L. Method of Duhamel Integral for Ordinary Differential Equations with Constant Coefficients in Respect to the Theory of Distributions, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2010, no. 1(20), pp. 37-45 (In Russian). doi: 10.14498/vsgtu673.

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