Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Численные методы Часть 3

..pdf
Скачиваний:
6
Добавлен:
15.11.2022
Размер:
6.99 Mб
Скачать

При j # к

Gfr = f Vtd r « / ^ = / ; ln y /2 7 t, г,

где Ij - длина>го граничного элемента, щ - значение функции щ в центреj -го граничного элемента, расстояние г*, указано на рис. 6.2.

Для вычисления Щ требуется определить производную

дп

=

х

^

дх

ду у

я*, пу- компоненты единичной нормали к границе. Поскольку

Х - Х и

 

dtyk

У~Ук

 

 

 

 

дх 2%(x-xkY+ {y-ykY ’

2п(х-*к)2+Ь/-Ук

для случая, рассмотренного на рис. 6.2,

 

 

 

и

=

у,

-

У

Ч" ' ' V

вцентреj-го элемента значение производной равно

дп Л

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

 

 

 

Ны = f 1

(*-**> +

 

 

v*

 

j f a - b h + b j - y M -

l l v R i ^ - x t f + {у~ук)

 

При j - к величина G** вычисляется следующим образом. В пределах к-го

граничного элемента г = £/*/2,

-1 ^ Е, < 1, тогда

 

Г*

ч

и

 

При вычислении Я » следует заметить, что нормаль к к-щ граничному элементу направлена вдоль координатной линии г = const, вдоль которой

значение щ не

изменяется. Но это означает, что производная дцк/дп =0 и

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

f~^-dT = 0, то есть Я** = -1/2.

\

i дп

1*

Решение сформированной системы линейных алгебраических уравнений позволяет определить величины тепловых потоков qJy j = \,Nl +N2 на обеих границах П и Г2, а также найти распределение поля температуры внутри рассматриваемой области,

/VfWVj

7=1

Для определения поля температуры внутри области взяты 19 точек, расположенных равномерно вдоль горизонтального радиуса цилиндра. Для проверки сходимости последовательности получаемых численных решений к точному решению указанной задачи выполнен ряд вычислительных экспериментов при различных числах N = N\ + N2 граничных элементов, аппроксимирующих границу расчетной области.

Поскольку форма цилиндра и граничные условия осесимметричны, температура в стенке будет функцией только радиуса г [17],

Т{г)=Т, (т^т2) 1п(г/Д,).

Ц е д )

Для оценки сходимости численных результатов к этому точному решению использована чебышевская норма погрешности = шах |!Г(г*) - Тк\.

Д7\°С

Рис. 6.3. Отклонение численного решения задачи теплопроводности от точного при числе граничных элементов N = 16 ( - Д - ) иЛ^= 128 ( -0- )

На рис. 6.3 показаны погрешности А Т = Тк - Т ( г к) численного решения рассматриваемой задачи при ^ = М2= 8 и N}= N2= 128. На рис. 6.4 приведена зависимость погрешности численного решения задачи от общего числа N граничных элементов.

Рис. 6.4. Зависимость погрешности численного решения задачи теплопроводности от общего числа N граничных элементов

Построение фундаментального решения

Рассматривается линейное дифференциальное уравнение

1(и)=0.

Собственные функции ф„, удовлетворяющие оператору I, определяются

соотношением

где К - собственные значения.

Пример 6.5. Рассмотрим уравнение и" - 0. Собственными функциями для

него являются, например, фл = Апет ,

п = 1,2,... Действительно,

Ф»= АУ еПХ= А »

причем собственные значения к„ = п2,

п = 1,2,...

Для того же уравнения имеется другая система собственных функций,

\уп= ^ sin пх + Впcos пх, п = 1,2,...

ф» = - аУ sinnx-B„n2cos пх = -п 2ф„,

Кп = - п 2, и = 1,2,...

Пример 6.6. Пусть в области Q = {r,j/| х е [ -а ,а \ ye[-b^b] задано дифференциальное уравнение

Аи - О

с однородными граничными условиями

и(- а, у) = и(а,у) = u(x,-b) = и(х, b) =0.

Собственными функциями для этого уравнения являются

фи = 4 ,s m -----sin

л = 1,2,...

ао

Подстановка этого выражения в исходное уравнение дает

А, 32ф„

32ф„

 

. п2п2 .

та . пку .

п2п2 .

ппх .

т у

Дф = —- ^ + —- ^

= - 4 , — г - sin---- sin

 

 

—z

sin-----sin—^- =

дх2

ду2

 

а2

а

b

 

Ъ2

 

а

b

.

М2<тт2

1

1 V .

та

. mty

= -и

г

г( 1

О х

 

: —П 71

+12 К sin—

sm- Д

 

я |-

5-1

^ |ф„,

 

 

ча2

' Ъ2

 

 

 

 

 

 

 

 

 

 

^ = - « 2*2( ^ + р - ) >

п =1,2,...

 

 

 

Вводятся скалярное произведение

 

 

 

 

 

 

 

 

 

 

(w,v)Q = JwvdQ

 

 

 

 

 

 

 

 

 

 

о

 

 

 

 

 

 

и норма

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

\V2

 

 

 

 

 

 

 

H o = M

n

= J “ 2rfn

 

 

 

 

 

 

 

 

 

 

\0

 

 

 

 

 

 

Для построения фундаментального решения уравнения

(6.7)

может применяться следующий конструктивный алгоритм. Пусть имеется замкнутая ортонормированная система собственных функций фи, п = 1,оо для линейного дифференциального оператора L. Коэффициенты разложения функции 8(х - xk) в ряд Фурье по этой системе

а , = (s(x - xk\$ p(x))n =J S(JC-

хк)фр(х)с?а = фДх*).

О

 

Это означает, что сама 8-функция представима в виде

5(* - **)= Е а рф, ( *

) ■ = Ър (*)■■

j>=i

р-1

Пример 6.7. Представление функции 5(*) на отрезке [-я,я] с помощью ряда Фурье

1

*

5(х - хк)= —а0 + ^ ( а р cos рх + bpsin рх),

 

р=1

где коэффициенты ар, Ьропределяются по формулам Эйлера - Фурье

 

^

*

 

1

 

 

 

= —JS(r - хк)cos pt dt = —cos pxk,

 

П-п

 

я

 

 

|

я

 

1

 

 

 

bp = -

J8(r - x*)sin pt dt = -sin pxk> p =O^o.

n

 

Я

 

 

 

Пусть для определенности хк= 0, тогда

 

 

 

 

 

 

b = 0 ,

/7 = 0

,00,

 

 

 

я

 

 

 

и 5-функция представляется разложением

 

 

 

 

 

8(jc) = ~ - + - Z

cos/7j:-

 

Очевидно, что в точке х = 0 функция обращается в бесконечность,

5(0)= ±

Д

jTcosO = - 1 Д

£ 1 = * .

 

271

П

271

7t

 

Интеграл от этого ряда

 

 

 

 

 

(8(x)dx =- 1 Гdx + I

 

 

1 ^

sin px

f fcosр х * = 1 + - £

=1

J. V ^

2

 

7

1

 

P

На рис. 6.5 показано поведение ряда Фурье для 8-функции при различных р вблизи точки х =0.

Представим искомое фундаментальное решение vj/*(x) разложением в ряд

Фурье по той же системе функций фи ,

п = 1,°о,

 

^ ( • А Ё р а М-

Подстановка разложения функции

в СИЛУ линейности оператора L

приводит к выражению

 

 

ь(ук)=ь Ё р А ( х) = Ё

р/ ,(ф«(*^= Ё р А А ( д::)-

V«=l

q=\

 

 

 

25

 

 

|

 

 

 

12

J_________________

Г

* * '

- 3 - 1

1

X

а

б

 

Рис. 6.5. Ряды Фурье для 8-функции при различныхр (обозначены на рисунках) вблизи точки х = О

С учетом этого уравнение (6.7) приводится к виду

£ р Л А ( * ) = Ё фД * * ) ф, ( 4

$=1 р =1

В силу независимости собственных функций фп, п - 1,оо имеет место

РЛ=Ф„(л), л=1,«>

Отсюда следует, что

и » 1 я

ифундаментальное решение уравнения (6.7) принимает вид

у, М = ? ^ ф.М .

Контрольные вопросы и задания

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

Дайте определение фундаментального решения краевой задачи.

Для чего используется 5-функция Дирака при получении,, фундаментального решения заданного дифференциального уравнения?

Обоснуйте необходимость применения фундаментального решения в методе граничных элементов.

Покажите, что *функция \ук=\п{г)/2п является фундаментальным решением двумерного уравнения Д\|ik = b(x-xk).

Предложите систему собственных функций для дифференциального уравнения и”+ и - О

Постройте фундаментальное решение для дифференциального уравнения ип + и = 0

Постройте фундаментальное решение для дифференциального уравнения из примера 6.4.

Постройте фундаментальное решение для дифференциального уравнения из примера 6.5.

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

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

Расширение понятия функции

Пусть / - фиксированная функция одной переменной, интегрируемая на каждом конечном интервале; ср - непрерывная функция, обращающаяся в нуль вне некоторого конечного интервала1 Каждой функции ср с помощью фиксированной функции/ можно сопоставить число

(П.1)

- 0 0

Иначе говоря, / можно рассматривать как линейный функционал на некотором пространстве финитных функций. Однако функционалами вида (П.1) не исчерпываются все функционалы, которые можно ввести на таком пространстве. Сопоставляя каждой функции ср ее значение в точке х = 0, можно получить функционал, не представимый в виде (П.1). Таким образом, функции/ естественным образом включаются в некоторое более широкое множество - совокупность всех линейных функционалов на финитных функциях.

1Такие функции называются финитными.

Пространство основных функций

Пусть К - совокупность всех финитных функций ср, имеющих непрерывные производные всех порядков. Вводится понятие сходимости: последовательность Ш элементов из К называется сходящейся к ср е Ку если существует интервал, вне которого все срп = 0 , и последовательность производных порядка к (к = 0, 1, 2, ...) сходится на этом интервале равномерно к ср^

Линейное пространство с такой сходимостью называется основным, а его элементы - основными функциями.

Обобщенные функции

Обобщенной функцией, заданной на прямой -оо <*<<», называется всякий непрерывный функционал Дер) на основном пространстве К. При этом непрерывность функционала понимается в том смысле, что Т(<р„)-> Т(ср), если последовательность срп сходится к ср в основном пространстве К.

Всякая интегрируемая на любом конечном интервале функция /порождает некоторую обобщенную функцию.

Выражение

(П.2)

есть непрерывный линейный функционал на К. Такие обобщенные функции называются регулярными, а все прочие, не представимые в виде (П.2), сингулярными. В качестве примера служит 8-функция, определяемая в виде

Т(ф)=ф(0)

и ставящая в соответствие функции ф ее значение в точке х = 0. Это непрерывный линейный функционал на К, то есть обобщенная функция, функционал обычно записывается в виде

причем под 5(х) понимается функция, равная нулю при всех х* 0 и обращающаяся в точке х = 0 в бесконечность, так что

Очевидно, если <р =1, то

(8,ф)= 15(х)1г& = (8,1)=1(°) - 1 •

Важно подчеркнуть, что 5-функция Дирака1 есть обобщенная функция, определенная на К.

Еще один пример - смещенная 5-функция. Пусть

Г(ср)=<р(а).

Как и в предыдущем случае, этот функционал можно представить в виде

ОО

7’(ф)= |б(х - а)ф(л)а!х.

Дифференцирование обобщенных функций

Пусть 7’- функционал на К, определяемый непрерывной функцией/,

т{ц>)= { / М фС ^ -

- д а

Его производной dT/dx называется функционал, определяемый выражением

~ ( ф)= J /'(*¥*)<&

-со

Интегрирование по частям с учетом того, что каждая основная функция ф обращается в нуль вне некоторого конечного интервала, дает выражение

^(ф) = J / '(* М * )* = " J Л ХЫ Х) ^ ■

Таким образом, получено выражение для производной функционала dTIdx, в котором производная функции / не используется. Отсюда следует, что производной dTIdx обобщенной функции Т является функционал, определяемый выражением

f t o - i V ) .

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

1Дирак Поль Адриен Морис [8.8.1902 - 20.9.1984] - английский физик-ТСоретик, один из основателей квантовой механики. В 1932 году избран членом Лондонского королевского общества, в 1931 - иностранным членом АН СССР и ряда других зарубежных академий и научных обществ. В 1932 году стал профессором Кембриджского университета. В 1933 году ему присуждена Нобелевской премии. Основные труды в математике по функциональному анализу и математической физике (уравнение Дирака, функция Дирака, статистика ФермиДирака).