Курсовая работа: Метод Галеркіна пошуку розв язку лінійної крайової задачі

Название: Метод Галеркіна пошуку розв язку лінійної крайової задачі
Раздел: Остальные рефераты
Тип: курсовая работа

УКООПСПІЛКА

Полтавський університет споживчої кооперації України

Кафедра математичного моделювання та соціальної інформатики

КУРСОВИЙ ПРОЕКТ

з дисципліни ”Чисельні методи”

на тему:

Метод Галеркіна пошуку розв’язку лінійної крайової задачі

Захищена на Виконав студент групи СІ-31

„_______________” спеціальності „Соціальна інформатика”

„____” _____________200_ р. Буцький Владислав Володимирович

Полтава – 2007


ЗМІСТ

ВСТУП

РОЗДІЛ 1. Теоретична частина

1.1. Постановка задачі

1.2. Математична модель

РОЗДІЛ 2. Практична частина

2.1. Алгоритм методу

2.2. Блок-схема алгоритму

2.3. Тестовий приклад

ВИСНОВОК

СПИСОК ЛІТЕРАТУРНИХ ДЖЕРЕЛ

Додаток А

Вступ

В зв’язку з потребами нової техніки інженерна практика наших днів все частіше і частіше зустрічається з математичними задачами, точне розв’язання яких досить складне або невідоме. В цих випадках зазвичай вдаються до тих чи інших наближених обчислень. Ось чому наближені і чисельні методи математичного аналізу набули за останні роки широкого розвитку і отримали виключно важливе значення.

Зростання продуктивних сил в ХХ сторіччі зумовило рішучий прогрес в області обчислювальної техніки, що привів до створення сучасних електронних обчислювальних машин з пограмним управлінням. Це необмежено розширило обчислювальні можливості математики: задачі, для вирішення яких при ручному обрахунку були потрібні роки, зараз розв'язуються за декілька годин, причому безпосередній обрахунок займає хвилини. У свою чергу, нові обчислювальні засоби викликали переоцінку відомих методів розв’язання задач з погляду доцільності їх реалізації на сучасних обчислювальних машинах і стимулювали створення більш ефективних прийомів.

Сучасні електронні обчислювальні машини дали в руки дослідників ефективний засіб для математичного моделювання складних задач науки і техніки. Саме тому кількісні методи дослідження в даний час проникають практично у всі сфери людської діяльності, а математичні моделі стають засобом пізнання. Роль математичних моделей далеко не вичерпується проблемою пізнання закономірностей. Їх значення безперервно зростає у зв'язку з природною тенденцією до оптимізації технічних пристроїв і технологічних схем планування експерименту. В процесі пізнання і в прагненні створити детальну картину досліджуваних процесів ми приходимо до необхідності будувати все більш складні математичні моделі, які у свою чергу вимагають універсального тонкого математичного апарату. Реалізація

математичних моделей на ЕОМ здійснюється за допомогою методів обчислювальної математики, яка безперервно удосконалюється разом з прогресом в області електронно-обчислювальної техніки. Всяка редукція задач

математичної фізики або техніки зрештою звичайно зводиться до рівняння алгебри тієї або іншої структури. Тому предмет обчислювальної математики, як правило, пов'язаний з методами зведення задач до систем рівнянь алгебри і їх подальшого розв’язання.

Чисельні методи сьогодні - один з найпотужніших математичних засобів розв’язування задач. Найпростіші чисельні методи ми використовуємо постійно, наприклад, добуваючи квадратний корінь на аркуші паперу. У той час є задачі, де без достатньо складних чисельних методів не можна було б отримати відповіді; класичний приклад – відкриття Нептуна по аномаліях руху Урана.

Чисельні методи є основним інструментом розв’язання сучасних прикладних задач. Аналітичний розв’язок тієї або іншої задачі є швидше виключенням, ніж правилом через складний і наближений характер досліджуваних моделей. От чому чисельний аналіз математичних моделей - метод, алгоритм, програма, обчислювальний експеримент - є в сьогоденні актуальним і найбільш ефективним апаратом конструктивного дослідження прикладних проблем.


РОЗДІЛ 1. Теоретична частина

1.1 Постановка задачі

Крайова задача – це задача знаходження власного роз’язку системи:

на відрізку вякійдодатковіумовинакладаютьсяназначенняфункцій EMBED Equation.3 більше ніж в одній точці цього відрізка. Очевидно, що крайові задачі можливі для систем порядку не нижче другого.

Свою первинну назву цей тип задач отримав з найпростіших випадків, коли частина додаткових умов задається на одному кінці відрізка, а інша частина–надругому�тобтотількивточкаххаіхb). Прикладом є задача знаходження статистичного прогину EMBED Equation.3навантаженоїструниіззакріпленимикінцями

EMBEDEquation, EMBED Equation.3, ; (1)

тут EMBED Equation.3зовнішнєзгинаюченавантаженнянаодиницюдовжиниструниподілененапружністьструни

ДлярівняньабосистембільшвисокихпорядківдечислододатковихумовбільшезадвапостановкикрайовихумовбільшрізнобічніПрицьомуможливівипадкиколичастинаумовзадана у внутрішніх точках відрізка [a, b]їхнерідконазиваютьвнутрішнімикрайовимиумовамиНаприкладстатистичний прогин навантаженого пружного бруска задовольняє рівнянню четвертого порядку


, EMBED Equation.3EMBED Equation.3EMBED Equation.3; (2)

якщо цей брусок лежить в точках EMBEDEquation, EMBED Equation.3наопорахтододатковіумовимаютьвид

EMBEDEquation, EMBED Equation.3, EMBED Equation.3

тобто всі вони задані в різ них точках.

Самі додаткові умови можуть зв’язувати між собою значення кількох функцій в одній точці (або навіть в різних точках); тоді для системи р-го порядку вони приймуть вигляд

EMBEDEquation ,

EMBED Equation.3

Існуютьзадачізщебільшскладнішимизаформоюкрайовимиумовами, наприклад, умовами нормування

EMBED Equation.3

звичнимивквантовіймеханіціітд

НедивлячисьнарізноманітністьформкрайовихумовкрайовізадачірозвязуютьсявосновномуоднимиітимижчисельнимиметодамищовиправдовуєїхобєднанняводинтипЗупинимосянаметодахрозв’язування

Знайтиточнийроз’язоккрайовоїзадачівелементарнихфункціяхвдаєтьсярідкодляцьоготребазнайтизагальнийрозв’язоксистеми�ізумітиявновизначитизкрайовихумовзначеннясталих, що входять у нього.

До наближених методів розв’язкукрайовихзадачвідносятьсярозкладврядиФур’є, методи Рітца і Галеркіна. Ряди Фур’є застосовуються до лінійних задач. Інші два методи застосовуються і до деяких нелінійних задач.

Для чисельного розв’язку крайових задач використовують метод стрі льбиірізницевий методМетодстрільбибазуєтьсяназведеннікрайовоїзадачідодеякоїзадачіКошідлятієїжсистемир івняньВрізни цевомуметодізадачанаближенозаміняєтьсярозв’язкомалгебраїчноїсистемирівняньзд осить великим числом невідомих. У випадку нелінійних задач обидва методиєітераційнимиприцьомупобудоваітераційнихпроцесівщодобрезбігают ься, виявляється доста тньоскладною

Математична модель задачі

Методи приблизного розв’язання поставлених крайових задач можна розбитинадвігрупирізни цеві методи і аналітичні методи. До різницевих методів розв’язку лінійної крайової задачі відносять: метод скінченних різниць для лінійних диференціальних рівнянь другого порядку, метод прогон ки. До аналітичних методів – метод Галеркіна, метод колокацій.

Метод скінченних різниць дозволяє знайти наближений розв’язок крайової задачі у вигляді таблиці, а аналітичні методи дають можливість знайти наближений розв’язок лінійної крайової задачі у вигляді аналітичного виразу. Розглянемо метод Галеркінадлязнаходженнянаближеного розв’язку лінійної крайової задачі.

Метод Галеркіна базується на одній теоремі з теорії загальних рядів Фур’є.

Теорема. Нехай EMBED Equation.3повнасистемафункційзненульовоюнормоюортогональнихнавідрізку[ a , b]. Якщо неперервна функція EMBED Equation.3ортогональнанавідр ізку[ab]довсіхфункцій , тобто

EMBED Equation.3 (n = 0, 1, 2, . . .), (3)

то EMBED Equation.3 при відноснозаданоїсист е ми ортогональнихфункцій

EMBEDEquation (4

Як відомо, коефіцієнти Фур’є увідношеннідобудьякоїнеперервноїфункції виконана рівність повноти

EMBED Equation.3�)

Звідси, враховуючи рівність (5), маємо

EMBED Equation.3

іотжепри (тобтоEMBED Equation.3 то

EMBED Equation.3

придостатньовеликомуNВцьомувипадкуфункціяEMBED Equation.3 в середньому на відрізку [a, b]будеякзавгодномалоюПридодаткових обмеженнях звідси випливає, що також малий на відрізку EMBED Equation.3

Перейдемо до викладу метода Галеркіна. Нехай маємо лінійну крайову задачу

EMBEDEquation (7

де EMBEDEquationпринаявностілінійнихкрайовихумов

EMBED Equation.3 EMBED Equation.3(8)

EMBED Equation.3

Оберемо кінцеву систему базисних функцій EMBED Equation.3� = 0, 1, . nщоскладаютьчастинудеякоїповноїсистемипричомупотурбуємосящобфункція EMBED Equation.3задовольняланеодноріднікрайовіумови

EMBEDEquation EMBEDEquation

а функції EMBED Equation.3 (QUOTE = 1, 2, . . . , n) задовольняли б однорідним крайовим умовам

EMBED Equation.3� (9)

При нашому підборі базисних функцій EMBED Equation.3 функція EMBEDEquation, що визначається формулою (9), очевидно, задовольняє крайовим умовам (8) при будь-якому виборі коефіцієнтів EMBED Equation.3Вираз�підставимоудиференціальнерівняння (7щодаєнев’язність

так, щоб функція EMBED Equation.3 була в якомусь сенсі малою.

Згідно методу Галеркіна вимагаємо, щоб нев’язність

абобільшдетально

(10)

� = 1, 2, . . . , n


РОЗДІЛПРАКТИЧНАЧАСТИНА

. Алгоритм методу

Визначаємозданогодиференціальногорівняннядругогопорядкуфункції

2. Обираємо систему базисних функцій EMBED Equation.3�n) так, щоб функція EMBEDEquation задовольняла крайовим умовам: EMBED Equation.3афункції = 1, 2, . . . , n) задовольняли б однорідним крайовим умовам EMBED Equation.3 ( n).

Знаходимо EMBED Equation.3 ( QUOTE = 0, 1, 2, 3, 4).

4. Використовуючи позначення

EMBEDEquation,

обраховуємокоефіцієнтисистеми:

EMBEDEquation� QUOTE = 1, 2, . . . , n).

ВиконуючинеобхідніскороченняприходимодосистемизякоївизначаємоEMBED Equation.3 ( QUOTE = 1, 2, . . . , nіотримуєморозв’язок вигляді:


2.2. БЛОК-СХЕМА АЛГОРИТМУ

МетодГалеркіна



Ні


Так


Ні


Так




3. Тестовий приклад

Методом Галеркіна знайти наближений розв’язок рівняння,

EMBED Equation.3 (11)

щозадовольняєкрайовимумовам

EMBEDEquation (12)

Розв’язання:

Оберемо в якості системи базисних функцій EMBEDEquation�, EMBED Equation.3, EMBEDEquation, EMBED Equation.3,

ЦіфункціїлінійнонезалежнінавідрізкуEMBED Equation.3, причому функція EMBED Equation.3 задовольняє крайовій умові (12аіншіфункції–нульовимкрайовимумовам. Будемо шукати розв’язок у вигляді

EMBED Equation.3

Знаходимо EMBED Equation.3� QUOTE

EMBED Equation.3,

EMBED Equation.3

,

, EMBED Equation.3,

і враховуючи при цьому ортогональність системи тригонометричних функцій

(1, , . . .)

EMBEDEquation,

Результати отриманізадопомогою створеної програми


ВИСНОВОК

Математичне моделювання процесів і явищ в різних галузях науки і техніки є одним з головних способів отримання нових знань і технологічних рішень. В наш час коли життя людини вже майже неможливе без електронно-обчислювальної техніки, всі процеси автоматизуються, а задачі, які потребували деякого часу і зусиль тепер виконуються за лічені хвилини.

Чисельні методи один із напрямів розробки пошуку оптимальних розв’язків математичних задач та пошуку саме того методу, який би давав найбільш точний результат. Моя робота присвячена одному з методів пошуку розв’язку лінійної крайової задачі – методу Галеркіна. Даний метод досить зручний для пошуку розв’язку у вигляді аналітичного виразу.

В першій частині курсового проекту розглянута постановка задачі, в якій наведено опис методу. В математичній моделі описано безпосередньо сам метод Галеркіна та його основні принципи.

Друга частина мого курсового проекту починається з опису алгоритму методу Галеркіна для пошуку розв’язку лінійної крайової задачі. В алгоритмі містяться головні кроки пошуку розв’язку лінійної крайової задачі за даним мені методом. За цим алгоритмом наведений тестовий приклад, а також написана програма в середовищі Microsoft Visual C++, текст якої знаходиться в додатку А. До даного методу складена блок-схема алгоритму.

СПИСОК ВИКОРИСТАНОЇ ЛІТЕРАТУРИ

1. Капченова Н.В., Марон И.А. Вычислительная математика в примерах и задачах. – М: Наука, 1972. – 369 С.

2.Демидович Б.П., Марон И.А. Основы вычислительной математики. - М.: Физматгиз, 1960. - 659с.

3.Калиткин Н.Н. Численные методы. - М.: Наука, 1978. - 512с.

4БахвановНСЖидковНПКобельковГМЧисельныеметодыелектронныйвариантучебника

5БелашовВЮ., Чернова Н. М. Эффективные алгоритмы и программы вычислительной математики. Магадан: СВКНИИДВОРАН, 1997. 160 с.

. Культін Н.Б. Программирование в Turbo Pascal 7.0 и Delphi. – СПб: BHV-Санкт-Петербург, 1999. – 234с.


ДОДАТОК А

ТЕКСТ ПРОГРАМИ МОВОЮ Microsoft Visual C++

MainFrm.cpp

#include "StdAfx.h"

#include "example.h"

#include"MainFrmh"

#ifdef_DEBUG

#definenewDEBUG_NEW

#undefTHIS_FILE

staticcharTHIS_FILE[]__FILE__

#endif

IMPLEMENT_DYNCREATE(CMainFrame, CFrameWnd)

BEGIN_MESSAGE_MAP(CMainFrame, CFrameWnd)

END_MESSAGE_MAP�

static UINT indicators[] =

{

ID_SEPARATOR,

ID_INDICATOR_CAPS,

ID_INDICATOR_NUM,

ID_INDICATOR_SCRL,

};

CMainFrame::CMainFrame()

{

}

CMainFrame~CMainFrame�

{

}

int CMainFrame::OnCreate(LPCREATESTRUCT lpCreateStruct)

{

if (CFrameWnd::OnCreate(lpCreateStruct) == -1)

return -1;

if (!m_wndToolBar.Create(this) ||

!m_wndToolBar.LoadToolBar(IDR_MAINFRAME))

{

TRACE0("Failed to create toolbar\n");

return -1;

}

if (!m_wndStatusBar.Create(this) ||

!m_wndStatusBar.SetIndicators(indicators,

sizeof(indicators)/sizeof(UINT)))

{

TRACE0("Failed to create status bar\n");

return -1;

}

m_wndToolBarSetBarStyle(m_wndToolBarGetBarStyle() |

CBRS_TOOLTIPS|CBRS_FLYBY|CBRS_SIZE_DYNAMIC

m_wndToolBarEnableDocking(CBRS_ALIGN_ANY);

EnableDocking(CBRS_ALIGN_ANY);

DockControlBar(&m_wndToolBar);

return 0;

}

BOOLCMainFramePreCreateWindow�CREATESTRUCTcs

{

returnCFrameWndPreCreateWindow�cs

}

#ifdef_DEBUG

voidCMainFrame::AssertValid() const

{

CFrameWnd::AssertValid();

}

void CMainFrameDump�CDumpContextdcconst

{

CFrameWnd::Dump(dc);

}

#endif

MainFrm.h

#if!defined�AFX_MAINFRM_H__ACFA__D_AF_FDFFED__INCLUDED_

#defineAFX_MAINFRM_H__ACFA__D_AF_FDFFED__INCLUDED_

#if_MSC_VER

#pragmaonce

#endif

classCMainFramepublicCFrameWnd

{

protected

CMainFrame�

DECLARE_DYNCREATE�CMainFrame

public

// Operations

public:

// Overrides

// ClassWizard generated virtual function overrides

{{AFX_VIRTUAL�CMainFrame

virtualBOOLPreCreateWindow�CREATESTRUCTcs

}}AFX_VIRTUAL

Implementation

public

virtual~CMainFrame�

#ifdef_DEBUG

virtualvoidAssertValid�const

virtualvoidDump�CDumpContextdcconst

#endif

protectedcontrolbarembedded members

CStatusBar m_wndStatusBar;

CToolBar m_wndToolBar;

// Generated message map functions

protected:

//{{AFX_MSG(CMainFrame)

afx_msg int OnCreate(LPCREATESTRUCT lpCreateStruct);

// afx_msg void OnDemoAnalit();

//}}AFX_MSG

DECLARE_MESSAGE_MAP�

}

{{AFX_INSERT_LOCATION}}

MicrosoftDeveloperStudiowillinsertadditionaldeclarationsimmediatelybefore the previous line.

#endif //!defined(AFX_MAINFRM_H__9A49CF0A_0006_11D3_A7F6_F5D97F5F2E6D__INCLUDED_)

StdAfx.h

stdafxhincludefileforstandardsystemincludefiles

orprojectspecificincludefilesthatareusedfrequentlybut

arechangedinfrequently

#if!defined�AFX_STDAFX_H__ACF__D_AF_FDFFED__INCLUDED_

#defineAFX_STDAFX_H__ACF__D_AF_FDFFED__INCLUDED_

#if _MSC_VER >= 1000

#pragma once

#endif // _MSC_VER >= 1000

#define VC_EXTRALEAN // Exclude rarely-used stuff from Windowsheaders

#includeafxwinhMFCcoreandstandardcomponents

#include <afxext.h> // MFC extensions

#include <afxdisp.h> // MFC OLE automation classes

#ifndef _AFX_NO_AFXCMN_SUPPORT

#include <afxcmn.h> // MFC support for Windows Common Controls

#endif // _AFX_NO_AFXCMN_SUPPORT

//{{AFX_INSERT_LOCATION}}

// Microsoft Developer Studio will insert additional declarations immediatelybeforethepreviousline

#endif!defined�AFX_STDAFX_H__ACF__D_AF_FDFFED__INCLUDED_