CC BY
96
Челябинский физико-математический журнал. 2018. Т. 3, вып. 3. С. 276-294.
УДК 517.953 БОТ: 10.24411/2500-0101-2018-13302
ЗАДАЧИ СОПРЯЖЕНИЯ ДЛЯ НЕКОТОРЫХ АНАЛОГОВ УРАВНЕНИЯ ПРОДОЛЬНЫХ ВОЛН С РАЗРЫВНЫМ КОЭФФИЦИЕНТОМ
А. И. Григорьева
Северо-Восточный федеральный университет им. М. К. Аммосова, Якутск, Россия shadrina_ai@mail.ru
Исследуется разрешимость задач сопряжения для уравнения составного типа с разрывным коэффициентом. Методом продолжения по параметру доказываются теоремы существования и единственности регулярных решений. Также приводятся различные примеры неединственности существования решений, зависящие от того, как себя ведёт разрывная функция в заданной области.
Ключевые слова: разрывный коэффициент, задача сопряжения, регулярное 'решение, су-шествование и единственность решения, метод продолжения по параметру, априорная оценка.
Введение
В работе изучается уравнение
пи - а(х)пхх - пххЫ + с(х, г)п = /(х, (1)
в ситуации, когда коэффициент а(х) может иметь разрыв первого рода в некоторой внутренней точке своей области определения.
Уравнение (1) принадлежит к классу уравнений составного типа; в последнее время подобные уравнения называют также уравнениями соболевского типа [1-4]. Непосредственно уравнения вида (1) возникают при моделировании продольных волн в стержнях, в теории длинных волн на воде, в теории волн в плазме [5-7]. Разрешимость различных краевых задач для таких уравнений с непрерывным коэффициентом а(х) изучалась в работах многих авторов, см., например, [8-21]. С другой стороны, при моделировании различных процессов, протекающих в составных средах с различными характеристиками, часто возникают задачи, в которых на линии разрыва необходимо задавать некоторые условия сопряжения (склейки). Именно такие задачи и будут предметом исследования в настоящей работе.
Краевые и начально-краевые задачи сопряжения или обобщённые задачи дифракции достаточно хорошо изучены для классических эллиптических, параболических и гиперболических уравнений (см. [22; 23]), из работ последнего времени отметим статьи [24-26]. Менее изученными представляются задачи сопряжения для неклассических уравнений, здесь можно отметить работы [27-32]. Частично восполнить данный пробел и предполагается в настоящей работе.
1. Постановка задач
Специфика уравнений вида (1) такова, что для них корректной будет как начально-краевая задача (совпадающая по постановке с обычной начально-краевой
задачей для гиперболических уравнений второго порядка), так и задача с данными на всей границе (эллиптическая задача). В соответствии с этим и задача сопряжения ниже будет изучаться в двух постановках.
Пусть х есть точка отрезка [-1,1] оси Ох, £ есть точка отрезка [0, Т], 0 < Т < то, д2 и д есть цилиндры (-1,0) х (0,Т), (0,1) х (0,Т) и (-1,1) х (0,Т) соответственно, с(х, £) и /(х, £) — функции, определённые при (х, £) € д, а(х) есть заданная функция, определённая при х € [-1,1] и имеющая, быть может, разрыв 1-го рода при х = 0, а и Ь — заданные действительные числа.
Задача сопряжения I: найти функцию и(х,£), являющуюся в цилиндрах д1 и д2 решением уравнения (1) и такую, что для неё выполняются условия
м(-М) = м(М) = 0, £ € (0,Т), (2)
и(х, 0) = и(х,Т) = 0, х € (-1, 0) и (0,1), (3)
и(-0,£) = аи(+0,£), £ € (0,Т), (4)
иХ(+0,£) = ЬиХ(-0,£), £ € (0,Т). (5)
Задача сопряжения II: найти функцию и(х,£), являющуюся в цилиндрах д1 и д2 решением уравнения (1) и такую, что для неё выполняются условия (2), (4), (5) и равенство
и(х, 0) = и(х, 0) = 0, х € (-1, 0) и (0,1).
Определим необходимые функциональные пространства V(д1), V(д2) и V:
V(д1) = <( : ](у2 + V2 + V2 + ^ + ^ + V2 + ^ + ^ХХ«^^ <
V(д2) = {£) : у(^2 + + V2 + ^Хх + ^ + V2 + ^ + г^«^^ <
Я2
V = |^(х,£) : и(х,£) € Vг;(х,£) € V
(все производные понимаются как обобщённые производные по С. Л. Соболеву). Зададим норму в этих пространствах:
- = {/■' + < + < + - + ,+ + + <.....-}", = ..
Ик = (|М^ (о) + NIV (д2))1/2.
Очевидно, что пространства V, V(д1), V(д2) с этими нормами будут банаховыми пространствами.
2. Разрешимость задачи сопряжения I Теорема 1. Пусть аЬ > 0 и пусть выполняются условия
а(х) < а0 < 0, х е [-1,1], (6)
с(х,г) ес2(<51)иС2(<52), с(х,г) < 0, Схх(х,г) > 0, х е (-1,0) и (0,1), г е (0,Т), (7) с(-о,г) = с(+0,г), сх(-0,г) < 0, Сх(+0,г) > 0, г е (0,т). (7)
Тогда задача сопряжения I не может иметь более одного решения в пространстве V.
Доказательство. Пусть п(х,г) будет решением задачи сопряжения I из пространства V и пусть /(х, г) = 0. Умножим уравнение (1) на функцию пхх в области и на 7пхх, где 7 = а/Ь, в области ф2, затем проинтегрируем по и соответственно и сложим. Получим следующее равенство:
то Т 1 то
У У и2хтдьхдьт + 7 J У пхтдьхдьт - J ^ «(х^^х^т-
о -1 оо о -1
т 1 то т 1
-7 У У а(х)пхх^х^г + У У пххтдьхдьт + 7 J ^ и2ххт^х^т+
о о о -1 о о
то т 1 т
+2 // с(х,т)п^т + 2 11 схх(х,т)и2** - I / )п2(-0,т,т+
о -1 о о о
т то т 1
+2/ с,+0,т )п2<+0,т * -/ / с(х,т „«т - „ // ^ № = 0.
о о -1 о о
Из этого равенства и условий теоремы и будет вытекать единственность задачи сопряжения I. □
Теорема 2. Пусть выполняются условия (6), (7). Тогда для любой функции /(х,г) е Ь2(ф) задача сопряжения I имеет решение, принадлежащее пространству V.
Доказательство. Рассмотрим вспомогательную задачу: найти решения г(х,г) и и)(х,г) уравнений
аЬ(х + 1) а(х + 1)
гй(х,г) - а(х)^хх(х, г) - г;хх«(х,г)--——— 0,г) + ——— гий(+0,г) +
1 + ао 1 + ао
ч / / ч а(х + 1) . . аЬ(х + 1) . Л . . . ^
+ с(х,гн г(х,г)+ ( + аЬ)Ц+0,г) - 1(+аЬ)гх(-0,г)1 = /(х,г), (х,г) е дь (8)
гий(х, г) - а(х)г«хх(х, г) - Шгхй(х, г) + —г>х«(-0, г) + —^ гий (+0, г) +
1 + ао 1 + ао
+с(х,г) (^(х,г) + аЬ1(+-аЬ1)^(+0,г) + г?х(-0,гЛ = /(х,г), (х,г)е(9)
в областях д1 и д2 соответственно, для которых выполняются условия
£(-М) = г?(-0,£) = 0, £ € (0,Т), (10)
гу(1,£) = кх(+0,£) = 0, £ € (0,Т), (11)
г;(х, 0) = г;(х,Т) = 0, х € (-1, 0), (12)
К(х,0) = К(х,Т) = 0, х € (-1,0). (13)
Для доказательства разрешимости этой задачи воспользуемся методом продолжения по параметру. Возьмём некоторое число Л из отрезка [0,1] и рассмотрим задачу: найти решение г^х, £) € V(д1), К(х,£) € V(д2) уравнений
Л2аЬ(х + 1) Ла(х + 1)
г>й(х,г) - а(х)^хх(х,£) - ^«(х,^--1 + Л^Ь ^(-О,^) + 1 + л2аЬ к**(+°,£) +
/ ч ч Ла(х + 1) „ , ^ . Л2аЬ(х + 1) „ , ^ Л
+С(х,() ^ + -т-+хЛ+а7Г'"(+°-г>- ^ТЛ+аТ"х(-0-гО =
= /(х,<), (х,<) € дь (14)
Ла(х - 1) Л2аЬ(х - 1) гуй(х,£) - а(х)г^хх(х, £) - кхх«(х,£) + 1 + л2-ь ^(-0,^) +--1 + л2-ь кМ+°,£) +
Л2аЬ(х 1) Ла(х 1)
= /(х,<), (х,<) € д2, (15)
такие, что для них выполняются условия (10)—(13).
При Л = 0 данная задача имеет решение {{^х,£),й(х,£)}. Теперь докажем наличие для функций ^(х,^ и К(х,£) «хороших» априорных оценок. Определим функции 1>(х,£) и к(х,£):
Ла(х + 1) . . Л2аЬ(х + 1) . , ,
'!(х-() = '!(х-() + тЪ-ъ ш(+(м) - ^^Л+Ь"1 "Х(-0-')- (16>
ЛЬ(х — 1) . . Л2аЬ(х — 1) . ,
к(х, = £) + 1 + Л2-Ь) + 1 Л2-Ь ) кХ(+0, £). (17)
Для этих функций выполняются равенства
V« - а(х)^хх - УххИ + с(х,ф = /(х,£), (18)
ки - а(х)кхх - Кххы + с(х, = /(х, £) (19)
в областях д1 и д2 соответственно и выполняются также условия
0,£) = л-к(+0,£), £ € (0,Т), (20)
кХ(+0,£) = ЛЬ^-О,*), £ € (0,Т), (21)
и условия (10)-(13). Умножим уравнение (18) на функцию ^ХХ(х,£) и проинтегрируем по области д1, затем умножим уравнение (19) на функцию 7^ХХ (х, £), где 7 = а/Ь, и проинтегрируем по области д2. Сложив два полученных выражения, придём к равенству
то т 1 то
У У г-т^т + 7 У У ад^^Ыт - У У «(х^^х^т-
о -1 о о о -1
т 1 то т 1
—7 У Уа(х)ад2;х^х^т + J ^ г2схт^х^т + 7 У У^^хт^х^т+
о о о 1 о о
т о
т 1
т
+1//с,,т + 2//схх (х,т № - Ц сх(-0,т 0,т *+
о -1 т
оо
т о
т 1
+ 2^ сх(+0,т)^2(+0,т)ат - с(х,т)гх^х^т - 7 / с(х,т)^х^х^т
о1
оо
то т 1
= УУ / (х,т )гхх^х^т + ^У У / (х,т )^хх ^х^т. о -1 о о
Применив в правой части этого равенства неравенство Юнга, получим первую априорную оценку
т о
т 1
(^хт I ^хх I ^ххт) ^т | / / (^^^т I ^^х I ) ^х^т <
о1
оо
< М1
то т 1
22
/ (х, т+ / / / (х, т
о1
оо
(22)
в которой число М1 определяется лишь числами ао, а, Ь и функцией с(х,г).
Теперь умножим уравнение (18) на функцию -гххй(х,г) и проинтегрируем по области , а уравнение (19) — на функцию -7^хх;;(х,г) и проинтегрируем по области Сложив и выполнив интегрирование по частям, используя неравенство Юнга и оценку (22), получим вторую априорную оценку для функций г(х,г) и
эд(х, г)
то т 1
У У гххтт ^т + У У и>ххтт ^Ыт <
о -1 о о
< М2
то т 1
I ^ I / / /
/ (х, т+ / / / (х, т
о1
оо
константа М2 в которой определяется числами ао, а и Ь, а также функцией с(х,г). Имеют место равенства
®(х,г) = г(х, г) + ЛаЬ(х + - 1) гх(-0,г) + Ла(х + 1)((2аЬ - 1) Ц+0,г),
1 + Л2аЬ
1 + Л2аЬ
гй(х,г) = ш(х,г) + ЛаЬ(х - 1)2(1 - Л)ш(+0,г) - ЛЬ(х - 1)((ЛаЬ + 1)^(-м).
1 + Л2аЬ
1 + Л2аЬ
Из ограниченности функций ^(х,£) и к(х,£) в пространствах V(д1) и V(д2) соответственно и из этих равенств следует, что функции £>(х,£) и К(х,£) также будут ограничены в этих же пространствах. А это и означает, что для решений ■б(х, £), К(х, £) будет выполнена требуемая равномерная по Л оценка в пространствах V(^1) и V(^2).
Как вытекает из теоремы о методе продолжения по параметру [33, гл. 3, §14], разрешимость задачи (10)—(15) при Л = 0 и полученная оценка означают, что задача (8)-(13) будет иметь решение ■б(х, £), К(х, £), такое, что ■б(х,£) € V(д1), К(х,£) € V(д2). Обозначим функции 1>(х,£) = ■б(х,£) + (х + 1)ак(+0,£), к(х,£) = К(х,£) + (х - 1)Ь^Х(-0,£). Далее определим функцию
( £) Г ^(х,£), (х,£) € ^1, и(х,£) = | к(х,£), (х,£) € ^2,
которая и является решением задачи сопряжения I из требуемого класса. Теорема доказана. □
Покажем теперь, что при нарушении условий теорем 1 и 2 для задачи сопряжения I может иметь место как неединственность, так и несуществование решений. Сначала приведём примеры неединственности.
Пусть а1 и а2 есть заданные отрицательные числа, а0(х) есть кусочно-постоянная функция
а (х) = / аь х € [-1, 0],
а0(х)^ «2, х € [0, 1].
Рассмотрим задачу сопряжения I со спектральным параметром или задачу сопряжения I': найти функцию и(х,£), являющуюся в цилиндрах д и д2 решением уравнения
пы - ао(х)«хх - «ХХЙ = Ли (1')
и такую, что для неё выполняются условия (2)—(4). Заметим, что задача сопряжения I' фактически является задачей на собственные значения.
Пусть (¿)}^=1 и есть соответственно собственные функции и соб-
ственные числа задачи
</(£) = М*), <^(°) = ^(Т) = 0.
Уточним, что все собственные числа здесь отрицательные, простые и расположены по убыванию; единственной предельной точкой последовательности {^}^=1 является -то.
Положим = /, 1 , , в2,к = /, 1 , , вк = в2,к, (Л) = |Л - ^|, у1®1+№Ъ I I
(Л) = в2,к\/|Л - |. Пусть Л есть фиксированное число из промежутка (^1, +то).
Определим решение и(х,£) как задачи сопряжения I для уравнения (1'):
те
^ Ск(х)^(£), (х,£) € ^1,
и(х,£) = <
4(х)^к(£), (х,£) € ^2.
к=0
Функции Ск (х) и 4 (х) здесь представляют собой решение уравнений
ск - т2(Л)ск(х) = 0, < - (х) = 0
на интервалах (-1,0) и (0,1) соответственно, снабжённых условиями
скк(-1) = 0, 4(1) = 0, ск(-0) = а4(+0), 4(+0) = Ьск(-0).
Искомые функции с^ (х) и 4 (х) имеют вид
^(х) = Ае7к(Л)х + Вке-7к(л)х, 4(х) = Скейк(л)х + Де-<5к(л)х,
А, В, Ск, Д — постоянные. Граничные условия и условия сопряжения дают для А, В, Ск и Д систему уравнений
е-7к (Л) + е7к(л) = 0, Ск егк(л) + е-гк(л) = 0, А + В = а(Ск + Д), Ск4(Л) - Д4(Л) = Ь(А(Л) - (Л)).
Определитель А этой системы есть число
А = аЬ7к(Л)(е-<5к(л) - ейк(л))(е-^к(л) + е7к(л)) + 5к(Л)(е-Йк(л) + ейк(л))(е-^к(л) - е7к(л)).
Задача сопряжения I' будет иметь нетривиальное решение, если выполняется равенство А = 0. Это равенство приводит к соотношению
1 + 6-2йк(л) 1 - 6-27к(л)
аЬ = -вк ■ 1 - е-2йк(л) ■ 1 + е-27к(л) . (23)
Пусть выполняется условие а1 < а2. Положим
1 + в-2вкг 1 — е-2^ (г) = —, (г) = вк"
1 + е-2.г ' V КК 1 - е-2вк^-
Для положительных чисел г имеют место неравенства
2 < ^(г) < 2. (24)
Далее, используя теорему Лагранжа, нетрудно показать, что имеют место равенства
в которых и есть некоторые числа из интервала (0,1). Отсюда получаем, что для положительных чисел г выполняются неравенства
е-2* < ^(г) < е2вк*. (25)
Заметим, что вследствие условия а1 < а2 выполняются неравенства
1 <вк < л/^1 = во. (26)
V «2
Пусть г = 7к(Л). Имеем
т!(Л) = ^ = 1+ Л + а1
-«1 - ^ -«1 - ^
Если выполняется неравенство Л + а1 < 0, то имеет место оценка
т2(Л) < 1, (27)
а если Л + а1 > 0, то справедлива другая оценка:
72(Л) < 1 + Л+у1. (28)
Обозначим
!1, если Л + а1 < 0,
(1 + Л^)1/2, если Л + „1 > 0.
Из оценок (27) и (28) следует, что последовательность {7^(Л)} ограничена:
0 < 7* (Л) < То (Л). (29)
Введём ещё обозначения:
то(Л) = 1 е-270(Л), т1(Л) = 2е2в070(л),
т о (Л) = (Л)^2,к (Л)}, т 1(Л) = вир^^ (Л)^ (Л)}. ^ к> 1
Из неравенств (24)—(26), (29) вытекает, что для всех натуральных чисел к выполняются неравенства
0 < то (Л) < то (Л) < ^ (Л))^ (т* (Л)) < т 1(Л) < т,1(Л). (30)
Утверждение 1. Пусть выполняется условие а1 < а2 < 0 и пусть Л есть фиксированное число из промежутка , +то). Тогда
1) если аЬ € [-т 1(Л), -то(Л)] и существует натуральное число к, такое, что аЬ = -(7к(Л))^2,к(7к(Л)), то для задачи сопряжения I' будет иметь место неединственность решений;
2) если аЬ € [-т 1 (Л), -то(Л)] и для всех натуральных чисел к выполняется аЬ = -к(7к(Л))^2,к(7к(Л)), то задача сопряжения I' имеет только нулевое решение ;
3) если аЬ € (-то(Л), 0) или аЬ € (-то, -т 1(Л)), то задача сопряжения I' имеет только нулевое решение.
Данное утверждение очевидным образом вытекает из проделанных выше выкладок и из неравенств (30).
Заметим, что в случаях аЬ € (-то(Л), 0), аЬ € (-то, -т1(Л)) задача сопряжения I' имеет только нулевое решение.
Пусть теперь а2 < а1 < 0. Тогда для положительных чисел г выполняются следующие неравенства:
е-2* < ^(г) < в2*. (31)
Обозначим
т2(Л) = 1 е-270(Л), тз(Л) = 2в270(л).
В силу соотношений (24), (26), (29) и (31) получим, что для всех натуральных чисел к справедливы неравенства
т,2(Л) < то(Л) < <£>1,к(7к(Л))^(т*(Л)) < то (Л) < тз(Л). (32)
Используя все эти выкладки и неравенство (32), сформулируем следующее утверждение.
Утверждение 2. Пусть a < a2 < 0 и Л есть фиксированное число из промежутка (^i, +го). Тогда
1) если ab G [—m 1(Л), — mo (Л)] и существует натуральное число k, такое, что ab = — (Yk(Л))^2,к(Yk(Л)), то для задачи сопряжения I' имеет место неединственность решений;
2) если ab G [—гп,1(Л), —т0(Л)] и для всех натуральных чисел k выполняется ab = — (Yk(Л))^2,к(Yk(Л)), то задача сопряжения I' имеет только нулевое решение ;
3) если ab G (—т0(Л), 0) или ab G (—го, — m 1 (Л)), то задача сопряжения I' имеет только нулевое решение.
Имеет место также следующее утверждение. Утверждение 3. Пусть выполняется условие a1 = a2. Тогда
1) если ab = — 1, то для любого числа Л из промежутка (^1, +го) задача сопряжения I' будет иметь бесконечно много линейно независимых ненулевых решений ;
2) если ab < 0, ab = —1, то для любого числа Л из промежутка (^1, +го) задача сопряжения I' будет иметь только нулевое решение.
Доказательство этого утверждения очевидно.
Из утверждений 1-3 вытекает, что для любого числа Л из промежутка (^1, +го) существует бесконечно много чисел a и b, таких, что ab < 0, и при этом задача сопряжения I' для данного числа Л будет иметь ненулевые решения. Можно также интерпретировать утверждения 1-3 следующим образом: любое число Л из промежутка (^1, +го) может оказаться собственным числом задачи сопряжения I'.
Покажем теперь, что любое число Л из промежутка (—го,^] также может оказаться собственным числом задачи сопряжения I'.
Пусть Л есть фиксированное число из промежутка (—го, ^1], не совпадающее ни с одним из чисел ^, и пусть k0 есть такое натуральное число, для которого выполняется < Л < . Решение u(x,t) задачи сопряжения I' вновь определим с помощью рядов по системе функций (t)} с коэффициентами ck(x) при x < 0 и 4(x) при x > 0, но при этом при k < k0 + 1 эти коэффициенты будут иметь вид
cfc (x) = Afc eYk (A)x + Bfce-Yk (A)x,
4 (x) = Ck eák (A)x + Dfc e-ák(A)x, в случае же k0 < k < 1 будет иметь место другое представление:
cfc(x) = Afc cos Yfc^)x + Bfc sin Yfc^)x,
4 (x) = Ck cos ^)x + Dk sin ^)x.
В случае k < k0 + 1 существование ненулевых решений A, B¿., Ck, D и тем самым наличие ненулевых решений c^(x) и 4(x) вновь будет определяться равенством (23) (которое может выполняться лишь в случае ab < 0), а также условиями a1 < a2 < 0, a2 < a1 < 0 или a1 = a2 < 0; и при выполнении одного из этих соотношений число Л будет собственным числом задачи сопряжения I'.
В случае 1 < k < k0 наличие ненулевых чисел A, B¿., Ck, D будет определяться равенством
abYfc(Л) cos Yfc(Л) sin 4 (Л) + 4(Л) cos 4(Л) sin Yfc(Л) = 0. (33)
Если теперь окажется, что для этих чисел Yfc(Л) и (Л) выполняются равенства
sinYk(Л) = 0, sin4(Л) = 0 (34)
или
cos Yk(А) = 0, cos (Л) = 0, (35)
то для любых чисел a и b будет выполняться равенство (33). Тем самым число Л, для которого имеют место (34) или (35), будет собственным числом задачи сопряжения I'.
Пусть для отрицательных чисел a и a2, для некоторых натуральных чисел l и m, а также для натурального числа k из набора 1, 2,... , fco выполняются равенство
(nl)2ai + [1 + (nl)2]^fc = (nm)2 a2 + [1 + (nm)2]^fc
и неравенства
^fcc+i < (nl)2ai + [1 + (nl)Vfc < .
Тогда для числа Л, определённого формулой Л = (nl)2a1 + [1 + (nl)2]^k, будут выполняться равенства (34). Тем самым данное число Л будет собственным числом задачи сопряжения I' вне зависимости от чисел a и b.
Пусть теперь для a1 и a2, являющихся отрицательными числами, и для натуральных чисел l и m выполняется равенство
п
i+2
ai +
1+п2(I+2
^fc
п
1
m +2
a2 +
1 + п2 ( m +2
^fc,
где k есть натуральное число из набора 1, 2, неравенства
^fca+i < п2 ( i + 2 ) ai +
, k0. Пусть кроме того выполняются
^fc < ^fca.
1 + п2( I + 2
Тогда для Л = п2(/ + 1/2)2«1 + [1 + п2(/ + 1/2)2]^к будут выполняться равенства (35) и число Л будет собственным числом задачи сопряжения I' вне зависимости от чисел а и Ь.
Замечание 1. Очевидно, что кроме собственных чисел, появляющихся при выполнении равенств (34) или (35), задача сопряжения I' в случае Л Е (-го, может иметь и другие собственные числа (определяющиеся равенством (33)).
Рассмотрим последний случай, когда Л совпадает с одним из чисел ^. Пусть Л = . Очевидно, что это число будет собственным числом задачи сопряжения I', если выполняется одно из условий:
1) аЬ < 0, существует натуральное число к, такое, что к < к0 + 1, и для этого числа к выполняется равенство (23);
2) существует натуральное число к, такое, что 1 < к < к0, и для этого числа к выполняется равенство (33);
3) аЬ = -1.
Из всего сказанного выше можно сделать вывод: для любого действительного числа Л можно подобрать отрицательные числа а1 и а2, а также ненулевые числа а и Ь так, что задача сопряжения I' будет иметь число Л своим собственным числом.
2
2
2
2
2
Построим теперь пример несуществования решений задачи сопряжения I' в случае ненулевого свободного члена.
Пусть ai, а2, а, b и Л есть такие числа, что ai < 0, а2 < 0, ab < 0, Л G (^i, то) и для некоторого натурального числа k0 выполняется равенство
ab = -^1,fco (Yfco (Л))^2,&0 (7fca (Л)) (З6)
(другими словами, число Л является собственным числом задачи сопряжения I' с данными параметрами a1, а2, а и b). Далее, пусть f (x,t) есть заданная функция из пространства L2(Q). Имеет место представление
т
те „
f (x,t) = X] fk(t) fk(x) = f(x,t)№(t)dt
k=i o
Рассмотрим следующую задачу: найти функцию „k0 (x), являющуюся решением уравнений
н I Л — ^ko n п . Л — ^fco п „ko + -Г-„ko = 0 „ko + -1-vka = 0 (37)
0 ai + ^fco o a2 + ^fco
на интервалах (—1, 0) и (0,1) соответственно и такую, что для неё выполняются условия
vko (—1)= vko (1) = 0, (.38)
(—0) = toio)„ko(+0), vko(+0) = vko(—0). (39)
ai + ^ko 0 a2 + ^ko 0
Поскольку выполняется условие (36), то данная задача имеет ненулевые решения. Для функций cko (x) и dko (x) справедливо равенство
J (^0Сйо - ^о- Но(х)^х + ^ 4о - ^< - Но(х)^х = 0 (40) -1 0
для любого ненулевого решения (х) задачи (37)-(39). Если теперь предположить, что задача сопряжения I' с ненулевым свободным членом f (х,£) имеет решение, и если будет выполняться условие
fko (x)„ko (x)dx = 0, (41)
i
то получим противоречие с равенством (40). Это противоречие означает, что при выполнении (41) предположение о существовании решения задачи сопряжения I' с ненулевым свободным членом не является верным.
Аналогичные примеры можно построить и для задачи сопряжения I' с ненулевым свободным членом и с собственным числом Л, определяющимся равенством (33) и принадлежащим промежутку (-то,^1).
3. Разрешимость задачи сопряжения II Теорема 3. Пусть выполняются условия
а(х) > а0(х) > 0, х е [-1,1], (42)
o
i
i
с(х,¿) ес2(<д 1)ис2(<д2), с(х,г) > о, с4(х,г) < о, х е (-1, о) и (о, 1), г е (о,т), (43) с(-о,г) = с(+о,г), сх(-о,г) < о, г е (о,т). (43)
Тогда задача сопряжения II не может иметь более одного решения в пространстве V.
Доказательство. Пусть и(х, г) будет решением задачи сопряжения II из пространства V и пусть f (х, г) = о. Умножим уравнение (1) на функцию в области и на в области затем проинтегрируем и сложим. Получим равенство вида
0 10 1
-10 -1 0
0 1 0
\ / г) //^с \ / г) //^с \ /С г) г) //^с \ 222 -1 0 -1
1 4 0 4 1
+^У с(х, г)иХ(х, г)/х + J У сХ(х,т)иихТ/х/т + 7 J ^ сХ(х,т)иихТ/х/т— 0 0 -1 0 0 4 0 4 1
-21/4(х,т- 211СТ(„т*ЫГ = о.
0 -1 0 0
Из условий теоремы и этого равенства получим единственность задачи сопряжения II. □
Теорема 4. Пусть выполняются условия (42), (43),
4'(х,г) > о, х е (-1, о) и (о, 1), г е (о,т).
Тогда для любой функции f (х,г) е Ь2(^) задача сопряжения II имеет решение, принадлежащее пространству V.
Доказательство. Рассмотрим вспомогательную задачу: найти решения г(х,г) и гу(х,£) уравнений (8), (9), для которых выполняются условия (10), (11), а также условия
г(х, о) = г4(х, о) = о, х Е (-1, о), (44)
ш(х, о) = ш4(х, о) = о, х е (-1, о). (45)
Чтобы доказать разрешимость этой задачи, вновь воспользуемся методом продолжения по параметру. Пусть Л — число из отрезка [о, 1]. Рассмотрим задачу: найти функции г(х,г) е V(^1), и)(х,г) е V(ф2), являющиеся решениями уравнений (14), (15) соответственно и такие, что для них выполняются условия (10), (11), (44) и (45). Очевидно, что при Л = о данная задача разрешима. Докажем наличие априорных оценок для функций г(х,г),й)(х,г).
Перейдём к уравнениям (18), (19), для которых выполняются условия (10), (11), (20), (21), (44), (45). Заметим, что в этих уравнениях функции г(х,г) и и>(х,£) определяются равенствами (16), (17).
Для начала умножим уравнение (18) на гххг и проинтегрируем по области затем умножим уравнение (19) на 7.ххг и проинтегрируем по области . Сложив два полученных выражения, придём к равенству вида
0 1 о
2 гХг(х, ¿)^х + 2 + ^ а(х)гХх(х, ¿)^х+
-1 1
1
+2 «(^^(м)^+21 гХх*(х,^)^х+2 ™х*г(х,^)^х+
-1
0
г о
+ 2 1 с(х,^)гХ(х,^)^х + 2 [ с(х,^)^Х(х,^)^х + I I сХ(х, т)ггхт^х^т+
-1 г 1
01
г о
г 1
+7 сх(х,т)-,т¿х^т - 2 с'т(х,т- ? с'т(х,тЯ=
0 0 0 -1 0 0 го г 1
= УУ f (х,т )гЖхт ¿х^т + 7 ^ У f (х,т ¿х^т. 0 -1 0 0 Применив в правой части этого равенства неравенство Юнга, получим априорную оценку
(гх(х, + гжг(х, + гхх(х, + гжжг(х, ¿))^х+
-1 1
+ / (х,^ + ^Хг(х,^)+ ^2х(х,^)+ ^2хг(х,^))^х
Мз
го г 1
22
f (х,т+ / / f (х,т
(46)
в которой число М3 определяется константами ао, а, Ь и функцией с(х,£).
Теперь умножим (18) на ггг и проинтегрируем по области а уравнение (19) умножим на 7^гг и проинтегрируем по области Сложив затем оба результата, получим равенство
го г1 го г1
/ / £<Ыг + <Ыт + / I а(:ф„^<Ыт + тЦ а(хКхт^<Ыг+
о -1 о о о -1 о о
о 1 го
+ У а(х)гхх(х, ¿).г(х, ¿)^х + 7 J а(х).хх(х, ¿).г(х, ¿)^х + J ^ гХтт¿х^т+ -1 о о -1
г 1 го г 1
+7 / / ^т+ / / с(х, т)ггтт+ 7 / I ф, т^=
о о о 1 о о
о
1
о
1
о
4 0 4 1
= J ! f (х, т)г>ттдьхдьт + 7 J У f (х, т^х^т. 0 -1 0 0 Используя неравенство Юнга и оценку (46), получим ещё одну априорную оценку
4 0 4 1
У У(^т + ^тт + У + ад^ = 0-1 0 0
M4
t 0
t 1
f2(х,т)dxdr + / / f2(x,r)dxdr
(47)
где число М4 зависит только от а0, а, Ь, с(х,£).
Наличие оценок (46) и (47), означает, что задача (8)-(11), (44), (45) имеет решение й(х, ¿), и)(х, ¿) из V(^1) и V(ф2) соответственно [33, гл. 3, §14]. Зная, что г>(х, ¿) = й(х, ¿) + (х + 1)аэд(+0,£), эд(х,£) = и)(х,£) + (х — 1)&г>х(—0, ¿), определим функцию
г>(х, ¿), (х, ¿) е Цх,г), (х,г) е ^2,
которая и будет являться решением задачи сопряжения II.
Теорема доказана. □
u(x, t)
Список литературы
1. Демиденко, Г. В. Уравнения и системы, не разрешённые относительно старшей производной / Г. В. Демиденко, С.В.Успенский. — Новосибирск : Науч. кн., 1998.
2. Kozhanov, A. I. Composite Type Equations and Inverse Problems / A. I. Kozhanov. — Utrecht : VSP, 1999. — 171 p.
3. Линейные и нелинейные уравнения соболевского типа / А. Г. Свешников, А.Б.Альшин, М. О. Корпусов, Ю.Д. Плетнер. — М. : Физматлит, 2007. — 736 с.
4. Корпусов, М. О. Разрушение в неклассических нелокальных уравнениях / М. О. Корпусов. — М. : Либроком, 2011.
5. Уизем, Дж. Линейные и нелинейные волны : пер. с англ. / Дж. Уизем. — М. : Мир, 1977. — 624 c.
6. Икези, Х. Экспериментальное исследование солитонов в плазме / Х. Икези // Со-литоны в действии. — М. : Мир, 1981. — С. 163-184.
7. Солитоны и нелинейные волновые явления : пер. с англ. / Р. Долл, Дж. Эйблек, Дж. Гиббон, Х. Моррис. — М. : Мир, 1988. — 694 с.
8. Ладыженская, О. А. О решении общей задачи дифракции / О. А. Ладыженская // Докл. АН СССР. — 1954. — Т. 96, № 3. — С. 433-436.
9. Лонгрен, К. Экспериментальные исследования солитонов в нелинейных линиях передачи с дисперсией / К. Лонгрен // Солитоны в действии. — М. : Мир, 1981. — С. 138-162.
10. Chen, G. Existence and nonexistence of global solutions for the generalized IMBq equation / G. Chen, S. Wang // Nonlinear Analysis. Theory, Methods and Applications. — 1999. — Vol. 36, no. 8. — P. 961-980.
11. Wang, S. Small amplutude solutions of the generalized IMBq equation / S.Wang, G.Chen // Journal of Mathematical Analysis and Applications. — 2002. — Vol. 274, no. 2. — P. 846—866.
12. Замышляева, А. А. Начально-конечная задача для уравнения Буссинеска — Ля-ва / А. А. Замышляева, А.В.Юзеева // Вестн. Юж.-Урал. гос. ун-та. Сер. Мат. моделирование и программирование. — 2010. — № 5. — С. 23-31.
13. Xu, R. Global existence and blow-up of solutions for generalized Pochhammer — Chree équations / R. Xu, Y. Liu // Acta Mathematica Scientia. Ser. B. — 2010. — Vol. 30, no. 5. — P. 1793-1807.
14. Замышляева, А. А. Начально-конечная задача для неоднородного уравнения Буссинеска — Лява / А. А. Замышляева // Вестн. Юж.-Урал. гос. ун-та. Сер. Мат. моделирование и программирование. — 2011. — № 10. — С. 22-29.
15. Уткина, Е. А. Задача Дирихле для одного уравнения четвертого порядка / Е.А.Уткина // Дифференц. уравнения. — 2011. — Т. 47, № 4. — С. 600-604.
16. Уткина, Е. А. Теорема единственности решения одной задачи Дирихле / Е.А.Уткина // Изв. вузов. Математика. — 2011. — № 5. — С. 62-67.
17. Замышляева, А. А. Оптимальное управление решениями начально-конечной задачи для уравнения Буссинеска — Лява / А. А. Замышляева, О. Н. Цыпленкова // Вестн. Юж.-Урал. гос. ун-та. Сер. Мат. моделирование и программирование. — 2012. — № 11. — С. 13-24.
18. Плеханова, М. В. Задачи с жестким смешанным управлением для линеаризованного уравнения Буссинеска / М.В.Плеханова, А.Ф.Исламова // Дифференц. уравнения. — 2012. — Т. 48, № 4. — С. 565-576.
19. Пулькина, Л. С. Задачи с неклассическими условиями для гиперболических уравнений / Л. С. Пулькина. — Самара : Изд-во Самар. ун-та, 2012.
20. Амиров, Ш!. Глобальная разрешимость начально-краевых задач для некоторых нелинейных аналогов уравнения Буссинеска / Ш. Амиров, А. И. Кожанов // Мат. заметки. — 2016. — Т. 99, вып. 2. — С. 171-180.
21. Намсараева, Г. В. Обратные задачи определения внешних источников в уравнении распространения продольных волн / Г. В. Намсараева // Сиб. журн. индустр. математики. — 2016. — Т. 19, № 3 (67). — С. 28-40.
22. Ильин, В. А. О разрешимости задач Дирихле и Неймана для линейного эллиптического оператора с разрывными коэффициентами // Докл. АН СССР. — 1961. — Т. 137, № 1. — С. 28-30.
23. Олейник, О. А. Краевые задачи для линейных уравнений эллиптического и параболического типов с разрывными коэффициентами / О. А. Олейник // Изв. АН СССР. Сер. мат. — 1961. — Т. 25, вып. 1. — С. 3-20.
24. Кулешов, А. А. Смешанные задачи для уравнения продольных колебаний неоднородного стержня со свободным либо закреплённым правым концом, состоящего из двух участков разной плотности и упругости / А. А. Кулешов // Докл. Акад. наук. — 2012. — Т. 442, № 4. — С. 451-454.
25. Рогожников, А. М. Исследование смешанной задачи, описывающей процесс колебаний стержня, состоящего из нескольких участков с произвольными длинами / А. М. Рогожников // Докл. Акад. наук. — 2012. — Т. 444, № 5. — С. 488-491.
26. Смирнов, И. Н. О колебаниях, описываемых телеграфным уравнением в случае системы, состоящей из нескольких участков разной плотности и упругости / И. Н. Смирнов // Дифференц. уравнения. — 2013. — Т. 49, № 5. — С. 643-648.
27. Шубин, В. В. Краевые задачи для уравнений третьего порядка с разрывным коэффициентом / В. В. Шубин // Вестн. Новосиб. гос. ун-та. Сер. Математика, механика, информатика. — 2012. — Т. 12, № 1. — С. 126-138.
28. Potapova, S. V. Boundary value problems for pseudoparabolic equations with a variable time direction / S. V. Potapova // Journal of Inequalities in Pure and Applied Mathematics. — 2012. — Т. 3, № 1. — С. 73.
29. Кожанов, А. И. Задача Дирихле для одного класса уравнений составного типа с разрывным коэффициентом при старшей производной / А. И. Кожанов, С.В.Потапова // Дальневост. мат. журн. — 2014. — Т. 14, № 1. — С. 48-65.
30. Кожанов, А. И. Задача сопряжения для некоторых неклассических дифференциальных уравнений высокого порядка. II / А. И. Кожанов, Е.Ф.Шарин // Мат. заметки Сев-Вост. федер. ун-та. — 2014. — Т. 21, № 1. — С. 18-28.
31. Кожанов, А. И. Задача сопряжения для уравнения третьего порядка с кратными характеристиками, со знакопостоянной функцией при старшей производной / А. И. Кожанов, С.В.Потапова // Сиб. журн. чистой и приклад. математики. — 2015. — Т. 15, № 2. — С. 51-59.
32. Кожанов, А. И. Задача сопряжения для дифференциальных уравнений нечётного порядка с двумя временными переменными и с меняющимся направлением эволюции / А. И. Кожанов, С.В.Потапова // Докл. Акад. наук. — 2017. — Т. 474, № 6. — С. 661-664.
33. Треногин, В. A. Функциональный анализ / В. А. Треногин. — М. : Физматлит, 2007. — 488 с.
Поступила в 'редакцию 22.04-2018 После переработки 30.06.2018
Сведения об авторе
Григорьева Александра Ивановна, старший преподаватель кафедры высшей математики, Северо-Восточный федеральный университет им. М. К. Аммосова, Якутск, Россия; e-mail: shadrina ai@mail.ru.
Chelyabinsk Physical and Mathematical Journal. 2018. Vol. 3, iss. 3. P. 276-294.
DOI: 10.24411/2500-0101-2018-13302
THE CONJUGATION PROBLEMS FOR SOME ANALOGUES OF THE EQUATION OF LONGITUDINAL WAVES WITH A DISCONTINUOUS COEFFICIENT
A.I. Grigoreva
M. K. Ammosov North-Eastern Federal University, Yakutsk, Russia shadrina_ai@mail.ru
It is studied the solvability of conjugation problems for a composite type equation with a discontinuous coefficient. In the first case it is considered the elliptic problem and in the second — an initial-boundary problem. By the method of continuation with respect to a parameter, existence and uniqueness theorems for regular solutions are proved. Also, various examples of the nonuniqueness of the existence of solutions are given, depending on how the discontinuous function behaves in one or another given region.
Keywords: discontinuous coefficient, conjugation problem, regular solution, existence and uniqueness of a solution, method of parameter extension, apriory estimate.
References
1. Demidenko G.V., Uspenskii S.V. Partial differential equations and systems not solvable with respect to the highest-order derivative. New York, Basel, Hong Kong, Marcel Dekker Inc., 2003. 632 p.
2. Kozhanov A.I. Composite Type Equations and Inverse Problems. Utrecht, VSP, 1999. 171 p.
3. Sveshnikov A.G., Al'shinA.B., Korpusov M.O., PletnerYu.D. Lineynye i nelineynye uravneniya sobolevskogo tipa [Linear and nonlinear Sobolev type equations]. Moscow, Fizmatlit Publ., 2007. 736 p. (In Russ.).
4. Korpusov M.O. Razrusheniye v neklassicheskikh nelokal'nykh uravneniyakh [Blow-up in nonclassical nonlocal equations]. Moscow, Librokom Publ., 2011. (In Russ.).
5. WithamG.B. Linear and Nonlinear Waves. New York, London, Sidney, Toronto, Whiley & Sons, 1974. 638 p.
6. Ikezi H. Eksperimental'noye issledovaniye solitonov v plazme [Experimental study of solitons in plasma]. Solitony v deystvii [Solitons in action]. Moscow, Mir Publ., 1981. Pp. 163-184. (In Russ.).
7. DollR.K., EilbeckJ.C., GibbonJ.D., MorrisH.C. Solitons and Nonlinear Wave Equations. London et al., Academic Press, 1982. 630 p.
8. Ladyzhenskaja O.A. O reshenii obshchey zadachi difraktsii [On solution of general difraction problem]. Doklady AN SSSR [Reports of USSR Academy of Sciences], 1954, vol. 96, no. 3, pp. 433-436. (In Russ.).
9. Longren K. Eksperimental'nye issledovaniya solitonov v nelineynykh liniyakh peredachi s dispersiey [Experimental studies of solitons in nonlinear transmisson lines with dispersion]. Solitony v deystvii [Solitons in action]. Moscow, Mir Publ., 1981. Pp. 138-162. (In Russ.).
10. ChenG., WangS. Existence and nonexistence of global solutions for the generalized IMBq equation. Nonlinear Analysis. Theory, Methods and Applications, 1999, vol. 36, no. 8, pp. 961-980.
11. WangS., ChenG. Small amplutude solutions of the generalized IMBq equation.
Journal of Mathematical Analysis and Applications, 2002, vol. 274, no. 2, pp. 846-866.
12. Zamyshlyaeva A.A., YuzeevaA.V. Nachal'no-konechnaya zadacha dlya uravneniya Bussineska — Lyava [Initial-final value problem for Boussinesq — Love equation]. Vestnik Yuzhno-Ural'skogo gosudarstvennogo universiteta. Seriya: Matematicheskoye modelirovaniye i programmirovaniye [Bulletin of South Ural State University. Series: Mathematical modelling and programming], 2010, no. 5, pp. 23-31. (In Russ.).
13. Xu R., Liu Y. Global existence and blow-up of solutions for generalized Pochhammer — Chree equations. Acta Mathematica Scientia. Ser. B, 2010, vol. 30, no. 5, pp. 1793-1807.
14. Zamyshljaeva A.A. Nachal'no-konechnaya zadacha dlya neodnorodnogo uravneniya Bussineska — Lyava [Initial-final problem for inhomogeneous Boussinesq — Love equation]. Vestnik Yuzhno-Ural'skogo gosudarstvennogo universiteta. Seriya: Matematicheskoye modelirovaniye i programmirovaniye [Bulletin of South Ural State University. Series: Mathematical modelling and programming], 2011, no. 10, pp. 2229. (In Russ.).
15. UtkinaE.A. Dirichlet problem for a forth-order equation. Differential Equations, 2011, vol. 47, no. 4, pp. 599-603.
16. UtkinaE.A. A uniqueness theorem for solution of one Dirichlet problem. Russian Mathematics, 2011, vol. 55, iss. 5, pp. 51-55.
17. Zamyshlyaeva A.A., Tsyplenkova O.N. Optimal'noye upravleniye resheniyami nachal'no-konechnoy zadachi dlya uravneniya Bussineska — Lyava [Optimal control of solutions to initial-final value problem for Boussinesq — Love equation]. Vestnik Yuzhno-Ural'skogo gosudarstvennogo universiteta. Seriya: Matematicheskoye modelirovaniye i programmirovaniye [Bulletin of South Ural State University. Series: Mathematical modelling and programming], 2012, no. 11, pp. 13-24. (In Russ.).
18. Plekhanova M.V., IslamovaA.F. Problems with a robust mixed control for the linearized Boussinesq equation. Differential Equations, 2012, vol. 48, no. 4, pp. 574-585.
19. Pul'kinaL.S. Zadachi s neklassicheskimi usloviyami dlya giperbolicheskikh uravneniy [Problems with nonclassical conditions for hyperbolic equations]. Samara, Samara University Publ., 2012. (In Russ.).
20. AmirovSh., Kozhanov A.I. Global solvability of initial boundary-value problems for nonlinear analogs of the Boussinesq equation. Mathematical Notes, 2016, vol. 99, iss. 1-2, pp. 183-190.
21. Namsaraeva G.V. Inverse problems of recovering external sources in the equation of longitudinal wave propagation. Journal of Applied and Industrial Mathematics, 2016, vol. 10, iss. 3, pp. 386-396.
22. Il'inV.A. O razreshimosti zadach Dirikhle i Neymana dlya lineynogo ellipticheskogo operatora s razryvnymi koeffitsientami [On solvability of Dirichlet and Neumann problems for linear elliptic operator with discontinuous coefficients]. Doklady AN SSSR, 1961, vol. 137, no. 1, pp. 28-30. (In Russ.).
23. OleynikO.A. Krayevye zadachi dlya lineynykh uravneniy ellipticheskogo i parabolicheskogo tipov s razryvnymi koeffitsientami [Boundary value problems for linear equations of elliptic and parabolic types with discontinuous coefficients]. Izvestiya AN SSSR. Seriya Matematicheskaya [News of USSR Academy of Sciences. Ser. Mathematical], 1961, vol. 25, iss. 1, pp. 3-20. (In Russ.).
24. Kuleshov A.A. Mixed problems for the equation of longitudinal vibrations of a heterogeneous rod with a free or fixed right end consisting of two segments with different densities and elasticities. Doklady Mathematics, 2012, vol. 85, no. 1, pp. 80-82.
25. Rogozhnikov A.M. Studying of a mixed problem describing the oscillations of a rod consisting of several segments with arbitrary lenghts. Doklady Mathematics, 2012, vol. 85, no. 3, pp. 399-402.
26. SmirnovI.N. On the vibrations described by the telegraph equation in the case of a system consisting of several parts of different densities and elasticities. Differential Equations, 2013, vol. 49, no. 5, pp. 617-622.
27. ShubinV.V. Boundary value problems for third order equations with discontinuous coefficient. Journal of Mathematical Sciences, 2014, vol. 198, iss. 5, pp. 637-647.
28. Potapova S.V. Boundary value problems for pseudoparabolic equations with a variable time direction. Journal of Inequalities in Pure and Applied Mathematics, 2012, vol. 3, no. 1, p. 73.
29. Kozhanov A.I., Potapova S.V. Zadacha Dirikhle dlya odnogo klassa uravneniy sostavnogo tipa s razryvnym koeffitsientom pri starshey proizvodnoy [Dirichlet problem for a class of composite type equations with discontinuous coefficient at the highest order derivative]. Dal'nevostochnyy matematicheskiy zhurnal [Far East mathematical journal], 2014, vol. 14, no. 1, pp. 48-65. (In Russ.).
30. Kozhanov A.I., SharinE.F. Zadacha sopryazheniya dlya nekotorykh neklassicheskikh differentsial'nykh uravneniy vysokogo poryadka. II. Matematicheskiye zametki Severo-Vostochnogo federal'nogo universiteta [Mathematical notes of North-Eastern Federal University], 2014, vol. 21, no. 1, pp. 18-28. (In Russ.).
31. Kozhanov A.I., Potapova S.V. Conjugate problem for a third order equation with multiple characteristics and a positive function at the higher order derivative. Journal of Mathematical Sciences, 2016, vol. 215, iss. 4, pp. 510-516.
32. Kozhanov A.I., Potapova S.V. Transmission problem for odd-order differential equations with two time variables and a varying direction of evolution. Doklady Mathematics, 2017, vol. 95, no. 3, pp. 267-269.
33. TrenoginV.A. Funktsional'nyy analiz [Functional analysis]. Moscow, Fizmatlit Publ., 2007. 488 p. (In Russ.).
Accepted article received 22.04-2018 Corrections received 30.06.2018
