Исследование устойчивости разностных схем для некоторых задач полупроводниковой технологии
Другой способ построения разностных схем высокого порядка точности основан на анализе дифференциального приближения разностного уравнения. Связь между дифференциальным приближением и разностной схемой обсуждается в работах Н. Н. Кузнецова и Ю. И. Шокина, Н. Н. Яненко. Анализ дифференциального приближения сеточного уравнения позволяет выяснить, какие искусственные эффекты вносит в решение… Читать ещё >
Содержание
- Глава 1. Устойчивость разностных схем с искусственной дис-* Персией для уравнения типа конвективной диффузии
- 1. 1. Постановка разностной задачи для уравнения конвективной диффузии с малым параметром при старшей производной
- 1. 2. Построение разностных схем для уравнения конвективной диффузии
- 1. 3. Исследование устойчивости разностных схем с искусственной дисперсией
- 1. 4. Выводы
- Глава 2. Об одной задаче для системы параболических уравнений со специальными граничными условиями
- 2. 1. Математическое моделирование процесса выращивания твердых растворов полупроводников из жидкой фазы
- 2. 2. Решение модельной дифференциальной задачи
- 2. 3. Исследование устойчивости разностной задачи
- 2. 4. Результаты численных расчетов
- 2. 5. Выводы. v
- Глава 3. Асимптотическая устойчивость разностной схемы для одной краевой задачи
- 3. 1. Понятие асимптотической устойчивости
- 3. 2. Вычисление точного решения разностной схемы
- 3. 3. Исследование асимптотической устойчивости и точности разностной схемы
- 3. 4. Описание численных расчетов. i 3.5 Выводы
- Глава 4. Численное моделирование эпитаксиального выращивания тройных полупроводниковых соединений
- 4. 1. Физико-химические основы процесса
- 4. 2. Математическое моделирование процесса выращивания твердых растворов CdyHgi-yTe из жидкой фазы
- 4. 3. Моделирование эпитаксиального выращивания твердых растворов AlyGai-yAs из жидкой фазы
- 4. 4. Выводы
Исследование устойчивости разностных схем для некоторых задач полупроводниковой технологии (реферат, курсовая, диплом, контрольная)
В диссертации рассматривается класс задач параболического типа, возникающих при математическом моделировании процесса выращивания полупроводниковых материалов методом жидкофазовой эпитаксии. Такого рода исследования на протяжении ряда лет проводятся коллективом сотрудников Института Прикладной математики им. М. В. Келдыша РАН. Важное значение этих работ обусловлено практическими потребностями производства полупроводниковых структур для электронной промышленности. В математическом отношении эти задачи описываются системой нелинейных уравнений, включающей уравнения Навье-Стокса и уравнения конвективной диффузии.
Указанный класс задач обладает рядом математических особенностей, вызывающих трудности при их исследовании и решении. К их числу относятся сложная нелинейная функциональная зависимость между концентрациями растворенных веществ на границе раздела фаз, а также преобладание конвективных процессов над диффузионными. Это приводит к наличию в рассматриваемых системах уравнений нелинейных граничных условий нестандартного вида и малых параметров при старших производных.
Для задачи об эпитаксиальном выращивании полупроводниковых структур были построены дифференциальные и разностные модели [1]. Однако, в процессе расчетов обнаружилась вычислительная неустойчивость или недостаточная точность некоторых использованных алгоритмов. Поэтому возникла необходимость в теоретическом анализе свойств разностных схем, прежде всего с точки зрения их устойчивости, а также в построении на основе этого анализа надежных вычислительных алгоритмов для расчета рассматриваемого класса задач. Настоящая работа посвящена этой проблематике, что обуславливает ее актуальность. Опыт использования методов математического моделирования для изучения процессов массопереноса в многокомпонентных средах с фазовыми переходами показал, что свойства алгоритма и, в первую очередь, его устойчивость, в значительной степени зависят от способа численной реализации условий на границе раздела фаз.
Теоретический и численный анализ дифференциальной системы уравнений и разностных схем в полной нелинейной постановке обычно затруднен, поэтому традиционно принятым является изучение линеаризованных моделей, сохраняющих характерные особенности реальной задачи. Исследование устойчивости линеаризованной модели позволило из всей совокупности возможных вычислительных методов выбрать наиболее надежные, подходящие для решения исходной нелинейной системы.
В диссертации приведен расчет задачи о получении тройных полупроводниковых соединений из жидкой фазы. Показано, что разностные методы, неустойчивые в линейном случае, дают неправильные результаты и при расчете исходной нелинейной системы. Напротив, с помощью устойчивых в модельном случае алгоритмов удается получить результаты, согласующиеся с физическими представлениями о процессе во всех рассмотренных областях изменения параметров.
Цели работы.
Исследование в линейном приближении устойчивости разностных схем для обоснования алгоритмов численного решения некоторых параболических задач нового класса, возникающих при моделировании технологических процессов получения полупроводниковых материалов и характеризующихся наличием малого параметра при старшей производной и нелинейными граничными условиямипостроение надежных вычислительных алгоритмов для указанного класса задачдемонстрация их преимуществ на примере расчета полной задачи в нелинейной постановке.
Различные подходы к понятию устойчивости разностных схем и способам ее исследования.
В 1955 г. в статье А. Ф. Филиппова [2] были определены свойства разностных схем, аппроксимирующих дифференциальное уравнение. Доказано, что если: 1) решение дифференциального уравнения существует- 2) разностное уравнение аппроксимирует дифференциальное уравнение- 3) решение разностного уравнения устойчиво, то при измельчении сетки решение разностного уравнения стремится к решению дифференциального уравнения. Под устойчивостью в [2j понимается равномерно непрерывная при измельчении сетки зависимость решения разностного уравнения от правой части и начальных данных.
Понятие устойчивости, определяемое в смысле ограниченности всех гармоник решения разностной задачи, было впервые введено в 1950 г. Джоном фон Нейманом и Р. Д. Рихтмайером. В книге Р. Д. Рихтмайера и К. Морто-на [4] понятие устойчивости включает также условие того, что погрешность вычислений можно сделать сколь угодно малой. В работах А. А. Самарского [7], А. А. Самарского и А. В. Гулина [6] под устойчивостью разностной схемы понимается свойство непрерывной зависимости приближенного решения от начальных данных, коэффициентов уравнения и правой части.
Определение устойчивости, рассмотренное в книге С. К. Годунова и В. С. Рябенького [5], предполагает, что малое возмущение правой части разностной схемы вызывает равномерное относительно шага сетки малое возмущение решения.
Для нелинейных задач Н. Н. Кузнецовым в статье [8] введено понятие слабой устойчивости разностной схемы, которое допускает в качестве решения устойчивых схем неограниченно растущие функции. Критерий слабой устойчивости схемы, решением которой могут быть экспоненциально растущие гармоники, установлен в [4, 8].
Наряду с различными определениями устойчивости предлагаются и разные математические способы ее доказательства. Так, например, анализ необходимых условий устойчивости, введенный Дж. фон Нейманом, проводится с помощью разложения разностного решения в ряд Фурье или с помощью оценки нормы сеточного решения. Применяется также энергетический метод, в котором используются соотношения, аналогичные принципу сохранения энергии в физической системе.
Условия устойчивости задачи Коши в равномерной метрике для разностных уравнений, аппроксимирующих систему дифференциальных уравнений параболического типа, изучались в работе С. И. Сердюковой [44]. Предложенный метод доказательства устойчивости основывается на рассмотрении характеристической матрицы системы разностных уравнений и анализе ее собственных чисел. Характеристическая матрица составляется по коэффициентам разложения приближенного решения в ряд Фурье. Подобный способ исследования устойчивости содержится также в книге Р. Д. Рихтмайера и К. Мортона [4].
А. А. Самарским в середине 1960;х гг. была построена общая теория устойчивости линейных разностных схем, получены основные теоремы для гильбертовых пространств. Дальнейшее развитие этой теории представлено в книге А. А. Самарского и А. В. Гулина [6]. В статье А. А. Самарского и А. В. Гулина [9] отмечается, что в теории устойчивости разностных схем формулируются положения, аналогичные положениям теории устойчивости для дифференциальных уравнений.
Анализ устойчивости линейной разностной схемы обычно проводится следующими способами [6, 10]: методом сведения к явной схеме и последующей оценки спектра оператора переходаметодом проверки условий выполнения принципа максимумаметодом энергетических неравенствметодом разделения переменных. Вопросам исследования устойчивости разностных схем посвящены работы А. А. Самарского [10], А. А. Самарского и Е. С. Николаева [11], А. А. Самарского и Ю. П. Попова [12], С. К. Годунова и В. С. Рябенького [5], Г. И. Марчука [13], А. А. Самарского и А. В. Гулина [6], Р. Д. Рихтмайера и К. Мортона [4], и многие другие. Обзор теории устойчивости для нестационарных разностных схем приведен в статье А. А. Самарского, П. Н. Вабищевича и А. В. Гулина [14]. Однако, в настоящее время не существует законченной теории исследования устойчивости разностных схем, аппроксимирующих несамосопряженные краевые задачи.
Наряду с обычной устойчивостью в теории разностных схем применяется понятие асимптотической устойчивости, введенное А. А. Самарским [10]. Асимптотическая устойчивость сеточного решения устанавливается по аналогии с асимптотической устойчивостью решения дифференциального уравнения. Разностная схема является асимптотически устойчивой, если при расчете длительных нестационарных процессов численное решение выходит на регулярный режим, задаваемый первой собственной функцией разностной задачи. В работах А. А. Самарского и А. В. Гулина [6, 9, 60] отмечается, что асимптотическую устойчивость можно определить как специальный случай р — устойчивости, где р G (0- 1) [60].
В статьях А. А. Самарского, А. В. Гулина [42, 60], А. В. Гулина и С. JI. Дегтярева [61] изучаются симметризуемые разностные схемы, в классе которых также исследована асимптотическая устойчивость. В [35] приводятся примеры устойчивых разностных схем, решение которых показывает плохую точность на реальных сетках. Следовательно, на практике важную роль, помимо устойчивости, играют асимптотическая устойчивость и точность разностного алгоритма.
Общая характеристика рассматриваемых задач.
Настоящая работа является частью цикла исследований, проводимых в ИПМ имени М. В. Келдыша РАН и посвященных математическому моделированию процессов массопереноса в многокомпонентных средах с фазовыми переходами. Основное внимание в диссертации уделяется анализу устойчивости разностных схем для одномерного линеаризованного уравнения конвективной диффузии с малым параметром при старшей производной и одномерной системы двух параболических уравнений с граничными условиями специального вида, моделирующими условия на границе раздела фаз.
Об уравнении типа конвективной диффузии.
Основные трудности при построении разностных схем для уравнения конвективной диффузии связаны с аппроксимацией конвективных членов. Хорошо известно, что использование направленных разностей для аппроксимации конвективных членов приводит к сильному сглаживанию — размазыванию — решения в области его резкого изменения. Напротив, схемы с центрально-разностной аппроксимацией порождают решение, содержащее нефизические осцилляции [27].
Существует большое число разностных схем для численного решения уравнений такого типа: использование односторонних разностей со сгущением сетки [20]- применение центрально-разностной аппроксимации конвективных членов высокого порядка [21, 22]- введение в схему регуляриза-тора или специальная монотонизация схемы [10, 23]- комбинирование определенным образом направленных и центральных разностей [16], [18], [24]-[26]. Достоинством таких схем является более высокая точность численного решения по сравнению с традиционной односторонней или центрально-разностной аппроксимацией. Но вместе с тем, известно, что сгущение сетки трудно осуществить при моделировании высокоскоростных неустойчивых теченийпри центрально-разностной аппроксимации высокого порядка также возникают нефизические осцилляции решениявведение в схему регуляризатора может значительно усложнить вычислительный алгоритм.
Другой способ построения разностных схем высокого порядка точности основан на анализе дифференциального приближения разностного уравнения. Связь между дифференциальным приближением и разностной схемой обсуждается в работах Н. Н. Кузнецова [29, 30] и Ю. И. Шокина, Н. Н. Яненко [28]. Анализ дифференциального приближения сеточного уравнения позволяет выяснить, какие искусственные эффекты вносит в решение дифференциальной задачи разностный алгоритм. В полученном с помощью дифференциального приближения модифицированном уравнении производные четного порядка связываются со схемной диссипацией, а нечетного — с дисперсией [27]. В работах [31, 32] на основе схем с центральными разностями предложены сеточные алгоритмы с так называемой антидисперсионной добавкой, частично компенсирующей численную дисперсию, внесенную в решение исходной симметричной схемой. Свойства схем с искусственной дисперсией интерпретируются на основе их дифференциальных приближений.
Среди других подходов к аппроксимации конвективных членов отметим широко распространенные за рубежом QUICK — схемы (Quadratic Upstream Interpolation for Convective Kinematics) [22]. Применяются также гибридные схемы [24, 63], в которых чередуются, в зависимости от величины скорости, направленные и центральные разности.
В статьях [35]-[38] устойчивость разностных схем, аппроксимирующих уравнение конвективной диффузии, проверяется с использованием Фурье-анализа, в [39], [40] - метода Дж. фон Неймана. Однако, если рассматривается краевая задача, то, как было найдено С. К. Годуновым и В. С. Рябеньким, выполнение условий фон Неймана только необходимо для устойчивости, но не достаточно.
О математическом моделировании процесса получения полупроводниковых структур методом жидкофазовой эпитаксии.
Полупроводниковые соединения являются основой современных типов транзисторов, фотоэлементов, квантовых генераторов и многих других приборов. Одной из технологий получения полупроводниковых структур является метод жидкофазовой эпитаксии [47].
Сущность этого метода состоит в кристаллизации из раствора-расплава на подложке полупроводниковых соединений. В простейшем случае насыщенный при начальной температуре раствор кристаллизующихся компонентов приводится в контакт с подложкой, и вся система охлаждается по заданному закону. С понижением температуры жидкая фаза становится пересыщенной, и растворенные в ней вещества осаждаются на границе расплав-подложка в виде монокристаллического слоя [48]. Происходящие в расплаве процессы определяются скоростью охлаждения системы, начальным составом подложки и другими параметрами.
Математическое моделирование задачи о выращивании эпитаксиальных слоев полупроводниковых материалов из раствора — расплава проводится в работах [49] - [52], [106]. Основу математической модели составляют двумерные уравнения концентрационной конвекции в приближении Бусси-неска. Предполагается, что концентрации веществ у фронта кристаллизации находятся в состоянии квазиравновесия и связаны уравнением ликвидуса. Другим граничным условием для концентраций на границе раздела фаз является условие баланса частиц.
При отсутствии в расплаве конвекции процесс описывается с помощью диффузионной модели с граничными условиями специального вида. Разностная задача, аппроксимирующая систему параболических уравнений, является несамосопряженной, что значительно затрудняет ее теоретический анализ.
Содержание диссертации по главам.
В первой главе изучается одномерное линейное уравнение конвективной диффузии с малым параметром при старшей производной. Приводится обзор различных способов аппроксимации конвективных членов, отмечаются их преимущества и недостатки. Для схем с искусственной дисперсией на трехточечном и пятиточечном шаблонах по пространству при помощи общей теории разностных схем А. А. Самарского и А. В. Гулина устанавливаются достаточные условия устойчивости.
Во второй главе изучается одномерная линеаризованная система двух параболических уравнений с граничными условиями специального вида, являющаяся модельной для задачи о выращивании полупроводниковых материалов методом жидкофазовой эпитаксии.
Находятся области изменения параметров, в которых имеются не убывающие по модулю во времени частные решения дифференциальной системы. Для численного решения модельной задачи используются две разностные схемы с явной аппроксимацией одного из граничных условий и чисто неявная схема. При помощи оценки предела при t оо модуля сеточного решения в граничной точке шаблона, исследуется устойчивость двух разностных схем с явной реализацией граничных условий. Устанавливаются диапазоны изменения параметров задачи, в которых эти схемы являются безусловно устойчивыми, условно устойчивыми или неустойчивыми при любых соотношениях шагов сетки /гиг. Вместе с тем, отмечается, что убывание во времени по модулю решений дифференциальной задачи является необходимым условием устойчивости чисто неявной схемы, использующей совместное вычисление искомых функций методом матричной прогонки. Полученные теоретические результаты подтверждаются численными расчетами.
Отмечается, что для чисто неявной схемы необходимые условия устойчивости выполняются везде, где решения дифференциальной задачи убывают во времени по модулю. Теоретические результаты подтверждаются численными расчетами.
В третьей главе исследуется асимптотическая устойчивость и точность разностной задачи, аппроксимирующей модельную систему параболических уравнений со специальными граничными условиями.
Для системы разностных уравнений, соответствующих схемам с явной аппроксимацией одного из граничных условий и чисто неявной схеме, по аналогии с дифференциальным случаем, вычисляется частное решение в виде сеточной собственной функции. Вместе с тем, решение системы разностных уравнений для каждой из рассматриваемых схем при тех же начальных и граничных условиях, находится методом прогонки и сравнивается с точным решением на сетке.
В диапазоне изменения параметров задачи, соответствующем области неустойчивости схемы с явной аппроксимацией одного из граничных условий, при любых соотношениях /гиг выявляется расхождение между первой собственной функцией разностной задачи и численным решением. Таким образом, для численных алгоритмов, использующих явную реализацию одного из граничных условий, доказывается отсутствие асимптотической устойчивости. В случае чисто неявной схемы имеется практически полное совпадение во всех рассмотренных вариантах первых гармоник разностной задачи и численного решения. Далее для исследований асимптотической устойчивости и точности выбирается чисто неявная схема, реализованная методом матричной прогонки.
С помощью аналитической оценки первого собственного значения разностной задачи доказывается, что в области возрастающих по модулю во времени решений дифференциальной системы чисто неявная разностная схема не является асимптотически устойчивой. В области убывающих по модулю решений дифференциальной задачи устанавливается, что величина шага сетки по времени влияет на асимптотическую точность разностного решения.
В четвертой главе содержатся результаты математического моделирования процесса получения полупроводниковых соединений CdyHgi-yTe и AIyGcli-yAs из раствора-расплава методом жидкофазовой эпитаксии. Приводится постановка двумерной нелинейной дифференциальной задачи с учетом фазовой диаграммы соответствующей системы [62].
В диффузионном приближении исследуется одномерный вариант реальной задачи. Для численного решения используются разностные схемы, аналогичные описанным во второй и третьей главах диссертации. Указываются области значений состава твердой фазы расплава Y на каждой из фазовых диаграмм систем Cd—Hg—Te и Al—Ga—As, в которых схемы с явной аппроксимацией одного из граничных условий являются неустойчивыми.
С учетом анализа диффузионного приближения одномерной задачи, проводятся расчеты в рамках полной двумерной задачи. Указываются варианты, демонстрирующие неустойчивость разностных схем с явной реализацией граничных условий в зависимости от значения состава твердой фазы Y, соотношений коэффициентов диффузии веществ и шагов сетки. Вместе с тем, при расчетах по чисто неявной схеме во всех рассмотренных случаях получаются результаты, отвечающие физическим представлениям о характере моделируемых процессов.
Основные результаты, полученные в диссертации.
1. Доказано, что для схем с искусственной дисперсией, аппроксимирующих уравнение конвективной диффузии с преобладающим влиянием конвекции, условие Куранта является достаточным для устойчивости на трехточечном шаблоне по пространствусхемы на пятиточечном шаблоне являются безусловно устойчивыми.
2. Для одномерного варианта линейного приближения задачи о выращивании полупроводниковых структур найдены области изменения параметров задачи, в которых разностные схемы с явной аппроксимацией одного из граничных условий являются безусловно устойчивыми, неустойчивыми или условно устойчивыми. Доказано, что в области возрастающих по модулю во времени решений дифференциальной задачи чисто неявная разностная схема не является асимптотически устойчивойв области убывающих по модулю решений дифференциальной задачи имеется диапазон изменения параметров задачи, в котором чисто неявная схема не является асимптотически точной.
3. Выполнено математическое моделирование процесса получения полупроводниковых структур CdyHgi-yTe и AlyGai-yAs методом жид-кофазовой эпитаксии. Выяснено, что в системах Cd — Нд — Те и Al — Ga — As имеются такие значения состава твердой фазы У, при которых схемы с явной аппроксимацией одного из граничных условий являются неустойчивыми. В различных диапазонах изменения параметров задачи произведены численные расчеты, демонстрирующие устойчивость чисто неявной схемы. Подтверждено преимущество матричного метода решения по чисто неявной схеме перед методами, использующими последовательное вычисление концентраций.
В заключение я хочу поблагодарить О. С. Мажорову и Ю. П. Попова за постановку задачи и выбор научного направления. Эта диссертация, по ряду причин, писалась на протяжении многих лет, в течение которых я находила постоянную поддержку и внимание к работе со стороны моих научных руководителей О. С. Мажоровой и Ю. П. Попова. Их вера в успех и деятельное участие помогли мне завершить свои исследования.
4.4 Выводы.
В данной главе описаны результаты проведенных расчетов полной нелинейной задачи о выращивании методом жидкофазовой эпитаксии полупроводниковых структур CdyHgi-yTe и AlyGa^yAs. Использованы три разностные схемы: две схемы с явной аппроксимацией одного из граничных условий и чисто неявная схема. Представлены результаты серии расчетов одномерной и двумерной нелинейных задач с учетом реальных фазовых.
ВАРИАНТ 5.
Состав слоя — 0.802 Di=0,2 см2/сек.- D2=0,2 см2/сек.- d=lт=0,15- h=0,l.
Концентрация алюминия в середине подложки.
Неустойчивость решения, вычисляемого по схеме 1. время, мин.
Устойчивость решения, вычисляемого по схеме 2. Рис. 4.9, а.
Состав слоя-0.802- охлаждение на 13,2°К Di=0,2 см2/сек.- D2=0,2 см2/сек.- d=l Данные расчетов на момент времени — 8,8 мин. т=0,15- h=0,l * * * схема 2 * * * схема 2.
0.8020.
0.7990 1111 п 11 111 111 111 111 111 265 969 018 843 793 443 478 568 960 0.0000 0.0005 0.0010 0.0015 0.0020 0.0025.
ТОЛЩИНА СЛОЯ, СМ.
Рис. 4.9, б. Толщина и состав эпитаксиального слоя, рассчитанные по схеме 2.
ВАРИАНТ 6 Состав слоя — 0,402 D1=0,0004 см2/сек.- D2=0,2 см2/сек.- d=4,47- х=0,1- h=0,l.
Концентрация алюминия в середине подложки.
Выход решения, полученного по схеме 1, на неверный режим. время, мин. Неустойчивость схемы 2.
Рис. 4.10, а.
Состав слоя — 0,402 Di=0,0004 см2/сек.- D2=0,2 см2/сек.- d=4,47 Данные расчетов на момент времени — 29,34 мин. т=0,1- h=0,l.
Схема 1.
0.5 1.0 1.5 ПОДЛОЖКА, ММ.
2.0.
2.5.
Выход решения, полученного по схеме 1, на неверный режим.
Рис. 4.10, б. диаграмм в различных диапазонах параметров, представляющих практический интерес. В одномерном и двумерном случаях найдены варианты, для которых неприменимы одна из схем 1 или 2, либо обе схемы. Вместе с тем, во всех рассмотренных случаях расчеты по чисто неявной схеме 3 дали надежные, отвечающие физическим представлениям о моделируемых процессах, результаты.
Заключение
.
В настоящей работе проведено исследование устойчивости разностных схем для некоторых параболических задач нового класса, возникающих при моделировании процессов выращивания полупроводниковых структур методом жидкофазовой эпитаксии. Такие задачи характеризуются наличием малого параметра при старшей производной и нелинейными граничными условиями.
В качестве модельного для задачи о выращивании полупроводниковых материалов в первой главе рассматривается линейное безразмерное уравнение конвективной диффузии. В силу того, что процессы конвекции преобладают над диффузионными, после обезразмеривания уравнения при старшей производной появляется малый параметр порядка Ю-6 -г 103. В первой главе исследуются достаточные условия устойчивости семейства разностных схем с искусственной дисперсией, аппроксимирующих линейное одномерное уравнение конвективной диффузии с преобладающим влиянием конвекции. Доказывается, что для схем на трехточечном шаблоне по пространству условие Куранта является достаточным для устойчивостисхемы на пятиточечном шаблоне по пространству — безусловно устойчивы.
Во второй главе проводится исследование одномерной линеаризованной системы двух параболических уравнений со специальными граничными условиями, также являющейся модельной для задачи о выращивании твердых растворов полупроводников из жидкой фазы. Устанавливается необходимое и достаточное условие существования частных решений дифференциальной задачи, не убывающих со временем по модулю. При проведении численных расчетов используются три разностные схемы: две схемы с явной аппроксимацией одного из граничных условий — схемы 1,2- и чисто неяная схема 3. По первым двум схемам компоненты решения вычисляются на каждом временном слое последовательно, по чисто неявной схеме искомые функции определяются одновременно при помощи матричной прогонки. Во второй главе устанавливаются диапазоны изменения параметров задачи и шагов сетки, в которых две схемы с явной аппроксимацией одного из граничных условий являются неустойчивыми, условно устойчивыми или безусловно устойчивыми. Отмечается, что для чисто неявной схемы 3, необходимые условия устойчивости выполняются везде, где решения дифференциальной задачи убывают во времени по модулю. Теоретические результаты подтверждаются численными расчетами.
Таким образом, делается вывод о нецелесообразности использования при решении исходной двумерной нелинейной задачи разностных схем 1,2 с явной аппроксимацией одного из граничных условий, так как сеточное решение в процессе расчетов может выйти из области устойчивости вычислительного алгоритма в область неустойчивости.
В третьей главе для системы разностных уравнений, соответствующих схемам 1 и. 3, находятся собственные функции. Анализируется влияние шагов сетки т и h на первое собственное значение и характеристические числа разностной задачи. Показывается, что в определенном диапазоне изменения параметров точное решение разностной системы для схемы 1 качественно отличается от численного решения, полученного по этой схеме с помощью метода прогонки. Этим подтверждаются теоретические выводы, сделанные во второй главе диссертации относительно ограничений на устойчивость схем с явной аппроксимацией одного из граничных условий. В случае схемы 3 собственная функция разностной системы и численное решение, полученное методом матричной прогонки, практически совпадают между собой во всех рассмотренных вариантах.
Для чисто неявной схемы 3, исследуются асимптотические устойчивость и точность. Устанавливается, что в области возрастающих со временем по модулю решений дифференциальной задачи эта схема не является асимптотически устойчивойв области убывающих по модулю решений дифференциальной задачи имеется диапазон изменения параметров, в котором разностная схема 3 не является асимптотически точной.
Исследования, проведенные в третьей главе, подтверждают сделанное ранее заключение. Использование в практических расчетах чисто неявной схемы 3 является наиболее предпочтительным, так как схемы 1,2 с явной аппроксимацией одного из граничных условий являются неустойчивыми в определенных областях изменения параметров задачи. Вместе с тем, чисто неявная схема 3 может демонстрировать недостаточную точность в узком диапазоне параметров.
В четвертой главе описываются результаты расчетов нелинейной задачи о выращивании методом жидкофазовой эпитаксии полупроводниковых соединений CdyHgi-yTe и AlyGa-yAs. Так же, как и в линейном приближении, рассмотренном во второй и третьей главах, используются три разностные схемы: две схемы 1,2 с явной аппроксимацией одного из граничных условий и чисто неявная схема 3. Серия расчетов одномерной и двумерной нелинейных задач с учетом реальных фазовых диаграмм проводится в различных диапазонах параметров, представляющих практический интерес. В одномерном и двумерном нелинейных случаях находятся варианты, для которых неприменимы одна из схем 1 или 2, либо обе схемы. Вместе с тем, отмечается, что во всех рассмотренных случаях расчеты по чисто неявной схеме 3 дают надежные, отвечающие физическим представлениям о моделируемых процессах, результаты.
Общий вывод проведенных в диссертации исследований состоит в следующем. Чисто неявная схема 3, по которой искомые функции определяются совместно, является наиболее оптимальным, по сравнению со схемами 1, 2, или единственно возможным методом решения исходной двумерной нелинейной задачи. Рекомендации, полученные в первой главе при анализе устойчивости схем с искусственной дисперсией для решения уравнения конвективной диффузии, и — в третьей главе при исследовании асимптотической устойчивости и точности чисто неявной схемы, аппроксимирующей модельную задачу для системы двух параболических уравнений, могут быть также использованы в реальном вычислительном эксперименте по выращиванию твердых растворов полупроводников эпитаксиальным методом.
Новизна проведенной в диссертации научной работы заключается в следующем. Установлены достаточные условия устойчивости разностных схем с искусственной дисперсией, аппроксимирующих уравнение типа конвективной диффузии. Для линеаризованной системы параболических уравнений, моделирующей процесс получения полупроводниковых материалов, найдены области изменения параметров задачи, в которых разностные схемы с явной аппроксимацией одного из граничных условий являются безусловно устойчивыми, условно устойчивыми и неустойчивыми. Для чисто неявной схемы исследованы асимптотическая устойчивость и точность. Теоретические результаты, полученные в линейном приближении, подтверждены расчетами реальной нелинейной задачи.
Список литературы
- Мажорова О. С., Попов Ю. П., Похилко В. И. Исследование алгоритмов численного решения систем параболических уравнений с нелинейными граничными условиями. // Дифф. уравнения, 1987, т. 23, № 7, с. 1240 — 1250.
- Филиппов А.Ф. Об устойчивости разностных уравнений. // ДАН СССР, т. 100, №- 6, 1955, с. 1045 1048.
- Рябенький В. С., Филиппов А. Ф. Об устойчивости разностных уравнений. М.: Гостехиздат, 1956 г.
- Рихтмайер Р., Мортон К. Разностные методы решения краевых задач. М.: Мир, 1972 г.
- Годунов С. К., Рябенький В. С. Разностные схемы. М.: Наука, 1977 г.
- Самарский А.А., Гулин А. В. Устойчивость разностных схем.- М.: Наука, 1973 г.
- Самарский А. А. Необходимые и достаточные условия устойчивости двухслойных разностных схем. // ДАН СССР, т. 181, № 4,1968, с. 808 -811.
- Кузнецов Н. Н. Слабо устойчивые конечно разностные аппроксимации дифференциальных уравнений. // Ж. Выч. Матем. и Матем. Физики, т. 11, № 6, 1971.
- Самарский А. А., Гулин А. В. О некоторых результатах и проблемах теории устойчивости разностных схем. // Матем. сборник, т. 99 (141), № 3, 1976, с. 299 330.
- Самарский А. А. Теория разностных схем. М.: Наука, Гл. ред. физ.-мат. лит., 1989 г.
- Самарский А. А., Николаев Е. С. Методы решения сеточных уравнений. М.: Наука, 1978 г.
- Самарский А. А., Попов Ю. П. Разностные методы решения задач газовой динамики. М.: Наука, 1980 г.
- Марчук Г. И. Методы вычислительной математики.-М.: Наука, 1980 г.
- Самарский А. А., Вабищевич П. Н., Гулин А. В. Устойчивость операторно- разностных схем. // Дифф. уравнения, т. 35, № 35, 1999, сс. 152−187.
- Мажорова О. С., Попов Ю. П., Сахарчук-Пономарева А. С. Исследование устойчивости разностных схем с искусственной дисперсией.- Препринт ИПМ РАН им. М. В. Келдыша, 1993, № 28.
- Siemienich J. and Gladwell I. Analysis of explicit difference methods for a diffusion convection equation. // Internat. J. Numer. Methods Engin., № 12, 1978, pp. 899 — 916.
- Fisk R. On an oscillation phenomenon in the numerical solution of the diffusion convection equation. // SIAM J. Numer. Anal., № 19, 1982, pp. 721 — 723.
- Morton K. Stability of finite difference approximation to a convection -diffusion equation. // Internat. J. Numer. Methods Engin., № 15, 1980, pp. 677 683.
- Griffiths D., Christie I. and Mitchell A. Analysis of error growth for explicit difference schemes in conduction convection problems.// Internat. J. Numer. Methods Engin., № 15, 1980, pp. 1075 — 1081.
- Leonard B. P. A stable and accurate convective modeling procedure based on a quadratic upstream interpolation.// Comput. Methods Appl. Mech. Engin., № 19, 1979, pp. 59 98.
- Leonard B. P. Simple high accuracy resolution program for convective modeling of discontinuities. //Internat. J. Numer. Methods Fluids, JY2 8, 1988, pp. 1291 — 1318.
- Leonard B. P. The ULTIMATE conservative difference scheme applied to unsteady one dimensional advection. // Comput. Meth. in Appl. Mech. and Engin., № 88, 1991, pp. 17 — 74.
- Вабищевич П. H. Монотонные разностные схемы для задач конвекции- диффузии. // Дифф. Уравн., т. 30, № 3, 1994.
- Spalding D. В. A novel finite difference formulation for differential expressions invoilving both first and second derivatives. // Internat. J. Numer. Engin., № 4, 1972, pp. 551 559.
- Runchal A. K. Convergence and accuracy of three finite difference schemes for a two dimensional conduction and convection problem. // Internat. J. Numer. Methods Engin., № 4, 1972, pp. 541 550.
- Gupta M. A discussion of papers by Spalding and Runchal. // Internat. J. Numer. Methods Engin., № 6, 1974, pp. 560 562.
- Флетчер К. Вычислительные методы в динамике жидкостей, т.1.- М.: Мир, 1991.
- Шокин Ю. И., Яненко Н. Н. Метод дифференциального приближения. Новосибирск: Наука, 1985 г.
- Кузнецов Н. Н. Слабая устойчивость и асимптотика решений конечно разностных аппроксимаций дифференциальных уравнений. // ДАН СССР, т. 200, № 5, 1971 г.
- Кузнецов Н. Н. Асимптотика решений конечно разностной задачи Коши. // Ж. Выч. Матем. и Матем. Физики, т. 12, № 2, 1972 г.
- Ермаков С. В., Мажорова О. С., Попов Ю. П. Построение разностных схем для параболических уравнений с малым параметром при старшей производной. // Препринт Инст. прикл. матем. им. М. В. Келдыша АН СССР, № 89, 1990 г.
- Ермаков С. В., Мажорова О. С., Попов Ю. П. Математическое моделирование задач электрофоретического разделения биосмесей. I. // Дифф. уравн., т. 28, № 10, 1992 г.
- Leonard В. P. and Mokhtari Simin. Beyond First-order Upwinding: the Ultra Sharp Alternative for Non-oscillatory Steady-State. // Internat. J. for Numer. Methods in Engin., v. 30, 1990, pp. 729 — 766.
- Галанин М.П., Еленина Т. Г. Сравнительный анализ разностных схем для линейного уравнения переноса. Препринт ИПМ РАН им. М. В. Келдыша, 1998, № 52.
- Rigal Alain. Numerical Analysis of Two Level Finite Difference Schemes for Unsteady Diffusion — Convection Problems. // Internat. J. for Numer. Methods in Engin., v. 28, № 5, 1989, pp. 1001 — 1021.
- Morton К. W. Stability of Finite Difference Approximations to a Diffusion Convection Equation. // Internat. J. for Numer. Meth. in Engin., v. 15, 1980, pp. 677 — 683.
- Carey G. F. and Sepehrnoori K. Gershgorin Theory for Stiffness and Stability of Evolution Systems and Convection Diffusion. // Comput. Methods Appl. Mech. Engin., v. 22, 1980, pp. 23 — 48.
- Varah J. M. Stability Restriction on Second Order, Three Level Finite Difference Schemes for Parabolic Equations. // SIAM J. Numer. Anal., v. 17, № 2, 1980.
- Tony F. Chan. Stability Analysis of Finite Difference Schemes for the Advection Diffusion Equation. // SIAM J. Numer. Anal., v. 21, № 2, 1984.
- Самарский А. А., Гулин А. В. Критерии устойчивости семейства разностных схем. // ДАН, т. 330, № 6, 1993 г.
- Гулин А. В., Самарский А. А. Об устойчивости одного класса разностных схем. /./ Дифф. Уравн., т. 29, № 7, 1993 г.
- Вабищевич П. Н., Самарский А. А. Об устойчивости разностных схем для задач конвекции диффузии. // Ж. Выч. Матем. и Матем. Физики, т. 37, № 2, 1997, с. 188 — 192.
- Сердюкова С. И. Об устойчивости в равномерной метрике систем разностных уравнений. // Ж. Выч. Матем. и Матем. Физики, т. 7, № 3, 1967 г., сс. 497 509.
- Мажорова О. С., Попов Ю. П., Сахарчук-Пономарева А. С. Об одной краевой задаче для системы параболических уравнений. // Препринт ИПМ РАН им. М. В. Келдыша, 1996, № 107.
- Мажорова О. С., Попов Ю. П., Сахарчук-Пономарева А. С. Устойчивость разностной задачи для системы параболических уравнений с нетрадиционными граничными условиями. Дифференц. уравн., 1997, т. 33, 7, с. 946 955.
- Андреев В. М., Долгинов Jl. М., Третьяков Д. Н. Жидкостная эпи-таксия в технологии полупроводниковых приборов. М.: Советское радио, 1975 г.
- Уфимцев В.В., Ачкурин РХ. Физико-химические основы жидкофазовой эпитаксии.- М.: Металлургия, 1983, 221 с.
- Мажорова О.С., Попов Ю. П., Смирнов В. А., Шленский А. А. Численное моделирование процесса выращивания монокристаллических слоев полупроводниковых материалов методом жидкофазовой эпитаксии. // Физика и Химия Обраб. Материалов, № 4, 1983 г., сс.81−90.
- Верезуб Н. А., Полежаев В. И. Математическое моделирование конвекции и концентрационных полей при росте эпитаксиальных слоев. // В сб. Математич. моделирование. Получение монокристаллов и полупроводниковых структур. М.: Наука, 1986.
- Карпов С. Ю., Мажорова О. С., Никишин С. А., Попов Ю. П., По-хилко В. И., Синявский Д. В. Диффузионная модель эпитаксиального роста Ga-xALxAs из ограниченного расплава. //Ж. технич. физ., т. 58, № 2, 1988, с. 355 362.
- Пасконов В. М., Полежаев В. И., Чудов JI. А. Численное моделирование процессов тепло- и массообмена. М.: Наука, Гл. ред. физ. — мат. лит., 1984 г.
- Мажорова О. С., Попов Ю. П., Похилко В. И. Математическое моделирование процесса массопереноса при жидкофазовой эпитаксии в горизонтальных системах. // Препринт ИПМ РАН им. М. В. Келдыша, 1986, № 194.
- Мажорова О. С., Попов Ю. П., Похилко В. И. О численном решении уравнений параболического типа с нелинейными граничными условиями. // Препринт ИПМ РАН им. М. В. Келдыша, 1985, № 46.
- Тихонов А. Н., Самарский А. А. О сходимости разностных схем в классе разрывных коэффициентов. // ДАН СССР, т. 124, № 3, 1959, с. 529 532.
- Попов Ю. П., Самарский А. А. Полностью консервативные разностные схемы.// Ж. Выч. Матем. и Матем. Физики, т. 9, N2 4, 1969 г., с. 953 958.
- Андреев В. Б. Об устойчивости по начальным данным разностных схем для параболических уравнений. // Ж. Выч. Матем. и Матем. Физики, т. 11, № 6, 1971 г., с. 1462 1475.
- Мокин Ю. И. Двухслойные параболические и слабо параболические разностные схемы. // Ж. Выч. Матем. и Матем. Физики, т. 15, JV2 3, 1975 г., с. 661 671.
- Самарский А. А., Гулин А. В. Критерий асимптотической устойчивости симметризуемых разностных схем. // Дифф. Уравн., т. 31, № 7, 1995 г., с. 1257 1260.
- Гулин А. В., Дегтярев С. J1. Об устойчивости разностных схем с переменными весовыми множителями. // Вестник МГУ. Вычислит, матем. и кибернетика, т. 3, 1994 г., с. 23 29.
- Денисов И.А., Лакеенков В. М., Мажорова О. С., Попов Ю. П. Математическое моделирование эпитаксиального выращивания твердых растворов CdyHgi^yTe из жидкой фазы.// Препринт инстит. Прикладной матем. им. М. В. Келдыша РАН, М., 1992, № 65, 42 с.
- Роуч П. Вычислительная гидродинамика. М.: Мир, 1980, 616 с.
- Патанкар С. Численные методы решения задач теплообмена и динамики жидкости. -М., 1984.
- Ермаков С. В., Мажорова О. С., Попов Ю. П. Построение разностных схем для параболических уравнений с малым параметром при старшей производной. Препринт ИПМ РАН им. М. В. Келдыша, 1990, № 89.
- Шаракшанэ А. А. О некоторых разностных схемах второго порядка для уравнений с малым параметром при старшей производной. -Препринт ИПМ РАН им. М. В. Келдыша, 1983, № 150.
- Мажорова О. С., Попов Ю. П., Похилко В. И. Разностная схема с искусственной дисперсией для уравнения параболического типа. Препринт ИПМ РАН им. М. В. Келдыша, 1986, № 142.
- Шаракшанэ А. А. Монотонная разностная схема второго порядка для двумерных уравнений с малым параметром при старших производных. Препринт ИПМ РАН им. М. В. Келдыша, 1985, № 3.
- Карпман В. И. Нелинейные волны в диспергирующих средах. М.: Наука, 1973,258 с.
- Huang P. G., Launder В. Е., Leschziner М. A. //Computer Methods in Applied Mechanics and Engineering, 1985, Vol. 48, p. 1.
- Дегтярев Jl. M., Дроздов В. В., Иванова Т. С. Метод адаптивных к решению сеток в одномерных краевых задачах с пограничным слоем.- Препринт ИПМ РАН им. М. В. Келдыша, 1986, № 164.
- Мухин С. И., Попов С. Б., Попов Ю. П. Дисперсионные и диссипатив-ные свойства разностных схем для нелинейного уравнения переноса.- Препринт ИПМ РАН им. М. В. Келдыша, 1981, № 150.
- Мухин С. И., Попов С. Б., Попов Ю. П. Разностные схемы с искусственной дисперсией для уравнений газовой динамики. Препринт ИПМ РАН им. М. В. Келдыша, 1983, № 66.
- Мухин С. П., Попов С. Б., Попов Ю. П. Разностные схемы с искусственной дисперсией для уравнений магнитной газодинамики. Препринт ИПМ РАН им. М. В. Келдыша, 1985, № 19.
- Беллман Р. Введение в теорию матриц. М.: Наука, 1976.
- Хорн Р., Джонсон Ч. Матричный анализ. М.: Мир, 1989, 655 с.
- Crossley I., Small М. В. The application of numerical methods to simulation of the liquid phase epitaxial growth of Ga-XALXAS from solution. // J. Crystal Growth, 1972, № 15, p. 268 274.
- Тихонов A. H., Самарский А. А. Уравнения математической физики.- M.: Наука, Гл. ред. физ.-мат. лит., 1977 г.
- Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления, том 1 М.: Наука, Гл. ред. физ.-мат. лит., 1969 г.
- Самарский А. А. Введение в численные методы. М.: Наука, Гл. ред. физ. — мат. лит., 1982 г.
- Бахвалов Н.С. Численные методы, т.1 М.: Наука, 1973.
- Демидович Б. П., Марон И. А. Основы вычислительной математики.- М. «Наука», 1970, 664 с.
- Мажорова О. С., Попов Ю. П., Сахарчук-Пономарева А. С. Устойчивость разностных схем для системы параболических уравнений.//Препр. Инст. Прикладной матем. им. М. В. Келдыша РАН, -М., 1997, № 90.
- Литвин А.А., Марончук И. Е. Особенности выращивания эпитакси-альных слоев из ограниченного объема раствора-расплава. Кристаллография, 1977, т. 22, вып. 2, сс. 428−431.
- Мильвидский М.Г., Орлов В. П., Цепелевич В. Г. Особенности процессов массопереноса при жидкостной эпитаксии. Изв. АН СССР, Неорган. материалы, 1980, т. 16, № 7, сс. 1159−1163.
- Романенко В.Н. Управление составом полупроводниковых кристаллов. М.: Металлургия, 1976, 386 с.
- Stringfellow G.B., Greene Р.Е. Liquid phase epitaxial growth of InAsi-xSbx. J. Electrochem. Soc., 1971, v. 118, № 5, p. 805.
- Галченков Д.В., Бондарь С. А., Большакова Г. В., Лебедев В. В. О влиянии некоторых технологических параметров иа рост слоев InAsxSbx из жидкой фазы. Специальная электроника. Сер. Материалы, 1975, вып. 1, с. 49−55.
- Winden Н.Т. A comparion of liquid phase epitaxy and chemical vapor epitaxy of III — V compound semiconductirs. Solid State Techology, 1973, v. 16, p. 31−38.
- Nelson H. Liquid phase epitaxy its role in crystal growth techology. — J. of Cryst. Growth, 1974, v. 27, № 1, p. 1−5.
- Ангина H.P., Варфоломеев С. П., Матвеенко А. В., Олеск А. О. Военные области применения инфракрасной техники. Зарубежная электронная техника, 1980, вып. 9(229), с. 3−35.
- Пашковский М.В., Соколов Е. Б., Берченко Н. Н., Соколов A.M. CdxHgi-xTe новый материал электронной техники. — Зарубежная электронная техника, 1974, вып. 12(84), с. 3−55.
- Gertner E.R. Epitaxial mercyry cadmium telluride. Ann. Rev. Mater. Sci. 1985, v.15, p. 303−328.
- Herman M.A., Ressa M. Hgi-XCdxTe Hgi-YCdYTe (0 < X, Y < 1) heterostructions. — J. appl. Phys., 1985, 57(8), p. 2671−2694.
- Castro С.A., Tregilglas S.H. Development HgCdTe and HgZnTe growth from Те solutions. J. Cryst. Growth, 1988, v. 86, № 1−4, p. 138−145.
- Brice S.C., Capper P., Easton B.L., Page S.L., Whiffin P.A.C. Growth and characterisation of CdxHg-xTe growth by LPE using a novel sliding beat. Semicond. Sci. and Technol., 1987, v. 2, № 11, p. 710−715.
- Вигдорович B.H., Селин А. А., Шутов С. Г. Моделирование процесса жидкофазной эпитаксии многокомпонентных твердых растворов. Теоретические основы химической технологии, 1981, т. 15, JY2 6, сс. 926−931.
- Wilcox W. R. Influence of convection on the growth of crystals from solution. J. Cryst. Growth, 1983, vol. 65, p. 133 — 142.
- Гершуни Г. З., Жуховицкий E.M. Конвективная устойчивость несжимаемой жидкости. М.: Наука, 1972, 392 с.
- Harman Т.С. Liquidus isotherms, solidus lines and LPE growth in the Te-rich corner of Hg — Cd — Те system. J. Electron. Mater., 1980, v. 2, № 6, p. 945−961.
- Lusson A., Triboulet R. Liquid phase epitaxy of CdxHgxTe (0,5<ж<1) and phase diagram determination. J. Crystal Growth, v.85, 1987, p. 505 509.
- Лозовский B.H., Попов В. П., Власенко Н. В., Ефремова Н. П., Сарры П. Л. Выращивание и свойства варизонных слоев AlxGa-xAs. В межвуз. сб.: Кристаллизация и свойства кристаллов, 1978, вып. 5, с. 33−40.
- Литвин А.А., Марончук И. Е. Влияние массо- и теплопереноса на рост эпитаксиальных слоев А111 Ву в процессе принудительного охлаждения раствора-расплава. Изв. АН СССР, Неорган, материалы, 1980, т. 16, № 2, сс. 204−212.
- Литвин А. А., Марончук И. Е., Марончук Ю. Е. и др. Влияние массо-и теплопереноса на рост эпитаксиальных слоев АЪВЪ в процессе принудительного охлаждения раствора расплава. — Изв. АН СССР, Неорган, материалы, 1980, т. 16, № 2, с. 204 — 212.
- Похилко В.И. Математическое моделирование процессов жидкофазовой эпитаксии и электрофореза.// Дисс. на соискание уч. степ, кандидата физ. мат. наук, М., 1986.
- Елюхин В.А., Карпов С. Ю., Портной Е. Л., Третьяков Д. Н. Особенности выращивания волноводных гетероструктур AlxGa-xAs с плавным изменением состава. // Письма в ЖТФ, т.4, вып. 11, 1978.
- Гуревич С. А., Портной Е. JI., Пронина Н. В. Гетеролазерная структура (GaAl)As с изменением состава в плоскости активного слоя. -Письма в ЖТФ, 1979, т. 5, вып. 23.
- Бабичев А.П., Бабушкина Н. А., Братковский A.M. и др. Физические величины: справочник. // Под ред. Григорьева И. С., Мейлихова Е. З. М.: Энергоатомиздат, 1991, 1232 с.
- Мажорова О.С., Попов Ю. П. О методах численного решения уравнений Навье-Стокса. // ЖВМ и МФ, т. 20, № 4, 1980.