CC BY
21
Библиографический список
1. Хромов А.П. Конечномерные возмущения вольтерро-вых операторов в банаховом пространстве // Дифференциальные уравнения и вычислительная математика. Саратов: Изд-во Сарат. ун-та, 1973. Вып. 3. С. 3-23.
2. Юрко В.А. Обратные спектральные задачи и их приложения. Саратов: Изд-во Сарат. пед. ин-та, 2001.
3. Yurko V. Method of Spectral Mappings in the Inverse Problem Theory. Inverse and Ill-posed Problems Series. Utrecht: VSP, 2002.
4. Юрко В.А. Обратная задача для интегральных операторов // Мат. заметки. 1985. Т. 37, № 5. С. 690-701.
5. Levinson N. The inverse Sturm-Liouville problem // Math. Tidsskr. 1949. Vol. 13. P. 25-30.
6. Бутерин С.А. О единственности восстановления одномерного возмущения оператора свертки // Математика. Механика. Саратов: Изд-во Сарат. ун-та, 2002. Вып. 4. С. 15-18.
7. Бутерин С.А. Необходимые и достаточные условия разрешимости обратной задачи для одномерного возмущения оператора свертки // Математика. Механика. Саратов: Изд-во Сарат. ун-та, 2003. Вып. 5. С. 8-10.
8. Хромов А.П. Конечномерные возмущения вольтерро-вых операторов: Автореф. дис. ... д-ра физ.-мат. наук. // Мат. заметки. 1974. Т. 16, № 4. С. 669-680.
9. Привалов И.И. Введение в теорию функций комплексного переменного. М.: Физматгиз, 1977.
удк 517.518.82
О ЕДИНСТВЕННОСТИ РЕШЕНИЯ ЗАДАЧИ НАИЛУЧШЕГО ПРИБЛИЖЕНИЯ МНОГОЗНАЧНОГО ОТОБРАЖЕНИЯ АЛГЕБРАИЧЕСКИМ ПОЛИНОМОМ
И.Ю. Выгодчикова
Саратовский государственный университет, кафедра математической экономики E-mail: vigodchikovaIY@info.sgu.ru
в настоящей статье рассмотрена задача о наилучшем приближении дискретного многозначного отображения, образами которого в узлах дискретной сетки являются фиксированные отрезки, алгебраическим полиномом заданной степени. Получены необходимые и достаточные условия единственности решения этой задачи. доказательство основано на опубликованных ранее статьях о свойствах решения рассматриваемой задачи, а также на двух вспомогательных леммах. используется теория минимаксных задач, теория приближений П.Л. Чебы-шева дискретных функций алгебраическими полиномами и многозначный анализ.
About the only solution in the Problem of the Best Plural Reflection's Approximation by Algebraic Polynomial
I. Y. Vygodchikova
This paper is devoted to the proof of the theorem including necessary and sufficient conditions in the problem of the best plural reflection's approximation by algebraic polynomial. In the proof is used several author's were published results and two auxiliary lemmas. The proof is based on the minim ax's problems theory, the approximation's theory by algebraic polynomials of the P.L. Chebyshev and the plural's analysis.
1. ПОСТАНОВКА ЗАДАЧИ
Требуется получить необходимые и достаточные условия единственности решения следующей задачи:
/ _ _
(1)
где
4f=W+tl>)]fi'И')-", w/=Jw(1,.)/(,}ri(, от
- образы многозначного отображения (м.о.) Ф (•) в узлах сетки Т = <... < , причём у2к > у1к,£е[0: рп (А, tк)-a0+alt + ... + antя- алгебраический полином степени п с вектором коэффициентов А = {ай,ах,...,а\в Ли+1.
Через := тах{д;2к — рп (Д^);рп ухк} обозначим уклонение образа м.о. от значе-
ния алгебраического полинома в точке 1к е Т. Функция / {А, к} является непрерывной и выпуклой по А при каждом фиксированном к е [0: но не является дифференцируемой по А на Rn+1. Такими же свойствами обладает и целевая функция р(А) задачи (1).
Положим /1(А,к):=ря(А,^)-у11, /2(А,к):=у2к-ря(А,(к), £е[0:#]. Обозначим через е .р (Л) = р }. Доказано ([1]), что 31Ф 0. Несложно показать, что множество 9? выпукло и замкнуто, а при N > п оно ещё и ограничено.
Если N < п, множество решений задачи (1) представимо в виде ([2]):
91 =
* ВП+1 ( л * \ У^Ь Уы , „
ЛеЯ :ря(А,Ь)= ' ' +ак
т —
У2,к ~ У\,к
шах ¿г, < 1
*е[0:ЛГ]1 *1
где
т := шах
ЛеГО:ЛТ
У2,к-Уи
и в этом случаер* = т. Несложно показать, что при N<п задача (1) будет иметь единственное решение тогда и только тогда, когда N = п и т = —, V к е [0: и]. Везде далее считаем N > п + 1.
Рассмотрим дискретный вариант задачи П.Л. Чебышёва о равномерном наилучшем приближении функции алгебраическим полиномом заданной степени:
тах \ук~рп{Л,гЛ\->тт
£е[О;Л^] ^ ' к>\ ЛЕД"+1
(2)
где ук = З^(^), к е [0: - значения некоторой функции на сетке Т.
Базисом а назовём (п+2) - точечную подсистему узлов сетки Т вида
I Л Л Л+1J
На каждом базисе определим две функции <рь (■) и <рх (•), положив
/ \ \У2,л'к~ че™°> ( \ четно,
К' л' ^ ~ нече™°) Ь2Л,¿-нечетно,
*д еа, &е[0:и + 1] ,
и такие функции назовём амплитудными.
Если в качестве приближаемой функции в задаче П.Л.Чебышёва (2) взять амплитудную функцию, эта задача запишется в виде
рАА,о)\= тах ->тт, ге0:1 .
У > £Е[0:п+1] * 'л/ 'л/1 А я"
(3)
Положим
А И'■= (А>= Рх (4И>°")> *е 0:1 .
Пусть - некоторое подмножество сетки Т. Обозначим через I (й) := е [0: ЛТ]: ^ е ¿2] - множество индексов множества О.
2. ВСПОМОГАТЕЛЬНЫЕ УТВЕРЖДЕНИЯ
В [2], [4] получены следующие факты.
Теорема 1 (необходимые и достаточные условия решения). Для того чтобы вектор А вЯп+1 являлся решением задачи (1), необходимо и достаточно, чтобы выполнялось хотя бы одно из условий:
(а) р[А*) = т;^ ^ ^ ^
(б) 3 базис о*:р(Л*) = р* (<?) для г = 0 или г = 1.
Замечание 1. Несложно показать, что равенство из (б) эквивалентно равенствам:
д-^ЛХ), V кф:п + 1] , где в = 0 или в = 1 , которые легко сравнимы с классическим результатом П.Л. Чебышёва ([3]). Выборкой (п+1) узлов сетки Т назовём множество вида
А = <г„ <...<г„ |<=Г
I ?0 ?1 ] •
Теорема 2. Существует вектор А е 5К, такой, что функция /^А*,к} принимает значениер* не менее чем в (п+1) различных точках к е [0: ЛТ], т. е.
3 / ей, 3 выборка А*: /(.А\к) = р\ УЛе/(А*). (4)
Докажем следующие вспомогательные утверждения.
Лемма 1. Пусть п > 1 и дг0 < д^ < х2<...<хп< хп+1. Если для алгебраического полинома рп(А, х) выполняются условия
(I) А*0Я+Ь
(II) рп{А,Х1) = 0,
(III) 3 *е[1:И + 1], 3 2в(х_1;х,): (-1)'АЦг,)<0,
то
(-1)'АЦх)<0, (*_,;*,), У/е[1:и + 1]. (5)
Доказательство. 1) Без потери общности в рассуждениях будем считать 5 = 1. В этом случае условие (III) запишется в виде
3 ге(зд): рп(А,г)> 0. (6)
Покажем, что
V хе(ад): р„(А,х)> 0. (7)
Предположим, что (7) не выполняется, т. е.
3 хе^х,): р„(А,х)< 0. (8)
Из (6), (8) в силу непрерывности алгебраического полиномарп(А, {) вытекает, что
3 х'е(2;х]:рп{А,х') = ^ (9)
причём х' Ф х^ V г е [1: и]. Отсюда ввиду (II) получаем, что алгебраический полином степени п обращается в ноль в (п + 1) различных точках. А это возможно, только если А = 0и+1. Последнее противоречит (I). Тем самым (7) доказано. 2) Теперь покажем, что
3 ге(х1;х2):ря(А,г)< 0. (10)
Если только при некотором значении х е (хр^) выполняется равенство р„ (А,х) = 0, то ввиду (II) получаем, что алгебраический полином степени п обращается в ноль в (п + 1) различных точках, и, значит, А = 0и+]. Последнее противоречит (I). Таким образом,
V х^(х1;х2): рп(А,х)Ф 0.
Допустим, что
V хе(х1;х2): рп(А,х)> 0. (11) По условию леммы, рп (^А^) — 0. Тогда из (7), (11) следует, что
V жфо^и^х,): р„(А,х)>рп(А,хД т. е. в точке х1 полином рп (•, х) имеет локальный минимум. По теореме Ферма,
(аМ^О. (12)
В соответствии с (II) рп (А^) = 0 и рп (Л,х2) = 0. Тогда по теореме Ролля,
/
3 (р„(А,х)) ^=0.
Аналогично получаем
/
3 х,е(х,;хм): {рп {А,х)) _ = 0, Уге[1:и-1]. (13)
Производная от полинома степени п является полиномом степени (п - 1). Равенства (12), (13) означают, что алгебраический полином степени (п - 1) в п различных точках обращается в ноль. Отсюда [рп (А,х)^ =0. Следовательно, рп(А, х) - это константа. Последнее противоречит (П)-(Ш). Таким образом, (10) доказано. Точно так же, как из (6), было получено (7), из (10) получаем, что
V хе(х1;х2):рп(А,х)< 0.
Продолжая аналогичные рассуждения на последующих интервалах ; х1), г е [3: п +1], получаем (5).
Лемма доказана.
Обозначим через
а через 2 - число элементов множества 2.
Лемма 2. Пусть вектор А* е является единственным решением задачи (1). Тогда выполняется, по крайней мере, одно из условий:
\2\>п + \; (14)
3 базис асТ:/(А*,к) = р\ Уке1(а). (15)
Доказательство. Пусть А* - единственное решение задачи (1) и |2|<и + 1. Покажем, что выполняется (15).
Несложно показать, что если 2 = 0, то для решения А* задачи (1) выполняется условие (б) теоремы 1. Применяя теорему 2.1 [2, с.31], приходим к (15).
Пусть теперь 1 <| X | < и + 1. По лемме 1 для единственного решения А* задачи (1) существует выборка Д* такая, что
/(А\к)=р, Уке1(Д*). (16)
Допустим условие (15) не выполняется. Тогда
У£е[0:ЛГ]\/(д*): /(л\к)<р\ (17)
при этом
гс/( А*), А*). (18)
Возьмём индекс к0е1 (А*) \ X.
Из (16) вытекает равенство /{.А ,к0^)=р . Поскольку к0£2, то /^А /2(А Для опре-
делённости будем считать, что /х(А\кй)< /2(А\кй), т. е.
Р,(А'>*ь)-Уиь<Угь (19)
Пусть е > 0. Найдём Ае, решив систему
Рп Кл) = Рп к е/(а')\{*0},
Р„(А^) = Рп(лико) + £. (20)
Ясно, что А£Ф А и решение системы (20) непрерывно по е. Возьмём е > 0 настолько малым, чтобы для вектора Ае выполнялись неравенства, аналогичные (17), (19), а именно
(21)
Р„ (Л„^) - У^ < у^ - рп (ЛЛ„). (22)
Из (19), (20), (22) вытекает неравенство
/(Ае,к0)<р\ (23)
Из (16), (20) получаем равенства Отсюда ввиду (21), (23) вытекает
Следовательно, вектор Ав является решением задачи (1), причём АеФ А , что противоречит единственности.
Лемма доказана. Из леммы 2 для множества
5:={*е[0:#]:/>* = /(Л\*| (24)
вытекает
Следствие 1. Если < п +1 и вектор А е является единственным решением задачи (1), то
|£|>и + 2. (25)
Введём некоторые вспомогательные обозначения. Пусть множество 8, определённое в (24), имеет
вид
(26)
Разобьем множество 51 на непустые подмножества
Б, = { % <<...<}, /е[1:г],
V! =1, у,=Ум + Им+1, /е[2:г], (27)
обладающие следующими свойствами:
1) 5;и...и5г = 5;
2) Э/ое{1,2}: ^
/ . \ А(А*>к)>Р~нечетно, _
/\А'кГ)г (пЛ УрФ'-Г], ЧкеБ,;
_ /з-ь\А ,к),Р~ четно, 1 " р _
3) если ке.8рсл2, то к = , V р е [1: г] (каждое множество разбиения Бр содержит не более одного элемента множества Z и если такой имеется, то он будет минимальным среди элементов множества 5 );
4) если е г, то ^ = {н^}.
Замечание 2. Из (27) вытекает, что Уи^е \/ус(е 5 „ V рв\\:г — 1], выполняется неравенство Щ > Щ, т. е. множества 5,1,...,51г «следуют друг за другом».
Замечание 3. Из свойства 4) следует, что г - максимально возможное число подмножеств разбиения, удовлетворяющих свойствам 1)-3).
3. КРИТЕРИЙ ЕДИНСТВЕННОСТИ
Переходим к доказательству основного результата работы - критерия единственности решения задачи (1).
Теорема 3 (критерий единственности решения). Для того чтобы задача (1) имела единственное решение, необходимо и достаточно, чтобы выполнялось хотя бы одно из условий:
(а) |2|>и + 1;
(Р) 3 базис о": р =р*(г/) для г = 0 или 1 = 1 .
Доказательство. Достаточное условие получено в [2], [4].
Необходимость. Если п = 0, утверждение легко следует из теоремы 1. Считаем п > 1.
Пусть вектор Л* является единственным решением задачи (1). Предположим, что условие (а) не выполняется, т. е. | X | < п +1 (возможно X = 0). Покажем, что выполняется условие (Р). В соответствии со следствием 1 | Б | > п + 2.
Произведём разбиение множества 51 вида (26) на максимальное количество следующих друг за другом непустых непересекающихся подмножеств З^,...,^, удовлетворяющих свойствам 1) - 4).
1°. Сначала рассмотрим случай, когда г > п +2. Возьмём в качестве базиса о* множество точек К < tj¡ <...< таких, что }к е к е [0: п +1]. Покажем, что из свойств разбиения вытекает (Р).
Действительно, пусть, например в свойстве 2) i0 = 2. Тогда выполняются равенства:
Л(А ,л)Д-четно,
. , , V £е[0:и + 1]
/ЦЛ Jk),k- нечетно,
Поскольку ]к е Я, V к е [0: п +1], то /(А =р . Следовательно,
Р=УгЛ четно,
Р' = л(А'>(л)-У1,л = Рп (А'>'л)~Ро нечетно,
V £е[0:п + 1] ,
откуда
(-1)У + а(^Ол) = МУ> У ^е[0:и + 1] .
Таким образом, для вектора Л* выполняется необходимое и достаточное условие решения задачи П.Л.Чебышёва (3) для i = 0 [3, с. 14], следовательно, вектор Л* является решением этой задачи и р = ра{о ). Случай /0=1 рассматривается аналогично.
2°. Теперь допустим, что г < п +2. Убедимся в противоречивости этого неравенства. Так как | £ |>и + 2 и \Х\<п + \, то
3 />е[1:г],3 к0еБр\Х. (28)
Рассмотрим 3 сличая.
(А). Пусть г < п +1. Поскольку
=|5| >п + 2 и = 1,7 6 [1: г],1 Ф у,
I — I 1=1 —
то 3 р е [1: г]: > 2. Ввиду обозначений (27), IV , IV +1 е Положим
К
Возьмём х0 < ¿0; := V / е [1: г\ х,+1 > хг;...; хп+1 > хп.
С учётом принятых обозначений имеем следующее расположение точек сетки Т с индексами из множества 51:
о 1 2 м> ж + Р »V
(29)
>%+1 «0 г >4 Г+1 я+1
Определим вектор коэффициентов алгебраического полинома Ле, удовлетворяющий условиям (1)-(Ш) леммы 1. Сначала построим вспомогательный вектор Л*, решив для достаточно малого е > 0 систему
P„(Ae*>xk) = P„(A*>xk)> *е[г + 1:и],
Р.(А''*Ио)~е> если f(A*>ko) = fi(A*>h) Р.(А'>*ь) + *> если f(A*X) = fi(A*А)
Эта система имеет единственное решение, поскольку определитель из коэффициентов при неизвестных отличен от нуля ([3]), а число неизвестных совпадает с количеством уравнений. Обозначив Ае= А* — А^, запишем эту систему в виде
(30)
Рп[Ае^) = 0, /б[1:г],
е, если /(А\к0) =/,(А\к0) -£, если /{А* ,£„) = /2[а" ,к0 Ясно, что Ас Ф 0и+1 и Ае->0п+1, при е -10.
Пусть, например рп ) = £ > 0, т. е. /(А*,к0) = /х ^А*, Ввиду свойства 2) разбиения, пос-
кольку к0 е £ то
/(А\к) = = р^А'^-ъ^р, V к^р . (31)
Берём А=Ае, в случае еслир - чётно и А = -А е, в случае еслир - нечётно, а ^ = е {х^х^^. Тогда, используя лемму 1, получаем
{-\)р~1 Pn(Ae,tk)>0,V keS„ V /е[1:г}
(32)
(33)
(34)
В частности, учитывая свойство 3), выполняются равенства
лКл) = 0. V кег.
Из (33) вытекают равенства
/(Ае\к)=р, Ук^г.
Рассмотрим случай, когда (р - I) - чётно. Тогда из (32) получаем рп (Ае^к}> 0, V к е и, следовательно,
р„(А;,фря(А\ь),Ч ке^. (35)
Из (31) ввиду свойства 2) разбиения имеем
/(Л\*) = /1(Л\*), У*е5ь (36)
причём
/\А\к)>/2(А\к), Уке^\г.
Поскольку Ае ->А при £ ¿0, то из последнего неравенства при достаточно малом е > 0 вытекают неравенства
Г\А;,к)>/2(А;,к), УкеБ,\г.
Отсюда
f(A;,k) = f1(A;,k),VkeSl\Z.
(37)
Из (35) ^(А; ,к)<Тогда ввиду (37), (36) получаем /(а*, к)</(а\ к\ V кеБ^. Следовательно, ввиду (34)
Г(Ае\к)<р, \ZkeS..
(38)
Аналогично выводится неравенство (38) и для случая, когда (р — I) - нечётно. Таким образом, (38) выполняется V / е [1: г]. Последнее означает, что
/(Ае\к)<р\ \fkeS.
(39)
Наконец, рассмотрим индексы £е[0:ЛГ]\£. Имеем /(О) <р . Уменьшая при необходимости величину е > 0, добиваемся выполнения неравенства /{Ае ,к}<р . Отсюда ввиду (34), (39) получаем при достаточно малом е > 0
(40)
Равенство (40) противоречит единственности решения задачи (1). Аналогичное противоречие получается в случае р„ (Д-^ ) = _£ < 0. Следовательно, ситуация (А) нереализуема.
Для следующих двух случаев принципиальное отличие от случая (А) состоит лишь в способе построения вектора коэффициентов полинома, удовлетворяющего условиям (1)-(Ш) леммы 1.
(Б). Пусть г = п + 1 и (ввиду (27) е^,). В этом случае полагаем к0 := г := ^. По свойс-
тву 3), Z п = 0. Возьмём х0 < ¿0. Далее имеем
<*ь = К <-<К <*\ = К <-<К < < — <*„ = С„„+1 <<х»+1-
(41)
Строим вектор А = А* — Ае', где Л*, - решение системы:
Рп(А'> О-*' если /(А', к0) = /(л\ к0), Рп(А*> *ь) + £> если /(А'' ко) = /2(а\ К)-
(42)
Пользуясь леммой 1 и свойствами разбиения, как и в случае (А), приходим к выводу о том, что Ле* будет решением задачи (1) при достаточно малом е > 0, следовательно, ситуация (Б) также невозможна.
(В). Осталось рассмотреть случай, когда г = п + 1 и € Z. Из свойства 4) следует, что разбиение имеет вид
где ^пг = 0, d> 1.
Действительно, если бы для всех г е [1: г] выполнялось 0, то множество 2содержало бы
п + 1 элементов, что противоречит предположению. Полагаем к0 := и^, г := х0 < ¿0. Далее имеем
*<> < =ч < - < = к < Ч = К<-< <
«щ+1 « «
(43)
Возьмём к0:=м>у, е > 0 и рассмотрим систему
если f(A\k0) = fl(A\k0), + если f(A\k0) = f2(A\k0).
(44)
Повторяя те же рассуждения, что и для случая (А), приходим к выводу о том, что Ае* будет решением задачи (1) при достаточно малом е < 0, следовательно, ситуация (В) также невозможна. Итак, неравенство г < п + 2 ложно, следовательно, г > п +2. Теорема доказана. Из теорем 1, 3 вытекает
Следствие 2. Если решение задачи (1) не единственно, то = при этом \ <\ 2\ <п + \. Доказательство. Пусть задача (1) имеет не единственное решение. Тогда ни одно из условий (а), (Р) условие теоремы 3 не выполняется. Поскольку (а) не выполняется, то
\Z\<n + l
Поскольку (Р) не выполняется, то
V базиса о": р <р* (</) для г = 0,1.
Пусть A* - решение задачи (1). Имеем
(45)
(46)
(47)
Из (46), (47) вытекает, что для этого вектора не выполняется условие (б) теоремы 1. Из условия (а) теоремы 1 получаем, что 2 Ф@. Отсюда ввиду (45) вытекает неравенство 1 ^ | 2 | < п +1.
Пусть А,А - решения задачи (1) и АфА. В силу выпуклости множества 9? любой вектор аАл-{\—а)А при а е [0;1] также будет решением задачи (1). Следовательно, |91| = Что и требовалось доказать.
Замечание 4. В общем случае из 1<^|<и + 1 не следует, что решение не единственно. Пример 1. Пусть п = 1, N = 4, Г = { 0<1<2<3}, Ф(0) = [-1;1], Ф(1) = [-1;0], Ф(2) = [0;1], Ф(3) = [ -1;0 ]. Решение рх = 0 единственно, р* = т = \, Ъ = {0}.
Пусть М-.= ^кф-.Ы\.У2'к = ш|
Следствие 3. Если \М\ > п +1, то задача (1) имеет единственное решение.
Доказательство. Пусть 2ф05. Тогда Z = М, следовательно, выполняется условие (а) теоремы 3 и решение задачи (1) будет единственным.
Если Z = 0, то для решения задачи (1) будет выполняться условие (б) теоремы 1 и, следовательно, условие (Р) теоремы 3.
Что и требовалось доказать.
* Работа выполнена при финансовой поддержке гранта Президента РФ на поддержку ведущих научных школ (проект НШ 1295.2003.1).
Библиографический список
1. Выгодчикова И.Ю. О наилучшем приближении дискретного мультиотображения алгебраическим полиномом // Математика. Механика: Сб. науч. тр. Саратов: Изд-во Сарат. ун-та, 2001. Вып. 3.С. 25-27.
2. Выгодчикова И.Ю. Об алгоритме решения задачи о наилучшем приближении дискретного многозначного отображения алгебраическим полиномом // Математика. Механика: Сб. науч. тр. Саратов: Изд-во Сарат. ун-та, 2002.
Вып. 4. С. 27-31.
3. ДемьяновВ.Ф., МалоземовВ.Н. Введение в минимакс. М.: Наука, 1972.
4. Выгодчикова И.Ю. О крайних точках множества решений задачи о наилучшем приближении многозначного отображения алгебраическим полиномом // Математика. Механика: Сб. науч. тр. Саратов: Изд-во Сарат. ун-та, 2003. Вып. 5. С. 15-18.
