Научная статья на тему 'О решении волнового уравнения при неточно заданных коэффициентах Фурье функции, задающей начальную форму струны'

О решении волнового уравнения при неточно заданных коэффициентах Фурье функции, задающей начальную форму струны Текст научной статьи по специальности «Математика»

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

Аннотация научной статьи по математике, автор научной работы — Выск Наталья Дмитриевна

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

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

Текст научной работы на тему «О решении волнового уравнения при неточно заданных коэффициентах Фурье функции, задающей начальную форму струны»

Владикавказский математический журнал октябрь-декабрь, 2006, Том 8, Выпуск 4

УДК 517.5

О РЕШЕНИИ ВОЛНОВОГО УРАВНЕНИЯ ПРИ НЕТОЧНО ЗАДАННЫХ КОЭФФИЦИЕНТАХ ФУРЬЕ ФУНКЦИИ, ЗАДАЮЩЕЙ НАЧАЛЬНУЮ ФОРМУ СТРУНЫ

Н. Д. Выск

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

1. Постановка задачи

Рассмотрим волновое уравнение с нулевыми граничными условиями и нулевой начальной скоростью

- иХХ}

и(0, ■£) - п(п,г) - 0, и(х, 0) — ](ж), щ(х, 0) — 0.

Как известно, точное решение этой задачи имеет вид

(1)

где

u(x,t) = ^ aj (f) cos jt sin jx, j=1

2 í'n

aj (f) = — f (x)sin jxdx

n J 0

— коэффициенты Фурье функции f (x). Предположим, что f (•) £ Wn([0,n]), где

W?(M) = { f (•) £ L2([0,n]) : f (n-1)(0 абс. непр. на [0,n], f ^ОН^]) < 1 },

(2)

•)^L2([0,n]) =

\

71

— I |g(x)|2 dx.

n J

а

© 2006 Выск Н. Д.

Будем считать, что нам известны приближенные значения первых N коэффициентов Фурье функции f (•) yi,..., yn, причем

К (f) - yj I < Sj, Sj > 0, j = 1,..., N. (3)

Поставим задачу поиска оптимального метода восстановления решения задачи (2) в момент времени T на классе W2l([0, п]) по информационному оператору FN (S = Si,..., sn), который каждой функции f (•) £ W2l([0, п]) сопоставляет множество векторов y = (yi,..., yN), удовлетворяющих условию (3).

В качестве методов восстановления будем рассматривать произвольные операторы ^: Rn ^ L2([0,n]). Погрешностью восстановления для данного метода ^ назовем величину

e(T,W2l([0,n]),F5N,р) = sup ||u(-,T) - ^(уХОН^п]).

f(•)6W2n([0,n]), y=(yi,...,y)€RN К' (f)-Vj KSj, j=i,...,N

Величина

E(T, W?([0, п]), FN) = N f n e(T, wn([0, п]), F5N, p)

называется погрешностью оптимального восстановления, а метод, на котором достигается нижняя грань, называется оптимальным методом восстановления.

Рассмотрим более общую задачу оптимального восстановления оператора Q: X ^ , заданного равенством

Qx = (niXi,n2X2,...), j £ N,

где x = (xi,x2,...) £ X, а

X = < x = (xi,x2,...) : ||x||x = ^ Vj|Xj| < то >,

I j=i J

Vj > 0, j £ N. Положим ßj = n2 и будем предполагать, что ßj/Vj ^ 0 при j ^ то. Тогда при всех x £ X Qx £ I2. Нас интересует задача восстановления оператора Q по приближенным значениям первых N компонент xi,...,xn. Положим

W = {x £ X : ||x||x < 1 }. Будем считать, что для каждого x £ W нам известен вектор y = (yi,..., yN) такой, что

|xj - yj| < Sj, j = 1,..., N.

В качестве методов восстановления рассматриваются всевозможные отображения ^: 1N ^ I2. Погрешность восстановления для данного метода ^ определяется равенством

e(Q, W, in,S,<p) = sup ||Qx - <p(y)||i2

xew, yelg |xj-yj К Sj, j=i,...,N

(здесь S = (Si,..., SN), INx = (xi,..., xN)).

Погрешностью оптимального восстановления называется величина

E(Q, W, in,S)= inf e(Q,W,lN,S,p), (4)

V : lSo^l2

а метод, на котором достигается нижняя грань, называется оптимальным методом восстановления оператора Q на классе Ш по информации , заданной с погрешностью в N

норме 1 NN •

Случай, когда коэффициенты Фурье заданы с погрешностью в норме , как для задачи (1), так и для задачи (4), исследовался в работе [1].

2. Основные результаты

Пусть Vj монотонно возрастает,

lim Vj = lim ßj/Vj = 0.

Без ограничения общности можно считать, что

ßl > ßl > > ßN

Vi ^ V2 ^ ' " ^ VN

(этого можно добиться соответствующей перенумеровкой). Пусть q > N таково, что

ßq ßj

— = max —.

Vq j>N Vj

ßl ßq

Если Viöi < 1 и — > —, положим

Vl Vq

Г p }

Po = po(S) = maJ p VjS2 < 1, Vt > Vi, 1 ^ p ^ n\ l „•_-. Vp Vq )

j=i

в противном случае считаем, что po = 0. Положим

q,

qo

ßq > ßPo + 1 vq > VP0 + 1 ■ ßq ^ ßpp + 1

P0 + 1, ßq <

Теорема 1. Имеет место равенство

E (Q,W,In ,S) =

\

— + Y (ßj-— Vj) S2 Vqo j=1 V Vq0 V j

po

j=i

ßqo „ --Vj

при этом метод

po

ш = y vA1 j=i v

ßqo Vj Vqo ßj

Vj ej,

где ej, j = 1, 2,... — стандартный базис в ¡2

(5)

(6)

1, к — 1, ,

является оптимальным.

Вернемся к задаче оптимального восстановления решения волнового уравнения. Если /(■) е Ш2п([0,п]),то

оо

/(х) — ^ а3 (/)й1п jx, 3 = 1

где

X>

Е j 2ч2(/) < 1, j=i

т. е. Vj = j2n. Из (2) вытекает, что "j = cos2 jT. Соответственно q > N таково, что

cos2 qT cos2 jT

-^-= ^ft&X-~-.

q2n j>N j2n 2 cos2 qT

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

Тогда в случае, если ¿i < 1 и cos2 T > -~-,

q2n

/гч i ^ -2n r2 1 cos2 pT cos2 qT /I

po = j , < > — ! < p <

иначе po =0.

Соответственно

qo

cos2 qT cos2 (po + 1)T

^ ^ (po + 1)2n , . cos2 qT cos2 (po + 1)T

po + 1, q2™ < (po + 1)2n •

Из теоремы 1 вытекает Следствие 1. Имеет место равенство

E (T,W2 ([0,п]),^ v) = при этом метод

\

cos2 qoT { 2 cos2 qoT

qo +jj=1 ^ - j 2) j

( T) v-Л j2 cos2 qon -T • • u(x,T) ~ >. 1--2-yj cosJTsin

qo2 cos2 jT

q2 cos2

j=i

является оптимальным.

3. Доказательство

Доказательство теоремы 1. Рассмотрим экстремальную задачу

E^j|:Х'|2 ^ К|2 < j j = 1,...,N^ ^Vj|2 < 1

j=i j=i

Положим Uj = |xj|2, j G N, и перепишем эту задачу так:

X

2

Е "j Uj ^ max, Uj ^ ¿2, j = 1,..., N, ^ Vj Uj ^ 1, Uj ^ 0. (7)

j=i j=i

Введем функцию Лагранжа для этой задачи

N х

l(u, A, Ai,..., an) = + Aj + ^Vj)Uj + e (-"j + AVj)Uj,

j=1 j=N+1

где U = {Uj}j6N.

Из работы [2] (см. также [3]) вытекает, что если найдутся такие А, Ai,..., Xn > 0, что для допустимой в задаче (7) последовательности A = {Aj }jgN выполнены условия

(a) min L(u, A, Ul,. . . , AN) = L(A, А, Ai,..., XN),

Uj ^0

(b) Y Aj (Aj - j =0, A(£ Vj Uj — Л = 0,

j=i V J S=i J

то U — решение задачи (7), а ее значение равно

N

EUj S2+U. j=i

Если при этом для всех у е существует решение ху экстремальной задачи

N

У^ Aj|xj — Vj|2 + АУжУх ^ min, x £ X,

j=i

то

а метод

E (Q,W,In ,S) =

\

N

EUj j+U j=i

<U(V) = Qxy

является оптимальным.

Задача (8) может быть записана в виде

(8)

(9)

N те

У^ (xj — Vj)2 + UVjx2j + U E Vjx2 ^ min, x £ X.

j=i j=N+i

Нетрудно убедиться, что ее решение есть

xy

N U-Xj

j=i Uj + UVj

Vj ej.

Поэтому достаточно найти А, Х\,...,Хм ^ 0 и допустимую в (7) последовательность и — {Аз , для которых будут выполнены условия (а) и (Ь). При этом метод

N

Uj

U(V) = Y nj U—V" Vj ej j=i Uj + UVj

(10)

будет оптимальным.

Предположим, что po > 0. Положим U = , X/ = ßj — Vj, j = 1,... ,po, Aj = 0,

Po <j < N.

qo

qo

Uj =

S^

po

i-E vj sj

j=i j

qo

0,

j = 1,...,Po, j = qo,

j > Po, j = qo.

Легко проверить, что последовательность А, — допустимая и выполнены условия (6). При этом

Ди, А, А1,..., Ам)= Е + ~V') и ^ 0'

так как в силу выбора до

^ > ^, ¿>Ро.

Поскольку ДА, А, А1,..., Ам) = 0, условие (а) выполнено.

Подставляя А и А1,..., Ам в (9) и (10), получаем погрешность оптимального восстановления и оптимальность метода

ро , ч

А(у) = Е пА 1 - ^ У,"в,,

V из/

Пусть ро = 0. При этом либо ^ 1, либо — ^ —. В обоих случаях положим

V! ^

А = ро, а, = 0, ^ = 1,..., N, = —, А, =0, ^ = д0. Тогда последовательность п, — допустимая,

^ / \ / \ Ди, А, А1,..., Ам) = £ -Р, + ^V, и, = £ V, р0 - , и, > 0 ^ V ^о / ,=1

в силу выбора ^о, а £(и, А, А1,..., Ам) = 0, то есть условие (а) выполнено. Условия (6) также очевидным образом выполнены. При этом из (9) и (10) следует, что

Е ,5) = ^

а метод (р(у) =0 — оптимальный. >

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

Литература

1. Выск Н. Д., Осипенко К. Ю. Оптимальное восстановление решения волнового уравнения по неточным начальным данным // Мат. заметки.—2006.—Т. ???.—С. ??—??.

2. Магарил-Ильяев Г. Г., Осипенко К. Ю. Оптимальное восстановление функций и их производных по приближенной информации о спектре и неравенства для производных // Функ. анализ и его прил.—2003.—Т. 37.—С. 51-64.

3. Осипенко К. Ю. Неравенство Харди-Литтлвуда-Полиа для аналитических функций из пространств Харди-Соболева // Мат. сб.—2006.—Т. 197, № 3.—С. 15-34.

Статья поступила 27 марта 2006 г. Выск Наталия Дмитриевна

Москва, «МАТИ» — Российский государственный технологический университет им. К. Э. Циолковского

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