Главная страница
Навигация по странице:

  • Факультет Автоматики и вычислительной техники Кафедра Вычислительной техники ВЫЧИСЛИТЕЛЬНАЯ МАТЕМАТИКА Численные методы решение систем линейных

  • 1 Описание лабораторной работы

  • 2 Варианты контрольных заданий

  • 3 Краткая теория к лабораторной работе

  • 3.1 Прямые методы. 5 3.1.1 Метод Гаусса

  • 3.1.2 LU–метод (Холецкого)

  • 3.2.3 Условия сходимости и окончания вычислений

  • (Необходимое и достаточное условие сходимости).

  • norm1

  • 3.3 Корректность постановки задачи и понятие обусловленности.

  • 3.4 Экспериментальное исследование устойчивости решения При решении задач на практике часто бывает трудно оценить число обусловленности матрицы А

  • 3.5 О вычислительных затратах

  • Приложение (файлы формата MathCad)

  • П4 Матричные операции.xmcd .

  • методичка вычисительная математика. МетодУказ к ЛР2 РешСЛАУ 2017. Решение систем линейных алгебраических уравнений Методические указания к лабораторной работе для студентов ii курса дневного отделения автф


    Скачать 1.02 Mb.
    НазваниеРешение систем линейных алгебраических уравнений Методические указания к лабораторной работе для студентов ii курса дневного отделения автф
    Анкорметодичка вычисительная математика
    Дата17.03.2023
    Размер1.02 Mb.
    Формат файлаpdf
    Имя файлаМетодУказ к ЛР2 РешСЛАУ 2017.pdf
    ТипРешение
    #997762


    Федеральное государственное бюджетное образовательное учреждение
    высшего образования
    «Новосибирский государственный технический университет»
    Факультет Автоматики и вычислительной техники
    Кафедра Вычислительной техники
    ВЫЧИСЛИТЕЛЬНАЯ МАТЕМАТИКА
    Численные методы решение систем линейных
    алгебраических уравнений
    Методические указания к лабораторной работе для студентов II курса дневного отделения АВТФ
    Образовательные программы:
    09.03.01 «Информатика и ВТ»;
    09.03.04 «Программная инженерия»;
    12.03.01 «Приборостроение»
    НОВОСИБИРСК
    2017

    2
    Содержание
    1 Описание лабораторной работы................................................................................................ 3 2 Варианты контрольных заданий ............................................................................................... 3 3 Краткая теория к лабораторной работе .................................................................................... 4 3.1 Прямые методы. ........................................................................................................... 4 3.1.1 Метод Гаусса ................................................................................................. 5 3.1.2 LU–метод (Холецкого) ................................................................................. 7 3.2 Итерационные методы. ............................................................................................... 8 3.2.1 Метод итераций ............................................................................................. 8 3.2.2 Метод Зейделя. .............................................................................................. 9 3.2.3 Условия сходимости и окончания вычислений ......................................... 9 3.3 Корректность постановки задачи и понятие обусловленности............................. 10 3.4 Экспериментальное исследование устойчивости решения ................................... 11 3.5 О вычислительных затратах ..................................................................................... 12 4 Вопросы самоконтроля ............................................................................................................ 12
    Литература ................................................................................................................................... 13
    Приложение (файлы формата MathCad) ................................................................................... 13
    П1 Анализ СЛАУ ЧислОбусловл.xmcd, .................................................................................... 13
    П2 Для ВыполнЛабРаб SLAU_ПрямМетоды.xmcd, ................................................................ 13
    П3 Для ВыполнЛабРаб ИтерацМетоды.xmcd. ......................................................................... 13
    П4 Матричные операции.xmcd. ................................................................................................. 13

    3
    1 Описание лабораторной работы
    Цель работы
    1. В соответствии с вариантом контрольного задания исследуйте существование и найдите решение системы уравнений от значений a, b, c, d (a, b, c, d - последние цифры номера зачетной книжки студента) с точностью

    , не ниже 0,00001, тремя методами из таблицы1, например:
    • методом Крамера;
    • методом Гаусса;
    • методом итераций.
    2. Написать программы, реализующие алгоритмы решения СЛАУ прямым и итерационным методом согласно варианту Табл. 1.1 3. Для дублирования решений систем линейных алгебраических уравнений применить существующие стандартные функции МСАД, аналогичные заданным методам.
    4. Для каждого метода и способа решения исследовать ресурсоемкость программ вычислений и факторы, влияющие на точность результатов.
    5. Сравнить методы и способы решения СЛАУ по быстродействию и точности, выбрать наиболее эффективный вычислительный процесс поставленной задачи.
    6. Проанализировать результаты работы и сделать выводы.
    Результаты численных расчетов должны быть оформлены по всем правилам записи приближенных чисел, т.е. запись приближенного решения только с верными значащими цифрами и допускаемой погрешностью. Анализ численных результатов должен дать ответ на вопрос, соответствуют ли полученные результаты искомому решению поставленной задачи и почему. В отчете обязательно сформулируйте необходимые и достаточные условия существования решений и сходимости методов; проверьте точность решений.
    Проанализируйте особенности применения рассмотренных методов, дайте рекомендации по решению соответствующих задач на ЭВМ.
    2 Варианты контрольных заданий
    Варианты методов решения СЛАУ
    Таблица 1
    Номер набора методов
    Методы
    1
    Метод Крамера, Метод Гаусса, метод итерации
    2
    Метод Гаусса, метод Зейделя, по выбору
    3
    Метод обратной матрицы, Метод Гаусса с выбором главного элемента по столбцу, метод итерации
    4
    Метод Гаусса с выбором главного элемента по столбцу, метод итерации, по выбору
    5
    Метод Гаусса с выбором главного элемента по столбцу, метод Зейделя
    6
    Метод обратной матрицы, Метод LU- разложения, Метод Якоби
    7
    Метод Холецкого, метод итерации, по выбору
    8
    Метод Крамера, Метод Холецкого, метод Зейделя
    9
    Метод LU- разложения, Метод Якоби, по выбору

    4 0
    Метод Крамера, метод прогонки, метод итерации
    Система линейных
    (1+a)x
    1
    + 14х
    2
    - 15х
    3
    + 23х
    4
    = 5 16x
    1
    + (1+b)х
    2
    - 22х
    3
    + 29х
    4
    = 8 18x
    1
    + 20х
    2
    – (1+c)х
    3
    + 32х
    4
    = 9 10x
    1
    + 12х
    2
    - 16х
    3
    + (1+d)х
    4
    = 4.
    Варианты систем линейных алгебраических уравнений и номер состава исследуемых методов определяются значениями a, b, c, d (a, b, c, d - последние цифры номера зачетной книжки студента). Для метода прогонки и по выбору системы уравнений выбираются студентами самостоятельно или могут быть использованы случайным образом сгенерированные основные компоненты матричной формы задания СЛАУ.
    3 Краткая теория к лабораторной работе
    Рассмотрим систему линейных алгебраических уравнений (СЛАУ) [1,2]



















    ,
    ,
    2 2
    1 1
    2 2
    2 22 1
    21 1
    1 2
    12 1
    11
    n
    n
    nn
    n
    n
    n
    n
    n
    n
    b
    x
    a
    x
    a
    x
    a
    b
    x
    a
    x
    a
    x
    a
    b
    x
    a
    x
    a
    x
    a
    (1) где A

    матрица n n

    ,
    1 2
    (
    ,
    ,...
    )
    T
    n x
    x x x


    искомый вектор,
    1 2
    ( , ,...,
    )
    T
    n b
    b b b


    заданный вектор. Будем предполагать, что определитель матрицы A отличен от нуля, т.е. решение системы (1) существует.
    Методы численного решения системы (1) делятся на две группы: прямые методы
    («точные») и итерационные методы.
    Прямыми методами называются методы, позволяющие получить решение системы (1) за конечное число арифметических операций. К этим методам относятся метод Крамера, метод Гаусса, LU-метод и т.д.
    Итерационные методы (методы последовательных приближений) состоят в том, что решение системы (1) находится как предел последовательных приближений
    (
    )
    m x
    при m
     
    , где m номер итерации. При использовании методов итерации обычно задается некоторое малое число
    
    0 и вычисления проводятся до тех пор, пока не будет выполнена оценка
    (
    )
    m x
    x



    . К этим методам относятся метод Зейделя, Якоби, метод верхних релаксаций и т.д.
    Следует заметить, что реализация прямых методов на компьютере приводит к решению с погрешностью, т.к. все арифметические операции над переменными с плавающей точкой выполняются с округлением. В зависимости от свойств матрицы исходной системы эти погрешности могут достигать значительных величин.
    3.1 Прямые методы.

    5
    3.1.1 Метод Гаусса
    Метод Гаусса, его еще называют методом Гауссовых исключений, состоит в том, что систему (2.1) приводят последовательным исключением неизвестных к эквивалентной системе с треугольной матрицей:















    n
    n
    nn
    n
    n
    n
    n
    x
    x
    x
    x
    x
    x









    2 2
    2 22 1
    1 2
    12 1
    11
    (2)
    Предположим, что
    0 11

    a
    . Последовательно умножая первое уравнение на
    11 1
    a
    a
    i

    и складывая с i-м уравнение, исключим
    1
    x
    из всех уравнений кроме первого. Получим систему
    11 1
    12 2
    1
    (1)
    (1)
    (1)
    22 2
    2 2
    (1)
    (1)
    (1)
    2 2
    ,
    ,
    ,
    ,
    n n
    n n
    n n n
    n x
    a x ax b
    a x a x b
    a x x
    b a

     

     

     

    a
    где b
    b b


     

    i1 1j
    (1)
    (1)
    i1 1
    ij
    ij
    i
    i
    11
    11
    a a
    a
    a
    a
    ,
    , i, j
    2,3...n.
    a
    a
    Аналогичным образом из полученной системы исключим
    2
    x
    . Последовательно, исключая все неизвестные, получим систему треугольного вида
    11 1
    12 2
    1 1
    1
    (1)
    (1)
    (1)
    (1)
    22 2
    2 2
    2
    (
    1)
    (
    1)
    (
    1)
    1,
    1 1
    1,
    1
    (
    1)
    (
    1)
    ,
    ,
    ,
    ,
    k k
    n n
    k k
    n n
    n n
    n n
    n n
    n n
    n n
    n n
    n n n
    n a x a x a x a x b
    a x a x a x b
    a x
    a x
    b a
    x b











     
     

     
     




    Описанная процедура называется прямым ходом метода Гаусса. Заметим, что ее выполнение было возможно при условии, что все
    )
    (
    ,
    l
    i
    i
    a
    ,
    1,2...
    1
    l n


    не равны нулю.
    Выполняя последовательные подстановки в последней системе, (начиная с последнего уравнения) можно получить все значения неизвестных.
    (
    1)
    (
    1)
    ,
    ,
    n n
    n n
    n n b
    x a



    (
    1)
    (
    1)
    (
    1)
    1
    ,
    1
    (
    )
    n i
    i i
    i ij j
    i j i i i x
    b a
    x a



     



    Эта процедура получила название обратный ход метода Гаусса. Обратный ход метода
    Гаусса преобразуют так эту ступенчатую матрицу, чтобы в первых
    n
    столбцах получилась единичная матрица:












    n
    x
    x
    x
    1 0
    0 0
    1 0
    0 0
    1 2
    1

    6
    Метод Гаусса может быть легко реализован на компьютере. При выполнении вычислений, как правило, не интересуют промежуточные значения матрицы А. Поэтому численная реализация метода сводится к преобразованию элементов массива размерности
    (n×(n+1)), где n+1 столбец содержит элементы правой части системы.
    Для контроля ошибки реализации метода используются так называемые контрольные суммы. Схема контроля основывается на следующем очевидном положении. Увеличение значения всех неизвестных на единицу равносильно замене данной системы контрольной системой, в которой свободные члены равны суммам всех коэффициентов соответствующей строки. Создадим дополнительный столбец, хранящий сумму элементов матрицы по строкам. На каждом шаге реализации прямого хода метода Гаусса будем выполнять преобразования и над элементами этого столбца, и сравнивать их значение с суммой по строке преобразованной матрицы. В случае не совпадения значений счет прерывается.
    Один из важных факторов, предопределяющих выбор того или иного метода при решении конкретных задач, является вычислительная эффективность метода. Один из основных недостатков метода Гаусса связан с тем, что при его реализации накапливается вычислительная погрешность. Известно, что для больших систем порядка n число действий умножений и делений близко к n
    3
    /3.
    Для того, чтобы уменьшить рост вычислительной погрешности применяются различные модификации метода Гаусса. Например, метод Гаусса с выбором главного элемента по столбцам, в этом случае на каждом этапе прямого хода строки матрицы переставляются таким образом, чтобы диагональный угловой элемент был максимальным.
    При исключении соответствующего неизвестного из других строк деление будет производиться на наибольший из возможных коэффициентов и, следовательно, относительная погрешность будет наименьшей.
    Существует метод Гаусса с выбором главного элемента по всей матрице. В этом случае переставляются не только строки, но и столбцы. Использование модификаций метода Гаусса приводит к усложнению алгоритма увеличению числа операций и соответственно к росту времени счета. Поэтому целесообразность выбора того или иного метода определяется непосредственно программистом.
    Выполняемые в методе Гаусса преобразования прямого хода, приведшие матрицу А системы к треугольному виду позволяют вычислить определитель матрицы
    11 12 1
    (1)
    (1)
    22 2
    (1)
    (
    1)
    11 22
    ,
    (
    1)
    ,
    0
    det
    0 0
    n n
    n n n n
    n n a
    a a
    a a
    A
    a a
    a a





    Метод Гаусса позволяет найти обратную матрицу. Для этого необходимо решить матричное уравнение
    E
    X
    A


    , где Е

    единичная матрица. Его решение сводится к решению n систем
    ( )
    ( )
    , (
    1,2,..., ),
    j j
    Ax j
    n



    у вектора
    )
    ( j

    j –я компонента равна единице, а остальные компоненты равны нулю.
    Метод Гаусса может оказаться неустойчивым по отношению к росту вычислительной погрешности.
    Теорема 1. Для устойчивости метода Гаусса достаточно диагонального
    преобладания, т. е. выполнения неравенств

    7
    | a
    ii
    | > | a
    i1
    | + | a
    i2
    | +… + | a
    ii-1
    | + | a
    ii+1
    || +… + | a
    in
    | +

    ,

    > 0, i = 1, 2, …, n.
    При расчете на реальной ЭВМ с заданным числом разрядов, наряду с влиянием неточного задания входных данных на каждой арифметической операции, вносятся ошибки округления. Влияние последних на результат зависит не только от разрядности машины, но и от числа обусловленности матрицы системы, а также от выбранного алгоритма. Существуют алгоритмы, учитывающие влияние ошибок округления и позволяющие получить результат с гарантированной точностью, если система не обусловлена настолько плохо, что при расчете с заданной разрядностью эта точность не может быть гарантирована.
    3.1.2 LU–метод (Холецкого)
    LU-метод основан на том, что если главные миноры матрицы А отличны от нуля, тогда матрицу А можно представить, причем единственным образом, в виде произведения
    А=LU,
    где L–нижняя треугольная матрица с ненулевыми диагональными элементами и U–
    верхняя треугольная матрица с единичной диагональю.
    Рассмотрим СЛАУ Ax=b.


    Пусть матрица допускает LU - разложение.

    А n n
    A=LU где

















    mm
    3
    m
    2
    m
    1
    m
    33
    32
    31
    22
    21
    11
    e
    e
    e
    e
    0
    e
    e
    e
    0
    0
    e
    e
    0
    0
    0
    e
    L

















    1
    0
    0
    0
    0
    u
    1
    0
    0
    u
    u
    1
    0
    u
    u
    u
    1
    U
    m
    3
    m
    2
    23
    m
    1
    13
    12
    или




    m
    1
    j
    m
    2
    1
    k
    i
    ik
    a
    jk
    u
    ij
    e
    ,...,
    ,
    ,
    ,
    ,
    j
    i
    0
    e
    j
    i


    ,
    k
    j
    0
    u
    jk


    ,
    Окончательно запишем















    k
    i
    a
    u
    e
    i
    k
    a
    u
    e
    i
    j
    ik
    jk
    ij
    k
    j
    ik
    jk
    ij
    1 1
    ,
    ,

    8



















    1 1
    1 1
    ,
    ,
    i
    j
    ik
    jk
    ij
    ik
    ii
    k
    j
    ik
    jk
    ij
    kk
    ik
    k
    i
    a
    u
    e
    u
    e
    i
    k
    a
    u
    e
    u
    e
    Полагая
    ,
    1

    kk
    u
    получим следующие рекуррентные формулы для вычисления элементов матрицы L и U
































    ,
    1
    ,
    ,
    1 1
    1 1
    kk
    ii
    i
    j
    jk
    ij
    ik
    ik
    k
    j
    jk
    ij
    ik
    ik
    u
    k
    i
    e
    u
    e
    a
    u
    i
    k
    u
    e
    a
    e
    Если найдены матрицы L и U, то решение исходной системы (1) сводится к последовательному решению двух систем уравнений с треугольными матрицами
    L b b
    Ux b


    LU – метод позволяет вычислить определитель матрицы А
    11 22
    det det det nn
    A
    L
    U е е
    е



     
    3.2 Итерационные методы.
    Эффективное применение итерационных методов существенно зависит от удачного выбора начального приближения и скорости сходимости процесса.
    3.2.1 Метод итераций
    Пусть дана линейная система (1).



















    ,
    ,
    2 2
    1 1
    2 2
    2 22 1
    21 1
    1 2
    12 1
    11
    n
    n
    nn
    n
    n
    n
    n
    n
    n
    b
    x
    a
    x
    a
    x
    a
    b
    x
    a
    x
    a
    x
    a
    b
    x
    a
    x
    a
    x
    a
    (1)
    Предполагая, что диагональные коэффициенты
    a
    ii
    не равны 0 (i =1,2, …,n), разрешим первое уравнение системы (1) относительно x
    1
    , второе - относительно x
    2
    и т. д. Тогда получим эквивалентную систему






















    ,
    ,
    2 2
    1 1
    2 2
    22 1
    21 2
    2 1
    2 12 1
    11 1
    1
    n
    nn
    n
    n
    n
    n
    n
    n
    n
    n
    x
    x
    x
    x
    x
    x
    x
    x
    x
    x
    x
    x












    (3) где
    ;
    ij i
    i ij ii ii a
    b a
    a



     
    при ij и

    ij
    =0 при i = j
    (i,j =1,2,…,n).

    9
    Введя матрицы













    nn
    n
    n
    n
    n










    2 1
    2 22 21 1
    12 11













    n




    2 1
    систему (3) можно записать в матричной форме X =

    +

    X, а любое (k+1) приближение вычисляется по формуле X
    (k+1)
    =

    +

    · X
    (k)
    . Напишем формулы приближений в развернутом виде:



    











    ,...)
    2
    ,
    1
    ,
    0
    ;
    ,...,
    1
    ;
    0
    (
    1
    )
    (
    )
    1
    (
    )
    0
    (
    k
    n
    i
    x
    x
    x
    ii
    n
    j
    k
    i
    ij
    i
    k
    i
    i
    i




    (4)
    3.2.2 Метод Зейделя.
    Метод Зейделя представляет собой некоторую модификацию метода итераций.
    Основная его идея заключается в том, что при вычислении (k +1)-го приближения неизвестной x
    i
    учитываются уже вычисленные ранее (k +1)- -е приближения неизвестных
    x
    1
    , x
    2
    ,…, x
    i-1
    .
    Пусть получена эквивалентная система (3). Выберем произвольно начальные приближения корней (x
    1
    (0)
    , x
    2
    (0)
    ,…, x
    n
    (0)
    ). Далее, предполагая, что k-ые приближения x
    n
    (k)
    корней известны, согласно Зейделю будем строить (k +1)-е приближения корней по формулам:
    ,...)
    2
    ,
    1
    ,
    0
    (
    )
    (
    )
    1
    (
    2 2
    )
    1
    (
    1 1
    )
    1
    (
    )
    (
    2
    )
    (
    3 23
    )
    1
    (
    1 21 2
    )
    1
    (
    2
    )
    (
    1
    )
    (
    3 13
    )
    (
    2 12 1
    )
    1
    (
    1






















    k
    x
    x
    x
    x
    x
    x
    x
    x
    x
    x
    x
    x
    k
    n
    nn
    k
    n
    k
    n
    n
    k
    n
    k
    n
    n
    k
    k
    k
    k
    n
    n
    k
    k
    k












    Для некоторых классов систем линейных уравнений число арифметических действий, необходимых для получения решения с разумной точностью итерационными методами много меньше, чем O(n
    3
    ).
    3.2.3 Условия сходимости и окончания вычислений
    Нормой квадратной матрицы A называется функционал, обозначаемый
    A
    , удовлетворяющий условиям:
    1.
    0

    A
    , причем
    0

    A
    тогда и только тогда, когда
    0

    A
    2.
    A
    A




    , для любого

    3.
    B
    A
    B
    A



    4.
    B
    A
    AB

    Теорема 2. (Необходимое и достаточное условие сходимости). Для того, чтобы итерационный процесс (4) сходился при любом начальном приближении, необходимо и достаточно, чтобы все собственные значения матрицы

    (матрица коэффициентов при неизвестных эквивалентной системы (3)) лежали внутри единичного круга.

    10
    Процесс итерации для приведенной линейной системы (1) сходится к единственному ее решению, если какая-нибудь каноническая норма матрицы

    меньше единицы, т.е. для итерационного процесса (4) достаточное условие есть
    1


    Нормы матриц
    1.
    1
    max



    j
    ij
    i
    m


    (
    m
    -норма или неопредел. норма: функция MathCad - norm1 (A))
    2.
    1
    max



    i
    ij
    j
    l


    ( l -норма или норма L1: функция MathCad - norm2 (A) )
    3.
    1 2



    ij
    ij
    k


    ( k -норма или Евклидова норма: функция MathCad - norme (A))
    Следствие. Процесс итерации сходится, если выполнены неравенства:







    n
    i
    l
    il
    i
    j
    ij
    ii
    a
    a
    a
    1 1
    1

    ,
    n
    i
    ,...,
    2
    ,
    1

    или







    n
    j
    l
    lj
    j
    i
    ij
    jj
    a
    a
    a
    1 1
    1

    ,
    n
    j
    ,...,
    2
    ,
    1

    В качестве условия окончания итерационного процесса можно взять условие




    )
    (
    )
    1
    (
    k
    k
    X
    X

    - заданная погрешность приближенного решения
    )
    1
    (


    k
    X
    X
    3.3 Корректность постановки задачи и понятие обусловленности.
    При использовании численных методов для решения тех или иных математических задач необходимо различать свойства самой задачи и свойства вычислительного алгоритма, предназначенного для ее решения.
    Говорят, что задача поставлена корректно, если решение существует и единственно и если оно непрерывно зависит от входных данных. Последнее свойство называется также устойчивостью относительно входных данных.
    Корректность исходной математической задачи еще не гарантирует хороших свойств численного метода ее решений и требует специального исследования.
    Известно, что решение задачи (1) существует тогда и только тогда, когда
    0
    det

    A
    . В этом случае можно определить обратную матрицу
    1

    A
    и решение записать в виде:
    1
    x
    A b


    Исследование устойчивость задачи (1) сводится к исследованию зависимости ее решения от правых частей b и элементов
    ij
    a матрицы А. Для того чтобы можно было говорить о непрерывной зависимости вектора решений от некоторых параметров, необходимо на множестве n - мерных векторов принадлежащих линейному пространству
    L,ввести метрику.

    11
    В линейной алгебре предлагается определение множества метрик
    p
    l

    норма
    p
    m
    i
    p
    i
    p
    x
    x
    1 1





     


    из которого легко получить наиболее часто используемые метрики при р =1,



    m
    i
    i
    x
    x
    1 1
    , при
    2 1

    p
    ,
    2 1
    1 2
    2





     


    m
    i
    i
    x
    x
    , при


    p
    ,
    m
    i
    i
    i
    p
    m
    i
    p
    i
    p
    x
    x
    x












     

    max lim
    1 1
    Подчиненные нормы матриц определяемые как
    x
    x
    A
    A
    H
    x



    0
    sup
    , соответственно запишутся в следующем виде:





    m
    i
    ij
    m
    j
    a
    A
    1 1
    1
    max
    ,






    m
    i
    ij
    m
    i
    a
    A
    1 1
    max
    ,
     


     
    m
    i
    m
    j
    ij
    T
    a
    A
    A
    A
    1 1
    2 2
    )
    (

    Обычно рассматривают два вида устойчивости решения системы (1): первый

    по правым частям, второй

    по коэффициентам системы(1) и по правым частям..
    Наряду с исходной системой (1) рассмотрим систему с «возмущенными» правыми частями
    A x b
     
    , где b b b

     

    возмущенная правая часть системы, а
    x
    x
    x




    возмущенное решение.
    Можно получить оценку, выражающую зависимость относительной погрешности решения от относительной погрешности правых частей
    A
    x b
    M
    x b



    , где
    1



    A
    A
    M
    A

    число обусловленности матрицы А ( в современной литературе это число обозначают как condA) Если число обусловленности велико (
    A
    M

    2 10

    k
    k
    ), то говорят, что матрица А плохо обусловлена. В этом случае малые возмущения правых частей системы (1), вызванные либо неточностью задания исходных данных, либо вызванные погрешностями вычисления существенно влияют на решение системы. Грубо говоря, если погрешность правых частей
    l

    10
    , то погрешность решения будет
    k
    l


    10
    Более подробно о свойствах числа обусловленности и оценка его величины можно прочитать в [3].
    Если возмущение внесено в матрицу А, то для относительных возмущений решения запишем
    1
    A
    A
    x
    A
    b
    M
    x
    A
    A
    b
    M
    A















    3.4 Экспериментальное исследование устойчивости решения
    При решении задач на практике часто бывает трудно оценить число обусловленности матрицы А. Поэтому существует ряд приемов, которые хотя и не дают строгий ответ об устойчивости применяемого метода и полученного решения, но все же позволяют сделать

    12 некоторые предположения о характере решения. Уточнить полученное решение и оценить его погрешность можно осуществить следующим образом.
    Пусть получено приближенное решение системы (1)
    )
    0
    (
    x
    . Вычислим невязку уравнения
    (0)
    b
    Ax

     
    . Если

    велико, то можно искать вектор-поправку p такой, что точное решение системы
    p
    x
    x


    )
    0
    (
    . Следовательно
    (0)
    (
    )
    A x p
    b



    , отсюда


    p
    A
    Можно видеть, что для нахождения поправки можно использовать алгоритм метода и соответствующую программу, по которой находилось основное решение. После этого можно уточнить решение системы
    p
    x
    x


    )
    0
    (
    )
    1
    (
    . Если относительная погрешность
    )
    1
    (
    x
    p
    велика, то можно повторить процесс уточнения. Если процесс уточнения, повторенный два три раза, не приводит к повышению точности, то это говорит скорей всего о том, что данная система плохо обусловлена и ее решение не может быть найдено с требуемой точностью.
    3.5 О вычислительных затратах
    Один из важных факторов, предопределяющих выбор того или иного метода при решении конкретных задач, является вычислительная эффективность метода.
    Учитывая, что операция сложения выполняется намного быстрее, чем операция умножения и деления, обычно ограничиваются подсчетом последних.
    Для решения СЛАУ методом Гаусса без выбора главного элемента требуется
    3 2
    3 3
    n n
    n


    умножений и делений, решение СЛАУ методом квадратного корня требует
    3 2
    3 6
    2 3
    n n
    n


    и n операций извлечения корней. Метод вращения предполагает вчетверо больше операций умножения, чем в методе Гаусса. При больших значениях размерности m, можно сказать, что вычислительные затраты на операции умножения и деления в методе Гаусса составляют величину
    3 3
    n
    O






    , в методе квадратных корней
    3 6
    n
    O






    , в методе вращений
    3 4
    3
    O
    n






    Для некоторых классов систем линейных уравнений число арифметических действий, необходимых для получения решения с разумной точностью итерационными методами много меньше, чем O(n
    3
    ).
    Экспериментально производительность программ можно оценить путем измерения интервала времени между началом и завершением вычислений, на пример используя системную переменную MathCad - Time.
    4 Вопросы самоконтроля
    1. В чем состоят особенности прямых методов решения СЛАУ.

    13 2. Идея метода Гаусса.
    3. Последовательность действий прямого хода метода Гаусса.
    4. Содержание обратного хода метода Гаусса?
    5. Область применения и сущность метода прогонки.
    6. В каких случаях необходимо использовать итерационные методы?
    7. Что значит решить СЛАУ итерационным методом?
    8. Из каких этапов состоит задача решения СЛАУ итерационным методом?
    9. В чем состоит итерационный процесс решения СЛАУ?
    10. Как в Mathcad организовать итерационный процесс?
    11. Что влияет на скорость сходимости итерационного процесса?
    12. В чем сущность метода простой итерации, как еще называют этот метод?
    13. Какие виды итерационных процессов вам известны?
    14. Сформулируйте достаточные условия сходимости метода итерации?
    15. Назовите точные методы решения систем линейных уравнений?
    16. Сформулируйте достаточные условия сходимости метода итерации для систем линейных уравнений.
    17. Назовите функции для решения систем уравнений в Mathcad и особенности их применения.
    18. В каких случаях функции Mathcad не могут найти корень СЛАУ?
    19. Дайте сравнительную характеристику численным методам решения СЛАУ и функций
    Mathcad.
    20. Как изменить точность, с которой ищутся решения СЛАУ функциям Mathcad?
    21. Как символьно (аналитически) решить систему уравнений в Mathcad?
    22. Назовите особенности использования символьного решения уравнений.
    Литература
    1. Вержбицкий В.М. Вычислительная линейная алгебра: Учеб. пособие для вузов/ В.М. Вержбицкий.-М.: Высш. шк., 2009 - 351 с.: ил.
    2. Алексеев Е. Р., Чеснокова О. В. Решение задач вычислительной математики в пакетах Mathcad 12, MATLAB 7, Maple 9/Алексеев Е. Р., Чеснокова О. В. - М. : НТ Пресс,
    2006. - 496 с.: ил. - {Самоучитель).
    3. Латыпов И.И. Численные методы. Лабораторный практикум: Учебное пособие для студентов физико-математического факультета по основам численных методов. Книга 1.–
    Бирск: Бирск.гос.соц.-пед.акад., 2007. – 94 с.
    4. Ханова А. А. Численное решение уравнений и систем уравнений: Методическое пособие для студентов института Информационно- технологий телекоммуникаций,
    Астрахань -2001, -43 стр.
    5. Поршнев С. В., Беленкова И. В. Численные методы на базе Mathcad. СПб.;
    БХВ-Петербург, 2005. 464 с: ил.
    Приложение (файлы формата MathCad)
    Примеры для выполнения задания лабораторной работы и применения средств MathCad для решения уравнений содержатся в файлах:
    П1 Анализ СЛАУ ЧислОбусловл.xmcd
    ,
    П2 Для ВыполнЛабРаб SLAU_ПрямМетоды.xmcd
    ,
    П3 Для ВыполнЛабРаб ИтерацМетоды.xmcd
    ,
    П4 Матричные операции.xmcd
    .


    написать администратору сайта