Оценка скорости сходимости в обратной задаче Коши для параболического уравнения с сингулярными коэффициентами - Статья

бесплатно 0
4.5 206
Рассмотрение обратной задачи Коши для параболического уравнения с коэффициентами, зависящими от малого параметра сингулярным образом. Осуществление оценки скорости сходимости решения исходной задачи к решению соответствующей усредненной задачи.

Скачать работу Скачать уникальную работу

Чтобы скачать работу, Вы должны пройти проверку:


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

Введение
Рассмотрим решение уравнения [1]

?u? (t,x) ? 1 ?2 ? x ??2u? (t,x) ??? x ??u? (t,x) ? f (t,x), u? (T,x) ??(x), 0?t ?T , (1) где функции f (t,x),?(x) ограничены f (t,x) ? K ? ??, ?(x) ? K ? ?? и липшицевы попеременной

2

2 t x x

? ?

? ? ? ?

? ? ? ?

? ?

? x, ? ?0 - малый параметр

Уравнения вида (1) возникают во многих приложениях и привлекали внимание многих известных исследователей [2-7], которые исследовали процедуру усреднения в задаче (1). Это связано с тем, что, как правило, усредненное уравнение является значительно более простым для дальнейшего исследования.

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

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

В данной работе этот метод применяется для исследования уравнения (1) с коэффициентами, обеспечивающими такое свойство.

Оценка скорости сходимости решений. Рассмотрим вспомогательное стохастическое дифференциальное уравнение

? ? ? ?

? ? ? ? d?x ? (t) ??? ?x ? (t) dt ? ? ?x ? (t) DW(t), ?x ? ? x ? , (2)

Коэффициенты которого являются липшицевыми и равномерно ограниченными, то есть существует сильное решение (2).

Введем обозначения, принятые в работе [9]. Пусть

L V(x) ? 2?2 ?x?V??(x)????x?V??x? (3) эллиптический дифференциальный оператор. Функцию ?? (x), удовлетворяющую уравнению

1

?

??? (x) ? 0 (4)

L

L

? называют ? -гармонической функцией [9, стр.115]. Из [9] следует, что функция ?? ?x?? xexp??z 2??(u)du?dz

2

( ) u

?

? ?

? ?

? ?

? ?

0 ? 0 ? является решением уравнения (4), то есть является ? -гармонической. Теорема 1. Пусть выполнены условия

L x ? z ?

? ?

2

?

? ?

? ?

? ?

? ? x????(x) ?? ? 0, xlim? 0exp?K2 0? ?u du?dz ? ??, ?(x) ? K ? ??, ?(x)??(y) ? K x ? y , ?(x)? ?(y) ? K x ? y , lim

??

© Золотая А. В., 2014 15

ISSN 1817-2237. Вісник Донецького національного університету. Сер. А: Природничі науки. - 2014. - № 2 x????2(x) ? ?2 ? 0, 0? ?0 ? ?2(x) ? K2 ? ??, (5) тогда справедлива оценка lim

? ? sup M ??? t/?2 ??? ?t? ??C?KT ? 2K T ?? ? C?KT ? 2K T ?, (6) x

? x

0?t?T где s s

?

?t,x(s) ? x ? ??d? ? ?? DW ( ), 0?t ? s ?T. t t

?

?

?

Доказательство, за некоторыми исключениями, повторяет доказательство теоремы 4 из [8]. При x ? R ? ?? найдется C (R) ? ?? , такая, что

1

?? ?x? ? xexp??z 2???u?du?dz ?C (R) ? ?. (7) 0 ? 0 ?

? ?

2 u

?

? ?

? ?

? ?

? ?

1

Далее, начиная с некоторого R ? 0 inf ?(x) ?? ? 0, при x ? R найдется C2(R) ? ??, такая, что x?R

R ? z ? x ? z ?

? ?

? ?

? ?

? ?

2 2

2 u 2 u u u

??

??

?

?

? ? ? ?

? ? ? ?

? ? ? ?

? ?

?? x ? exp?? du?dz ? exp?? du?dz ? 0 ? 0 ? R ? 0 ?

R ? z ? x ? R ?

? ? ? ?

? ?

2

2 2 u u

??

??

?

? ? ? ?

? ? ? ?

? ? ? ?

? ?

? ?

? ?

? ? ? ?

? ?

? ?

0

2

??

? ?

? ?

? 0 exp??0 ?2 ?u? du?dz ? Rexp??0 ?2 ?u? du?exp?? K2 z ? R ?dz ?

? Rexp??z 2???u?du?dz ? 0 ? 0 u ?

?exp??R 2?2 ?u ?du?exp?2K20 R? x exp?? 2K20 z?dz ?C2 ?R?? ??; (8) В силу второго из условий (5) имеем

?

?

0

R u

?

??

??

?

? ?

? ? ? ?

? ?

? ? ? ?

? ?

? ?

? ?

? ?

? ?

2 u 2 u

??

??

? ? ? ?

? ? ? ? x z ?x z x????? ?x?? ?exp??? ?2 ?u? du?dz ? xlim? ? exp??? ?2 ?u? du?dz ? lim

? ? ? ?

0 0 0 0

2 2

0 0 0 0 x z x z z u u

K

? ?

?

??

?

?? ??

? ? ? ?

? ? ? ?

? ? ? ?

?

? ? ? ?

?

? ? ? ?

? ? ? ?

? ?

? ?

? ?

? ?

? x

? ?xlim??exp?? ? 2???u?du?dz ? ?xlim??exp??2??? u ?du?dz ? (9)

? ?xlim??exp? 22 0???u?du?dz ? ??.

??

0

Из (7)-(9) следует, что найдется постоянная C(R) ? ??, такая, что

?? (x) ?C(R) ? ?? (10) Из (9) и (10) следует (см. замечание 1, [9, стр. 117]), что справедливо

? ? ? ? lim t?0

P t????? (t) ? ?? ? P inf ?? (t) ? ?? . (11) Пусть U? (x) решение уравнения Пуассона

LU? (x) ? f (x)? f , (12) где f (x) ограничена, xlim? f (x) ? f . (13)

??

16 Золотая А. В.

ISSN 1817-2237. Вісник Донецького національного університету. Сер. А: Природничі науки. - 2014. - № 2

Обозначим через ?? (x) ? DU? (x) . Тогда уравнение (12) примет в вид dx d?d (x) ? 2??(x)?? (x) ? f (x)?)f . (14) Решением уравнения (14) будет функция

?

2 2

( )

( x x

?

? x

?? (x) ? exp??x 2??(z) dz?xexp?y 2??(z)dz?? f (y)? f ? dy, (15)

2 2 2

? ? ?

? ?

? ?

? ?

? ? ? ?

? ?

? ?

? ? ?

? 0 (z) ?0 ?0 (z) ? (y) в силу того, что [8] xexp?y 2??(z) dz?? f (y)? f ? dy

2 2

0 0

2

2 ( ) f (x) f z

?

? ?

?

??

?

?? ?? ??

? ?

? ?

? ?

?

? ?

? ? ?

? ?

? ?

? ?

? ?

?

? ?

(z) (y) xlim? (x) xlim? ?x ? xlim? 2?? 0. (16) exp dz

?0 (z) ?

Далее, в условиях теоремы существует ограниченная сверху ? -гармоническая функция ?? (x), для которой x????? (x) ? ?? , для любых фиксированных ? ? 0, то в силу (11) имеем

L lim

? ?

? t?0

P inf?? (t) ? ?? ?1. С учетом последнего и (16) имеем: существует постоянная C ? 0, такая, что

?? (x) ?C ? ?? (17)

(следует отметить, что в (17) постоянная C ? 0, используя терминологию А.Ю. Веретенникова, контролируемая). С учетом (17) имеем

U? (x)?U? (y) ?C x ? y . (18)

Далее, воспользовавшись формулой Ито и соотношением (12) имеем при f (x) ??(x), f ?? ? 0 t/?3

? ?

? ?

? ?

? ?

?2 ? ?? ?x/? (s) ???ds ? LU (x) ? 0

? LU? (x)??2t/?2 DU? (dx/? (s)) ? ???/? (s)?DW(s)? x

?

?

0

? x

??2t/02 DU? (?0 x x/? (s)) ? ??x/? (s)?DW(s) ? (19)

?

?

, ?

?

? d t/?2 t/?2

? ?

(

( ))

DU s x

? ?

? ? ?

?

? ?

??2 0 DU (?x/? (s))??2 0 dx/? ? ?x/? (s) DW(s) ?

??2 ?U? (?x/? (t/?2))?U? (x/?)? ??2t/?2 DU? (dx/? (s)) ? ??x/? (s)?DW(s). x

?

?

?

? ?

?

0

?

Из (19) c учетом (18) следует оценка

M ?2t/?3 ????x/? (s)????ds ??2CM ?x/? ?t ?2?? x ??KC T . (20) 0

? ?

? ?

? ?

?

?

В силу того, что

Золотая А. В. 17

ISSN 1817-2237. Вісник Донецького національного університету. Сер. А: Природничі науки. - 2014. - № 2

M ?x ? ??t ?? x ? KT ? K T , (21) из (20) и (21) имеем

?

2

? ?

? ?

? ? t ?3

M ?2 0 ?? ?? ? (s) ???ds ??C KT ? 2K

?

? x

? ?

? ?

?

?

Аналогично, пусть теперь U? (x) решение уравнения Пуассона

LU? (?,x) ? ?2(x)? ?2

T ?. (22)

(23) где x????2(x) ? ?2 ? 0. Повторив предыдущие рассуждения окончательно имеем lim t ?3

M ?2 0 ??2 ?? ? (s) ? ?2?ds ??C KT ? 2K

?

? x

? ?

? ?

?

?

Далее, из (23) и (24) имеем

T ?. (24)

0sup M ??? ? ?t /?2???x ?t? ? M ?2t/03 ????x/? (s)????ds ?

?

?

?

? ?

? ?

? x t T

? ?

??M t/?2 ? ??x/? (s)?DW(s)? ??W ?t ?2?2 ?1 2 ? ? 0 ?

?

? ?

? ?

? ?

? ?

?

??C?KT ? 2K T ?? ?C?KT ? 2K T ? Откуда и следует оценка (6). Теорема 1 доказана.

Далее рассмотрим случайный процесс

?t,x/? (s) ? x ???? ??t,x/? ( )?d? ? ?? ??t,x/? ( )?DW( ), 0 ? t ? s ?T. (25) t t s s

? ? ?

?

?

?

?

Введем в (25) «быстрое» время и умножим обе части уравнения на ? ? 0, получим

? ?t/?2,x ?s/?2 ?? x??2 t/?2 ? ??t,x/? ( )?d? ??t/?2 ? ??t,x/? ( )?DW( ), 0 ? t ? s ?T. (26) а (26) перепишем в виде

2 2 s/ s/

?

?

? ?

?

?

?

?

?

?

??t/?2,x ?s/?2 ?? x??2s/?2? ???t,x/? ( )?d? ??s/?2 ? ???t,x/? ( )?DW ?), 0 ? t ? s ?T. t/ t/

2 2

? ?

? ?

?

?

? ?

? ? ? ?

? ? ? ?

? ? ? ?

? ?

?

(

Обозначив

? ?

?

?

??t/?2,x s/?2 ??t,x(s), поучим

? ?

? ?

? ? ? ?

? ? ? ?

? ?

?t,x ?s?? x? s? ??t,x ?s??d? ? s ? ??t,x ?s??DW ?), 0 ? t ? s ?T, W ( ) ??W ? ? ?. (27) t ? ? t ? ?

?

?

(

? ?

2

?

? ?

? ?

Наряду с (27) рассмотрим процесс s s

?

?t,x(s) ? x? ?? d? ? ?? DW ( ), 0 ? t ? s ?T, (28) t t

?

?

?

18 Золотая А. В.

ISSN 1817-2237. Вісник Донецького національного університету. Сер. А: Природничі науки. - 2014. - № 2

В силу того, что W ?????W( /?2) - стандартный винеровский процесс, то можно утверждать, что меры, порожденные в пространстве C?0,T? процессом ?t,x(s) и процессом ????2,x/? ?s/?2?, будут

?

?

?

?

/ t совпадать, а поэтому справедливо [10, стр. 167] представление решения задачи (1) в виде u? (t,x) ? M????t/?2,x/? (T /?2)?? M t f ?s,??t/?2,x/? ?s/?2 ??ds . (29) Теорема 2. Пусть выполнены условия

T

?

?

? ? ? ?

? ? ? ?

? x?????x??? ? 0, xlim??exp? 2? ????u?du?dz ? ??, ??x? ? K ? ??, ??x????y? ? K x ? y , ? ?x?? ? ?y? ? K x ? y , 2

0 0 x z

K

? ?

? ?

? ?

? ? lim

?? x????2 ?x?? ?2 ? 0, 0? ?0 ? ?2 ?x?? K2 ? ?? и к тому же условие lim f (t,x)? f (t, y) ? L x? y , ?(x)??(y) ? L x ? y , (30) тогда справедлива оценка u? (t,x)?u(t,x) ? ?? C?KT ? 2K T ?? ? C?KT ? 2K T ??L?1?T?, (31) где u?t,x? решение задачи

?

?

?

?

?u(t,x) ? 1 ?2 ?2u(t,x) ? 1? ?u(t,x) ? f (t,x), u(T,x) ??(x), 0?t ?T, (32)

2 t 2 2 x

? ?

? x которое представимо в виде

T ??

? ?

? ?

? ?

1

2 u?t,x?? M? ?t,x(T) ? M ? f (s,?t,x(s))ds ? ? ? x ?? ?T ?t?? ? z T ?t e?z /2dz ? t ??

2

?

T ??

? ?

1

2

?? ? f s,x ?? ?s ?t?? ? z s ?t e?z /2dzds, t ??

2

?

Доказательство очевидно в силу оценок (6) и (30). В заключение рассмотрим пример. Пусть

?u? (t,x) ? 1??1? ?2 cos2(x/?)???2u? (t,x) ??1? ?2 sin2(x/?)??u? (t,x) ? f (t,x), 2 2 2 2 2 t 2 x

?

?

? ?

? ? ? ?

? ? ? ?

? ?

? ?

? ? ?

?? x ?? x ? x ? u? (T,x) ??(x), 0?t ?T, то есть

??x??1? sinxx, ? ?x???1? cosxx?1/2 , 1? ?2 ?x?? 2, ? ?x?? ? ?y? ? 2 x? y , xlim???x??1, xlim????x??1, При x ? R, ?(?x) ??? ? 0, тогда

2 2

2 2

1 1

? ?

? ?

? ?

? ?

?? ?? x z R z

2 2

? ?

? ? ? ?

? ? ? ?

? ? ? ?

? ? ? ? exp? ???u?du?dz ? exp? ???u?du?? 0 ? 0 ? 0 ? 0 ? x R z

2 2

? ?

? ? ? ?

? ? ? ?

? ? ? ?

? ? ?

? exp? ???u?du?exp? ???u?du?dz ? R ? 0 ? ? R ?

Золотая А. В.

??x????y? ? 2 x ? y , xlim?? ?x??1.

??

19

ISSN 1817-2237. Вісник Донецького національного університету. Сер. А: Природничі науки. - 2014. - № 2

? Rexp?? z???u?du??exp?? R???u?du? x exp?????z ? R??dz ? 0 ? 0 ? ? 0 ?R

2 2 2

? ? ? ?

? ? ? ?

? ?

? ? ? ?

? ? ? ?

? ?

? Rexp?? z???u?du??exp?? R???u?du?exp????R? x exp????z?dz ? 0 ? 0 ? ? 0 ? R

2 2 2 2

? ? ? ?

? ? ? ?

? ? ? ?

? ? ? ?

? ? ? ?

? ? ? ?

.

? Rexp?? z???u?du?? 0 ? 0 ?

2

? ?

? ?

? ?

? ?

?exp?2 0???u?du?exp????R?????exp?? 2?x??exp????R?? ? ??, x ? ??. Таким образом, усредненное уравнение примет вид

R

?

?

? ?

? ?

? ?

? ?

2

?

? ?

? ? ? ? ? ?

2

2

? ? ? ? ? ?

? ?

?u(t,x) ? 1 ?2u(t,x) ? ?u(t,x) ? f (t,x), u(T,x) ??(x), 0?t ?T.

2

?t 2 ?x

? x

Заключение. Усредненное уравнение является значительно более простым, его решение можно выписать в явном виде, поэтому вопросы о точности аппроксимации решения исходной задачи решением усредненной, весьма актуальны как с теоретической, так и с практической точек зрения. Применение чисто вероятностных методов для обоснования метода усреднения, нахождения решения усредненного уравнения и оценке скорости сближения представляют как теоретический, так и практический интерес.

Список литературы
1. Бондарев Б. В. Оценка скорости сходимости в обратной задаче Коши с быстро осциллирующими периодическими коэффициентами / Б. В. Бондарев, С. М. Козырь // Труды Института прикладной математики и механики НАН Украины. - 2008. - Т. 17. - С. 15-25.

2. Bensoussan A. Asymptotic analysis for periodic structures / A. Bensoussan, J.-L. Lions, G. Papanicolau. - North-Holland Publishing Company, 1978. - 700 p.

3. Бахвалов Н. С. Осреднение процессов в периодических средах. Математические задачи механики композиционных материалов / Н. С. Бахвалов, Г. П. Панасенко. - М: Наука, 1984. - 352 с.

4. Усреднение и G-сходимость дифференциальных операторов / В. В. Жиков, С. М. Козлов, О. А. Олейник, Ха Тьен Нгоан // Успехи математических наук. - 1979 - Т. 34, вып. 5 - С. 65-33.

5. Махно С. Я. Стохастические уравнения. Предельные теоремы / С. Я. Махно. - К.: Наукова думка, 2012. - 432 с. 6. Фрейдлин М. И. Задача Дирихле для уравнения с периодическими коэффициентами, зависящими от малого параметра / М. И. Фрейдлин // Теория вероятностей и ее применения. - 1964. - Т. 9, № 1. - С. 133-139.

7. Хасьминский Р. З. О принципе усреднения для параболических и эллиптических дифференциальных уравнений и марковских процессов с малой диффузией / Р.З. Хасьминский // Теория вероятности и ее применения. - 1963. - Т. 8. - С. 3-25.

8. Золотая А. В. Оценка неизвестного параметра в системах со слабым сигналом / А. В. Золотая // Прикладна статистика. Актуарна та фінансова математика. - 2014. - № 1. - С 80-89.

9. Гихман И. И. Стохастические дифференциальные уравнения / И. И. Гихман, А. В. Скороход. - К.: Наукова думка, 1968. - 554 с.

10. Скороход А. В. Марковские процессы и вероятностные приложения в анализе / А. В. Скороход // Итоги науки и техники том. Современные проблемы математики. Фундаментальные направления ВИНИТИ. - 1989. - Т. 43. - С. 147-188.

Поступила в редакцию 28.05.2014 г.

TRIALE

Розглянута зворотна задача Коші для параболічного рівняння з коефіцієнтами, залежними від малого параметра сингулярним чином. Використовуючи ймовірнісне представлення рішення рівняння, знайдена оцінка швидкості збіжності рішення початкової задачі до рішення відповідної усередненої задачі.

Ключові слова: зворотна задача Коші, щільність мір, швидкість зближення.

SUMMARY

We consider the inverse Cauchy problem for a parabolic equation with coefficients depending on a small parameter singular manner. Using a probabilistic representation of solutions of the equation, we found an estimate for the convergence rate of the original problem to the solution of the corresponding homogenized problem.

Keywords: inverse Cauchy problem, the density measures, the rate of convergence.

20 Золотая А. В.

Вы можете ЗАГРУЗИТЬ и ПОВЫСИТЬ уникальность
своей работы


Новые загруженные работы

Дисциплины научных работ





Хотите, перезвоним вам?