Научная статья на тему 'Аппроксимация одномерного оператора Лапласа на графе-звезде'

Аппроксимация одномерного оператора Лапласа на графе-звезде Текст научной статьи по специальности «Математика»

CC BY
208
39
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ОПЕРАТОР ЛАПЛАСА НА ГРАФЕ / АППРОКСИМАЦИЯ / КОНЕЧНО-РАЗНОСТНЫЕ АНАЛОГИ / THE LAPLACE OPERATOR ON THE GRAPH / FINITE-DIFFERENCE ANALOGS

Аннотация научной статьи по математике, автор научной работы — Махинова Ольга Алексеевна

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

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

APPROXIMATION OF THE ONE-DIMENSIONAL LAPLACE OPERATOR ON THE ARBITRARY GRAPH-STAR

Different types of approximation by finite-difference operators for Laplace operator on the graph-star are considered. The difference scheme carries the characteristic of differential operator on it finite-difference analog. The error of approximation is fixed.

Текст научной работы на тему «Аппроксимация одномерного оператора Лапласа на графе-звезде»

УДК 519.65

АППРОКСИМАЦИЯ ОДНОМЕРНОГО ОПЕРАТОРА ЛАПЛАСА НА

ГРАФЕ-ЗВЕЗДЕ

© О.А. Махинова

Ключевые слова: оператор Лапласа на графе; аппроксимация; конечно-разностные аналоги.

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

Пусть задан граф-звезда Г с ребрам и (к = 1,т), примыкающими ко внутреннему

узлу С- Ребра 7к (к = 1,т — 1) ориентированы «к узлу £», ребро ^т — «от узла £ ». Ребра 7к (к = 1,т — 1) параметризуются отрезком [0, П], ребро ^т — [П,п]-Через £к (к = 1,т)

Г-

Рассматривается одномерный оператор Лапласа Ар = — , где р(х) принадлежит

множеству функций К С С!(Г)П С2[Г], удовлетворяющих условиям:

п \ ( п \

П1) -Л = П і) 'к = 1'т — 1

т— 1

^р’(х)х=п еік = <р\х)х=п е1т ,к = 1,т — 1. (2)

к=1

Областью определения О а оператора А является множество функций р(х) Є К, удовлетворяющих условиям Дирихле: р(х)х=оеук = 0, р(х)х=П^7т = 0,к = 1,т — 1. Условия (1), (2) являются условиями согласования (трансмиссии) во внутреннем узле ( звезды Г.

Теорема1[1]. Для любых функций р(х),ф(х) Є О а верны следующие утверждения: (Ар, ф) = (р, Аф), (Ар, р) ^ 0.

Замечание!.. Из теоремы 1 вытекает симметричность и положительная опреде-А.

А Г.

Обозначим через хк(і = 0,М) множество точек, принадлежащих ребру 7к С Г при к = 1,т — 1 : каждой точке хк соответствует число 27, началу и концу ребра 7к ,к = 1,т — 1 соответствуют числовые значения 0 = х° и П, = х7. Отдельно опишем обозначения для ребра ^т'- хгт(і = М, 2Ы) множества точек, принадлежащих ребру 7т С Г :

каждой точке хгт соответствует число П + , началу и концу ребра 7т соответствуют

П N 27

числовые значения 2 = хт и п = хт .

Множество точек хк (і = 0, 2Ы) ( к - индекс ребра графа) назовем сеткой графа Г и обозначим через Г^. Величина Н = — шаг сетки.

Каждой функции р, заданной на графе Г, сопоставим сеточную функцию (рн) : значение (рн)к в точке хк Є Г^ равно р(хк), і = 0, 2М, к = 1,т. Тогда конечномерный оператор

Аь‘ — конечно-разностный аналог оператора А — задается следующими соотношениями:

—(р%- + 2(р% — (р%+1

Н2

где индексы i, к принимают следующие значения: при к = 1,m — 1 индекс i = 1,N — 1, при к = m индекс i = N + 1, 2N — 1, и далее

(<ph) = (V) ,к = 1,m — 1, (4)

\ / k \ / т

т-1 uh)N — (ph)N-1 (ph)N+l — (ph)N ___________

V ,k ^ ,k— = ,т V ,т, к = 1,m — 1, (5)

k=1

, 0 _________ / ,\2N

(ph^ =0,к = 1,m — 1,(ph^ =0. (6)

V / k V / т

h

k

Замечание 2. Оператор Ah, задаваемый соотношениями (3) —(6), симметричен и положительно определен.

Ah

A h.

Доказательство представленных в замечаниях утверждений приведены в [1].

С целью повышения точности аппроксимации рассмотрим следующий способ построения конечно-разностного аналога оператора A. Дополним сетку Th «фиктивными точками» xN+1(h = 1,m — 1) и xт-1, этим точкам не соответствует никакое число из промежутка [о, 2] или [2,П . Наложим па них дополнительные условия:

и; = и>=1-^),иг=и: «

Тогда конечномерный оператор А — другой конечно-разностный аналог оператора

А

-(vh)i-1+2(vh)i-(vh)

1

1, N - 1,

h2

-W1+2(vh)'2-(vh)2+1 ,=

Y , h2---------------------,^ 1,N — 1,

Y2 s -i(vh)N-1-4(vh)N-1+2(vh)N-i(vh)N+‘ (8)

h2 ,

1( h\N-1 1( h\N-l.^f h\N 4/ h\N+‘

- 3 (<Ph)‘ - 3 (<Ph)2 +2(Vh)3 - 3 (<Ph)3

-(vh)i-1+2(vh)i2-(vhy+1

3-----------v ,2 y ,2 ,i = N + 1, 2N — 1,

~h2~

( + 1 Ґ -1 __________________________________

= KL ,к = 1,m — 1, (9)

т-1 (ph)N+1 — (ph)N-1 (ph)N+l — (ph)N-1 _________

^ )k— = )т ^ )т ,к = 1,m — 1, (10)

2h 2 h

k=1

(ph^\ =0,к = 1,m — 1,(ptl'\ =0. (11)

V / k V / т

Теорема 2. Для оператора, Ah, определяемого соотнош ениями (7)—(11), справедливы следующие утверждения

т-1 N 2N-1 т-1 N 2N-1

EE(AV“ъЕ (an/),(^)) = EE(^'‘:bA'“«''‘))+ £ ((¥h),Ah^h)),

k=1 г=1 i=N k=1 г=1 i=N

m—1 N 2N— 1

Y,Y.(Ah('fh), (¥'')) + E (л'чЛ (vk>)»о.

k=1 i=1 i=N

Замечание!. Из теоремы 2 вытекает симметричность и положительная определенность оператора .

Замечание 5. Оператор А' аппроксимирует исходный дифференциальный оператор A с точностью h2.

Доказательства теоремы 2 и замечаний повторяет рассуждения при доказательстве теоремы 1.

ЛИТЕРАТУРА

1. Махинова О.А. Задача теплопереноса на графе-звезде // Актуальные проблемы математики и информатики (труды математического факультета). № 3. 2009. С. 17-26.

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

Makhinova О.A. Approximation of the one-dimensional Laplace operator on the arbitrary graph-star. Different types of approximation by finite-difference operators for Laplace operator on the graph-star are considered. The difference scheme carries the characteristic of differential operator on it finite-difference analog. The error of approximation is fixed.

Key words: the Laplace operator on the graph; finite-difference analogs.

Махинова Ольга Алексеевна, Воронежский государственный университет, г. Воронеж, Российская Федерация, аспирант математического факультета кафедры уравнений в частных производных и теории вероятностей, e-mail: moal002@mail.ru.

УДК 519.95:65

СПОСОБ СУММИРОВАНИЯ ДВУХ ЧИСЕЛ НЕЙРОННОЙ СЕТЬЮ В ТРОИЧНО-СИММЕТРИЧНОМ КОДЕ

© А.А. Маштак

Ключевые слова: архитектура нейронной сети; троично-симметричный код.

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

Современный уровень развития теории нейронных сетей и практики реализации их архитектуры позволяют создавать различные по принципу построения нейро-ЭВМ:

- программное — все элементы НС реализуются программно на универсальных ЭВМ с архитектурой фон Неймана;

- аппаратно-программное — часть элементов реализуется аппаратно, а часть прог раммно;

- аппаратное — все элементы НС выполнены на аппаратном уровне, кроме специфических программ формирования синаптических коэффициентов.

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