Научная статья на тему 'Приближенное решение одного уравнения теории крыла методом асимптотических полиномов'

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

CC BY
149
28
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Наука и техника
Область наук
Ключевые слова
ПРИБЛИЖЕННОЕ / РЕШЕНИЕ / УРАВНЕНИЕ / ТЕОРИЯ КРЫЛА / МЕТОД АСИМПТОТИЧЕСКОГО ПОЛИНОМА

Аннотация научной статьи по математике, автор научной работы — Грибкова В. П., Козлов С. М.

Метод асимптотических полиномов применен к уравнению теории крыла, которое описывается сингулярным интегро-дифференциальным уравнением. Приближенное решение основано на использовании полиномов Чебышева второго рода. Аналогичные решения были известны ранее для пространств С и L 2. В статье приводятся эффективные оценки погрешности для пространства С, позволяющие вычислять ошибку в любой точке рассматриваемого промежутка и определять степень искомого полинома, который с заданной точностью будет аппроксимировать точное решение.

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

Approximate Solution of One Equation in Wing Theory Using Method for Asymptotic Polynomials

The method for asymptotic polynomials has been applied to an equation in wing theory which is described with the help of a singular integro-differential equation. An approximate solution is based on the use of the Chebyshev polynomials of the second kind. Similar solutions were known previously for the spaces C and L 2. The paper presents an effective error estimates for the space C, allowing to calculate an error at any point in the reporting period and to determine an extent of the desired polynomial, which will approximate the exact solution in accordance with the given accuracy.

Текст научной работы на тему «Приближенное решение одного уравнения теории крыла методом асимптотических полиномов»

Таблица 2

Таблица значений Цп\ у)

и/у 0,90 0,95 0,99 0,999

5 1,99 2,78 4,60 8,61

6 1,96 2,57 4,03 6,86

7 1,93 2,45 3,71 5,96

8 1,90 2,37 3,50 5,41

9 1,88 2,31 3,36 5,04

10 1,86 2,26 3,25 4,78

12 1,84 2,20 3,11 4,44

14 1,82 2,16 3,01 4,22

16 1,80 2,13 2,95 4,07

18 1,78 2,11 2,90 3,97

20 1,76 2,09 2,86 3,88

25 1,74 2,06 2,80 3,74

30 1,72 2,04 2,76 3,66

35 1,70 2,03 2,72 3,60

40 1,69 2,02 2,71 3,56

50 1,68 2,01 2,68 3,50

60 1,67 2,00 2,66 3,46

70 1,67 1,99 2,65 3,44

80 1,66 1,99 2,64 3,42

90 1,66 1,98 2,63 3,40

100 1,65 1,98 2,63 3,39

120 1,65 1,97 2,62 3,38

В Ы В О Д Ы

Разработана простая и удобная в применении методика распространения данных выборки на генеральную совокупность. Она позволяет всесторонне проанализировать генеральную совокупность с достаточно высокой степенью надежности:

1) оценить интервал вариации признака генеральной совокупности формулой (правило трех дельта) х - ЗА < хг < х + ЗА;

2) оценить объем генеральной совокупности N обладающий значением признака Хк, формулой N (хк ) = —^ N с точностью

3А|1 — | %.

Л И Т Е Р А Т У Р А

1. Статистика / И. И. Колесникова [и др.]. - М., 2007.

2. Захаренков, С. Н. Статистика / С. Н. Захаренков. -Минск: БГУ, 2010.

3. Общая теория статистики / под ред. Л. И. Карпенко. - Минск: БГЭУ, 2007.

4. Статистика автомобильного транспорта / И. М. Алексеева [и др.]. - М., 2005.

5. Статистика / под ред. И. М. Елисеевой. - М., 2009.

6. Гмурман, В. Е. Теория вероятностей и математическая статистика / В. Е. Гмурман. - М., 2002.

Поступила 30.03.2012

УДК 517.956

ПРИБЛИЖЕННОЕ РЕШЕНИЕ ОДНОГО УРАВНЕНИЯ ТЕОРИИ КРЫЛА МЕТОДОМ АСИМПТОТИЧЕСКИХ ПОЛИНОМОВ

Канд. физ.-мат. наук, доц. ГРИБКОВА В. П., канд. техн. наук, доц. КОЗЛОВ С. М.

Белорусский национальный технический университет

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

Г(х)/В(х) - Г'(0/0 - х)й1 = /(х),

хе[-1, 1], (1)

где /(х) и В(х) - известные функции (функция В(х) нигде не обращается в нуль, за исключе-

Наука итехника, № 5, 2012

нием, может быть, концов промежутка, и на всем промежутке больше нуля); Г(х) - искомая функция (Г(1) = Г(-1) = 0).

Рассмотренный в [1] метод Мультоппа основан на замене точного решения тригонометрическим интерполяционным многочленом Лагранжа, построенным на узлах Xk = = cos(k^ /(n +1)), k = 1, n и выраженным через полиномы Чебышева второго рода:

Un (х) = sin((n +1) arccos х) /-y/i - х2,

либо при замене х = cos 9 , 9е[0, л] Un (cos 9) = = sin(n + 1)9 /sin 9. Аналогичное приближенное решение рассматривается в [2], но для пространства L2 с нормой

И/ЦЦр(х)|/(х)|2 dxj12.

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

произведение Г(х) = V1 - х2у(х). Тогда функция y(x) обладает теми же аналитическими свойствами, что и Г(х). Рассматриваем решение уравнения (1) в пространстве С с нормой || /1|= max | /(х)| . Используем в работе пред-

хе[-1,1]

ставление любой функции f (х) в виде асимптотического многочлена Gf (х) и остаточного члена R (х), рассмотренное в [3]:

/ (х) = G/ (х) + Rn (х) = G/ (х) + Zr=nM/ х),

где линейные функционалы функции f(х) ^Я Наука

итехника, № 5, 2012_

Ы1 = (2/(г + З))^—1)к (хк )(1 - ^2),

а функции %[п+)2(х) выражаются через полиномы Чебышева второго рода, поэтому такое разложение можно назвать рядом Фурье - Чебышева.

Представим приближенное решение уравнения (1) в виде асимптотического многочлена,

умноженного на л/1 — х2:

(2)

Гп+1( х) = ^/Г-X2G: (х);

Г(х)«Г+i(х) = (х) =

^л/Т-х7 X 1=0 € ит ( х);

al= (2/(n + 3))X n+2 Y (х* ) х

х(1 - хк)ит (хк ),

где узлы, на которых строится многочлен, определяются по формулам:

X = ео8(ктс /(п + 3)), к = 1, п + 2. (3)

Над Г и у ставятся черточки в знак того, что эти функции строятся на ординатах, вычисленных приближенно.

Для решения задачи (1) удобнее перейти от асимптотического многочлена (2) к соответствующему ему интерполяционному многочлену 0~у+1 (х) [3], здесь черта сверху означает интерполяционный многочлен, соответствующий асимптотическому О] (х):

оП+1( х)=о; (х) + М1ип+1(х)-,

Г( х) «л/1 - х2 gY+1 (х) = =>/1-7 G (х) + MJnUn+i( х)).

(4)

Асимптотический многочлен GJ (х) в k =

= 1, п + 2 узлах (3) отклоняется от интерполяционного на величину линейного функционала М^

Gn+i( хк ) = Gñ (хк ) + (-1)к vMl,

(5)

где V = +1 либо V = -1. В данном случае для простоты примем V = +1. Линейный функционал М1п вычисляется по формуле

Ы1 = (2/(п + З^^П^ГС-1)^ У Х )(1" х2). (6)

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

?(хк) = Гк; /(Хк) = /; В(хк) = Бк;

2-

У(Х) = 7* и Г =41-x>

Ук •

Учитывая выражения (4)-(6), приближенное решение для у(х) будем отыскивать в виде (4), где

ЗУ+Х) = £1.Лит (Х) + Х). (7)

Уравнение (1) представим как операторное ^(х, у(х)) = /(х). В [4] рассматривалось аналогичное применение асимптотических многочленов, построенных на полиномах Чебышева первого рода.

Первое слагаемое уравнения (1) приближенно представим следующим образом:

Г(x)/B(x) « G™(x) =

(8)

= £ 1=0 aTmBUm (x) + MlBUn+i( x);

аГв = (2/(n + 3))Xn=í (Гк / Bk )(1 - x"l)Um (x¿ ) = = (2/(n + 3))Xn+2( У^л/1-xf / Bk )(1 - xí)Um (xk);

MfJ = (2/(n + 3))Xn+2(-1)k^k /Bk)(1 - xk2) =

= (2/(n + 3))Xn+2 (-1)k / Bk )(1 - x2).

Если многочлен (4) представить через переменную 0, продифференцировать его по 0 и использовать известные равенства (при m = 0 интегро-дифференциальный оператор равен нулю):

(1 / л) £ cos mх /(cos х - cos 0)dx = ^ = sinm0/sin0 = Um_j(x), m = 1,...; 0e[O, л],

то для второго слагаемого (1) получим выражение

(1/2л) jjr'(x)/(cos х- cos 0)d х «(1/2л) х

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

х| IV 1 - x2 Gn+1

£ (V 1 - x2 Gn+1 (x) j /(cos x - cos 0)dx

«(1/2) o al (m +1) sin(m +1)0 / sin 0+ (10)

N

+MI (n + 2) sin(n + 2)0 / sin 0

У

= (1/2) (XLo(m + 1)alUm (x) + Mnn (n + 2)^ x)).

Функцию f (x) заменим интерполяционным многочленом вида (4)

f(x) * gL (x) = xm.0 afUm (x) + Mf (x), (11) где коэффициенты вычисляются по формулам: al = (2/(n + 3))YkZfk (1" x2)Um (xk ), m = 0Я а линейный функционал

MÍ = (2/(n + 1)^ fk (1" x2).

Подставляя (7), (8), (10), (11) в уравнение (1), получим равенство для вычисления приближенного решения Г( x) «V1 — x2GJ+1 (x)

GrB1( x) - (1/2л) х

Л - x2 Gy+1 (t))' /(t - x)dt = GÍ1 (x),

(12)

или с учетом равенств (7)-(11) от уравнения (12) перейдем к уравнению

(£1=0 атВит (Х) + МХ+1( Х))- (1/2) (£1=0 (1 + 1К ит (Х) + Ы1 (п + 2)и+1( Х)) =

= £1=о а/ (Х) +М/ (Х). (13)

Сравнивая коэффициенты при одинаковых полиномах ит(х) (т = 0, п +1) в левой и правой частях равенства (13), получим систему (п + 2) уравнений:

|а1В + а1= а1, 1 = ° п;

\М1В + М1 = М{, 1 = п +1

^ пп пп п '

с (п + 2) неизвестными ук, которые можно определить, подставив все выражения для коэффициентов аГ, а^ и а/, а также соответ-

ствующие линейные функционалы k = 1, n + 2:

Наука итехника, № 5, 2012

х

m +1

Um (x, )(1 - X, ) =

= ZZ;fUm(xk)(1 - x2;), m = 0,n; (14)

z Г=;(-1)* У , (fi-X; / вк - (i/;)(n+2)) x

х(1 - x2;) = Mf, m = n +1.

Существование решения системы (14) и его единственность следуют из общих теорем для проекционных методов, рассмотренных в [5], а также в [1] для метода Мультоппа. В [1] доказана ограниченность оператора, описывающего второе слагаемое уравнения (1), что дает возможность сделать вывод о сходимости метода последовательных приближений при решении рассматриваемой системы уравнений (14) от какого бы начального значения не исходили. Однако система уравнений (14) может быть решена и любым другим методом.

После вычисления приближенных ординат ук и линейного функционала Ы1п (6) приближенное решение окончательно может быть записано либо с помощью асимптотического (2), либо с помощью интерполяционного многочлена (4). Решение (2) отличается от решения (4)

на слагаемое

л/1 - X2 MyJUn+1( x). Рассмотрим,

при каких условиях многочлен Оп+\ (х) будет стремиться к точному решению у(х) или

- x2 Gn+1 (x) к Г(x) .

Я

Разность между выражениями (1) и (11) имеет вид

(Г(х)/ В(х) - (1/2л) х

. —Гв

Г'(0 /(I - - f (х)) - (О^1 (х) - (1 /2л) х (15) х^ (41 - х2 ОП+1 (Г))' /(I - х)Л - О"+1 (х)) = 0.

Представим ее следующим образом: Г(х) / В(х) - О™ (х) = 1/(2л) Л Г'(0 /^ - х^

- (1/2)Z m=0 У, (1 - x,2)(m + 1)Um (x, )Um (x) +

+/(х) - О"+Дх).

Левую часть равенства преобразуем Наука

итехника, № 5, 2012_

+

Г( х)/ В( х) - О„в1 = = (Г( х)/ В( х) -V1 - х2 ОП+1 (х)/ В( х) |

1 - х2 ОП+1 (х)/ В( х) -41 - х 2у( х) / В( х) | + +(л/1 - х2у( х) / В( х) - ОГВ1 (х) ).

Тогда разность (15) можно переписать в виде

(г( x) -41 - x2 Gn+1 (x)) / B( x) = : (41 - x2y( x) -v 1 - x2 Gn+1 (x)) / B( x) -(л/1 - x2y( x)/ B(x) - G™ (x) ) +

+ 1 Y Г'С )/(t - x)dt -

1

-11 Но?* (1 - х2)(т + (х и (х) ] +

+ ( / (х) - О"+1( х)). Умножим правую часть на функцию В(х)

Г( x) ~41 - x2 Gn+1 (x) = (41 - x2y( x) -41 - x2 Gn+1 (x)) -

К

+B(x) I -Ы1 - xzy(x) / B(x) - Gn+1 (x)) +

(16)

+|1/(2л)Ц Г'^- х)Ж -- (1/2)Е П У к (1 - х2)(т + 1)Ц, (х* )ит (х)) +

+( / (х) - ОП+1( х) )) = Яп+1( х).

Кроме того, можно от разности между точным решением и интерполяционным многочленом (4)

Г( x) -41 - x2 Gn+1 (x) = : Г( x) -41-7 (G (x) + MlnUn+1 (x) )

перейти к разности между точным решением и асимптотическим многочленом (2)

Г(х)— л/Г—^Gj (x) = Г(x)— л/Г—^Gj(x) =

= ^Г7м:пип+1 (х) + R+1 (х) = R (х).

Необходимо доказать сходимость приближенного решения лД — х2Gj (х) к точному

Г( х) = 41 — х2 у( х).

Теорема. Пусть для уравнения (1) получено приближенное решение в виде многочлена

л/1 — х2Gj (х) (2). Тогда для приближенного решения имеет место равномерная сходимость к точному решению Г(х) в том случае, когда функции f (х) и B(х) (B(х) > 0) имеют производные порядка p, а искомая функция - порядка (p +1), принадлежащие классу Lipa, если p > 2, а 0 <a< 1.

Доказательство. Интерполяционный многочлен Gl+1 (х) будет являться точным решением для всех функций, которые являются многочленами степени (< п). Предположим, что для функции у(х) существует полином наилучшего равномерного приближения Pn (х) степени n с величиной наименьшего уклонения E'n. Тогда представим разность между точным и приближенным решениями в виде

41 — х2 (n(х) — Gn+1 (х)) = 41 — х2 х / -n ч (17)

х((п( х) — Pn (х)) + (Pn (х) — GL( х)) j.

Первое слагаемое правой части (17) равно

л/гх2 м х)—p (х))=л/гх2 .

Для вычисления и оценки второго слагаемого полином наилучшего приближения представим в виде

Pn (х) = (2 /(п + 3)) х

хЕ I+2 Pn (х* )(1 — х2)Е 1=0 ит (х* U (х)

и составим разность

4т-x2(P (х) — G^)) =^|Т-XF(P (х) — —G (х) — MñnUn + (х)) = (2/(п + 3)) х

Tspn x) - ъ )Z:=о Um X )um (x) + x) + B(x) x

X(-Z/Bk)(Pn(Xk) - %)(1 - x2) X

x! m=o UUm (Xk )Um (X) + MlU+1 (X) + (1/2) X

xZ k= (Xk ) -Y^ )(1 - Xk2)! m=o 0Um (Xk )(m +1) x xUm (x)+Ml (n + 2)u+1(x)/2 + Z n+=2(p (xk) - fk) X x(1 - x2)Zm=oum (xk )um (x) + MfUn+1( x)).

Считаем, что функция B( x) является непрерывной, поэтому имеет верхнюю B = ||B| | = = max | B(x) | и нижнюю B = 111/B11 = max 11/B(x) |

xe[-1,1] xe[-1,1]

грани. Введем постоянную C = 1 + B(B +1). Норма полинома || Um || = m +1. Она не улучшаема, так как в точках x = -1 и x = 1 полином достигает значений m +1.

Учитывая, что выполняются неравенства |P (Xk)-lk|< En, | Pn (Xk) - f |< En и Ml < El, M™ < El, можно сделать оценку погрешности

|| P„-l||< (2/(n + 3))E>

x(czn:ín - Xk2|zm:>m(Xk)N mj |+ (18) + (B/2)Zn+=2|1 - Xk2|Z !=> + 1)|Um (Xk )|-| |UJ | ).

Если перейти от переменной х к переменной 0, то неравенство (18) преобразуется к виду

|| Pn -11|< (2 /(n + 3))En x x(c Z n=12| sin 0k |Z ^^(m + 1)0k )|x

x || sin(m +1)9/sin91| + (B/2)Z^ sin0 | x x Z„+o (m +1) | sin(m +1)0 | • || sin(m +1)9 / sin 91|).

Оценка сверху:

- для первого слагаемого

Z n=2| sin 0JZ m+=o| sin(m +1)9, )|x

x 11 sin(m +1)9 / sin 91| < (n + 2)2 (n + 3) / 2;

- для второго

Наука итехника, № 5, 2012

Z Hiisin e i Z H1Q(m+T) isin(m+T)e ix

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

x ii sin(m+i)e/sin e || <

< (n + 2)Zl+o(^ +1)2 < (n + 1)(n + 2)3 /3.

Таким образом, для неравенства (18) будет справедливо

iiPn-у ii< (2/(n + 3)) E¡x

x(c (n + 2)2(n + 3)/2 + B(n + 1)(n + 2)3 / 3) < < Ey (C(n + 2)2 + (B / 3)(n + 1)(n + 2)2).

Здесь использовали известный результат суммирования Z^k2 = n(n + 1)(2n +1)/6. Тогда, возвращаясь к (16), можно сделать оценку

ii Г-V1 - х2 Gу ii < ii у- Gу ii< Eу + , ч

II * i I I II I n w n /1 Q\

+El (C(n + 2)2 + (B / 3)(n + 1)(n + 2)2)

или

| i у-Gj ii <El(C(n + 2)2 + (B/3)(n + 2)3). (20)

Оценка для равенства (17) будет следующей

i |г-л/ТХ%:11< El+ El (C(n + 2)2 /2 + (21) +B (n + 2)3 /3).

Если величина EJ < су / np+a [6], где постоянная с7 зависит от функции у(х), p > 3, Q < а < 1, то для сходимости приближенного решения к точному необходимо, чтобы производная p > 3 функции у(х) принадлежала классу Lipa. Причем для первого слагаемого неравенства (20) достаточно, чтобы функции B(х) и f (х) имели производные порядка p > 2, принадлежащие классу Lipa. Теорема доказана.

Обозначим правую часть равенства (16) -остаточный член R„+i(x) - как сумму

R+i (х) = (х) + R+T (х) + СГ (х) + R+T (х),

где

(х) = ^/Г-XГу(x) - n/T-^GL (х);

rRI+1 (х) = B( х) (л/Г-^х)/B(x) - Güi (х) J;

Я+>(х) = В(X) Ц- ¡\ ШЛ --1Z П у* (1 - х2)(т +(X, и (х)

X) = В(х) (/ (х) - ^(х)).

Каждое из слагаемых можно представить в виде бесконечной суммы, выраженной через соответствующие линейные функционалы и функции Хг+2(х), г = п,...,да, способ вычисления которых через полиномы Чебышева второго рода приведен в [3]. К этим функциям при вычислении третьего слагаемого (16) применяется преобразование (9). Введем обозначение

Г х) = (1/7Г)£ (л/Гх^Г))' Л ( - х).

Для остаточных членов соответственно получим:

Я) (х) = у/1 -х2у(х)-у/1 -х2(х) =

z ;= п+м1 *<+>( х)

или

х) = Л/Т-хГу( х) -1( х) - 1(х)) ^ (22) ^ Я« (х) = ,¡1-7Ы1ип+1 (х) + Я®, (х) =

=Я-х? z;=пМУ х+и х).

Слагаемые с линейными функционалами можно включить в остаточные члены, которые таким образом приобретут еще по одному слагаемому, и суммы будут изменяться не от (п + 1), а от п, то есть

Я1 (х) = лЯ-хГу( х) - л/Т-Т^ (х) =

=л/Г7 z х;+и х),

аналогично для всех остальных Я^ (х), 1 = 2, 3, 4:

Я(2) (х) = В( х)мГВип+1 (х) + Я(21 (х) =

=в( x)z ;=пМГв х ;+и х);

Наука итехника, № 5, 2012

Rf( x) = ( B( x)Ml (n + 1)^и+1( x) +

+b( x)i;.n m ш x))/2=

=(B( x)/2)^;.nM: x í+k x);

R(:"> (x) = B( x)MfnUn+i (x) + R™ (x) = =B( x)I IM x «( x).

Следовательно, окончательно остаточный член примет вид:

Rn (x)=z :_n (-mia/tx2+b(x)(m™ + m( ))x xxí+ux)+b(x)m;x(+2(x)). (23)

Для того чтобы производная приближенного решения наибольшего третьего порядка

(Gj (x)) е Lipa, необходимо, чтобы многочлен

(GJ (x)) имел кривизну, отличную от нуля,

следовательно, был бы не менее второго порядка. Тогда многочлен GJ (x) будет иметь степень пятого порядка. Он основан на семи ординатах - ук, к = 1,7, для определения которых необходимо решить систему уравнений (14) седьмого порядка. Таким образом, наименьшая степень асимптотического многочлена, являющегося приближенным решением уравнения (1), не может быть меньше пятой.

Для слагаемых R(1)(x), R(2)(x) и R(4)(x) рассмотрено стремление к нулю при n в [3], для всех функций, у которых производная порядка p > 2 принадлежит классу Lipa. Функции Хг+г( x) выражаются через полиномы Че-бышева второго рода

Хí+2(Х) = =n(2) кгт^т+2 2x),

где кгт - элементы (к + 2) строки матрицы K

10 0 0 0 10 0 K =10 10 0 1 0 1

О x) =

Um+1(x), если m + 2 = <

(2А, + 1)(n + 3); 2Цп + 3); (2X(n + 3) ± (n + 2);

Um+1(x) ± Uh_1(x), если m + 2 = 2X(n + 3) ± h;

1 < h < n +1.

Следует учесть, исходя из вида матрицы К, что номера г и т одинаковой четности, и для нечетных номеров сумма (16) вычисляется только для слагаемых с нечетными номерами, а для четных - лишь для слагаемых с четными номерами т, и номер т меняется через две единицы. Элементы матрицы К вычисляются через функцию Мебиуса, что более подробно приведено в [3]. Функции х(+г(х) с учетом формул (9) и (24) принимают вид

y(n)

Ar+ 2

(x) = — у

2л у

r+2 K m=n(2) r+ 2

-12 X

x ^ )ydt i« - x)=1 y m: (2) Kr+2

—(n)

7"m+2 ( x),

где

—(n)

hm+ 2 (x) = (1/л) x

х^л/Г-Т2^))'dt/(t - x).

Оценки сверху для функций в общем случае будут такими

11 h^ ||< | sin(m + 3)0/ sin01 +1 sin(m +1)0/ sin01< < (m + 3) + (m +1) = 2(m + 2),

тогда для

iix!+)2ii<y :=nK

ém=n ч:

r+21 |hm+)2i i 2(m + 2) <

<!1Л+22(т + 2)2.

Учитывая равенство ^" к2 = п(п +1) х х (2п +1)/6 и то, что коэффициенты Кг+2 можно оценить сверху величиной ^(г + 3), которая обозначает число делителей целого числа (г + 3), больших либо равных (п + 3) и допускающих представление г + 3 = (2^ +1)^. Для этой функции справедлива оценка [7] -

■■ Наука итехника, № 5, 2012

— <

C(r + 3)/rs 2 <c, где с - постоянная, а s>0 -некоторая бесконечно малая величина

|| № || < 2cj+ 3)2 < 2c,(r + 3)3C(r + 3)/3 .

В предположении, что существует полином наилучшего равномерного приближения P (х) степени n для функции

Г(х) = л/Т-Х^x)« n/T-X2Pn (x),

с величиной наибольшего уклонения E'n, выполняются условия [3]:

МП <El и Mf < En, En <c/np+1+a+s/2. (25)

Откуда можно сделать вывод, что при выполнении неравенства (25), где 0 <а< 1, p > 3 и s > 0 - любая бесконечно малая, будет иметь место равномерная сходимость ряда (23) приближенного решения *\Д - х2 GJ (х) к точному Г(х), так как будет выполняться условие

11г-7ГХ%;||<||п-Gl || <

< BEl+lc /(n +1)p+3+a+s/2 = Bc2 /(n + 1)a.

Таким образом, справедлива теорема.

Теорема 2. Если линейные функционалы Mjr и Mf удовлетворяют условию (25), то остаточный член ряда (23) стремится к нулю во всех случаях, когда функции f(x) и B(x) имеют производные порядка p, а функция п(х) - производную порядка (p + 1), принадлежащие классу Lipa, если p > 2, 0 <а< 1, s> 0 -любая бесконечно малая, и функция B(x) на рассматриваемом промежутке не обращается в нуль.

Следует отметить, если f(x) и B(x) четные функции, то ввиду симметрии искомой функции система уравнений (14) будет иметь порядок вдвое меньший, чем в общем случае, и все четные линейные функционалы будут равны нулю. Что существенно облегчает решение.

Рассмотрим более подробно приближенное решение при n = 5 в самом общем случае. После определения приближенного решения в виде (2) можно записать равенство

Г( х) = V 1 - х2п(х) = л/1 - х2 Gn + R (х),

где

R (х) = R(1) (х) + R(2) (х) + R(3) (х) + R(4) (х), то есть

Г( х) = л/гх2^ (х) + n/T-^^ Mi ( х) +

+в( х) (-z;=5 mjbX+U х)+

+ (1/2)X™= 5 M¡r x(5+U х) +Х15м/г%(х) )= (26) = ^/ГXГGJ (х) + X;=n (-Ml^JT-х^ + +B( х)(МГ + Mf )xf+U х) + М/д(+2( х)).

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

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

Для n = 5 функции Am+Uх) xf+U х) и х(+)2( х) будут иметь вид:

hf(x) = U6(x), A<(5)(х) = Us(x), (x) = U,0 (x), ti* (x) = U,2 (x) - U2 (x), h,(55)( x) = U14( x) - U0 , Щ5 (x) = U16(x) + U0,

h1(<5) (x) = U(S (x) + U2 (x), A25} (x) = U20 (X) + U4 (x),

h(§( x) = U22( x) и т. д.;

Xf( x) = hf (x) = U6( x), (x) = hf (x) + hf? (x) = U(0 (x) + Us (x),

Xll)( х) = ^Ч х) + ^Ч х) + ^Ч х) =

:,(5)

(3)'

15

= U(4 (х) + U(2 (х) + U(0 (х) - U2 (х) - U0,

Xif (х) = (х) + h((55) ( х) + h(75) (х) + ^ (х) = = U(8( х) + U(6( х) + U(4 (х) + U(2( х),

x(5) (х) = h? (х) + Щ> (х) + h? (х) + А® (х) + +h25) (х) = U22 (х) + U20 (х) + U(8 (х) + +U(6( х) + U(4 (х) + U4 (х) и т. д.;

Х(5)(х) = 7U6(x), Х95)(х) = 11U(0(х) + 9U8(х),

ХТЧх) = 15U(4 (х) + 13U(2( х) + 10U(0( х) - 2U2( х),

^(х) = 19Ul8(x) + 17Ul6(x) + 15Ul4(x) + 13Ul2(x),

XÍ55 (х) = 23U22 (х) + 2IU20 (х) + 19U(8 (х) + +17U(6(x) + 15U(4(x) + 5U4(x) и т. д.

^Л Наука

итехника, № 5, 2012

Пусть решение уравнения (1) на основе ряда (23) представлено в виде суммы

Г(х) = Л/1 - х2 О] (х) + ^ (х).

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

1. Вычислить многочлен (2) О] (х), определив ординаты приближенного решения из системы уравнений (14).

2. Вычислить определенное количество слагаемых остаточного члена ^ (х) (26). По ним

установить степень п многочлена О1 (х), для которого необходимая точность будет удовлетворяться.

3. Вычислить многочлен найденной степени, снова решив систему уравнений (14) (п + 2)-го порядка.

4. Уточнить оценку погрешности, определив некоторое число слагаемых нового остаточного члена (23), для чего вычислить новые последовательности {М"В }г=", п+1, , {м/ }г=", п+1, ,

{М1г }г=„ „+1 и соответствующие функции

ХгПг( х), Х(Пг( х). Поскольку эти функции основаны на полиномах Чебышева второго рода, то оценка сверху для них не представляет затруднений.

В Ы В О Д

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

Л И Т Е Р А Т У Р А

1. Каландия, А. И. Математические методы теории упругости / А. И. Каландия. - М.: Наука, 1973.

2. Ермолаева, Л. Б. Решение одного интегро-дифференциального уравнения / Л. Б. Ермолаева // Сб. тр. XXIII Междунар. науч. конф. ММТТ-23. - Т. 1. - 2010. -С. 68-71.

3. Грибкова, В. П. Равномерные приближения, основанные на полиномах Чебышева / В. П. Грибкова, С. М. Козлов // Сб. тр. XXIII Междунар. науч. конф. ММТТ-24. - Т. 1. - 2011. - С. 31-36.

4. Грибкова, В. П. Решение операторных уравнений одним из приближенных методов / В. П. Грибкова // Известия АН БССР. Сер. физ.-мат. наук. - 1970. - № 6. -С. 68-76.

5. Габдулхаев, Б. Г. Оптимальные аппроксимации решений линейных задач / Б. Г. Габдулхаев. - Казань: КГУ, 1980.

6. Натансон, И. П. Конструктивная теория функций / И. П. Натансон. - М.; Л.: ГТТЛ, 1949.

7. Этерман, И. И. К вопросу восстановления функции по некоторой характеристической последовательности / И. И. Этерман // Известия вузов. - 1966. - № 2. -С. 148-157.

Поступила 02.05.2012

итехника, № 5, 2012

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