R-функція (функція Рвачова) — числова функція дійсних змінних, знак якої цілком визначається знаками її аргументів за відповідного розбиття числової осі на інтервали і . Вперше R-функції введено в роботах В. Л. Рвачова. На відміну від класичної аналітичної геометрії, теорія R-функцій займається синтезом задач і рівнянь з відомими властивостями.
Для вивчення R-функцій потрібно знати не тільки класичну аналітичну геометрію, але й теорію множин.
Визначення
Числова функція називається R-функцією, якщо існує така супровідна булева функція з таким самим числом аргументів, що
Аналогічно вводиться поняття R-функції за кількості аргументів
Кожній R-функції відповідає єдина супровідна булева функція. Зворотне хибне: одній булевій функції відповідає нескінченне число (гілка) R-функцій.
Множина R-функцій замкнута в сенсі суперпозиції R-функцій. Систему R-функцій називають достатньо повною, якщо множина всіх суперпозицій елементів (множина -реалізовних функцій) має непорожній перетин із кожною гілкою множини R-функцій. Достатньою умовою повноти є повнота системи відповідних супровідних булевих функцій.
Повні системи R-функцій
Найчастіше використовують повну систему R-функцій (при ):
При маємо систему :
при маємо систему :
В останньому випадку R-функції кон'юнкції і диз'юнкції збігаються з відповідними [en] і нечіткої логіки:
Застосування
За допомогою R-функцій виявляється можливою побудова в неявній формі рівнянь меж складених ділянок за відомими рівняннями простих ділянок. Опис межі складеної ділянки у вигляді єдиного аналітичного виразу дозволяє створювати структури розв'язування крайових задач математичної фізики, що залежать від невизначених компонент і точно задовольняють граничним умовам. Невизначені компоненти таких структур можна далі знаходити одним з варіаційних або проєкційних методів розв'язування крайових задач (колокації, Релея — Рітца, Бубнова — Гальоркіна Петрова, найменших квадратів. Метод розв'язування крайових задач для рівнянь у часткових похідних на основі теорії R-функцій має назву структурного методу R-функцій або, в зарубіжній літературі, RFM (R-Functions Method).
R-функції можна розглядати як інструмент нескінченнозначної логіки або нечіткої логіки.
R-функції використовують (переважно вихованці харківської наукової школи) під час розв'язування широкого класу задач математичної фізики (теорії пружності, електродинаміки, теорії теплопровідності), а також у багатовимірній цифровій обробці сигналів і зображень, машинній графіці та інших галузях.
Застосування теорії R-функцій і вейвлетів до розв'язування крайових задач математичної фізики
У роботі професора В. П. Кравченка і його учня А. В. Юріна запропоновано й обґрунтовано новий метод, заснований на теорії R-функцій і WA-систем функцій (вейвлетів, побудованих на основі атомарних функцій), із застосуванням варіаційного принципу Гальоркіна — Петрова.
При розгляді широкого класу крайових задач різної фізичної природи виникає необхідність у розв'язуванні диференціальних рівнянь у часткових похідних, у яких досліджувана ділянка має складну конфігурацію. У таких випадках, як правило, використовуються чисельні методи: сіткові (метод скінченних різниць, скінченних елементів, граничних елементів), варіаційні та проєкційні (метод Рітца, Бубнова — Гальоркіна Петрова, колокацій, Трефтца, метод найменших квадратів, R-функцій). Однак, кожен з них має свої переваги і недоліки. Так, сіткові методи мають велику ефективність алгоритму (тому й набули значного поширення), але при цьому не точно враховують геометрію досліджуваного об'єкта. У разі варіаційних методів не завжди можна побудувати базисні функції, які задовольняли б усім необхідним умовам. Тому їх використання обмежене. Слід особливо наголосити на методі R-функцій, який володіє геометричною гнучкістю й універсальністю відносно вибраного способу мінімізації функціоналу. Застосування такого підходу вимагає значних обчислювальних витрат. Це обумовлено використанням структурних формул, в основі яких лежать побудовані за допомогою R-операцій функції ділянки. Такі функції можуть мати складну структуру, а для обчислення інтегралів від них за ділянкою нестандартної форми необхідно використовувати квадратурні формули з високим порядком точності. Вейвлет-базиси дозволяють обійти зазначені вище недоліки завдяки своїм унікальним властивостям і розробити адаптивну розрахункову схему без використання операції інтегрування. Такий підхід можливий завдяки введенню спеціальних коефіцієнтів, що відбивають диференціальні й інтегральні характеристики базису, а також коефіцієнтів розкладу за вейвлетами функцій ділянки, крайових умов і правої частини рівняння. Основним інструментом для реалізації нового методу на основі R-функцій і вейвлетів є схема Гальоркіна — Петрова розв'язування диференціальних рівнянь у часткових похідних.
У роботах на прикладі розв'язування крайових задач еліптичного типу показано ефективність методу R-функцій (функцій В. Л. Рвачова) в поєднанні з WA-системами функцій.
Примітки
- Рвачёв В. Л. Геометрические приложения алгебры логики. — Киев: Техніка, 1967.
- Рвачёв В. Л. Методы алгебры логики в математической физике. — Киев: Наук. думка, 1974.
- Рвачёв В. Л. Теория R-функций и некоторые её приложения. — Киев: Наук. думка 1982.
- Каледин, Валерий Олегович. Теория R-функций: учебное пособие для высших учебных заведений по направлению Прикладная математика и информатика: рек. УМО вузов РФ / В. О. Каледин, Е. В. Решетникова, В. Б. Гридчина ; Кемеровский гос. ун-т, Новокузнецкий ин-т (фил.). — 2-е изд., перераб. и доп. — Новокузнецк: НФИ КемГУ, 2017. — 119 с.
- Рвачёв В. Л., Курпа Л. В., Склепус Н. Г., Учишвили Л. А. Метод R-функций в задачах об изгибе и колебаниях пластин сложной формы. — Киев: Наукова думка, 1973.
- Рвачёв В. Л., Проценко В. С. Контактные задачи теории упругости для неклассических областей. — Киев: Наукова думка, 1977.
- Рвачёв В. Л., Курпа Л. В. R-функции в задачах теории пластин. — Киев: Наукова думка 1987.
- Рвачёв В. Л., Синекоп Н. С. Метод R-функций в задачах теории упругости и пластичности. — Киев: Наукова думка 1990.
- [ru] Численные методы в теории упругости и пластичности. — М.: Изд-во МГУ, 1995.
- Кравченко В. Ф., Басараб М. А. Булева алгебра и методы аппроксимации в краевых задачах электродинамики. — М.: Физматлит, 2004.
- Кравченко В. Ф., Рвачёв В. Л. Алгебра логики, атомарные функции и вейвлеты в физических приложениях. — М.: Физматлит, 2006.
- В. Ф. Кравченко, А. В. Юрин. Применение теории R-функций и вейвлетов к решению краевых задач эллиптического типа. Электромагнитные волны и электронные системы. 2009. Т.14. № 3. С. 4-39.
- Рвачев В. Л., Слесаренко А. П. Алгебро-логические и проекционные методы в задачах теплообмена. — Киев: Наук. думка, 1978.
- Басараб М. А., Кравченко В. Ф., Матвеев В. А. Математическое моделирование физических процессов в гироскопии. — М.: Радиотехника, 2005.
- Басараб М. А., Кравченко В. Ф., Матвеев В. А. Методы моделирования и цифровой обработки сигналов в гироскопии. — М.: Физматлит, 2008.
- Матвеев В. А., Лунин Б. С., Басараб М. А. Навигационные системы на волновых твердотельных гироскопах. — М.: Физматлит, 2008.
- Цифровая обработка сигналов и изображений в радиофизических приложениях / Под ред. В. Ф. Кравченко. — М.: Физматлит, 2007.
- В.Ф. Кравченко, О.С. Лабунько, А.М. Лерер, Г.П. Синявский. Глава 3, 4 // Вычислительные методы в современной радиофизике. Под. ред. В.Ф. Кравченко. — Москва : Физматлит, 2009.
- Кравченко В. Ф., Кравченко О. В., Пустовойт В. И., Чуриков Д. В., Юрин А.В. Применение семейств атомарных, WA-систем и R-функций в современных проблемах радиофизики. Часть II // Радиотехника и электроника : обзор. — 2015. — № Т. 60. № 2 (16 червня). — С. 109-148.
- Кравченко В. Ф., Кравченко О. В., Пустовойт В. И., Чуриков Д. В., Юрин А.В. Применение семейств атомарных, WA-систем и R-функций в современных проблемах радиофизики. Часть IV // Радиотехника и электроника. — 2015. — Т. 60, № 11 (16 червня). — С. 1113-1152.
- Добеши И. Десять лекций по вейвлетам. Ижевск: НИЦ «Регулярная и хаотическая динамика», 2001.
- Новиков И. Я., Протасов В. Ю., Скопина М. А. Теория всплесков. М.: Физматлит, 2006.
- Обэн Ж. П. Приближенное решение эллиптических краевых задач. М.: Мир, 1972.
- Красносельский М. А., Вайненко Г. М., Забрейко П. П., Рутицкий Я. Б., Стеценко В. Я. Приближенное решение операторных уравнений. М.: Наука, 1969.
Див. також
- Алгебра логіки
- Булева алгебра
- Булева функція
- (функція Слесаренка)
Посилання
- Розв'язування оберненої задачі аналітичної геометрії. [ 27 березня 2018 у Wayback Machine.] Теорія R-функцій [ 27 березня 2018 у Wayback Machine.] (рос.)
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
R funkciya funkciya Rvachova chislova funkciya dijsnih zminnih znak yakoyi cilkom viznachayetsya znakami yiyi argumentiv za vidpovidnogo rozbittya chislovoyi osi na intervali 0 displaystyle infty 0 i 0 displaystyle 0 infty Vpershe R funkciyi vvedeno v robotah V L Rvachova Na vidminu vid klasichnoyi analitichnoyi geometriyi teoriya R funkcij zajmayetsya sintezom zadach i rivnyan z vidomimi vlastivostyami Dlya vivchennya R funkcij potribno znati ne tilki klasichnu analitichnu geometriyu ale j teoriyu mnozhin ViznachennyaChislova funkciya z z x y displaystyle z z x y nazivayetsya R funkciyeyu yaksho isnuye taka suprovidna buleva funkciya F displaystyle Phi z takim samim chislom argumentiv sho s i g n z F s i g n x s i g n y displaystyle mathrm sign z Phi mathrm sign x mathrm sign y Analogichno vvoditsya ponyattya R funkciyi za kilkosti argumentiv n gt 2 displaystyle n gt 2 Kozhnij R funkciyi vidpovidaye yedina suprovidna buleva funkciya Zvorotne hibne odnij bulevij funkciyi vidpovidaye neskinchenne chislo gilka R funkcij Mnozhina R funkcij zamknuta v sensi superpoziciyi R funkcij Sistemu R funkcij H displaystyle mathcal H nazivayut dostatno povnoyu yaksho mnozhina vsih superpozicij elementiv H displaystyle mathcal H mnozhina H displaystyle mathcal H realizovnih funkcij maye neporozhnij peretin iz kozhnoyu gilkoyu mnozhini R funkcij Dostatnoyu umovoyu povnoti ye povnota sistemi H displaystyle mathcal H vidpovidnih suprovidnih bulevih funkcij Povni sistemi R funkcijNajchastishe vikoristovuyut povnu sistemu R funkcij R a displaystyle mathcal R alpha pri 1 lt a 1 displaystyle 1 lt alpha leq 1 x a y 1 1 a x y x 2 y 2 2 a x y displaystyle x wedge alpha y equiv frac 1 1 alpha x y sqrt x 2 y 2 2 alpha xy x a y 1 1 a x y x 2 y 2 2 a x y displaystyle x vee alpha y equiv frac 1 1 alpha x y sqrt x 2 y 2 2 alpha xy x x displaystyle bar x equiv x Pri a 0 displaystyle alpha 0 mayemo sistemu R 0 displaystyle mathcal R 0 x 0 y x y x 2 y 2 x 0 y x y x 2 y 2 x x displaystyle x wedge 0 y equiv x y sqrt x 2 y 2 quad x vee 0 y equiv x y sqrt x 2 y 2 quad bar x equiv x pri a 1 displaystyle alpha 1 mayemo sistemu R 1 displaystyle mathcal R 1 x 1 y 1 2 x y x y x 1 y 1 2 x y x y x x displaystyle x wedge 1 y equiv frac 1 2 x y x y quad x vee 1 y equiv frac 1 2 x y x y quad bar x equiv x V ostannomu vipadku R funkciyi kon yunkciyi i diz yunkciyi zbigayutsya z vidpovidnimi en i nechitkoyi logiki x y min x y x y max x y displaystyle x wedge y equiv min x y quad x vee y equiv max x y ZastosuvannyaZa dopomogoyu R funkcij viyavlyayetsya mozhlivoyu pobudova v neyavnij formi rivnyan mezh skladenih dilyanok za vidomimi rivnyannyami prostih dilyanok Opis mezhi skladenoyi dilyanki u viglyadi yedinogo analitichnogo virazu dozvolyaye stvoryuvati strukturi rozv yazuvannya krajovih zadach matematichnoyi fiziki sho zalezhat vid neviznachenih komponent i tochno zadovolnyayut granichnim umovam Neviznacheni komponenti takih struktur mozhna dali znahoditi odnim z variacijnih abo proyekcijnih metodiv rozv yazuvannya krajovih zadach kolokaciyi Releya Ritca Bubnova Galorkina Petrova najmenshih kvadrativ Metod rozv yazuvannya krajovih zadach dlya rivnyan u chastkovih pohidnih na osnovi teoriyi R funkcij maye nazvu strukturnogo metodu R funkcij abo v zarubizhnij literaturi RFM R Functions Method R funkciyi mozhna rozglyadati yak instrument neskinchennoznachnoyi logiki abo nechitkoyi logiki R funkciyi vikoristovuyut perevazhno vihovanci harkivskoyi naukovoyi shkoli pid chas rozv yazuvannya shirokogo klasu zadach matematichnoyi fiziki teoriyi pruzhnosti elektrodinamiki teoriyi teploprovidnosti a takozh u bagatovimirnij cifrovij obrobci signaliv i zobrazhen mashinnij grafici ta inshih galuzyah Zastosuvannya teoriyi R funkcij i vejvletiv do rozv yazuvannya krajovih zadach matematichnoyi fizikiU roboti profesora V P Kravchenka i jogo uchnya A V Yurina zaproponovano j obgruntovano novij metod zasnovanij na teoriyi R funkcij i WA sistem funkcij vejvletiv pobudovanih na osnovi atomarnih funkcij iz zastosuvannyam variacijnogo principu Galorkina Petrova Pri rozglyadi shirokogo klasu krajovih zadach riznoyi fizichnoyi prirodi vinikaye neobhidnist u rozv yazuvanni diferencialnih rivnyan u chastkovih pohidnih u yakih doslidzhuvana dilyanka maye skladnu konfiguraciyu U takih vipadkah yak pravilo vikoristovuyutsya chiselni metodi sitkovi metod skinchennih riznic skinchennih elementiv granichnih elementiv variacijni ta proyekcijni metod Ritca Bubnova Galorkina Petrova kolokacij Treftca metod najmenshih kvadrativ R funkcij Odnak kozhen z nih maye svoyi perevagi i nedoliki Tak sitkovi metodi mayut veliku efektivnist algoritmu tomu j nabuli znachnogo poshirennya ale pri comu ne tochno vrahovuyut geometriyu doslidzhuvanogo ob yekta U razi variacijnih metodiv ne zavzhdi mozhna pobuduvati bazisni funkciyi yaki zadovolnyali b usim neobhidnim umovam Tomu yih vikoristannya obmezhene Slid osoblivo nagolositi na metodi R funkcij yakij volodiye geometrichnoyu gnuchkistyu j universalnistyu vidnosno vibranogo sposobu minimizaciyi funkcionalu Zastosuvannya takogo pidhodu vimagaye znachnih obchislyuvalnih vitrat Ce obumovleno vikoristannyam strukturnih formul v osnovi yakih lezhat pobudovani za dopomogoyu R operacij funkciyi dilyanki Taki funkciyi mozhut mati skladnu strukturu a dlya obchislennya integraliv vid nih za dilyankoyu nestandartnoyi formi neobhidno vikoristovuvati kvadraturni formuli z visokim poryadkom tochnosti Vejvlet bazisi dozvolyayut obijti zaznacheni vishe nedoliki zavdyaki svoyim unikalnim vlastivostyam i rozrobiti adaptivnu rozrahunkovu shemu bez vikoristannya operaciyi integruvannya Takij pidhid mozhlivij zavdyaki vvedennyu specialnih koeficiyentiv sho vidbivayut diferencialni j integralni harakteristiki bazisu a takozh koeficiyentiv rozkladu za vejvletami funkcij dilyanki krajovih umov i pravoyi chastini rivnyannya Osnovnim instrumentom dlya realizaciyi novogo metodu na osnovi R funkcij i vejvletiv ye shema Galorkina Petrova rozv yazuvannya diferencialnih rivnyan u chastkovih pohidnih U robotah na prikladi rozv yazuvannya krajovih zadach eliptichnogo tipu pokazano efektivnist metodu R funkcij funkcij V L Rvachova v poyednanni z WA sistemami funkcij PrimitkiRvachyov V L Geometricheskie prilozheniya algebry logiki Kiev Tehnika 1967 Rvachyov V L Metody algebry logiki v matematicheskoj fizike Kiev Nauk dumka 1974 Rvachyov V L Teoriya R funkcij i nekotorye eyo prilozheniya Kiev Nauk dumka 1982 Kaledin Valerij Olegovich Teoriya R funkcij uchebnoe posobie dlya vysshih uchebnyh zavedenij po napravleniyu Prikladnaya matematika i informatika rek UMO vuzov RF V O Kaledin E V Reshetnikova V B Gridchina Kemerovskij gos un t Novokuzneckij in t fil 2 e izd pererab i dop Novokuzneck NFI KemGU 2017 119 s Rvachyov V L Kurpa L V Sklepus N G Uchishvili L A Metod R funkcij v zadachah ob izgibe i kolebaniyah plastin slozhnoj formy Kiev Naukova dumka 1973 Rvachyov V L Procenko V S Kontaktnye zadachi teorii uprugosti dlya neklassicheskih oblastej Kiev Naukova dumka 1977 Rvachyov V L Kurpa L V R funkcii v zadachah teorii plastin Kiev Naukova dumka 1987 Rvachyov V L Sinekop N S Metod R funkcij v zadachah teorii uprugosti i plastichnosti Kiev Naukova dumka 1990 ru Chislennye metody v teorii uprugosti i plastichnosti M Izd vo MGU 1995 Kravchenko V F Basarab M A Buleva algebra i metody approksimacii v kraevyh zadachah elektrodinamiki M Fizmatlit 2004 Kravchenko V F Rvachyov V L Algebra logiki atomarnye funkcii i vejvlety v fizicheskih prilozheniyah M Fizmatlit 2006 V F Kravchenko A V Yurin Primenenie teorii R funkcij i vejvletov k resheniyu kraevyh zadach ellipticheskogo tipa Elektromagnitnye volny i elektronnye sistemy 2009 T 14 3 S 4 39 Rvachev V L Slesarenko A P Algebro logicheskie i proekcionnye metody v zadachah teploobmena Kiev Nauk dumka 1978 Basarab M A Kravchenko V F Matveev V A Matematicheskoe modelirovanie fizicheskih processov v giroskopii M Radiotehnika 2005 Basarab M A Kravchenko V F Matveev V A Metody modelirovaniya i cifrovoj obrabotki signalov v giroskopii M Fizmatlit 2008 Matveev V A Lunin B S Basarab M A Navigacionnye sistemy na volnovyh tverdotelnyh giroskopah M Fizmatlit 2008 Cifrovaya obrabotka signalov i izobrazhenij v radiofizicheskih prilozheniyah Pod red V F Kravchenko M Fizmatlit 2007 V F Kravchenko O S Labunko A M Lerer G P Sinyavskij Glava 3 4 Vychislitelnye metody v sovremennoj radiofizike Pod red V F Kravchenko Moskva Fizmatlit 2009 Kravchenko V F Kravchenko O V Pustovojt V I Churikov D V Yurin A V Primenenie semejstv atomarnyh WA sistem i R funkcij v sovremennyh problemah radiofiziki Chast II Radiotehnika i elektronika obzor 2015 T 60 2 16 chervnya S 109 148 Kravchenko V F Kravchenko O V Pustovojt V I Churikov D V Yurin A V Primenenie semejstv atomarnyh WA sistem i R funkcij v sovremennyh problemah radiofiziki Chast IV Radiotehnika i elektronika 2015 T 60 11 16 chervnya S 1113 1152 Dobeshi I Desyat lekcij po vejvletam Izhevsk NIC Regulyarnaya i haoticheskaya dinamika 2001 Novikov I Ya Protasov V Yu Skopina M A Teoriya vspleskov M Fizmatlit 2006 Oben Zh P Priblizhennoe reshenie ellipticheskih kraevyh zadach M Mir 1972 Krasnoselskij M A Vajnenko G M Zabrejko P P Rutickij Ya B Stecenko V Ya Priblizhennoe reshenie operatornyh uravnenij M Nauka 1969 Div takozhAlgebra logiki Buleva algebra Buleva funkciya funkciya Slesarenka PosilannyaRozv yazuvannya obernenoyi zadachi analitichnoyi geometriyi 27 bereznya 2018 u Wayback Machine Teoriya R funkcij 27 bereznya 2018 u Wayback Machine ros