«Методика применения компьютерного моделирования для решения дифференциальных уравнений и в школьном курсе информатики»

К. Маклорен, Л. Эйлер, Д. Стокс, У. Кельвин, Д. Стирлинг и многие другие авторы дали частные случаи асимптотических разложений. Но только в 1886 году А.Пуанкаре определил понятие асимптотического ряда. В курсах математического анализа появились разделы, посвящённые асимптотическим разложениям. Несмотря на это стремительный рост литературы по асимптотике начинается только в 60-х годах 20 века. В последние годы стала понятна важность асимптотических рядов для определения структуры решений дифференциальных уравнений.

Значительный вклад в развитие асимптотических методов внес российский ученый А.М.Ляпунов: теория устойчивости является теорией асимптотического исследования систем дифференциальных уравнений. В трудах П.Лапласа, связанных с задачами небесной механики, асимптотические методы создавались и применялись как способ приближенного вычисления значений функции в окрестности ее особых точек.

Важность асимптотических рядов в теории дифференциальных уравнений была ясно осознана математиками во второй половине девятнадцатого столетия, и значительная часть современной асимптотической теории была создана именно тогда. Но только в последнее время стала ясна важность асимптотических рядов для понимания структуры решений обыкновенных дифференциальных уравнений и что они неминуемо возникают во многих вопросах прикладной математики не только в науке, но и при изучении школьных дисциплин, таких как математика и информатика [7, с.9].

Развитие ЭВМ весьма способствует и развитию асимптотических методов. Одним из самых трудных этапов их применения является построение высших приближений. Для сложных задач «вручную» удаётся построить два, от силы три приближения. Благодаря развитию электронных вычислительных машин эта рутинная работа ложится на «плечи» компьютеров [2, с.5, 31-32].

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

Задачи исследования:

1) исследовать дифференциальное уравнение:

u - x2 u - LI.F (и) = 0 (1)

и найти решение уравнения (1), удовлетворяющее условиям:

и(0) = 1, и(x) = О(1), x >'-; (2)

2) рассмотреть основные понятия о линейных и нелинейных

дифференциальных уравнениях;

3) изучить асимптотические разложения решений дифференциальных

уравнений;

4) построить формальное асимптотическое разложение решения уравнения;

5) создать компьютерную модель в виде программы для нахождения

численного решения обыкновенных дифференциальных уравнений;

6) проанализировать курсы по компьютерному моделированию в

школьном курсе;

7) разработать курс по компьютерному моделированию с использованием программы Maple.

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

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

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

Теоретическая значимость исследования: в данной работе

рассматривается диапазон изменения параметра ранее не изученный.

Методы исследования:

Теоретические: изучение асимптотических свойств решений

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

Практические:

1) выполнение символьных вычислений с использованием асимптотических разложений.

2) анализ элективных курсов по компьютерному моделированию и разработка нового курса с использование программы Maple.

L (У) = Уп + ai(x) У(n-1) +.+an(x) У ■ (3)

Уравнение (1) называют неоднородным, если правая часть f(x) тождественно не равна нулю. Если f(x)=0, то уравнение называют однородным и оно имеет вид:

L (y) =0. (4)

Теорема 1.

i0 . Принцип суперпозиции. Если У (x), У (x) - решения одного уравнения L(y)=0, то их линейная комбинация y(x) = ayr(x)+a2y2(x) при любых постоянных a ,a - это решение однородного уравнения.

20 . Если y (x), y (x)- решение неоднородного уравнения (2), то их разность y (x) = y (x) - y2 (x), есть решение однородного уравнения (4).

30 . Всякое решение неоднородного уравнения (1) есть сумма частного (т.е. фиксированного) решения неоднородного уравнения и некоторого решения однородного уравнения [25, с. 34-35].

Теорема 2. Уравнение y — Ay = Pm(x)e":' имеет частное решение вида y = Qm (x)e"', если р * A , и вида y = xQm (x)ex , если ц = A . Здесь Qm (x)- многочлен степени m.

Определение. Квазимногочленом называется функция вида:

f (x) = eA P ( x) + e' xP2 (x) +. + ekXPk ( x),

где A,.,A - это постоянные, P(x),., P (x)- многочлены.

Исходя из определения, комплекснозначная функция f (x) называется непрерывной в точке x , если в этой точке непрерывны функции u(x), v(x) .

Функция называется дифференцируемой (дважды дифференцируемой и т.д.) в точке x , если в этой точке дифференцируемы (дважды дифференцируемы и т.д.) функции u(x) , v(x) . Производные функции f (x) определяются так:

f(n)(x) = u(n)(x) + iv(n)(x)[14, с. 37-38].

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

Пусть U- открытое подмножество в С и f: U ^ C -комплекснозначная функция на U.

1) Функцию называют комплексно дифференцируемой в точке zQ G U, если существует предел

f' (z0) = Lim f (z)— f (zo).

z ^ z 0 z — zo

2) Функцию f называют голоморфной в U, если она комплексно дифференцируема в каждой точке U.

3) Функцию f называют голоморфной в zQ G U, если она голоморфна в окрестностях некоторой точки z .